Buscar
Itens para a visualização no momento 1-5 of 5
Técnicas probabilísticas aplicadas em algoritmos de aproximação
(2016)
Resumo: Pesquisadores e cientistas têm percebido cada vez mais que a aleatoriedade é um componente essencial na modelagem e análise da natureza. Na ciência da computação não é diferente: o uso da aleatoriedade e de métodos ...
Uma hiper-heurística de seleção baseada em decomposição para estabelecer sequências de módulos para o teste de software
(2015)
Resumo: Algoritmos multiobjetivos têm sido amplamente utilizados na busca de soluções de diver-sos problemas da computação, e mais especificamente para resolver problemas de Engenharia de Software na area conhecida como ...
Uma introdução à complexidade computacional parametrizada
(2013)
Resumo: A Complexidade Parametrizada é uma maneira de analisar a complexidade computacional de um problema computacional. Nesta dissertação damos uma Introdução à Complexidade Computacional Parametrizada com atenção aos ...
Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista
(2015)
Resumo: Ao longo da última década, resolvedores de Satisfatibilidade Booleana (SAT) e Programação Inteira Linear (ILP) melhoraram significativamente com a introdução de novos algoritmos, que permitiram o tratamento de um ...
Algoritmos exatos para o problema da coloração de grafos
(2017)
Resumo: O problema de coloração de grafos consiste em particionar os vértices de um grafo na menor quantidade possível de conjuntos independentes. Este trabalho tem como objetivo agrupar e contextualizar alguns dos principais ...