Aula 6 - Ordenação Topológica

O Problema de Ordenação Topológica Resolvendo Ordenação Topológica com o DFS
Aula 6 - Ordenação Topológica

COENCOM0097 - Grafos
Prof. Dr. Nicolas Martins
Instituto de Engenharia e Desenvolvimento Sustentável (IEDS)

Universidade da Integração Internacional da Lusofonia Afro-Brasileira (UNILAB)
Martins, N. IEDS-UNILAB
Algoritmos em Grafos
Sumário
1 O Problema de Ordenação Topológica
2 Resolvendo Ordenação Topológica com o DFS
Grafos Direcionados Acı́clicos(DAGs)
DAG
Um digrafo D = (V , A) é um DAG se D não possui um ciclo
direcionado como subgrafo.
Grafos Direcionados Acı́clicos(DAGs)
DAG
Um digrafo D = (V , A) é um DAG se D não possui um ciclo
direcionado como subgrafo.
O Problema de Ordenação Topológica
Ordenação Topológica
Entrada: Um digrafo D = (V , A);
Entrada: Um digrafo D = (V , A);
Questão: Apresente uma ordem v1 , v2 , v3 , . . . , v|V | tal que
para todo arco (vi , vj ) tenhamos que i < j.
Ordenação Topológica em DAGs
Pergunta
Se D não for um DAG, é possı́vel obter uma ordenação topológica
dos vértices de um digrafo D?
Pergunta
Se D não for um DAG, então D possui um ciclo direcionado

v1 , v2 , . . . , vk ;
Pergunta

v1 , v2 , . . . , vk ;
Assim em qualquer ordenação topológica de D terı́amos que
vi teria que preceder vi+1 ;
Pergunta

v1 , v2 , . . . , vk ;
Por transitividade, v1 deveria preceder vk ;
Pergunta

v1 , v2 , . . . , vk ;
Por transitividade, v1 deveria preceder vk ;
Isso é uma contradição com a existência do arco (vk , v1 ).
Aplicações de Ordenação Topológica
O Problema de Ordenação Topológica pode ser usado para

modelar várias aplicações, por exemplo:

Detecção de Deadlocks

Resolução de dependencias

Organização de cadeias de produção

Organização de cadeias de produção
Problema de Agendamento de Cursos
Como você resolveria?
Dica: Use o DFS!
Dica: Use o DFS!

Como podemos adaptar o DFS para resolver o problema de
Ordenação Topológica?
Adaptando DFS
Figure: Fonte: Introduction to

Algorithms (3rd Edition). T. H. Figure: Fonte: Introduction to
Cormen et al. Algorithms (3rd Edition). T. H.
Cormen et al.
Executando o DFS sem modificações em um DAG
Execute o DFS no grafo de preparação do jantar!
Executando o DFS sem modificações em um DAG
Execute o DFS no grafo de preparação do jantar!
O que você observa que pode ser usado para resolver o

problema de Ordenação Topológica?
Modificando o DFS
Uma ordenação topológica dos vértices pode ser armazenada

em uma lista encadeada dos mesmos;
Modificando o DFS

Nesta lista os vértices devem ser armazenados na ordem
inversa em que foram finalizados;
Modificando o DFS

Nesta lista os vértices devem ser armazenados na ordem
inversa em que foram finalizados;
Para obter uma lista com estas propriedades, basta que a cada
vértice finalizado ele seja inserido no inı́cio da lista.
Arestas de Volta em DAGs

Teorema
Um digrafo D é um DAG se, e somente se, qualquer execução do
DFS em D não encontra arco de retorno.

Teorema
⇒ Suponha uma execução do DFS que encontra um arco de
retorno u, v em um DAG D. Logo, u é descendente de v ,
portanto o caminho de v para u com o arco (u, v ) formam um
ciclo direcionado.

