Árvores geradoras mínimas ii - instituto de computaçãora090743/unip/material/j702/...6 questão...
TRANSCRIPT
![Page 1: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/1.jpg)
1
Árvores Geradoras Mínimas IIProf. Celso A. W. Santos
J702 :: Teoria de Grafos
15/05/2020
![Page 2: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/2.jpg)
2
Avisos
� Lista #4 recebida!. Não consegui corrigir todos os trabalhos.... Mas gostei muito dos trabalhos que já li :)
� Lista #5 será disponibilizada durante o final de semana. Parecida com a Lista #3, no sentido de “rodar o algoritmo”. Não será tão longa quanto a Lista #3
� Sobre a nota do semestre. Listas #1-#5: 5.0 pontos (máx. 4.0). Lista de Revisão: 1.0 ponto
– Haverá um formato de submissão e prazo de entrega. Não enviemantes!
. Exercícios Online: 1.0 ponto
. Prova NP2: 5.0 pontos
. Fórmula final:
NF = min{4.0, NL#1-#5}+ NMódulo + NLista + NP2
![Page 3: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/3.jpg)
2
Avisos
� Lista #4 recebida!. Não consegui corrigir todos os trabalhos.... Mas gostei muito dos trabalhos que já li :)
� Lista #5 será disponibilizada durante o final de semana. Parecida com a Lista #3, no sentido de “rodar o algoritmo”. Não será tão longa quanto a Lista #3
� Sobre a nota do semestre. Listas #1-#5: 5.0 pontos (máx. 4.0). Lista de Revisão: 1.0 ponto
– Haverá um formato de submissão e prazo de entrega. Não enviemantes!
. Exercícios Online: 1.0 ponto
. Prova NP2: 5.0 pontos
. Fórmula final:
NF = min{4.0, NL#1-#5}+ NMódulo + NLista + NP2
![Page 4: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/4.jpg)
2
Avisos
� Lista #4 recebida!. Não consegui corrigir todos os trabalhos.... Mas gostei muito dos trabalhos que já li :)
� Lista #5 será disponibilizada durante o final de semana. Parecida com a Lista #3, no sentido de “rodar o algoritmo”. Não será tão longa quanto a Lista #3
� Sobre a nota do semestre. Listas #1-#5: 5.0 pontos (máx. 4.0). Lista de Revisão: 1.0 ponto
– Haverá um formato de submissão e prazo de entrega. Não enviemantes!
. Exercícios Online: 1.0 ponto
. Prova NP2: 5.0 pontos
. Fórmula final:
NF = min{4.0, NL#1-#5}+ NMódulo + NLista + NP2
![Page 5: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/5.jpg)
2
Avisos
� Lista #4 recebida!. Não consegui corrigir todos os trabalhos.... Mas gostei muito dos trabalhos que já li :)
� Lista #5 será disponibilizada durante o final de semana. Parecida com a Lista #3, no sentido de “rodar o algoritmo”. Não será tão longa quanto a Lista #3
� Sobre a nota do semestre. Listas #1-#5: 5.0 pontos (máx. 4.0). Lista de Revisão: 1.0 ponto
– Haverá um formato de submissão e prazo de entrega. Não enviemantes!
. Exercícios Online: 1.0 ponto
. Prova NP2: 5.0 pontos
. Fórmula final:
NF = min{4.0, NL#1-#5}+ NMódulo + NLista + NP2
![Page 6: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/6.jpg)
2
Avisos
� Lista #4 recebida!. Não consegui corrigir todos os trabalhos.... Mas gostei muito dos trabalhos que já li :)
� Lista #5 será disponibilizada durante o final de semana. Parecida com a Lista #3, no sentido de “rodar o algoritmo”. Não será tão longa quanto a Lista #3
� Sobre a nota do semestre. Listas #1-#5: 5.0 pontos (máx. 4.0). Lista de Revisão: 1.0 ponto
– Haverá um formato de submissão e prazo de entrega. Não enviemantes!
. Exercícios Online: 1.0 ponto
. Prova NP2: 5.0 pontos
. Fórmula final:
NF = min{4.0, NL#1-#5}+ NMódulo + NLista + NP2
![Page 7: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/7.jpg)
2
Avisos
� Lista #4 recebida!. Não consegui corrigir todos os trabalhos.... Mas gostei muito dos trabalhos que já li :)
� Lista #5 será disponibilizada durante o final de semana. Parecida com a Lista #3, no sentido de “rodar o algoritmo”. Não será tão longa quanto a Lista #3
� Sobre a nota do semestre. Listas #1-#5: 5.0 pontos (máx. 4.0). Lista de Revisão: 1.0 ponto
– Haverá um formato de submissão e prazo de entrega. Não enviemantes!
. Exercícios Online: 1.0 ponto
. Prova NP2: 5.0 pontos
. Fórmula final:
NF = min{4.0, NL#1-#5}+ NMódulo + NLista + NP2
![Page 8: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/8.jpg)
2
Avisos
� Lista #4 recebida!. Não consegui corrigir todos os trabalhos.... Mas gostei muito dos trabalhos que já li :)
� Lista #5 será disponibilizada durante o final de semana. Parecida com a Lista #3, no sentido de “rodar o algoritmo”. Não será tão longa quanto a Lista #3
� Sobre a nota do semestre. Listas #1-#5: 5.0 pontos (máx. 4.0). Lista de Revisão: 1.0 ponto
– Haverá um formato de submissão e prazo de entrega. Não enviemantes!
. Exercícios Online: 1.0 ponto
. Prova NP2: 5.0 pontos
. Fórmula final:
NF = min{4.0, NL#1-#5}+ NMódulo + NLista + NP2
![Page 9: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/9.jpg)
2
Avisos
� Lista #4 recebida!. Não consegui corrigir todos os trabalhos.... Mas gostei muito dos trabalhos que já li :)
� Lista #5 será disponibilizada durante o final de semana. Parecida com a Lista #3, no sentido de “rodar o algoritmo”. Não será tão longa quanto a Lista #3
� Sobre a nota do semestre. Listas #1-#5: 5.0 pontos (máx. 4.0). Lista de Revisão: 1.0 ponto
– Haverá um formato de submissão e prazo de entrega. Não enviemantes!
. Exercícios Online: 1.0 ponto
. Prova NP2: 5.0 pontos
. Fórmula final:
NF = min{4.0, NL#1-#5}+ NMódulo + NLista + NP2
![Page 10: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/10.jpg)
2
Avisos
� Lista #4 recebida!. Não consegui corrigir todos os trabalhos.... Mas gostei muito dos trabalhos que já li :)
� Lista #5 será disponibilizada durante o final de semana. Parecida com a Lista #3, no sentido de “rodar o algoritmo”. Não será tão longa quanto a Lista #3
� Sobre a nota do semestre. Listas #1-#5: 5.0 pontos (máx. 4.0). Lista de Revisão: 1.0 ponto
– Haverá um formato de submissão e prazo de entrega. Não enviemantes!
. Exercícios Online: 1.0 ponto
. Prova NP2: 5.0 pontos
. Fórmula final:
NF = min{4.0, NL#1-#5}+ NMódulo + NLista + NP2
![Page 11: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/11.jpg)
2
Avisos
� Lista #4 recebida!. Não consegui corrigir todos os trabalhos.... Mas gostei muito dos trabalhos que já li :)
� Lista #5 será disponibilizada durante o final de semana. Parecida com a Lista #3, no sentido de “rodar o algoritmo”. Não será tão longa quanto a Lista #3
� Sobre a nota do semestre. Listas #1-#5: 5.0 pontos (máx. 4.0). Lista de Revisão: 1.0 ponto
– Haverá um formato de submissão e prazo de entrega. Não enviemantes!
. Exercícios Online: 1.0 ponto
. Prova NP2: 5.0 pontos
. Fórmula final:
NF = min{4.0, NL#1-#5}+ NMódulo + NLista + NP2
![Page 12: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/12.jpg)
2
Avisos
� Lista #4 recebida!. Não consegui corrigir todos os trabalhos.... Mas gostei muito dos trabalhos que já li :)
� Lista #5 será disponibilizada durante o final de semana. Parecida com a Lista #3, no sentido de “rodar o algoritmo”. Não será tão longa quanto a Lista #3
� Sobre a nota do semestre. Listas #1-#5: 5.0 pontos (máx. 4.0). Lista de Revisão: 1.0 ponto
– Haverá um formato de submissão e prazo de entrega. Não enviemantes!
. Exercícios Online: 1.0 ponto
. Prova NP2: 5.0 pontos
. Fórmula final:
NF = min{4.0, NL#1-#5}+ NMódulo + NLista + NP2
![Page 13: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/13.jpg)
3
Correção da Lista #4
![Page 14: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/14.jpg)
4
Questão 1 :: Correção da Lista #4
“Parta do pressuposto de que você está lidando com um grafo G e queele é uma árvore, ou seja, um grafo que não possui ciclos e que é conexo.Prove que para todo par de vértices u, v ∈ V (G), só existe um único
caminho entre u e v.”
Prova.1 G é uma árvore. Logo ele é acíclico e conexo.2 Sejam u e v dois vértices arbitrários de G. O fato de que u e vpodem ser quaisquer dois vértices de G é importante! Porque se valepara estes dois vértices arbitrários, vale para todo par de vértices.
3 Queremos provar que existe um único caminho entre u e v. Issoimplica que precisamos mostrar duas coisas:
. Existe pelo menos um caminho entre u e v.
. Não existe mais de um caminho entre u e v.
![Page 15: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/15.jpg)
4
Questão 1 :: Correção da Lista #4
“Parta do pressuposto de que você está lidando com um grafo G e queele é uma árvore, ou seja, um grafo que não possui ciclos e que é conexo.Prove que para todo par de vértices u, v ∈ V (G), só existe um único
caminho entre u e v.”
Prova.1 G é uma árvore. Logo ele é acíclico e conexo.2 Sejam u e v dois vértices arbitrários de G. O fato de que u e vpodem ser quaisquer dois vértices de G é importante! Porque se valepara estes dois vértices arbitrários, vale para todo par de vértices.
3 Queremos provar que existe um único caminho entre u e v. Issoimplica que precisamos mostrar duas coisas:
. Existe pelo menos um caminho entre u e v.
. Não existe mais de um caminho entre u e v.
![Page 16: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/16.jpg)
4
Questão 1 :: Correção da Lista #4
“Parta do pressuposto de que você está lidando com um grafo G e queele é uma árvore, ou seja, um grafo que não possui ciclos e que é conexo.Prove que para todo par de vértices u, v ∈ V (G), só existe um único
caminho entre u e v.”
Prova.1 G é uma árvore. Logo ele é acíclico e conexo.2 Sejam u e v dois vértices arbitrários de G. O fato de que u e vpodem ser quaisquer dois vértices de G é importante! Porque se valepara estes dois vértices arbitrários, vale para todo par de vértices.
3 Queremos provar que existe um único caminho entre u e v. Issoimplica que precisamos mostrar duas coisas:
. Existe pelo menos um caminho entre u e v.
. Não existe mais de um caminho entre u e v.
![Page 17: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/17.jpg)
4
Questão 1 :: Correção da Lista #4
“Parta do pressuposto de que você está lidando com um grafo G e queele é uma árvore, ou seja, um grafo que não possui ciclos e que é conexo.Prove que para todo par de vértices u, v ∈ V (G), só existe um único
caminho entre u e v.”
Prova.1 G é uma árvore. Logo ele é acíclico e conexo.2 Sejam u e v dois vértices arbitrários de G. O fato de que u e vpodem ser quaisquer dois vértices de G é importante! Porque se valepara estes dois vértices arbitrários, vale para todo par de vértices.
3 Queremos provar que existe um único caminho entre u e v. Issoimplica que precisamos mostrar duas coisas:
. Existe pelo menos um caminho entre u e v.
. Não existe mais de um caminho entre u e v.
![Page 18: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/18.jpg)
4
Questão 1 :: Correção da Lista #4
“Parta do pressuposto de que você está lidando com um grafo G e queele é uma árvore, ou seja, um grafo que não possui ciclos e que é conexo.Prove que para todo par de vértices u, v ∈ V (G), só existe um único
caminho entre u e v.”
Prova.1 G é uma árvore. Logo ele é acíclico e conexo.2 Sejam u e v dois vértices arbitrários de G. O fato de que u e vpodem ser quaisquer dois vértices de G é importante! Porque se valepara estes dois vértices arbitrários, vale para todo par de vértices.
3 Queremos provar que existe um único caminho entre u e v. Issoimplica que precisamos mostrar duas coisas:
. Existe pelo menos um caminho entre u e v.
. Não existe mais de um caminho entre u e v.
![Page 19: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/19.jpg)
4
Questão 1 :: Correção da Lista #4
“Parta do pressuposto de que você está lidando com um grafo G e queele é uma árvore, ou seja, um grafo que não possui ciclos e que é conexo.Prove que para todo par de vértices u, v ∈ V (G), só existe um único
caminho entre u e v.”
Prova.1 G é uma árvore. Logo ele é acíclico e conexo.2 Sejam u e v dois vértices arbitrários de G. O fato de que u e vpodem ser quaisquer dois vértices de G é importante! Porque se valepara estes dois vértices arbitrários, vale para todo par de vértices.
3 Queremos provar que existe um único caminho entre u e v. Issoimplica que precisamos mostrar duas coisas:
. Existe pelo menos um caminho entre u e v.
. Não existe mais de um caminho entre u e v.
![Page 20: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/20.jpg)
4
Questão 1 :: Correção da Lista #4
“Parta do pressuposto de que você está lidando com um grafo G e queele é uma árvore, ou seja, um grafo que não possui ciclos e que é conexo.Prove que para todo par de vértices u, v ∈ V (G), só existe um único
caminho entre u e v.”
Prova.1 G é uma árvore. Logo ele é acíclico e conexo.2 Sejam u e v dois vértices arbitrários de G. O fato de que u e vpodem ser quaisquer dois vértices de G é importante! Porque se valepara estes dois vértices arbitrários, vale para todo par de vértices.
3 Queremos provar que existe um único caminho entre u e v. Issoimplica que precisamos mostrar duas coisas:
. Existe pelo menos um caminho entre u e v.
. Não existe mais de um caminho entre u e v.
![Page 21: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/21.jpg)
4
Questão 1 :: Correção da Lista #4
“Parta do pressuposto de que você está lidando com um grafo G e queele é uma árvore, ou seja, um grafo que não possui ciclos e que é conexo.Prove que para todo par de vértices u, v ∈ V (G), só existe um único
caminho entre u e v.”
Prova.1 G é uma árvore. Logo ele é acíclico e conexo.2 Sejam u e v dois vértices arbitrários de G. O fato de que u e vpodem ser quaisquer dois vértices de G é importante! Porque se valepara estes dois vértices arbitrários, vale para todo par de vértices.
3 Queremos provar que existe um único caminho entre u e v. Issoimplica que precisamos mostrar duas coisas:
. Existe pelo menos um caminho entre u e v.
. Não existe mais de um caminho entre u e v.
![Page 22: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/22.jpg)
4
Questão 1 :: Correção da Lista #4
“Parta do pressuposto de que você está lidando com um grafo G e queele é uma árvore, ou seja, um grafo que não possui ciclos e que é conexo.Prove que para todo par de vértices u, v ∈ V (G), só existe um único
caminho entre u e v.”
Prova.1 G é uma árvore. Logo ele é acíclico e conexo.2 Sejam u e v dois vértices arbitrários de G. O fato de que u e vpodem ser quaisquer dois vértices de G é importante! Porque se valepara estes dois vértices arbitrários, vale para todo par de vértices.
3 Queremos provar que existe um único caminho entre u e v. Issoimplica que precisamos mostrar duas coisas:
. Existe pelo menos um caminho entre u e v.
. Não existe mais de um caminho entre u e v.
![Page 23: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/23.jpg)
4
Questão 1 :: Correção da Lista #4
“Parta do pressuposto de que você está lidando com um grafo G e queele é uma árvore, ou seja, um grafo que não possui ciclos e que é conexo.Prove que para todo par de vértices u, v ∈ V (G), só existe um único
caminho entre u e v.”
Prova.1 G é uma árvore. Logo ele é acíclico e conexo.2 Sejam u e v dois vértices arbitrários de G. O fato de que u e vpodem ser quaisquer dois vértices de G é importante! Porque se valepara estes dois vértices arbitrários, vale para todo par de vértices.
3 Queremos provar que existe um único caminho entre u e v. Issoimplica que precisamos mostrar duas coisas:
. Existe pelo menos um caminho entre u e v.
. Não existe mais de um caminho entre u e v.
![Page 24: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/24.jpg)
5
Questão 1 :: Correção da Lista #4
“Parta do pressuposto de que você está lidando com um grafo G e queele é uma árvore, ou seja, um grafo que não possui ciclos e que é conexo.Prove que para todo par de vértices u, v ∈ V (G), só existe um único
caminho entre u e v.”
Prova. (Continuação)4 Como provamos que existe pelo menos um caminho entre u e v?5 “Definição. Um grafo é conexo se é possível sair de qualquer vértice
u de G e chegar em qualquer outro vértice v de G. Formalmente,existe um caminho de u a v entre todo par de vértices u, v ∈ V (G).”
— C. A. Weffort-Santos, 2020, umas 3 semanas atrás.6 Portanto, para todo par de vértices u e v, existe pelo menos umcaminho entre u e v em G.
![Page 25: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/25.jpg)
5
Questão 1 :: Correção da Lista #4
“Parta do pressuposto de que você está lidando com um grafo G e queele é uma árvore, ou seja, um grafo que não possui ciclos e que é conexo.Prove que para todo par de vértices u, v ∈ V (G), só existe um único
caminho entre u e v.”
Prova. (Continuação)4 Como provamos que existe pelo menos um caminho entre u e v?Exatamente! O grafo G é conexo
5 “Definição. Um grafo é conexo se é possível sair de qualquer vérticeu de G e chegar em qualquer outro vértice v de G. Formalmente,existe um caminho de u a v entre todo par de vértices u, v ∈ V (G).”
— C. A. Weffort-Santos, 2020, umas 3 semanas atrás.6 Portanto, para todo par de vértices u e v, existe pelo menos umcaminho entre u e v em G.
![Page 26: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/26.jpg)
5
Questão 1 :: Correção da Lista #4
“Parta do pressuposto de que você está lidando com um grafo G e queele é uma árvore, ou seja, um grafo que não possui ciclos e que é conexo.Prove que para todo par de vértices u, v ∈ V (G), só existe um único
caminho entre u e v.”
Prova. (Continuação)4 Como provamos que existe pelo menos um caminho entre u e v?Exatamente! O grafo G é conexo
5 “Definição. Um grafo é conexo se é possível sair de qualquer vérticeu de G e chegar em qualquer outro vértice v de G. Formalmente,existe um caminho de u a v entre todo par de vértices u, v ∈ V (G).”
— C. A. Weffort-Santos, 2020, umas 3 semanas atrás.6 Portanto, para todo par de vértices u e v, existe pelo menos umcaminho entre u e v em G.
![Page 27: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/27.jpg)
5
Questão 1 :: Correção da Lista #4
“Parta do pressuposto de que você está lidando com um grafo G e queele é uma árvore, ou seja, um grafo que não possui ciclos e que é conexo.Prove que para todo par de vértices u, v ∈ V (G), só existe um único
caminho entre u e v.”
Prova. (Continuação)4 Como provamos que existe pelo menos um caminho entre u e v?Exatamente! O grafo G é conexo
5 “Definição. Um grafo é conexo se é possível sair de qualquer vérticeu de G e chegar em qualquer outro vértice v de G. Formalmente,existe um caminho de u a v entre todo par de vértices u, v ∈ V (G).”
— C. A. Weffort-Santos, 2020, umas 3 semanas atrás.6 Portanto, para todo par de vértices u e v, existe pelo menos umcaminho entre u e v em G.
![Page 28: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/28.jpg)
6
Questão 1 :: Correção da Lista #4
Prova. (Continuação)4 Como provamos que não existe mais de um caminho entre u e v.5 Suponha que exista mais de um caminho entre u e v em G.
a Sejam P e P ′ estes caminhos.b Como P e P ′ são diferentes (por hipótese), existe algum vértice x
destes caminhos em que o próximo vértice em P é diferente do próximovértice em P ′.
c Como ambos terminam em v, também existe algum vértice w depois dex em P que também está em P ′.
d Então os “subcaminhos” entre x e w em P e P ′ não possuem vérticesem comum (a menos dos vértices x e w).
e Então existe um ciclo em G, dado pela sequência xP→ w
P ′→ x.
f Então G é um grafo que não possui ciclos (porque ele é uma árvorePOR HIPÓTESE) e que possui ciclos.
6 Concluímos, então, que não existe mais de um caminho entre u e vem G.
7 Como u e v foram escolhidos arbitrariamente, vale para todo par devértices u, v ∈ V (G) que só existe um único caminho em G. �
![Page 29: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/29.jpg)
6
Questão 1 :: Correção da Lista #4Prova. (Continuação)
4 Como provamos que não existe mais de um caminho entre u e v.Prova por contradição!
5 Suponha que exista mais de um caminho entre u e v em G.a Sejam P e P ′ estes caminhos.b Como P e P ′ são diferentes (por hipótese), existe algum vértice x
destes caminhos em que o próximo vértice em P é diferente do próximovértice em P ′.
c Como ambos terminam em v, também existe algum vértice w depois dex em P que também está em P ′.
d Então os “subcaminhos” entre x e w em P e P ′ não possuem vérticesem comum (a menos dos vértices x e w).
e Então existe um ciclo em G, dado pela sequência xP→ w
P ′→ x.
f Então G é um grafo que não possui ciclos (porque ele é uma árvorePOR HIPÓTESE) e que possui ciclos.
6 Concluímos, então, que não existe mais de um caminho entre u e vem G.
7 Como u e v foram escolhidos arbitrariamente, vale para todo par devértices u, v ∈ V (G) que só existe um único caminho em G. �
![Page 30: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/30.jpg)
6
Questão 1 :: Correção da Lista #4Prova. (Continuação)
4 Como provamos que não existe mais de um caminho entre u e v.Prova por contradição!
5 Suponha que exista mais de um caminho entre u e v em G.a Sejam P e P ′ estes caminhos.b Como P e P ′ são diferentes (por hipótese), existe algum vértice x
destes caminhos em que o próximo vértice em P é diferente do próximovértice em P ′.
c Como ambos terminam em v, também existe algum vértice w depois dex em P que também está em P ′.
d Então os “subcaminhos” entre x e w em P e P ′ não possuem vérticesem comum (a menos dos vértices x e w).
e Então existe um ciclo em G, dado pela sequência xP→ w
P ′→ x.
f Então G é um grafo que não possui ciclos (porque ele é uma árvorePOR HIPÓTESE) e que possui ciclos.
6 Concluímos, então, que não existe mais de um caminho entre u e vem G.
7 Como u e v foram escolhidos arbitrariamente, vale para todo par devértices u, v ∈ V (G) que só existe um único caminho em G. �
![Page 31: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/31.jpg)
6
Questão 1 :: Correção da Lista #4Prova. (Continuação)
4 Como provamos que não existe mais de um caminho entre u e v.Prova por contradição!
5 Suponha que exista mais de um caminho entre u e v em G.a Sejam P e P ′ estes caminhos.b Como P e P ′ são diferentes (por hipótese), existe algum vértice x
destes caminhos em que o próximo vértice em P é diferente do próximovértice em P ′.
c Como ambos terminam em v, também existe algum vértice w depois dex em P que também está em P ′.
d Então os “subcaminhos” entre x e w em P e P ′ não possuem vérticesem comum (a menos dos vértices x e w).
e Então existe um ciclo em G, dado pela sequência xP→ w
P ′→ x.
f Então G é um grafo que não possui ciclos (porque ele é uma árvorePOR HIPÓTESE) e que possui ciclos.
6 Concluímos, então, que não existe mais de um caminho entre u e vem G.
7 Como u e v foram escolhidos arbitrariamente, vale para todo par devértices u, v ∈ V (G) que só existe um único caminho em G. �
![Page 32: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/32.jpg)
6
Questão 1 :: Correção da Lista #4Prova. (Continuação)
4 Como provamos que não existe mais de um caminho entre u e v.Prova por contradição!
5 Suponha que exista mais de um caminho entre u e v em G.a Sejam P e P ′ estes caminhos.b Como P e P ′ são diferentes (por hipótese), existe algum vértice x
destes caminhos em que o próximo vértice em P é diferente do próximovértice em P ′.
c Como ambos terminam em v, também existe algum vértice w depois dex em P que também está em P ′.
d Então os “subcaminhos” entre x e w em P e P ′ não possuem vérticesem comum (a menos dos vértices x e w).
e Então existe um ciclo em G, dado pela sequência xP→ w
P ′→ x.
f Então G é um grafo que não possui ciclos (porque ele é uma árvorePOR HIPÓTESE) e que possui ciclos.
6 Concluímos, então, que não existe mais de um caminho entre u e vem G.
7 Como u e v foram escolhidos arbitrariamente, vale para todo par devértices u, v ∈ V (G) que só existe um único caminho em G. �
![Page 33: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/33.jpg)
6
Questão 1 :: Correção da Lista #4Prova. (Continuação)
4 Como provamos que não existe mais de um caminho entre u e v.Prova por contradição!
5 Suponha que exista mais de um caminho entre u e v em G.a Sejam P e P ′ estes caminhos.b Como P e P ′ são diferentes (por hipótese), existe algum vértice x
destes caminhos em que o próximo vértice em P é diferente do próximovértice em P ′.
c Como ambos terminam em v, também existe algum vértice w depois dex em P que também está em P ′.
d Então os “subcaminhos” entre x e w em P e P ′ não possuem vérticesem comum (a menos dos vértices x e w).
e Então existe um ciclo em G, dado pela sequência xP→ w
P ′→ x.
f Então G é um grafo que não possui ciclos (porque ele é uma árvorePOR HIPÓTESE) e que possui ciclos.
6 Concluímos, então, que não existe mais de um caminho entre u e vem G.
7 Como u e v foram escolhidos arbitrariamente, vale para todo par devértices u, v ∈ V (G) que só existe um único caminho em G. �
![Page 34: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/34.jpg)
6
Questão 1 :: Correção da Lista #4Prova. (Continuação)
4 Como provamos que não existe mais de um caminho entre u e v.Prova por contradição!
5 Suponha que exista mais de um caminho entre u e v em G.a Sejam P e P ′ estes caminhos.b Como P e P ′ são diferentes (por hipótese), existe algum vértice x
destes caminhos em que o próximo vértice em P é diferente do próximovértice em P ′.
c Como ambos terminam em v, também existe algum vértice w depois dex em P que também está em P ′.
d Então os “subcaminhos” entre x e w em P e P ′ não possuem vérticesem comum (a menos dos vértices x e w).
e Então existe um ciclo em G, dado pela sequência xP→ w
P ′→ x.
f Então G é um grafo que não possui ciclos (porque ele é uma árvorePOR HIPÓTESE) e que possui ciclos.
6 Concluímos, então, que não existe mais de um caminho entre u e vem G.
7 Como u e v foram escolhidos arbitrariamente, vale para todo par devértices u, v ∈ V (G) que só existe um único caminho em G. �
![Page 35: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/35.jpg)
6
Questão 1 :: Correção da Lista #4Prova. (Continuação)
4 Como provamos que não existe mais de um caminho entre u e v.Prova por contradição!
5 Suponha que exista mais de um caminho entre u e v em G.a Sejam P e P ′ estes caminhos.b Como P e P ′ são diferentes (por hipótese), existe algum vértice x
destes caminhos em que o próximo vértice em P é diferente do próximovértice em P ′.
c Como ambos terminam em v, também existe algum vértice w depois dex em P que também está em P ′.
d Então os “subcaminhos” entre x e w em P e P ′ não possuem vérticesem comum (a menos dos vértices x e w).
e Então existe um ciclo em G, dado pela sequência xP→ w
P ′→ x.
f Então G é um grafo que não possui ciclos (porque ele é uma árvorePOR HIPÓTESE) e que possui ciclos.
6 Concluímos, então, que não existe mais de um caminho entre u e vem G.
7 Como u e v foram escolhidos arbitrariamente, vale para todo par devértices u, v ∈ V (G) que só existe um único caminho em G. �
![Page 36: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/36.jpg)
6
Questão 1 :: Correção da Lista #4Prova. (Continuação)
4 Como provamos que não existe mais de um caminho entre u e v.Prova por contradição!
5 Suponha que exista mais de um caminho entre u e v em G.a Sejam P e P ′ estes caminhos.b Como P e P ′ são diferentes (por hipótese), existe algum vértice x
destes caminhos em que o próximo vértice em P é diferente do próximovértice em P ′.
c Como ambos terminam em v, também existe algum vértice w depois dex em P que também está em P ′.
d Então os “subcaminhos” entre x e w em P e P ′ não possuem vérticesem comum (a menos dos vértices x e w).
e Então existe um ciclo em G, dado pela sequência xP→ w
P ′→ x.
f Então G é um grafo que não possui ciclos (porque ele é uma árvorePOR HIPÓTESE) e que possui ciclos.
6 Concluímos, então, que não existe mais de um caminho entre u e vem G.
7 Como u e v foram escolhidos arbitrariamente, vale para todo par devértices u, v ∈ V (G) que só existe um único caminho em G. �
![Page 37: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/37.jpg)
6
Questão 1 :: Correção da Lista #4Prova. (Continuação)
4 Como provamos que não existe mais de um caminho entre u e v.Prova por contradição!
5 Suponha que exista mais de um caminho entre u e v em G.a Sejam P e P ′ estes caminhos.b Como P e P ′ são diferentes (por hipótese), existe algum vértice x
destes caminhos em que o próximo vértice em P é diferente do próximovértice em P ′.
c Como ambos terminam em v, também existe algum vértice w depois dex em P que também está em P ′.
d Então os “subcaminhos” entre x e w em P e P ′ não possuem vérticesem comum (a menos dos vértices x e w).
e Então existe um ciclo em G, dado pela sequência xP→ w
P ′→ x.
f Então G é um grafo que não possui ciclos (porque ele é uma árvorePOR HIPÓTESE) e que possui ciclos. ISSO É UM ABSURDO!
6 Concluímos, então, que não existe mais de um caminho entre u e vem G.
7 Como u e v foram escolhidos arbitrariamente, vale para todo par devértices u, v ∈ V (G) que só existe um único caminho em G. �
![Page 38: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/38.jpg)
6
Questão 1 :: Correção da Lista #4Prova. (Continuação)
4 Como provamos que não existe mais de um caminho entre u e v.Prova por contradição!
5 Suponha que exista mais de um caminho entre u e v em G.a Sejam P e P ′ estes caminhos.b Como P e P ′ são diferentes (por hipótese), existe algum vértice x
destes caminhos em que o próximo vértice em P é diferente do próximovértice em P ′.
c Como ambos terminam em v, também existe algum vértice w depois dex em P que também está em P ′.
d Então os “subcaminhos” entre x e w em P e P ′ não possuem vérticesem comum (a menos dos vértices x e w).
e Então existe um ciclo em G, dado pela sequência xP→ w
P ′→ x.
f Então G é um grafo que não possui ciclos (porque ele é uma árvorePOR HIPÓTESE) e que possui ciclos. ISSO É UM ABSURDO!
6 Concluímos, então, que não existe mais de um caminho entre u e vem G.
7 Como u e v foram escolhidos arbitrariamente, vale para todo par devértices u, v ∈ V (G) que só existe um único caminho em G. �
![Page 39: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/39.jpg)
6
Questão 1 :: Correção da Lista #4Prova. (Continuação)
4 Como provamos que não existe mais de um caminho entre u e v.Prova por contradição!
5 Suponha que exista mais de um caminho entre u e v em G.a Sejam P e P ′ estes caminhos.b Como P e P ′ são diferentes (por hipótese), existe algum vértice x
destes caminhos em que o próximo vértice em P é diferente do próximovértice em P ′.
c Como ambos terminam em v, também existe algum vértice w depois dex em P que também está em P ′.
d Então os “subcaminhos” entre x e w em P e P ′ não possuem vérticesem comum (a menos dos vértices x e w).
e Então existe um ciclo em G, dado pela sequência xP→ w
P ′→ x.
f Então G é um grafo que não possui ciclos (porque ele é uma árvorePOR HIPÓTESE) e que possui ciclos. ISSO É UM ABSURDO!
6 Concluímos, então, que não existe mais de um caminho entre u e vem G.
7 Como u e v foram escolhidos arbitrariamente, vale para todo par devértices u, v ∈ V (G) que só existe um único caminho em G. �
![Page 40: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/40.jpg)
6
Questão 1 :: Correção da Lista #4Prova. (Continuação)
4 Como provamos que não existe mais de um caminho entre u e v.Prova por contradição!
5 Suponha que exista mais de um caminho entre u e v em G.a Sejam P e P ′ estes caminhos.b Como P e P ′ são diferentes (por hipótese), existe algum vértice x
destes caminhos em que o próximo vértice em P é diferente do próximovértice em P ′.
c Como ambos terminam em v, também existe algum vértice w depois dex em P que também está em P ′.
d Então os “subcaminhos” entre x e w em P e P ′ não possuem vérticesem comum (a menos dos vértices x e w).
e Então existe um ciclo em G, dado pela sequência xP→ w
P ′→ x.
f Então G é um grafo que não possui ciclos (porque ele é uma árvorePOR HIPÓTESE) e que possui ciclos. ISSO É UM ABSURDO!
6 Concluímos, então, que não existe mais de um caminho entre u e vem G.
7 Como u e v foram escolhidos arbitrariamente, vale para todo par devértices u, v ∈ V (G) que só existe um único caminho em G. �
![Page 41: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/41.jpg)
7
Questão 2 :: Correção da Lista #4
“Em contrapartida, parta do pressuposto de que você está lidando comum grafo G tal que para todo par de vértices u, v ∈ V (G), só existe umúnico caminho entre u e v. Prove, então, que G é uma árvore, ou seja,
que ele é (i) conexo e que ele (ii) não possui ciclos.”
Prova.1 Suponha que G é um grafo tal que para cada par de vértices
u, v ∈ V (G) existe um único caminho entre u e v.2 Então, não existe nenhum vértice que é “inalcançável” a partir dealgum outro.
3 Portanto, G é conexo. (Pronto! Provamos (i) :D)4 Como provamos que não existem ciclos?
![Page 42: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/42.jpg)
7
Questão 2 :: Correção da Lista #4
“Em contrapartida, parta do pressuposto de que você está lidando comum grafo G tal que para todo par de vértices u, v ∈ V (G), só existe umúnico caminho entre u e v. Prove, então, que G é uma árvore, ou seja,
que ele é (i) conexo e que ele (ii) não possui ciclos.”
Prova.1 Suponha que G é um grafo tal que para cada par de vértices
u, v ∈ V (G) existe um único caminho entre u e v.2 Então, não existe nenhum vértice que é “inalcançável” a partir dealgum outro.
3 Portanto, G é conexo. (Pronto! Provamos (i) :D)4 Como provamos que não existem ciclos?
![Page 43: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/43.jpg)
7
Questão 2 :: Correção da Lista #4
“Em contrapartida, parta do pressuposto de que você está lidando comum grafo G tal que para todo par de vértices u, v ∈ V (G), só existe umúnico caminho entre u e v. Prove, então, que G é uma árvore, ou seja,
que ele é (i) conexo e que ele (ii) não possui ciclos.”
Prova.1 Suponha que G é um grafo tal que para cada par de vértices
u, v ∈ V (G) existe um único caminho entre u e v.2 Então, não existe nenhum vértice que é “inalcançável” a partir dealgum outro.
3 Portanto, G é conexo. (Pronto! Provamos (i) :D)4 Como provamos que não existem ciclos?
![Page 44: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/44.jpg)
7
Questão 2 :: Correção da Lista #4
“Em contrapartida, parta do pressuposto de que você está lidando comum grafo G tal que para todo par de vértices u, v ∈ V (G), só existe umúnico caminho entre u e v. Prove, então, que G é uma árvore, ou seja,
que ele é (i) conexo e que ele (ii) não possui ciclos.”
Prova.1 Suponha que G é um grafo tal que para cada par de vértices
u, v ∈ V (G) existe um único caminho entre u e v.2 Então, não existe nenhum vértice que é “inalcançável” a partir dealgum outro.
3 Portanto, G é conexo. (Pronto! Provamos (i) :D)4 Como provamos que não existem ciclos?
![Page 45: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/45.jpg)
7
Questão 2 :: Correção da Lista #4
“Em contrapartida, parta do pressuposto de que você está lidando comum grafo G tal que para todo par de vértices u, v ∈ V (G), só existe umúnico caminho entre u e v. Prove, então, que G é uma árvore, ou seja,
que ele é (i) conexo e que ele (ii) não possui ciclos.”
Prova.1 Suponha que G é um grafo tal que para cada par de vértices
u, v ∈ V (G) existe um único caminho entre u e v.2 Então, não existe nenhum vértice que é “inalcançável” a partir dealgum outro.
3 Portanto, G é conexo. (Pronto! Provamos (i) :D)4 Como provamos que não existem ciclos?
![Page 46: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/46.jpg)
7
Questão 2 :: Correção da Lista #4
“Em contrapartida, parta do pressuposto de que você está lidando comum grafo G tal que para todo par de vértices u, v ∈ V (G), só existe umúnico caminho entre u e v. Prove, então, que G é uma árvore, ou seja,
que ele é (i) conexo e que ele (ii) não possui ciclos.”
Prova.1 Suponha que G é um grafo tal que para cada par de vértices
u, v ∈ V (G) existe um único caminho entre u e v.2 Então, não existe nenhum vértice que é “inalcançável” a partir dealgum outro.
3 Portanto, G é conexo. (Pronto! Provamos (i) :D)4 Como provamos que não existem ciclos?
![Page 47: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/47.jpg)
7
Questão 2 :: Correção da Lista #4
“Em contrapartida, parta do pressuposto de que você está lidando comum grafo G tal que para todo par de vértices u, v ∈ V (G), só existe umúnico caminho entre u e v. Prove, então, que G é uma árvore, ou seja,
que ele é (i) conexo e que ele (ii) não possui ciclos.”
Prova.1 Suponha que G é um grafo tal que para cada par de vértices
u, v ∈ V (G) existe um único caminho entre u e v.2 Então, não existe nenhum vértice que é “inalcançável” a partir dealgum outro.
3 Portanto, G é conexo. (Pronto! Provamos (i) :D)4 Como provamos que não existem ciclos?
![Page 48: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/48.jpg)
7
Questão 2 :: Correção da Lista #4
“Em contrapartida, parta do pressuposto de que você está lidando comum grafo G tal que para todo par de vértices u, v ∈ V (G), só existe umúnico caminho entre u e v. Prove, então, que G é uma árvore, ou seja,
que ele é (i) conexo e que ele (ii) não possui ciclos.”
Prova.1 Suponha que G é um grafo tal que para cada par de vértices
u, v ∈ V (G) existe um único caminho entre u e v.2 Então, não existe nenhum vértice que é “inalcançável” a partir dealgum outro.
3 Portanto, G é conexo. (Pronto! Provamos (i) :D)4 Como provamos que não existem ciclos? Exatamente! Prova porcontradição de novo!
![Page 49: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/49.jpg)
8
Questão 2 :: Correção da Lista #4
Prova. (Continuação)5 Suponha que existe um subgrafo H ⊆ G que é um ciclo
1 Sejam r e s dois vértices arbitrários em H.2 Então, existe um caminho (em H) de r até s seguindo um “lado” do
ciclo...3 ... e um segundo caminho de r até s pelo “outro” lado do ciclo.4 Então existem dois caminhos ligando r a s em H e,
consequentemente, em G. ISSO É UM ABSURDO!6 Portanto, não existem ciclos em G.7 Logo, G é conexo e acíclico — uma árvore. �
![Page 50: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/50.jpg)
8
Questão 2 :: Correção da Lista #4
Prova. (Continuação)5 Suponha que existe um subgrafo H ⊆ G que é um ciclo
1 Sejam r e s dois vértices arbitrários em H.2 Então, existe um caminho (em H) de r até s seguindo um “lado” do
ciclo...3 ... e um segundo caminho de r até s pelo “outro” lado do ciclo.4 Então existem dois caminhos ligando r a s em H e,
consequentemente, em G. ISSO É UM ABSURDO!6 Portanto, não existem ciclos em G.7 Logo, G é conexo e acíclico — uma árvore. �
![Page 51: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/51.jpg)
8
Questão 2 :: Correção da Lista #4
Prova. (Continuação)5 Suponha que existe um subgrafo H ⊆ G que é um ciclo
1 Sejam r e s dois vértices arbitrários em H.2 Então, existe um caminho (em H) de r até s seguindo um “lado” do
ciclo...3 ... e um segundo caminho de r até s pelo “outro” lado do ciclo.4 Então existem dois caminhos ligando r a s em H e,
consequentemente, em G. ISSO É UM ABSURDO!6 Portanto, não existem ciclos em G.7 Logo, G é conexo e acíclico — uma árvore. �
![Page 52: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/52.jpg)
8
Questão 2 :: Correção da Lista #4
Prova. (Continuação)5 Suponha que existe um subgrafo H ⊆ G que é um ciclo
1 Sejam r e s dois vértices arbitrários em H.2 Então, existe um caminho (em H) de r até s seguindo um “lado” do
ciclo...3 ... e um segundo caminho de r até s pelo “outro” lado do ciclo.4 Então existem dois caminhos ligando r a s em H e,
consequentemente, em G. ISSO É UM ABSURDO!6 Portanto, não existem ciclos em G.7 Logo, G é conexo e acíclico — uma árvore. �
![Page 53: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/53.jpg)
8
Questão 2 :: Correção da Lista #4
Prova. (Continuação)5 Suponha que existe um subgrafo H ⊆ G que é um ciclo
1 Sejam r e s dois vértices arbitrários em H.2 Então, existe um caminho (em H) de r até s seguindo um “lado” do
ciclo...3 ... e um segundo caminho de r até s pelo “outro” lado do ciclo.4 Então existem dois caminhos ligando r a s em H e,
consequentemente, em G. ISSO É UM ABSURDO!6 Portanto, não existem ciclos em G.7 Logo, G é conexo e acíclico — uma árvore. �
![Page 54: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/54.jpg)
8
Questão 2 :: Correção da Lista #4
Prova. (Continuação)5 Suponha que existe um subgrafo H ⊆ G que é um ciclo
1 Sejam r e s dois vértices arbitrários em H.2 Então, existe um caminho (em H) de r até s seguindo um “lado” do
ciclo...3 ... e um segundo caminho de r até s pelo “outro” lado do ciclo.4 Então existem dois caminhos ligando r a s em H e,
consequentemente, em G. ISSO É UM ABSURDO!6 Portanto, não existem ciclos em G.7 Logo, G é conexo e acíclico — uma árvore. �
![Page 55: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/55.jpg)
8
Questão 2 :: Correção da Lista #4
Prova. (Continuação)5 Suponha que existe um subgrafo H ⊆ G que é um ciclo
1 Sejam r e s dois vértices arbitrários em H.2 Então, existe um caminho (em H) de r até s seguindo um “lado” do
ciclo...3 ... e um segundo caminho de r até s pelo “outro” lado do ciclo.4 Então existem dois caminhos ligando r a s em H e,
consequentemente, em G. ISSO É UM ABSURDO!6 Portanto, não existem ciclos em G.7 Logo, G é conexo e acíclico — uma árvore. �
![Page 56: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/56.jpg)
8
Questão 2 :: Correção da Lista #4
Prova. (Continuação)5 Suponha que existe um subgrafo H ⊆ G que é um ciclo
1 Sejam r e s dois vértices arbitrários em H.2 Então, existe um caminho (em H) de r até s seguindo um “lado” do
ciclo...3 ... e um segundo caminho de r até s pelo “outro” lado do ciclo.4 Então existem dois caminhos ligando r a s em H e,
consequentemente, em G. ISSO É UM ABSURDO!6 Portanto, não existem ciclos em G.7 Logo, G é conexo e acíclico — uma árvore. �
![Page 57: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/57.jpg)
9
Dúvidas?
![Page 58: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/58.jpg)
10
Árvore Geradora Mínima
![Page 59: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/59.jpg)
11
Árvore Geradora Mínima
Árvore Geradora MínimaEntrada: Um grafo ponderado G = (V, E, w).Pergunta: Qual é a árvore T ⊆ G de custo mínimo que gera G?
� Dois algoritmos principais para resolver AGM , mas nós veremossomente um deles!
1 Algoritmo de Prim
2 Algoritmo de Kruskal
![Page 60: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/60.jpg)
11
Árvore Geradora Mínima
Árvore Geradora MínimaEntrada: Um grafo ponderado G = (V, E, w).Pergunta: Qual é a árvore T ⊆ G de custo mínimo que gera G?
� Dois algoritmos principais para resolver AGM , mas nós veremossomente um deles!
1 Algoritmo de Prim
2 Algoritmo de Kruskal
![Page 61: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/61.jpg)
11
Árvore Geradora Mínima
Árvore Geradora MínimaEntrada: Um grafo ponderado G = (V, E, w).Pergunta: Qual é a árvore T ⊆ G de custo mínimo que gera G?
� Dois algoritmos principais para resolver AGM , mas nós veremossomente um deles!
1 Algoritmo de Prim
2 Algoritmo de Kruskal
![Page 62: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/62.jpg)
11
Árvore Geradora Mínima
Árvore Geradora MínimaEntrada: Um grafo ponderado G = (V, E, w).Pergunta: Qual é a árvore T ⊆ G de custo mínimo que gera G?
� Dois algoritmos principais para resolver AGM , mas nós veremossomente um deles!
1 Algoritmo de Prim
2 Algoritmo de Kruskal
![Page 63: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/63.jpg)
11
Árvore Geradora Mínima
Árvore Geradora MínimaEntrada: Um grafo ponderado G = (V, E, w).Pergunta: Qual é a árvore T ⊆ G de custo mínimo que gera G?
� Dois algoritmos principais para resolver AGM , mas nós veremossomente um deles!
1 Algoritmo de Prim
2 Algoritmo de Kruskal
![Page 64: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/64.jpg)
11
Árvore Geradora Mínima
Árvore Geradora MínimaEntrada: Um grafo ponderado G = (V, E, w).Pergunta: Qual é a árvore T ⊆ G de custo mínimo que gera G?
� Dois algoritmos principais para resolver AGM , mas nós veremossomente um deles!
1 Algoritmo de Prim
2 Algoritmo de Kruskal
![Page 65: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/65.jpg)
12
Algoritmos para AGM
� Construir um subgrafo acíclico T , aresta por aresta.
� A questão está em somente escolher arestas “seguras” → arestasque não criam ciclos no meu grafo!
� A escolha destas arestas pode ser feita de forma gulosa!. Prim: começa a partir de um único vértice. Cresce a árvore
iterativamente acrescentando novos vértices.
. Kruskal: começa a partir “do nada”. Vai construindo um subgrafosem ciclos acrescentando novas arestas.
![Page 66: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/66.jpg)
12
Algoritmos para AGM
� Construir um subgrafo acíclico T , aresta por aresta.
� A questão está em somente escolher arestas “seguras” → arestasque não criam ciclos no meu grafo!
� A escolha destas arestas pode ser feita de forma gulosa!. Prim: começa a partir de um único vértice. Cresce a árvore
iterativamente acrescentando novos vértices.
. Kruskal: começa a partir “do nada”. Vai construindo um subgrafosem ciclos acrescentando novas arestas.
![Page 67: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/67.jpg)
12
Algoritmos para AGM
� Construir um subgrafo acíclico T , aresta por aresta.
� A questão está em somente escolher arestas “seguras” → arestasque não criam ciclos no meu grafo!
� A escolha destas arestas pode ser feita de forma gulosa!. Prim: começa a partir de um único vértice. Cresce a árvore
iterativamente acrescentando novos vértices.
. Kruskal: começa a partir “do nada”. Vai construindo um subgrafosem ciclos acrescentando novas arestas.
![Page 68: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/68.jpg)
12
Algoritmos para AGM
� Construir um subgrafo acíclico T , aresta por aresta.
� A questão está em somente escolher arestas “seguras” → arestasque não criam ciclos no meu grafo!
� A escolha destas arestas pode ser feita de forma gulosa!. Prim: começa a partir de um único vértice. Cresce a árvore
iterativamente acrescentando novos vértices.
. Kruskal: começa a partir “do nada”. Vai construindo um subgrafosem ciclos acrescentando novas arestas.
![Page 69: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/69.jpg)
12
Algoritmos para AGM
� Construir um subgrafo acíclico T , aresta por aresta.
� A questão está em somente escolher arestas “seguras” → arestasque não criam ciclos no meu grafo!
� A escolha destas arestas pode ser feita de forma gulosa!. Prim: começa a partir de um único vértice. Cresce a árvore
iterativamente acrescentando novos vértices.
. Kruskal: começa a partir “do nada”. Vai construindo um subgrafosem ciclos acrescentando novas arestas.
![Page 70: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/70.jpg)
12
Algoritmos para AGM
� Construir um subgrafo acíclico T , aresta por aresta.
� A questão está em somente escolher arestas “seguras” → arestasque não criam ciclos no meu grafo!
� A escolha destas arestas pode ser feita de forma gulosa!. Prim: começa a partir de um único vértice. Cresce a árvore
iterativamente acrescentando novos vértices.
. Kruskal: começa a partir “do nada”. Vai construindo um subgrafosem ciclos acrescentando novas arestas.
![Page 71: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/71.jpg)
12
Algoritmos para AGM
� Construir um subgrafo acíclico T , aresta por aresta.
� A questão está em somente escolher arestas “seguras” → arestasque não criam ciclos no meu grafo!
� A escolha destas arestas pode ser feita de forma gulosa!. Prim: começa a partir de um único vértice. Cresce a árvore
iterativamente acrescentando novos vértices.
. Kruskal: começa a partir “do nada”. Vai construindo um subgrafosem ciclos acrescentando novas arestas.
![Page 72: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/72.jpg)
12
Algoritmos para AGM
� Construir um subgrafo acíclico T , aresta por aresta.
� A questão está em somente escolher arestas “seguras” → arestasque não criam ciclos no meu grafo!
� A escolha destas arestas pode ser feita de forma gulosa!. Prim: começa a partir de um único vértice. Cresce a árvore
iterativamente acrescentando novos vértices.
. Kruskal: começa a partir “do nada”. Vai construindo um subgrafosem ciclos acrescentando novas arestas.
![Page 73: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/73.jpg)
13
O Algoritmo de Kruskal
![Page 74: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/74.jpg)
14
O Algoritmo de Kruskal
Kruskal(G):T = ∅;QuickSort(E(G)); % Em ordem não decrescentepara todo e = uv em E(G) faça:
se (u, v não pertencem à mesma componente de T ) faça:E(T ) = E(T ) ∪ {e};
devolve T ;
Teorema [Kruskal, 1956]. Se G = (V, E, w) é um grafo ponderadoconexo, então Kruskal(G) devolve uma árvore geradora mínima. �
![Page 75: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/75.jpg)
14
O Algoritmo de Kruskal
Kruskal(G):T = ∅;QuickSort(E(G)); % Em ordem não decrescentepara todo e = uv em E(G) faça:
se (u, v não pertencem à mesma componente de T ) faça:E(T ) = E(T ) ∪ {e};
devolve T ;
Teorema [Kruskal, 1956]. Se G = (V, E, w) é um grafo ponderadoconexo, então Kruskal(G) devolve uma árvore geradora mínima. �
![Page 76: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/76.jpg)
15
Execução :: O Algoritmo de KruskalKruskal(G):
T = ∅;QuickSort(E(G));para todo e = uv em E(G) faça:
se (u, v não pertencem à mesma componente de T ) faça:E(T ) = E(T ) ∪ {e};
devolve T ;
a
h g f
e
dcb
i
4
8
11
7
1
8
2
4
7
2
10
14
6
9
![Page 77: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/77.jpg)
15
Execução :: O Algoritmo de KruskalKruskal(G):
T = ∅;QuickSort(E(G));para todo e = uv em E(G) faça:
se (u, v não pertencem à mesma componente de T ) faça:E(T ) = E(T ) ∪ {e};
devolve T ;
a
h g f
e
dcb
i
4
8
11
7
1
8
2
4
7
2
10
14
6
9
![Page 78: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/78.jpg)
15
Execução :: O Algoritmo de KruskalKruskal(G):
T = ∅;QuickSort(E(G));para todo e = uv em E(G) faça:
se (u, v não pertencem à mesma componente de T ) faça:E(T ) = E(T ) ∪ {e};
devolve T ;
a
h g f
e
dcb
i
4
8
11
7
1
8
2
4
7
2
10
14
6
9
![Page 79: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/79.jpg)
16
Execução :: O Algoritmo de KruskalKruskal(G):
T = ∅;QuickSort(E(G));para todo e = uv em E(G) faça:
se (u, v não pertencem à mesma componente de T ) faça:E(T ) = E(T ) ∪ {e};
devolve T ;
a
h g f
e
dcb
i
4
8
11
7
1
8
2
4
7
2
10
14
6
9
![Page 80: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/80.jpg)
17
Execução :: O Algoritmo de KruskalKruskal(G):
T = ∅;QuickSort(E(G));para todo e = uv em E(G) faça:
se (u, v não pertencem à mesma componente de T ) faça:E(T ) = E(T ) ∪ {e};
devolve T ;
a
h g f
e
dcb
i
4
8
11
7
1
8
2
4
7
2
10
14
6
9
![Page 81: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/81.jpg)
18
Execução :: O Algoritmo de KruskalKruskal(G):
T = ∅;QuickSort(E(G));para todo e = uv em E(G) faça:
se (u, v não pertencem à mesma componente de T ) faça:E(T ) = E(T ) ∪ {e};
devolve T ;
a
h g f
e
dcb
i
4
8
11
7
1
8
2
4
7
2
10
14
6
9
![Page 82: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/82.jpg)
19
Execução :: O Algoritmo de KruskalKruskal(G):
T = ∅;QuickSort(E(G));para todo e = uv em E(G) faça:
se (u, v não pertencem à mesma componente de T ) faça:E(T ) = E(T ) ∪ {e};
devolve T ;
a
h g f
e
dcb
i
4
8
11
7
1
8
2
4
7
2
10
14
6
9
![Page 83: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/83.jpg)
20
Análise :: O Algoritmo de Kruskal
� Quão bom é o Algoritmo de Kruskal?1 Inicialização do algoritmo?2 Ordenação?3 Iterações nas arestas?4 Dentro de cada iteração?5 Tempo total do laço?
Complexidade final: O(E · log V )
� E o Algoritmo de Prim?
Complexidade final: O(E + V · log V )
![Page 84: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/84.jpg)
20
Análise :: O Algoritmo de Kruskal
� Quão bom é o Algoritmo de Kruskal?1 Inicialização do algoritmo?2 Ordenação?3 Iterações nas arestas?4 Dentro de cada iteração?5 Tempo total do laço?
Complexidade final: O(E · log V )
� E o Algoritmo de Prim?
Complexidade final: O(E + V · log V )
![Page 85: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/85.jpg)
20
Análise :: O Algoritmo de Kruskal
� Quão bom é o Algoritmo de Kruskal?1 Inicialização do algoritmo? O(1)2 Ordenação?3 Iterações nas arestas?4 Dentro de cada iteração?5 Tempo total do laço?
Complexidade final: O(E · log V )
� E o Algoritmo de Prim?
Complexidade final: O(E + V · log V )
![Page 86: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/86.jpg)
20
Análise :: O Algoritmo de Kruskal
� Quão bom é o Algoritmo de Kruskal?1 Inicialização do algoritmo? O(1)2 Ordenação?3 Iterações nas arestas?4 Dentro de cada iteração?5 Tempo total do laço?
Complexidade final: O(E · log V )
� E o Algoritmo de Prim?
Complexidade final: O(E + V · log V )
![Page 87: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/87.jpg)
20
Análise :: O Algoritmo de Kruskal
� Quão bom é o Algoritmo de Kruskal?1 Inicialização do algoritmo? O(1)2 Ordenação? O(E · log E)3 Iterações nas arestas?4 Dentro de cada iteração?5 Tempo total do laço?
Complexidade final: O(E · log V )
� E o Algoritmo de Prim?
Complexidade final: O(E + V · log V )
![Page 88: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/88.jpg)
20
Análise :: O Algoritmo de Kruskal
� Quão bom é o Algoritmo de Kruskal?1 Inicialização do algoritmo? O(1)2 Ordenação? O(E · log E)3 Iterações nas arestas?4 Dentro de cada iteração?5 Tempo total do laço?
Complexidade final: O(E · log V )
� E o Algoritmo de Prim?
Complexidade final: O(E + V · log V )
![Page 89: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/89.jpg)
20
Análise :: O Algoritmo de Kruskal
� Quão bom é o Algoritmo de Kruskal?1 Inicialização do algoritmo? O(1)2 Ordenação? O(E · log E)3 Iterações nas arestas? O(E)4 Dentro de cada iteração?5 Tempo total do laço?
Complexidade final: O(E · log V )
� E o Algoritmo de Prim?
Complexidade final: O(E + V · log V )
![Page 90: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/90.jpg)
20
Análise :: O Algoritmo de Kruskal
� Quão bom é o Algoritmo de Kruskal?1 Inicialização do algoritmo? O(1)2 Ordenação? O(E · log E)3 Iterações nas arestas? O(E)4 Dentro de cada iteração?5 Tempo total do laço?
Complexidade final: O(E · log V )
� E o Algoritmo de Prim?
Complexidade final: O(E + V · log V )
![Page 91: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/91.jpg)
20
Análise :: O Algoritmo de Kruskal
� Quão bom é o Algoritmo de Kruskal?1 Inicialização do algoritmo? O(1)2 Ordenação? O(E · log E)3 Iterações nas arestas? O(E)4 Dentro de cada iteração? O(log V )5 Tempo total do laço?
Complexidade final: O(E · log V )
� E o Algoritmo de Prim?
Complexidade final: O(E + V · log V )
![Page 92: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/92.jpg)
20
Análise :: O Algoritmo de Kruskal
� Quão bom é o Algoritmo de Kruskal?1 Inicialização do algoritmo? O(1)2 Ordenação? O(E · log E)3 Iterações nas arestas? O(E)4 Dentro de cada iteração? O(log V )5 Tempo total do laço?
Complexidade final: O(E · log V )
� E o Algoritmo de Prim?
Complexidade final: O(E + V · log V )
![Page 93: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/93.jpg)
20
Análise :: O Algoritmo de Kruskal
� Quão bom é o Algoritmo de Kruskal?1 Inicialização do algoritmo? O(1)2 Ordenação? O(E · log E)3 Iterações nas arestas? O(E)4 Dentro de cada iteração? O(log V )5 Tempo total do laço? O(E · log V )
Complexidade final: O(E · log V )
� E o Algoritmo de Prim?
Complexidade final: O(E + V · log V )
![Page 94: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/94.jpg)
20
Análise :: O Algoritmo de Kruskal
� Quão bom é o Algoritmo de Kruskal?1 Inicialização do algoritmo? O(1)2 Ordenação? O(E · log E)3 Iterações nas arestas? O(E)4 Dentro de cada iteração? O(log V )5 Tempo total do laço? O(E · log V )
Complexidade final: O(E · log V )
� E o Algoritmo de Prim?
Complexidade final: O(E + V · log V )
![Page 95: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/95.jpg)
20
Análise :: O Algoritmo de Kruskal
� Quão bom é o Algoritmo de Kruskal?1 Inicialização do algoritmo? O(1)2 Ordenação? O(E · log E)3 Iterações nas arestas? O(E)4 Dentro de cada iteração? O(log V )5 Tempo total do laço? O(E · log V )
Complexidade final: O(E · log V )
� E o Algoritmo de Prim?
Complexidade final: O(E + V · log V )
![Page 96: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/96.jpg)
21
Dúvidas?
![Page 97: Árvores Geradoras Mínimas II - Instituto de Computaçãora090743/unip/material/j702/...6 Questão 1 :: Correção da Lista #4 Prova. (Continuação) 4 Comoprovamosquenãoexistemaisdeumcaminhoentreu](https://reader034.vdocuments.net/reader034/viewer/2022050413/5f89e30a4dabbc5fbb04263b/html5/thumbnails/97.jpg)
22
Aula que vem...