Aula 1 Terça 2/3/2004 |
- Apresentação da disciplina
- Bibliogtrafia
- Definições básicas
- Um exemplo de problema computacional envolvendo grafos: o problema do
isomorfismo de grafos
- Exercícios 1 e 2
|
Aula 2 Sexta 5/3/2004 |
- Definições básicas, continuação: passeios, trilhas, caminhos, circuitos,
etc.
- Árvores e forestas. Caracterizações de árvores
- Exercício 4
|
Aula 3 Terça 9/3/2004 |
- Entrega dos Exercícios 1 e 2
- Caracterizações de árvores, continuação
- A fórmula de Cayley. A prova bijetiva de André Joyal da fórmula da
Cayley
- Exercício 5
|
Aula 4 Sexta 12/3/2004 |
- Entrega do Exercício 4
- Definições básicas, continuação: cliques/grafos completos, conjuntos
independentes/estáveis. A noção de grafos densos e esparsos.
- Representação de grafos: vetor de arestas, matrizes de adjacência, e
listas de adjacência
- Reflexo da representação adotada no espaço e no
tempo de resolução de problemas computacionais ("o vértice
v
é isolado?")
- Exercício 6
|
Aula 5 Terça 16/3/2004 |
|
Aula 6 Sexta 19/3/2004 |
|
Aula 7 Terça 23/3/2004 |
- Entrega do Exercício 7
- Busca em profundidade, continuação. Os programas neste diretório podem ser usados para gerar
exemplos de buscas em profundidade em que todas as arestas (ou
ponteiros) são classificadas nos 4 tipos discutidos (tipo árvore, tipo
pai, tipo ascendente, tipo descendente), como neste exemplo
- Transparências
- Os grafos nas transparências dessa aula desenhados com o MetaPost, uma
excelente linguagem gráfica baseada no METAFONT,
de Knuth.
- Exercício 9
|
Aula 8 Sexta 26/3/2004 |
|
Aula 9 Terça 30/3/2004 |
- Entrega do Exercício 9
- 2-conexidade: a relação de equivalência "ser igual ou estar contido em
um mesmo circuito" nas arestas de um grafo; caracterização de grafos
2-conexos; existência de dois caminhos internamente disjuntos entre
quaisquer dois vértices em grafos 2-conexos; blocos e decomposição em
blocos de um grafo.
- Exercício 11
|