Teorema
⇒ Suponha uma execução do DFS que encontra um arco de
retorno u, v em um DAG D. Logo, u é descendente de v ,
portanto o caminho de v para u com o arco (u, v ) formam um
ciclo direcionado.
⇐ Suponha agora que D possui um ciclo v1 , v2 , . . . , vk . Sem
perda de generalidade, seja v1 o primeiro vértice deste ciclo a
ser descoberto por uma execução do DFS. Pelo Teorema dos
Caminhos Brancos vk será descendente de v1 nesta execução
do DFS (Por quê?). Logo o arco (vk , v1 ) do ciclo é um arco
de retorno.
Corretude do Algoritmo
Teorema
A modificação sugerida para o DFS produz uma ordenação
topológica de qualquer DAG D.
Teorema
Basta mostrar que para qualquer arco (u, v ) explorado durante

a execução do DFS tenhamos que v .f < u.f . (Por quê?)
Teorema

Se v for cinza, (u, v ) é um arco de retorno o que não pode
ocorrer pelo teorema anterior;
Teorema

Se v for branco, temos que v .d > u.d, logo v .f < u.f .
Teorema

Se v for branco, temos que v .d > u.d, logo v .f < u.f .
Se v for preto, então v já foi finalizado e portanto v .f < u.f .

Aula 6 - Ordenação Topológica

Enviado por

Dados do documento

Descrição original:

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Aula 6 - Ordenação Topológica

Enviado por

Direitos autorais:

Formatos disponíveis

O Problema de Ordenação Topológica Resolvendo Ordenação Topológica com o DFS

Aula 6 - Ordenação Topológica

Prof. Dr. Nicolas Martins

Instituto de Engenharia e Desenvolvimento Sustentável (IEDS)

1 O Problema de Ordenação Topológica

2 Resolvendo Ordenação Topológica com o DFS

Grafos Direcionados Acı́clicos(DAGs)

Grafos Direcionados Acı́clicos(DAGs)

O Problema de Ordenação Topológica

O Problema de Ordenação Topológica

O Problema de Ordenação Topológica

Ordenação Topológica em DAGs

Ordenação Topológica em DAGs

Se D não for um DAG, então D possui um ciclo direcionado

Ordenação Topológica em DAGs

Se D não for um DAG, então D possui um ciclo direcionado

Ordenação Topológica em DAGs

Se D não for um DAG, então D possui um ciclo direcionado

Ordenação Topológica em DAGs

Se D não for um DAG, então D possui um ciclo direcionado

Aplicações de Ordenação Topológica

O Problema de Ordenação Topológica pode ser usado para

Aplicações de Ordenação Topológica

O Problema de Ordenação Topológica pode ser usado para

Aplicações de Ordenação Topológica

O Problema de Ordenação Topológica pode ser usado para

Aplicações de Ordenação Topológica

O Problema de Ordenação Topológica pode ser usado para

Aplicações de Ordenação Topológica

O Problema de Ordenação Topológica pode ser usado para

Aplicações de Ordenação Topológica

Como você resolveria?

Como você resolveria?

Dica: Use o DFS!

Como você resolveria?

Dica: Use o DFS!

Figure: Fonte: Introduction to

Executando o DFS sem modificações em um DAG

Execute o DFS no grafo de preparação do jantar!

Executando o DFS sem modificações em um DAG

Execute o DFS no grafo de preparação do jantar!

O que você observa que pode ser usado para resolver o

Uma ordenação topológica dos vértices pode ser armazenada

Uma ordenação topológica dos vértices pode ser armazenada

Uma ordenação topológica dos vértices pode ser armazenada

Arestas de Volta em DAGs

Arestas de Volta em DAGs

Arestas de Volta em DAGs

Basta mostrar que para qualquer arco (u, v ) explorado durante

Basta mostrar que para qualquer arco (u, v ) explorado durante

Basta mostrar que para qualquer arco (u, v ) explorado durante

Basta mostrar que para qualquer arco (u, v ) explorado durante

Você também pode gostar