Tópicos, conceitos, palavras-chave
O curso terá um caráter mais conceitual/matemático que algorítmico.
-
Provas matemáticas
e indução matemática
-
Grafos não-dirigidos
-
Grafos bipartidos
-
Caminhos, circuitos, cortes
-
Passeios
-
Subgrafos
-
Grafos conexos
-
Árvores e florestas
-
Grafos aresta-biconexos
-
Grafos biconexos
-
Isomorfismos e automorfismos
-
Cliques e conjuntos independentes
-
Coberturas (vertex covers)
-
Emparelhamentos (matchings)
-
Teorema de Hall
-
Teorema de König
-
Teorema de Menger
-
Ciclos eulerianos
-
Circuitos hamiltonianos
-
Fluxo
-
Máximo versus maximal
-
Algoritmos gulosos (greedy algorithms)
-
Identidades min-max
-
Número cromático
-
Índice cromático
-
Grafos planares
-
Grafos aleatórios
Problemas importantes
-
Clique máximo
-
Conjunto independente máximo
-
Emparelhamento máximo
-
Coloração de arestas
-
Coloração de vértices
-
Coleção disjunta de caminhos
-
Circuito hamiltoniano
-
Planaridade
URL of this page: http://www.ime.usp.br/~pf/mac5770-2009/
Last modified: Mon Oct 16 13:23:02 BRST 2017
Paulo Feofiloff
Departamento de Ciência da Computação
Instituto de Matemática e Estatística da
USP