Algoritmos exatos para o problema da coloração de grafos

Orientador : Renato Carmo
Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 21/08/2017
Inclui referências : p. 81-83
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 algoritmos para o problema de coloração de grafos, reunindo num mesmo texto informações que se encontram espalhadas pela literatura técnica sob a forma de artigos científicos. Discutimos os principais métodos apresentados na literatura para o problema de coloração de grafos, a saber, soluções baseadas em Programação Linear Inteira, Branch-and-Bound e Programação Dinâmica. Palavras-chave: Teoria dos Grafos, Coloração de Grafos, Algoritmos Exatos.
The graph coloring problem is the problem of partitioning the vertices of a graph into the smallest possible set of independent sets. The goal of this work is to group and contextualize some of the main algorithms for the graph coloring problem, bringing into a single text information which is scattered in the technical literature in scientific papers. We discuss the main methods in the literature for the graph coloring problem, namely, solutions based on Integer Linear Programming, Branch-and-Bound and Dynamic Programming. Keywords: Graph Theory, Graph Coloring, Exact Algorithms.