aula: Árvores - mcta027-17 - teoria dos...
TRANSCRIPT
![Page 1: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/1.jpg)
Aula: ÁrvoresMCTA027-17 - Teoria dos Grafos
Prof. Maycon [email protected]
Centro de Matemática, Computação e Cognição – Universidade Federal do ABC
Basedo no material da Profa. Carla Negri Lintzmayer1
![Page 2: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/2.jpg)
Introdução
Dada uma rede com n computadores, qual o menor número deligações diretas que deve existir para que seja sempre possívelfazer comunicação (não necessariamente direta) entrequaisquer dois computadores?
• Qual o menor número de arestas de um grafo conexo?
2
![Page 3: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/3.jpg)
Introdução
Dada uma rede com n computadores, qual o menor número deligações diretas que deve existir para que seja sempre possívelfazer comunicação (não necessariamente direta) entrequaisquer dois computadores?
• Qual o menor número de arestas de um grafo conexo?
2
![Page 4: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/4.jpg)
Teorema 23. Se G é um grafo conexo, então m(G) ≥ n(G)− 1.
• Base: n(G) = 1. resultado vale de forma trivial.• Passo: Se δ(G) ≥ 2, então
2m =∑v∈V(G)
dG(v) ≥∑v∈V(G)
2 = 2n
2m ≥ 2n⇔ m ≥ n, e o resultado segue.
• Então podemos supor que ∃v ∈ V(G) t.q. d(v) = 1.• Seja G′ = G− v, e note que G′ é conexo, |V(G′)| = n− 1,|E(G′)| = m− 1.
• Pela hipótese de indução, |E(G′)| ≥ |V(G′)| − 1. Assim,
m− 1 = |E(G′)| ≥ |V(G′)| − 1 = n− 1− 1 = n− 2.
• Como m− 1 ≥ n− 2⇔ m ≥ n− 1, o resultado segue.
3
![Page 5: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/5.jpg)
Teorema 23. Se G é um grafo conexo, então m(G) ≥ n(G)− 1.
• Base: n(G) = 1. resultado vale de forma trivial.
• Passo: Se δ(G) ≥ 2, então
2m =∑v∈V(G)
dG(v) ≥∑v∈V(G)
2 = 2n
2m ≥ 2n⇔ m ≥ n, e o resultado segue.
• Então podemos supor que ∃v ∈ V(G) t.q. d(v) = 1.• Seja G′ = G− v, e note que G′ é conexo, |V(G′)| = n− 1,|E(G′)| = m− 1.
• Pela hipótese de indução, |E(G′)| ≥ |V(G′)| − 1. Assim,
m− 1 = |E(G′)| ≥ |V(G′)| − 1 = n− 1− 1 = n− 2.
• Como m− 1 ≥ n− 2⇔ m ≥ n− 1, o resultado segue.
3
![Page 6: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/6.jpg)
Teorema 23. Se G é um grafo conexo, então m(G) ≥ n(G)− 1.
• Base: n(G) = 1. resultado vale de forma trivial.• Passo: Se δ(G) ≥ 2, então
2m =∑v∈V(G)
dG(v) ≥∑v∈V(G)
2 = 2n
2m ≥ 2n⇔ m ≥ n, e o resultado segue.
• Então podemos supor que ∃v ∈ V(G) t.q. d(v) = 1.• Seja G′ = G− v, e note que G′ é conexo, |V(G′)| = n− 1,|E(G′)| = m− 1.
• Pela hipótese de indução, |E(G′)| ≥ |V(G′)| − 1. Assim,
m− 1 = |E(G′)| ≥ |V(G′)| − 1 = n− 1− 1 = n− 2.
• Como m− 1 ≥ n− 2⇔ m ≥ n− 1, o resultado segue.
3
![Page 7: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/7.jpg)
Teorema 23. Se G é um grafo conexo, então m(G) ≥ n(G)− 1.
• Base: n(G) = 1. resultado vale de forma trivial.• Passo: Se δ(G) ≥ 2, então
2m =∑v∈V(G)
dG(v) ≥∑v∈V(G)
2 = 2n
2m ≥ 2n⇔ m ≥ n, e o resultado segue.
• Então podemos supor que ∃v ∈ V(G) t.q. d(v) = 1.
• Seja G′ = G− v, e note que G′ é conexo, |V(G′)| = n− 1,|E(G′)| = m− 1.
• Pela hipótese de indução, |E(G′)| ≥ |V(G′)| − 1. Assim,
m− 1 = |E(G′)| ≥ |V(G′)| − 1 = n− 1− 1 = n− 2.
• Como m− 1 ≥ n− 2⇔ m ≥ n− 1, o resultado segue.
3
![Page 8: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/8.jpg)
Teorema 23. Se G é um grafo conexo, então m(G) ≥ n(G)− 1.
• Base: n(G) = 1. resultado vale de forma trivial.• Passo: Se δ(G) ≥ 2, então
2m =∑v∈V(G)
dG(v) ≥∑v∈V(G)
2 = 2n
2m ≥ 2n⇔ m ≥ n, e o resultado segue.
• Então podemos supor que ∃v ∈ V(G) t.q. d(v) = 1.• Seja G′ = G− v, e note que G′ é conexo, |V(G′)| = n− 1,|E(G′)| = m− 1.
• Pela hipótese de indução, |E(G′)| ≥ |V(G′)| − 1. Assim,
m− 1 = |E(G′)| ≥ |V(G′)| − 1 = n− 1− 1 = n− 2.
• Como m− 1 ≥ n− 2⇔ m ≥ n− 1, o resultado segue.
3
![Page 9: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/9.jpg)
Teorema 23. Se G é um grafo conexo, então m(G) ≥ n(G)− 1.
• Base: n(G) = 1. resultado vale de forma trivial.• Passo: Se δ(G) ≥ 2, então
2m =∑v∈V(G)
dG(v) ≥∑v∈V(G)
2 = 2n
2m ≥ 2n⇔ m ≥ n, e o resultado segue.
• Então podemos supor que ∃v ∈ V(G) t.q. d(v) = 1.• Seja G′ = G− v, e note que G′ é conexo, |V(G′)| = n− 1,|E(G′)| = m− 1.
• Pela hipótese de indução, |E(G′)| ≥ |V(G′)| − 1. Assim,
m− 1 = |E(G′)| ≥ |V(G′)| − 1 = n− 1− 1 = n− 2.
• Como m− 1 ≥ n− 2⇔ m ≥ n− 1, o resultado segue.
3
![Page 10: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/10.jpg)
Teorema 23. Se G é um grafo conexo, então m(G) ≥ n(G)− 1.
• Base: n(G) = 1. resultado vale de forma trivial.• Passo: Se δ(G) ≥ 2, então
2m =∑v∈V(G)
dG(v) ≥∑v∈V(G)
2 = 2n
2m ≥ 2n⇔ m ≥ n, e o resultado segue.
• Então podemos supor que ∃v ∈ V(G) t.q. d(v) = 1.• Seja G′ = G− v, e note que G′ é conexo, |V(G′)| = n− 1,|E(G′)| = m− 1.
• Pela hipótese de indução, |E(G′)| ≥ |V(G′)| − 1. Assim,
m− 1 = |E(G′)| ≥ |V(G′)| − 1 = n− 1− 1 = n− 2.
• Como m− 1 ≥ n− 2⇔ m ≥ n− 1, o resultado segue.
3
![Page 11: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/11.jpg)
Teorema 23. Se G é um grafo conexo, então
m(G) ≥ n(G)− 1.
Questões:
• É verdade que se m ≥ n− 1, então G é conexo?
• Existem grafos com m ≥ n− 1 que são conexos?• Como são os grafos com exatamente n− 1 arestas?
Vamos relacionar:
• ser conexo;• não conter ciclos; e• ter exatamente n− 1 arestas.
4
![Page 12: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/12.jpg)
Teorema 23. Se G é um grafo conexo, então
m(G) ≥ n(G)− 1.
Questões:
• É verdade que se m ≥ n− 1, então G é conexo?• Existem grafos com m ≥ n− 1 que são conexos?
• Como são os grafos com exatamente n− 1 arestas?
Vamos relacionar:
• ser conexo;• não conter ciclos; e• ter exatamente n− 1 arestas.
4
![Page 13: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/13.jpg)
Teorema 23. Se G é um grafo conexo, então
m(G) ≥ n(G)− 1.
Questões:
• É verdade que se m ≥ n− 1, então G é conexo?• Existem grafos com m ≥ n− 1 que são conexos?• Como são os grafos com exatamente n− 1 arestas?
Vamos relacionar:
• ser conexo;• não conter ciclos; e• ter exatamente n− 1 arestas.
4
![Page 14: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/14.jpg)
Teorema 23. Se G é um grafo conexo, então
m(G) ≥ n(G)− 1.
Questões:
• É verdade que se m ≥ n− 1, então G é conexo?• Existem grafos com m ≥ n− 1 que são conexos?• Como são os grafos com exatamente n− 1 arestas?
Vamos relacionar:
• ser conexo;• não conter ciclos; e• ter exatamente n− 1 arestas.
4
![Page 15: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/15.jpg)
Teorema 23. Se G é um grafo conexo, então
m(G) ≥ n(G)− 1.
Questões:
• É verdade que se m ≥ n− 1, então G é conexo?• Existem grafos com m ≥ n− 1 que são conexos?• Como são os grafos com exatamente n− 1 arestas?
Vamos relacionar:
• ser conexo;• não conter ciclos; e• ter exatamente n− 1 arestas.
4
![Page 16: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/16.jpg)
Lema 24. Seja G um grafo conexo. Se m(G) = n(G)− 1, então Gnão contém ciclos.
• Suponha, para uma contradição, que G contém ciclos, eseja C um ciclo em G.
• Seja e ∈ E(C), e seja G′ = G− e.• G′ é conexoTeorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• Note que
m(G′) = m(G)− 1 = (n(G)− 1)− 1 = n(G)− 2 = n(G′)− 2
• Logo, m(G′) = n(G′)− 2, uma contradição ao
Teorema 23. Se G′ é um grafo conexo, então m(G′) ≥ n(G′)− 1.
5
![Page 17: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/17.jpg)
Lema 24. Seja G um grafo conexo. Se m(G) = n(G)− 1, então Gnão contém ciclos.
• Suponha, para uma contradição, que G contém ciclos, eseja C um ciclo em G.
• Seja e ∈ E(C), e seja G′ = G− e.• G′ é conexoTeorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• Note que
m(G′) = m(G)− 1 = (n(G)− 1)− 1 = n(G)− 2 = n(G′)− 2
• Logo, m(G′) = n(G′)− 2, uma contradição ao
Teorema 23. Se G′ é um grafo conexo, então m(G′) ≥ n(G′)− 1.
5
![Page 18: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/18.jpg)
Lema 24. Seja G um grafo conexo. Se m(G) = n(G)− 1, então Gnão contém ciclos.
• Suponha, para uma contradição, que G contém ciclos, eseja C um ciclo em G.
• Seja e ∈ E(C), e seja G′ = G− e.
• G′ é conexoTeorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• Note que
m(G′) = m(G)− 1 = (n(G)− 1)− 1 = n(G)− 2 = n(G′)− 2
• Logo, m(G′) = n(G′)− 2, uma contradição ao
Teorema 23. Se G′ é um grafo conexo, então m(G′) ≥ n(G′)− 1.
5
![Page 19: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/19.jpg)
Lema 24. Seja G um grafo conexo. Se m(G) = n(G)− 1, então Gnão contém ciclos.
• Suponha, para uma contradição, que G contém ciclos, eseja C um ciclo em G.
• Seja e ∈ E(C), e seja G′ = G− e.• G′ é conexoTeorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• Note que
m(G′) = m(G)− 1 = (n(G)− 1)− 1 = n(G)− 2 = n(G′)− 2
• Logo, m(G′) = n(G′)− 2, uma contradição ao
Teorema 23. Se G′ é um grafo conexo, então m(G′) ≥ n(G′)− 1.
5
![Page 20: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/20.jpg)
Lema 24. Seja G um grafo conexo. Se m(G) = n(G)− 1, então Gnão contém ciclos.
• Suponha, para uma contradição, que G contém ciclos, eseja C um ciclo em G.
• Seja e ∈ E(C), e seja G′ = G− e.• G′ é conexoTeorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• Note que
m(G′) = m(G)− 1 = (n(G)− 1)− 1 = n(G)− 2 = n(G′)− 2
• Logo, m(G′) = n(G′)− 2, uma contradição ao
Teorema 23. Se G′ é um grafo conexo, então m(G′) ≥ n(G′)− 1.
5
![Page 21: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/21.jpg)
Lema 24. Seja G um grafo conexo. Se m(G) = n(G)− 1, então Gnão contém ciclos.
• Suponha, para uma contradição, que G contém ciclos, eseja C um ciclo em G.
• Seja e ∈ E(C), e seja G′ = G− e.• G′ é conexoTeorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• Note que
m(G′) = m(G)− 1 = (n(G)− 1)− 1 = n(G)− 2 = n(G′)− 2
• Logo, m(G′) = n(G′)− 2, uma contradição ao
Teorema 23. Se G′ é um grafo conexo, então m(G′) ≥ n(G′)− 1.
5
![Page 22: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/22.jpg)
Lema 24. Seja G um grafo conexo. Se m(G) = n(G)− 1, então Gnão contém ciclos.
• Suponha, para uma contradição, que G contém ciclos, eseja C um ciclo em G.
• Seja e ∈ E(C), e seja G′ = G− e.• G′ é conexoTeorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• Note que
m(G′) = m(G)− 1 = (n(G)− 1)− 1 = n(G)− 2 = n(G′)− 2
• Logo, m(G′) = n(G′)− 2, uma contradição ao
Teorema 23. Se G′ é um grafo conexo, então m(G′) ≥ n(G′)− 1.
5
![Page 23: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/23.jpg)
Lema 24. Seja G um grafo conexo. Se m(G) = n(G)− 1, então Gnão contém ciclos.
• Suponha, para uma contradição, que G contém ciclos, eseja C um ciclo em G.
• Seja e ∈ E(C), e seja G′ = G− e.• G′ é conexoTeorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• Note que
m(G′) = m(G)− 1 = (n(G)− 1)− 1 = n(G)− 2 = n(G′)− 2
• Logo, m(G′) = n(G′)− 2, uma contradição ao
Teorema 23. Se G′ é um grafo conexo, então m(G′) ≥ n(G′)− 1.
5
![Page 24: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/24.jpg)
Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
• Por indução em n.• Se n = 1, o grafo não tem arestas e, de fato, m = n− 1.• Existe um vértice v com dG(v) = 1Teorema 9. Todo grafo que não contém ciclos tem pelomenos dois vértices de grau 1.
• G′ := G− v é conexo, não tem ciclos e tem n− 1 vértices.• Pela h.i. m(G′) = n(G′)− 1.
m(G) = m(G′) + 1 = (n(G′)− 1) + 1 = n(G′) = n(G)− 1.
6
![Page 25: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/25.jpg)
Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
• Por indução em n.
• Se n = 1, o grafo não tem arestas e, de fato, m = n− 1.• Existe um vértice v com dG(v) = 1Teorema 9. Todo grafo que não contém ciclos tem pelomenos dois vértices de grau 1.
• G′ := G− v é conexo, não tem ciclos e tem n− 1 vértices.• Pela h.i. m(G′) = n(G′)− 1.
m(G) = m(G′) + 1 = (n(G′)− 1) + 1 = n(G′) = n(G)− 1.
6
![Page 26: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/26.jpg)
Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
• Por indução em n.• Se n = 1, o grafo não tem arestas e, de fato, m = n− 1.
• Existe um vértice v com dG(v) = 1Teorema 9. Todo grafo que não contém ciclos tem pelomenos dois vértices de grau 1.
• G′ := G− v é conexo, não tem ciclos e tem n− 1 vértices.• Pela h.i. m(G′) = n(G′)− 1.
m(G) = m(G′) + 1 = (n(G′)− 1) + 1 = n(G′) = n(G)− 1.
6
![Page 27: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/27.jpg)
Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
• Por indução em n.• Se n = 1, o grafo não tem arestas e, de fato, m = n− 1.• Existe um vértice v com dG(v) = 1Teorema 9. Todo grafo que não contém ciclos tem pelomenos dois vértices de grau 1.
• G′ := G− v é conexo, não tem ciclos e tem n− 1 vértices.• Pela h.i. m(G′) = n(G′)− 1.
m(G) = m(G′) + 1 = (n(G′)− 1) + 1 = n(G′) = n(G)− 1.
6
![Page 28: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/28.jpg)
Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
• Por indução em n.• Se n = 1, o grafo não tem arestas e, de fato, m = n− 1.• Existe um vértice v com dG(v) = 1Teorema 9. Todo grafo que não contém ciclos tem pelomenos dois vértices de grau 1.
• G′ := G− v é conexo, não tem ciclos e tem n− 1 vértices.
• Pela h.i. m(G′) = n(G′)− 1.
m(G) = m(G′) + 1 = (n(G′)− 1) + 1 = n(G′) = n(G)− 1.
6
![Page 29: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/29.jpg)
Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
• Por indução em n.• Se n = 1, o grafo não tem arestas e, de fato, m = n− 1.• Existe um vértice v com dG(v) = 1Teorema 9. Todo grafo que não contém ciclos tem pelomenos dois vértices de grau 1.
• G′ := G− v é conexo, não tem ciclos e tem n− 1 vértices.• Pela h.i. m(G′) = n(G′)− 1.
m(G) = m(G′) + 1 = (n(G′)− 1) + 1 = n(G′) = n(G)− 1.
6
![Page 30: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/30.jpg)
Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
• Por indução em n.• Se n = 1, o grafo não tem arestas e, de fato, m = n− 1.• Existe um vértice v com dG(v) = 1Teorema 9. Todo grafo que não contém ciclos tem pelomenos dois vértices de grau 1.
• G′ := G− v é conexo, não tem ciclos e tem n− 1 vértices.• Pela h.i. m(G′) = n(G′)− 1.
m(G) = m(G′) + 1 = (n(G′)− 1) + 1 = n(G′) = n(G)− 1.
6
![Page 31: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/31.jpg)
Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
• Por indução em n.• Se n = 1, o grafo não tem arestas e, de fato, m = n− 1.• Existe um vértice v com dG(v) = 1Teorema 9. Todo grafo que não contém ciclos tem pelomenos dois vértices de grau 1.
• G′ := G− v é conexo, não tem ciclos e tem n− 1 vértices.• Pela h.i. m(G′) = n(G′)− 1.
m(G) = m(G′) + 1 = (n(G′)− 1) + 1 = n(G′) = n(G)− 1.
6
![Page 32: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/32.jpg)
Lema 26. Se G não tem ciclos e vale que m = n− 1, então G éconexo.
• Sejam G1, . . . ,Gk as componentes de G.• Note que
∑ki=1 n(Gi) = n e
∑ki=1m(Gi) = m.
• Cada Gi não tem ciclos e é conexo, então m(Gi) = n(Gi)− 1.• Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
m =k∑i=1
m(Gi) =k∑i=1
(n(Gi)− 1) = n− k.
• Por hipótese m = n− 1, e assim, k = 1.• Logo, G é conexo.
7
![Page 33: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/33.jpg)
Lema 26. Se G não tem ciclos e vale que m = n− 1, então G éconexo.
• Sejam G1, . . . ,Gk as componentes de G.
• Note que∑k
i=1 n(Gi) = n e∑k
i=1m(Gi) = m.• Cada Gi não tem ciclos e é conexo, então m(Gi) = n(Gi)− 1.• Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
m =k∑i=1
m(Gi) =k∑i=1
(n(Gi)− 1) = n− k.
• Por hipótese m = n− 1, e assim, k = 1.• Logo, G é conexo.
7
![Page 34: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/34.jpg)
Lema 26. Se G não tem ciclos e vale que m = n− 1, então G éconexo.
• Sejam G1, . . . ,Gk as componentes de G.• Note que
∑ki=1 n(Gi) = n e
∑ki=1m(Gi) = m.
• Cada Gi não tem ciclos e é conexo, então m(Gi) = n(Gi)− 1.• Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
m =k∑i=1
m(Gi) =k∑i=1
(n(Gi)− 1) = n− k.
• Por hipótese m = n− 1, e assim, k = 1.• Logo, G é conexo.
7
![Page 35: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/35.jpg)
Lema 26. Se G não tem ciclos e vale que m = n− 1, então G éconexo.
• Sejam G1, . . . ,Gk as componentes de G.• Note que
∑ki=1 n(Gi) = n e
∑ki=1m(Gi) = m.
• Cada Gi não tem ciclos e é conexo, então m(Gi) = n(Gi)− 1.
• Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
m =k∑i=1
m(Gi) =k∑i=1
(n(Gi)− 1) = n− k.
• Por hipótese m = n− 1, e assim, k = 1.• Logo, G é conexo.
7
![Page 36: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/36.jpg)
Lema 26. Se G não tem ciclos e vale que m = n− 1, então G éconexo.
• Sejam G1, . . . ,Gk as componentes de G.• Note que
∑ki=1 n(Gi) = n e
∑ki=1m(Gi) = m.
• Cada Gi não tem ciclos e é conexo, então m(Gi) = n(Gi)− 1.• Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
m =k∑i=1
m(Gi) =k∑i=1
(n(Gi)− 1) = n− k.
• Por hipótese m = n− 1, e assim, k = 1.• Logo, G é conexo.
7
![Page 37: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/37.jpg)
Lema 26. Se G não tem ciclos e vale que m = n− 1, então G éconexo.
• Sejam G1, . . . ,Gk as componentes de G.• Note que
∑ki=1 n(Gi) = n e
∑ki=1m(Gi) = m.
• Cada Gi não tem ciclos e é conexo, então m(Gi) = n(Gi)− 1.• Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
m =k∑i=1
m(Gi) =k∑i=1
(n(Gi)− 1) = n− k.
• Por hipótese m = n− 1, e assim, k = 1.• Logo, G é conexo.
7
![Page 38: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/38.jpg)
Lema 26. Se G não tem ciclos e vale que m = n− 1, então G éconexo.
• Sejam G1, . . . ,Gk as componentes de G.• Note que
∑ki=1 n(Gi) = n e
∑ki=1m(Gi) = m.
• Cada Gi não tem ciclos e é conexo, então m(Gi) = n(Gi)− 1.• Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
m =k∑i=1
m(Gi) =k∑i=1
(n(Gi)− 1) = n− k.
• Por hipótese m = n− 1, e assim, k = 1.• Logo, G é conexo.
7
![Page 39: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/39.jpg)
Lema 26. Se G não tem ciclos e vale que m = n− 1, então G éconexo.
• Sejam G1, . . . ,Gk as componentes de G.• Note que
∑ki=1 n(Gi) = n e
∑ki=1m(Gi) = m.
• Cada Gi não tem ciclos e é conexo, então m(Gi) = n(Gi)− 1.• Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
m =k∑i=1
m(Gi) =k∑i=1
(n(Gi)− 1) = n− k.
• Por hipótese m = n− 1, e assim, k = 1.
• Logo, G é conexo.
7
![Page 40: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/40.jpg)
Lema 26. Se G não tem ciclos e vale que m = n− 1, então G éconexo.
• Sejam G1, . . . ,Gk as componentes de G.• Note que
∑ki=1 n(Gi) = n e
∑ki=1m(Gi) = m.
• Cada Gi não tem ciclos e é conexo, então m(Gi) = n(Gi)− 1.• Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
m =k∑i=1
m(Gi) =k∑i=1
(n(Gi)− 1) = n− k.
• Por hipótese m = n− 1, e assim, k = 1.
• Logo, G é conexo.
7
![Page 41: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/41.jpg)
Lema 26. Se G não tem ciclos e vale que m = n− 1, então G éconexo.
• Sejam G1, . . . ,Gk as componentes de G.• Note que
∑ki=1 n(Gi) = n e
∑ki=1m(Gi) = m.
• Cada Gi não tem ciclos e é conexo, então m(Gi) = n(Gi)− 1.• Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
m =k∑i=1
m(Gi) =k∑i=1
(n(Gi)− 1) = n− k.
• Por hipótese m = n− 1, e assim, k = 1.• Logo, G é conexo.
7
![Page 42: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/42.jpg)
Definições
• Um grafo é acíclico ou floresta se não contém ciclos
• Uma árvore é um grafo acíclicos conexo• Uma folha é um vértice com grau 1
8
![Page 43: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/43.jpg)
Definições
• Um grafo é acíclico ou floresta se não contém ciclos• Uma árvore é um grafo acíclicos conexo
• Uma folha é um vértice com grau 1
8
![Page 44: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/44.jpg)
Definições
• Um grafo é acíclico ou floresta se não contém ciclos• Uma árvore é um grafo acíclicos conexo• Uma folha é um vértice com grau 1
8
![Page 45: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/45.jpg)
Lema 24. Seja G um grafo conexo. Se m(G) = n(G)− 1, então Gnão contém ciclos.
Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
• Uma árvore é um grafo acíclicos conexo
Corolário 27. Seja G um grafo conexo. O grafo G é uma árvorese e somente se m(G) = n(G)− 1.
Lema 28 (exercício). Toda árvore G com n ≥ 2 possui pelomenos duas folhas.
9
![Page 46: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/46.jpg)
Lema 24. Seja G um grafo conexo. Se m(G) = n(G)− 1, então Gnão contém ciclos.
Lema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
• Uma árvore é um grafo acíclicos conexo
Corolário 27. Seja G um grafo conexo. O grafo G é uma árvorese e somente se m(G) = n(G)− 1.
Lema 28 (exercício). Toda árvore G com n ≥ 2 possui pelomenos duas folhas.
9
![Page 47: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/47.jpg)
Árvores são grafos bipartidos
FatoToda árvore é um grafo bipartido (por quê?)
Teorema 6. Um grafo G é bipartido se e somente G não contémciclos ímpares.
• Uma árvore é um grafo acíclicos conexo
10
![Page 48: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/48.jpg)
Árvores são grafos bipartidos
FatoToda árvore é um grafo bipartido (por quê?)
Teorema 6. Um grafo G é bipartido se e somente G não contémciclos ímpares.
• Uma árvore é um grafo acíclicos conexo
10
![Page 49: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/49.jpg)
Notações
Seja P = (u1,u2, . . . ,uℓ) um caminho
• Dizemos que Q = (ui,ui+1, . . . ,uj) é um subcaminho de P.
• Denotamos Q = P[ui,uj].• “P pode ser escrito como P = (u1, . . . ,ui−1,Q,uj+1, . . . ,uℓ)”
• Seja R = (w1,w2, . . . ,wt) um caminho t.q.V(P) ∩ V(R) = {x}, onde x = uℓ = w1
• Dizemos E(P) ∪ E(R) é um caminho: o subgrafo induzidopor essas arestas é um caminho.
E = E(P) ∪ E(R) e V = {u : uv ∈ E(P) ∪ E(R)}
• Terminologia pode ser estendida pra passeios e trilhas.
11
![Page 50: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/50.jpg)
Notações
Seja P = (u1,u2, . . . ,uℓ) um caminho
• Dizemos que Q = (ui,ui+1, . . . ,uj) é um subcaminho de P.• Denotamos Q = P[ui,uj].
• “P pode ser escrito como P = (u1, . . . ,ui−1,Q,uj+1, . . . ,uℓ)”• Seja R = (w1,w2, . . . ,wt) um caminho t.q.V(P) ∩ V(R) = {x}, onde x = uℓ = w1
• Dizemos E(P) ∪ E(R) é um caminho: o subgrafo induzidopor essas arestas é um caminho.
E = E(P) ∪ E(R) e V = {u : uv ∈ E(P) ∪ E(R)}
• Terminologia pode ser estendida pra passeios e trilhas.
11
![Page 51: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/51.jpg)
Notações
Seja P = (u1,u2, . . . ,uℓ) um caminho
• Dizemos que Q = (ui,ui+1, . . . ,uj) é um subcaminho de P.• Denotamos Q = P[ui,uj].• “P pode ser escrito como P = (u1, . . . ,ui−1,Q,uj+1, . . . ,uℓ)”
• Seja R = (w1,w2, . . . ,wt) um caminho t.q.V(P) ∩ V(R) = {x}, onde x = uℓ = w1
• Dizemos E(P) ∪ E(R) é um caminho: o subgrafo induzidopor essas arestas é um caminho.
E = E(P) ∪ E(R) e V = {u : uv ∈ E(P) ∪ E(R)}
• Terminologia pode ser estendida pra passeios e trilhas.
11
![Page 52: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/52.jpg)
Notações
Seja P = (u1,u2, . . . ,uℓ) um caminho
• Dizemos que Q = (ui,ui+1, . . . ,uj) é um subcaminho de P.• Denotamos Q = P[ui,uj].• “P pode ser escrito como P = (u1, . . . ,ui−1,Q,uj+1, . . . ,uℓ)”
• Seja R = (w1,w2, . . . ,wt) um caminho t.q.V(P) ∩ V(R) = {x}, onde x = uℓ = w1
• Dizemos E(P) ∪ E(R) é um caminho: o subgrafo induzidopor essas arestas é um caminho.
E = E(P) ∪ E(R) e V = {u : uv ∈ E(P) ∪ E(R)}
• Terminologia pode ser estendida pra passeios e trilhas.
11
![Page 53: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/53.jpg)
Notações
Seja P = (u1,u2, . . . ,uℓ) um caminho
• Dizemos que Q = (ui,ui+1, . . . ,uj) é um subcaminho de P.• Denotamos Q = P[ui,uj].• “P pode ser escrito como P = (u1, . . . ,ui−1,Q,uj+1, . . . ,uℓ)”
• Seja R = (w1,w2, . . . ,wt) um caminho t.q.V(P) ∩ V(R) = {x}, onde x = uℓ = w1
• Dizemos E(P) ∪ E(R) é um caminho: o subgrafo induzidopor essas arestas é um caminho.
E = E(P) ∪ E(R) e V = {u : uv ∈ E(P) ∪ E(R)}
• Terminologia pode ser estendida pra passeios e trilhas.
11
![Page 54: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/54.jpg)
Notações
Seja P = (u1,u2, . . . ,uℓ) um caminho
• Dizemos que Q = (ui,ui+1, . . . ,uj) é um subcaminho de P.• Denotamos Q = P[ui,uj].• “P pode ser escrito como P = (u1, . . . ,ui−1,Q,uj+1, . . . ,uℓ)”
• Seja R = (w1,w2, . . . ,wt) um caminho t.q.V(P) ∩ V(R) = {x}, onde x = uℓ = w1
• Dizemos E(P) ∪ E(R) é um caminho: o subgrafo induzidopor essas arestas é um caminho.
E = E(P) ∪ E(R) e V = {u : uv ∈ E(P) ∪ E(R)}
• Terminologia pode ser estendida pra passeios e trilhas.
11
![Page 55: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/55.jpg)
Teorema 29. Seja G um grafo. As seguintes afirmações sãoequivalentes:
(a) G é uma árvore.
(b) Existe um único caminho entre quaisquer dois vértices deG.
(c) G é conexo e para toda e ∈ E, G− e é desconexo. (G éconexo minimal.)
(d) G é conexo e m = n− 1.(e) G é acíclico e m = n− 1.(f) G é acíclico e para todo par de vértices não adjacentes
u, v ∈ V, G+ uv tem exatamente um ciclo. (G é acíclicomaximal.)
Vamos mostrar que (a) ⇒ (b) ⇒ (c) ⇒ (d) ⇒ (e) ⇒ (f) ⇒ (a)
12
![Page 56: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/56.jpg)
Teorema 29. Seja G um grafo. As seguintes afirmações sãoequivalentes:
(a) G é uma árvore.(b) Existe um único caminho entre quaisquer dois vértices de
G.
(c) G é conexo e para toda e ∈ E, G− e é desconexo. (G éconexo minimal.)
(d) G é conexo e m = n− 1.(e) G é acíclico e m = n− 1.(f) G é acíclico e para todo par de vértices não adjacentes
u, v ∈ V, G+ uv tem exatamente um ciclo. (G é acíclicomaximal.)
Vamos mostrar que (a) ⇒ (b) ⇒ (c) ⇒ (d) ⇒ (e) ⇒ (f) ⇒ (a)
12
![Page 57: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/57.jpg)
Teorema 29. Seja G um grafo. As seguintes afirmações sãoequivalentes:
(a) G é uma árvore.(b) Existe um único caminho entre quaisquer dois vértices de
G.(c) G é conexo e para toda e ∈ E, G− e é desconexo. (G é
conexo minimal.)
(d) G é conexo e m = n− 1.(e) G é acíclico e m = n− 1.(f) G é acíclico e para todo par de vértices não adjacentes
u, v ∈ V, G+ uv tem exatamente um ciclo. (G é acíclicomaximal.)
Vamos mostrar que (a) ⇒ (b) ⇒ (c) ⇒ (d) ⇒ (e) ⇒ (f) ⇒ (a)
12
![Page 58: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/58.jpg)
Teorema 29. Seja G um grafo. As seguintes afirmações sãoequivalentes:
(a) G é uma árvore.(b) Existe um único caminho entre quaisquer dois vértices de
G.(c) G é conexo e para toda e ∈ E, G− e é desconexo. (G é
conexo minimal.)(d) G é conexo e m = n− 1.
(e) G é acíclico e m = n− 1.(f) G é acíclico e para todo par de vértices não adjacentes
u, v ∈ V, G+ uv tem exatamente um ciclo. (G é acíclicomaximal.)
Vamos mostrar que (a) ⇒ (b) ⇒ (c) ⇒ (d) ⇒ (e) ⇒ (f) ⇒ (a)
12
![Page 59: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/59.jpg)
Teorema 29. Seja G um grafo. As seguintes afirmações sãoequivalentes:
(a) G é uma árvore.(b) Existe um único caminho entre quaisquer dois vértices de
G.(c) G é conexo e para toda e ∈ E, G− e é desconexo. (G é
conexo minimal.)(d) G é conexo e m = n− 1.(e) G é acíclico e m = n− 1.
(f) G é acíclico e para todo par de vértices não adjacentesu, v ∈ V, G+ uv tem exatamente um ciclo. (G é acíclicomaximal.)
Vamos mostrar que (a) ⇒ (b) ⇒ (c) ⇒ (d) ⇒ (e) ⇒ (f) ⇒ (a)
12
![Page 60: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/60.jpg)
Teorema 29. Seja G um grafo. As seguintes afirmações sãoequivalentes:
(a) G é uma árvore.(b) Existe um único caminho entre quaisquer dois vértices de
G.(c) G é conexo e para toda e ∈ E, G− e é desconexo. (G é
conexo minimal.)(d) G é conexo e m = n− 1.(e) G é acíclico e m = n− 1.(f) G é acíclico e para todo par de vértices não adjacentes
u, v ∈ V, G+ uv tem exatamente um ciclo. (G é acíclicomaximal.)
Vamos mostrar que (a) ⇒ (b) ⇒ (c) ⇒ (d) ⇒ (e) ⇒ (f) ⇒ (a)
12
![Page 61: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/61.jpg)
Teorema 29. Seja G um grafo. As seguintes afirmações sãoequivalentes:
(a) G é uma árvore.(b) Existe um único caminho entre quaisquer dois vértices de
G.(c) G é conexo e para toda e ∈ E, G− e é desconexo. (G é
conexo minimal.)(d) G é conexo e m = n− 1.(e) G é acíclico e m = n− 1.(f) G é acíclico e para todo par de vértices não adjacentes
u, v ∈ V, G+ uv tem exatamente um ciclo. (G é acíclicomaximal.)
Vamos mostrar que (a) ⇒ (b) ⇒ (c) ⇒ (d) ⇒ (e) ⇒ (f) ⇒ (a)
12
![Page 62: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/62.jpg)
(a) G é uma árvore⇒ (b) Existe um único caminho entrequaisquer dois vértices de G.
• Para fins de contradição, suponha que ∃u, v ∈ V(G) t.q. ∃dois caminhos P e Q distintos entre u e v.
• Sejam P = (u1, . . . ,uk) e Q = (v1, . . . , vℓ), onde u1 = v1 = ue uk = vℓ = v.
• Seja ui o primeiro vértice de Q que não pertence a P, enote que x := vi−1 ∈ V(P) ∩ V(Q).
• Seja Q′ = (vi, vi+1, . . . , vt) o subcaminho maximal de Q t.q.V(Q′) ∩ V(P) = ∅, e note que y := vt+1 ∈ V(P) ∩ V(Q).
• Assim, E(P(x, y)) ∪ E(Q(x, y)) é um ciclo, uma contradição.
♢
13
![Page 63: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/63.jpg)
(a) G é uma árvore⇒ (b) Existe um único caminho entrequaisquer dois vértices de G.
• Para fins de contradição, suponha que ∃u, v ∈ V(G) t.q. ∃dois caminhos P e Q distintos entre u e v.
• Sejam P = (u1, . . . ,uk) e Q = (v1, . . . , vℓ), onde u1 = v1 = ue uk = vℓ = v.
• Seja ui o primeiro vértice de Q que não pertence a P, enote que x := vi−1 ∈ V(P) ∩ V(Q).
• Seja Q′ = (vi, vi+1, . . . , vt) o subcaminho maximal de Q t.q.V(Q′) ∩ V(P) = ∅, e note que y := vt+1 ∈ V(P) ∩ V(Q).
• Assim, E(P(x, y)) ∪ E(Q(x, y)) é um ciclo, uma contradição.
♢
13
![Page 64: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/64.jpg)
(a) G é uma árvore⇒ (b) Existe um único caminho entrequaisquer dois vértices de G.
• Para fins de contradição, suponha que ∃u, v ∈ V(G) t.q. ∃dois caminhos P e Q distintos entre u e v.
• Sejam P = (u1, . . . ,uk) e Q = (v1, . . . , vℓ), onde u1 = v1 = ue uk = vℓ = v.
• Seja ui o primeiro vértice de Q que não pertence a P, enote que x := vi−1 ∈ V(P) ∩ V(Q).
• Seja Q′ = (vi, vi+1, . . . , vt) o subcaminho maximal de Q t.q.V(Q′) ∩ V(P) = ∅, e note que y := vt+1 ∈ V(P) ∩ V(Q).
• Assim, E(P(x, y)) ∪ E(Q(x, y)) é um ciclo, uma contradição.
♢
13
![Page 65: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/65.jpg)
(a) G é uma árvore⇒ (b) Existe um único caminho entrequaisquer dois vértices de G.
• Para fins de contradição, suponha que ∃u, v ∈ V(G) t.q. ∃dois caminhos P e Q distintos entre u e v.
• Sejam P = (u1, . . . ,uk) e Q = (v1, . . . , vℓ), onde u1 = v1 = ue uk = vℓ = v.
• Seja ui o primeiro vértice de Q que não pertence a P, enote que x := vi−1 ∈ V(P) ∩ V(Q).
• Seja Q′ = (vi, vi+1, . . . , vt) o subcaminho maximal de Q t.q.V(Q′) ∩ V(P) = ∅, e note que y := vt+1 ∈ V(P) ∩ V(Q).
• Assim, E(P(x, y)) ∪ E(Q(x, y)) é um ciclo, uma contradição.
♢
13
![Page 66: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/66.jpg)
(a) G é uma árvore⇒ (b) Existe um único caminho entrequaisquer dois vértices de G.
• Para fins de contradição, suponha que ∃u, v ∈ V(G) t.q. ∃dois caminhos P e Q distintos entre u e v.
• Sejam P = (u1, . . . ,uk) e Q = (v1, . . . , vℓ), onde u1 = v1 = ue uk = vℓ = v.
• Seja ui o primeiro vértice de Q que não pertence a P, enote que x := vi−1 ∈ V(P) ∩ V(Q).
• Seja Q′ = (vi, vi+1, . . . , vt) o subcaminho maximal de Q t.q.V(Q′) ∩ V(P) = ∅, e note que y := vt+1 ∈ V(P) ∩ V(Q).
• Assim, E(P(x, y)) ∪ E(Q(x, y)) é um ciclo, uma contradição.
♢
13
![Page 67: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/67.jpg)
(a) G é uma árvore⇒ (b) Existe um único caminho entrequaisquer dois vértices de G.
• Para fins de contradição, suponha que ∃u, v ∈ V(G) t.q. ∃dois caminhos P e Q distintos entre u e v.
• Sejam P = (u1, . . . ,uk) e Q = (v1, . . . , vℓ), onde u1 = v1 = ue uk = vℓ = v.
• Seja ui o primeiro vértice de Q que não pertence a P, enote que x := vi−1 ∈ V(P) ∩ V(Q).
• Seja Q′ = (vi, vi+1, . . . , vt) o subcaminho maximal de Q t.q.V(Q′) ∩ V(P) = ∅, e note que y := vt+1 ∈ V(P) ∩ V(Q).
• Assim, E(P(x, y)) ∪ E(Q(x, y)) é um ciclo, uma contradição.
♢
13
![Page 68: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/68.jpg)
(a) G é uma árvore⇒ (b) Existe um único caminho entrequaisquer dois vértices de G.
• Para fins de contradição, suponha que ∃u, v ∈ V(G) t.q. ∃dois caminhos P e Q distintos entre u e v.
• Sejam P = (u1, . . . ,uk) e Q = (v1, . . . , vℓ), onde u1 = v1 = ue uk = vℓ = v.
• Seja ui o primeiro vértice de Q que não pertence a P, enote que x := vi−1 ∈ V(P) ∩ V(Q).
• Seja Q′ = (vi, vi+1, . . . , vt) o subcaminho maximal de Q t.q.V(Q′) ∩ V(P) = ∅, e note que y := vt+1 ∈ V(P) ∩ V(Q).
• Assim, E(P(x, y)) ∪ E(Q(x, y)) é um ciclo, uma contradição.
♢
13
![Page 69: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/69.jpg)
(a) G é uma árvore⇒ (b) Existe um único caminho entrequaisquer dois vértices de G.
• Para fins de contradição, suponha que ∃u, v ∈ V(G) t.q. ∃dois caminhos P e Q distintos entre u e v.
• Sejam P = (u1, . . . ,uk) e Q = (v1, . . . , vℓ), onde u1 = v1 = ue uk = vℓ = v.
• Seja ui o primeiro vértice de Q que não pertence a P, enote que x := vi−1 ∈ V(P) ∩ V(Q).
• Seja Q′ = (vi, vi+1, . . . , vt) o subcaminho maximal de Q t.q.V(Q′) ∩ V(P) = ∅, e note que y := vt+1 ∈ V(P) ∩ V(Q).
• Assim, E(P(x, y)) ∪ E(Q(x, y)) é um ciclo, uma contradição.
♢
13
![Page 70: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/70.jpg)
(b) Existe um único caminho entre quaisquer dois vértices deG⇒ (c) G é conexo e para toda e ∈ E, G− e é desconexo. (G éconexo minimal.)
• G é conexo.• Suponha, para uma contradição, que a aresta e não é decorte.
• e pertence a um ciclo C = (u, . . . , v,u) de G.Teorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• existem dois caminhos entre u e v, uma contradição.
♢
14
![Page 71: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/71.jpg)
(b) Existe um único caminho entre quaisquer dois vértices deG⇒ (c) G é conexo e para toda e ∈ E, G− e é desconexo. (G éconexo minimal.)
• G é conexo.
• Suponha, para uma contradição, que a aresta e não é decorte.
• e pertence a um ciclo C = (u, . . . , v,u) de G.Teorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• existem dois caminhos entre u e v, uma contradição.
♢
14
![Page 72: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/72.jpg)
(b) Existe um único caminho entre quaisquer dois vértices deG⇒ (c) G é conexo e para toda e ∈ E, G− e é desconexo. (G éconexo minimal.)
• G é conexo.• Suponha, para uma contradição, que a aresta e não é decorte.
• e pertence a um ciclo C = (u, . . . , v,u) de G.Teorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• existem dois caminhos entre u e v, uma contradição.
♢
14
![Page 73: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/73.jpg)
(b) Existe um único caminho entre quaisquer dois vértices deG⇒ (c) G é conexo e para toda e ∈ E, G− e é desconexo. (G éconexo minimal.)
• G é conexo.• Suponha, para uma contradição, que a aresta e não é decorte.
• e pertence a um ciclo C = (u, . . . , v,u) de G.Teorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• existem dois caminhos entre u e v, uma contradição.
♢
14
![Page 74: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/74.jpg)
(b) Existe um único caminho entre quaisquer dois vértices deG⇒ (c) G é conexo e para toda e ∈ E, G− e é desconexo. (G éconexo minimal.)
• G é conexo.• Suponha, para uma contradição, que a aresta e não é decorte.
• e pertence a um ciclo C = (u, . . . , v,u) de G.Teorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• existem dois caminhos entre u e v, uma contradição.
♢
14
![Page 75: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/75.jpg)
(b) Existe um único caminho entre quaisquer dois vértices deG⇒ (c) G é conexo e para toda e ∈ E, G− e é desconexo. (G éconexo minimal.)
• G é conexo.• Suponha, para uma contradição, que a aresta e não é decorte.
• e pertence a um ciclo C = (u, . . . , v,u) de G.Teorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• existem dois caminhos entre u e v, uma contradição.
♢
14
![Page 76: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/76.jpg)
(b) Existe um único caminho entre quaisquer dois vértices deG⇒ (c) G é conexo e para toda e ∈ E, G− e é desconexo. (G éconexo minimal.)
• G é conexo.• Suponha, para uma contradição, que a aresta e não é decorte.
• e pertence a um ciclo C = (u, . . . , v,u) de G.Teorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• existem dois caminhos entre u e v, uma contradição.
♢
14
![Page 77: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/77.jpg)
(c) G é conexo e para toda e ∈ E, G− e é desconexo. (G éconexo minimal.) ⇒ (d) G é conexo e m = n− 1
• Toda aresta é de corteTeorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• G é acíclico• Resultado segue pelo lemaLema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
♢
15
![Page 78: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/78.jpg)
(c) G é conexo e para toda e ∈ E, G− e é desconexo. (G éconexo minimal.) ⇒ (d) G é conexo e m = n− 1
• Toda aresta é de corteTeorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• G é acíclico• Resultado segue pelo lemaLema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
♢
15
![Page 79: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/79.jpg)
(c) G é conexo e para toda e ∈ E, G− e é desconexo. (G éconexo minimal.) ⇒ (d) G é conexo e m = n− 1
• Toda aresta é de corteTeorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• G é acíclico
• Resultado segue pelo lemaLema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
♢
15
![Page 80: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/80.jpg)
(c) G é conexo e para toda e ∈ E, G− e é desconexo. (G éconexo minimal.) ⇒ (d) G é conexo e m = n− 1
• Toda aresta é de corteTeorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• G é acíclico• Resultado segue pelo lemaLema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
♢
15
![Page 81: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/81.jpg)
(c) G é conexo e para toda e ∈ E, G− e é desconexo. (G éconexo minimal.) ⇒ (d) G é conexo e m = n− 1
• Toda aresta é de corteTeorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• G é acíclico• Resultado segue pelo lemaLema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
♢
15
![Page 82: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/82.jpg)
(c) G é conexo e para toda e ∈ E, G− e é desconexo. (G éconexo minimal.) ⇒ (d) G é conexo e m = n− 1
• Toda aresta é de corteTeorema 15. Sejam G um grafo e e ∈ E(G). A aresta e é decorte se e somente se e não pertence a nenhum ciclo.
• G é acíclico• Resultado segue pelo lemaLema 25. Seja G um grafo conexo. Se G não contém ciclos,então m(G) = n(G)− 1.
♢
15
![Page 83: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/83.jpg)
(d) G é conexo e m = n− 1⇒ (e) G é acíclico e m = n− 1.
• Resultado segue peloLema 24. Seja G um grafo conexo. Se m(G) = n(G)− 1,então G não contém ciclos.
♢
16
![Page 84: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/84.jpg)
(d) G é conexo e m = n− 1⇒ (e) G é acíclico e m = n− 1.
• Resultado segue peloLema 24. Seja G um grafo conexo. Se m(G) = n(G)− 1,então G não contém ciclos.
♢
16
![Page 85: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/85.jpg)
(d) G é conexo e m = n− 1⇒ (e) G é acíclico e m = n− 1.
• Resultado segue peloLema 24. Seja G um grafo conexo. Se m(G) = n(G)− 1,então G não contém ciclos.
♢
16
![Page 86: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/86.jpg)
(d) G é conexo e m = n− 1⇒ (e) G é acíclico e m = n− 1.
• Resultado segue peloLema 24. Seja G um grafo conexo. Se m(G) = n(G)− 1,então G não contém ciclos.
♢
16
![Page 87: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/87.jpg)
(e) G é acíclico e m = n− 1⇒ (f) G é acíclico e para todo parde vértices não adjacentes u, v ∈ V, G+ uv tem exatamente umciclo. (G é acíclico maximal.)
• G é conexoLema 26. Se G não tem ciclos e vale que m = n− 1, entãoG é conexo.
• G é uma árvore• Sabemos que (a)⇒ (b), i.e., se G é uma árvore, então todopar de vértices possui um único caminho entre eles.
• Se u e v são dois vértices de G que não são adjacentes,então G+ uv tem um único ciclo.
♢
17
![Page 88: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/88.jpg)
(e) G é acíclico e m = n− 1⇒ (f) G é acíclico e para todo parde vértices não adjacentes u, v ∈ V, G+ uv tem exatamente umciclo. (G é acíclico maximal.)
• G é conexoLema 26. Se G não tem ciclos e vale que m = n− 1, entãoG é conexo.
• G é uma árvore• Sabemos que (a)⇒ (b), i.e., se G é uma árvore, então todopar de vértices possui um único caminho entre eles.
• Se u e v são dois vértices de G que não são adjacentes,então G+ uv tem um único ciclo.
♢
17
![Page 89: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/89.jpg)
(e) G é acíclico e m = n− 1⇒ (f) G é acíclico e para todo parde vértices não adjacentes u, v ∈ V, G+ uv tem exatamente umciclo. (G é acíclico maximal.)
• G é conexoLema 26. Se G não tem ciclos e vale que m = n− 1, entãoG é conexo.
• G é uma árvore
• Sabemos que (a)⇒ (b), i.e., se G é uma árvore, então todopar de vértices possui um único caminho entre eles.
• Se u e v são dois vértices de G que não são adjacentes,então G+ uv tem um único ciclo.
♢
17
![Page 90: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/90.jpg)
(e) G é acíclico e m = n− 1⇒ (f) G é acíclico e para todo parde vértices não adjacentes u, v ∈ V, G+ uv tem exatamente umciclo. (G é acíclico maximal.)
• G é conexoLema 26. Se G não tem ciclos e vale que m = n− 1, entãoG é conexo.
• G é uma árvore• Sabemos que (a)⇒ (b), i.e., se G é uma árvore, então todopar de vértices possui um único caminho entre eles.
• Se u e v são dois vértices de G que não são adjacentes,então G+ uv tem um único ciclo.
♢
17
![Page 91: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/91.jpg)
(e) G é acíclico e m = n− 1⇒ (f) G é acíclico e para todo parde vértices não adjacentes u, v ∈ V, G+ uv tem exatamente umciclo. (G é acíclico maximal.)
• G é conexoLema 26. Se G não tem ciclos e vale que m = n− 1, entãoG é conexo.
• G é uma árvore• Sabemos que (a)⇒ (b), i.e., se G é uma árvore, então todopar de vértices possui um único caminho entre eles.
• Se u e v são dois vértices de G que não são adjacentes,então G+ uv tem um único ciclo.
♢
17
![Page 92: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/92.jpg)
(e) G é acíclico e m = n− 1⇒ (f) G é acíclico e para todo parde vértices não adjacentes u, v ∈ V, G+ uv tem exatamente umciclo. (G é acíclico maximal.)
• G é conexoLema 26. Se G não tem ciclos e vale que m = n− 1, entãoG é conexo.
• G é uma árvore• Sabemos que (a)⇒ (b), i.e., se G é uma árvore, então todopar de vértices possui um único caminho entre eles.
• Se u e v são dois vértices de G que não são adjacentes,então G+ uv tem um único ciclo.
♢
17
![Page 93: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/93.jpg)
(e) G é acíclico e m = n− 1⇒ (f) G é acíclico e para todo parde vértices não adjacentes u, v ∈ V, G+ uv tem exatamente umciclo. (G é acíclico maximal.)
• G é conexoLema 26. Se G não tem ciclos e vale que m = n− 1, entãoG é conexo.
• G é uma árvore• Sabemos que (a)⇒ (b), i.e., se G é uma árvore, então todopar de vértices possui um único caminho entre eles.
• Se u e v são dois vértices de G que não são adjacentes,então G+ uv tem um único ciclo.
♢
17
![Page 94: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/94.jpg)
(f) G é acíclico e para todo par de vértices não adjacentesu, v ∈ V, G+ uv tem exatamente um ciclo. (G é acíclicomaximal.) ⇒ (a) G é uma árvore
• G é acíclico, resta mostrar que ele é conexo.• Se para todo par u, v de vértices não adjacentes vale queG+ uv tem um único ciclo, então existe um uv-caminho.
• Logo, G é conexo.
18
![Page 95: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/95.jpg)
(f) G é acíclico e para todo par de vértices não adjacentesu, v ∈ V, G+ uv tem exatamente um ciclo. (G é acíclicomaximal.) ⇒ (a) G é uma árvore
• G é acíclico, resta mostrar que ele é conexo.
• Se para todo par u, v de vértices não adjacentes vale queG+ uv tem um único ciclo, então existe um uv-caminho.
• Logo, G é conexo.
18
![Page 96: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/96.jpg)
(f) G é acíclico e para todo par de vértices não adjacentesu, v ∈ V, G+ uv tem exatamente um ciclo. (G é acíclicomaximal.) ⇒ (a) G é uma árvore
• G é acíclico, resta mostrar que ele é conexo.• Se para todo par u, v de vértices não adjacentes vale queG+ uv tem um único ciclo, então existe um uv-caminho.
• Logo, G é conexo.
18
![Page 97: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/97.jpg)
(f) G é acíclico e para todo par de vértices não adjacentesu, v ∈ V, G+ uv tem exatamente um ciclo. (G é acíclicomaximal.) ⇒ (a) G é uma árvore
• G é acíclico, resta mostrar que ele é conexo.• Se para todo par u, v de vértices não adjacentes vale queG+ uv tem um único ciclo, então existe um uv-caminho.
• Logo, G é conexo.
18
![Page 98: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/98.jpg)
(f) G é acíclico e para todo par de vértices não adjacentesu, v ∈ V, G+ uv tem exatamente um ciclo. (G é acíclicomaximal.) ⇒ (a) G é uma árvore
• G é acíclico, resta mostrar que ele é conexo.• Se para todo par u, v de vértices não adjacentes vale queG+ uv tem um único ciclo, então existe um uv-caminho.
• Logo, G é conexo.
18
![Page 99: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/99.jpg)
(f) G é acíclico e para todo par de vértices não adjacentesu, v ∈ V, G+ uv tem exatamente um ciclo. (G é acíclicomaximal.) ⇒ (a) G é uma árvore
• G é acíclico, resta mostrar que ele é conexo.• Se para todo par u, v de vértices não adjacentes vale queG+ uv tem um único ciclo, então existe um uv-caminho.
• Logo, G é conexo.
18
![Page 100: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/100.jpg)
Teorema 29. Seja G um grafo. As seguintes afirmações sãoequivalentes:
(a) G é uma árvore.(b) Existe um único caminho entre quaisquer dois vértices de
G.(c) G é conexo e para toda e ∈ E, G− e é desconexo. (G é
conexo minimal.)(d) G é conexo e m = n− 1.(e) G é acíclico e m = n− 1.(f) G é acíclico e para todo par de vértices não adjacentes
u, v ∈ V, G+ uv tem exatamente um ciclo. (G é acíclicomaximal.)
19
![Page 101: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/101.jpg)
ExercícioTeorema 30. Seja T uma árvore. Um vértice v ∈ V(T) é decorte se e somente se ele não é uma folha.
20
![Page 102: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/102.jpg)
Árvore geradora
![Page 103: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/103.jpg)
Árvore geradora
Seja G um grafo
• Um subgrafo H ⊆ G é gerador se V(H) = V(G)
• Uma árvore geradora de G é um subgrafo gerador T de Gtal que T é uma árvore
21
![Page 104: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/104.jpg)
Árvore geradora
Seja G um grafo
• Um subgrafo H ⊆ G é gerador se V(H) = V(G)• Uma árvore geradora de G é um subgrafo gerador T de Gtal que T é uma árvore
21
![Page 105: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/105.jpg)
Teorema 31. Todo grafo conexo contém uma árvore geradora.
• Seja G um grafo conexo com m arestas.• Demonstração por indução em m.• Se m = 0, então n = 0 e o resultado vale trivialmente.• Seja uv ∈ E(G), e seja G′ = G− uv• Se G′ é conexo, então pela h.i., existe uma árvore geradoraT de G′.
• Como T ⊆ G′ ⊆ G e V(G′) = V(G), temos que T também éuma árvore geradora de G.
• Assim, suponha que G′ é desconexo, e sejam G′1 e G′2 asduas componentes conexas de G′.
• Pela h.i., G′1 contém uma árvore geradora T′1 e G′2 contémuma árvore geradora T′2.
• Assim T = E(T1) ∪ E(T2) ∪ {uv} é uma árvore geradora de G.
22
![Page 106: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/106.jpg)
Teorema 31. Todo grafo conexo contém uma árvore geradora.
• Seja G um grafo conexo com m arestas.
• Demonstração por indução em m.• Se m = 0, então n = 0 e o resultado vale trivialmente.• Seja uv ∈ E(G), e seja G′ = G− uv• Se G′ é conexo, então pela h.i., existe uma árvore geradoraT de G′.
• Como T ⊆ G′ ⊆ G e V(G′) = V(G), temos que T também éuma árvore geradora de G.
• Assim, suponha que G′ é desconexo, e sejam G′1 e G′2 asduas componentes conexas de G′.
• Pela h.i., G′1 contém uma árvore geradora T′1 e G′2 contémuma árvore geradora T′2.
• Assim T = E(T1) ∪ E(T2) ∪ {uv} é uma árvore geradora de G.
22
![Page 107: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/107.jpg)
Teorema 31. Todo grafo conexo contém uma árvore geradora.
• Seja G um grafo conexo com m arestas.• Demonstração por indução em m.
• Se m = 0, então n = 0 e o resultado vale trivialmente.• Seja uv ∈ E(G), e seja G′ = G− uv• Se G′ é conexo, então pela h.i., existe uma árvore geradoraT de G′.
• Como T ⊆ G′ ⊆ G e V(G′) = V(G), temos que T também éuma árvore geradora de G.
• Assim, suponha que G′ é desconexo, e sejam G′1 e G′2 asduas componentes conexas de G′.
• Pela h.i., G′1 contém uma árvore geradora T′1 e G′2 contémuma árvore geradora T′2.
• Assim T = E(T1) ∪ E(T2) ∪ {uv} é uma árvore geradora de G.
22
![Page 108: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/108.jpg)
Teorema 31. Todo grafo conexo contém uma árvore geradora.
• Seja G um grafo conexo com m arestas.• Demonstração por indução em m.• Se m = 0, então n = 0 e o resultado vale trivialmente.
• Seja uv ∈ E(G), e seja G′ = G− uv• Se G′ é conexo, então pela h.i., existe uma árvore geradoraT de G′.
• Como T ⊆ G′ ⊆ G e V(G′) = V(G), temos que T também éuma árvore geradora de G.
• Assim, suponha que G′ é desconexo, e sejam G′1 e G′2 asduas componentes conexas de G′.
• Pela h.i., G′1 contém uma árvore geradora T′1 e G′2 contémuma árvore geradora T′2.
• Assim T = E(T1) ∪ E(T2) ∪ {uv} é uma árvore geradora de G.
22
![Page 109: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/109.jpg)
Teorema 31. Todo grafo conexo contém uma árvore geradora.
• Seja G um grafo conexo com m arestas.• Demonstração por indução em m.• Se m = 0, então n = 0 e o resultado vale trivialmente.• Seja uv ∈ E(G), e seja G′ = G− uv
• Se G′ é conexo, então pela h.i., existe uma árvore geradoraT de G′.
• Como T ⊆ G′ ⊆ G e V(G′) = V(G), temos que T também éuma árvore geradora de G.
• Assim, suponha que G′ é desconexo, e sejam G′1 e G′2 asduas componentes conexas de G′.
• Pela h.i., G′1 contém uma árvore geradora T′1 e G′2 contémuma árvore geradora T′2.
• Assim T = E(T1) ∪ E(T2) ∪ {uv} é uma árvore geradora de G.
22
![Page 110: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/110.jpg)
Teorema 31. Todo grafo conexo contém uma árvore geradora.
• Seja G um grafo conexo com m arestas.• Demonstração por indução em m.• Se m = 0, então n = 0 e o resultado vale trivialmente.• Seja uv ∈ E(G), e seja G′ = G− uv• Se G′ é conexo, então pela h.i., existe uma árvore geradoraT de G′.
• Como T ⊆ G′ ⊆ G e V(G′) = V(G), temos que T também éuma árvore geradora de G.
• Assim, suponha que G′ é desconexo, e sejam G′1 e G′2 asduas componentes conexas de G′.
• Pela h.i., G′1 contém uma árvore geradora T′1 e G′2 contémuma árvore geradora T′2.
• Assim T = E(T1) ∪ E(T2) ∪ {uv} é uma árvore geradora de G.
22
![Page 111: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/111.jpg)
Teorema 31. Todo grafo conexo contém uma árvore geradora.
• Seja G um grafo conexo com m arestas.• Demonstração por indução em m.• Se m = 0, então n = 0 e o resultado vale trivialmente.• Seja uv ∈ E(G), e seja G′ = G− uv• Se G′ é conexo, então pela h.i., existe uma árvore geradoraT de G′.
• Como T ⊆ G′ ⊆ G e V(G′) = V(G), temos que T também éuma árvore geradora de G.
• Assim, suponha que G′ é desconexo, e sejam G′1 e G′2 asduas componentes conexas de G′.
• Pela h.i., G′1 contém uma árvore geradora T′1 e G′2 contémuma árvore geradora T′2.
• Assim T = E(T1) ∪ E(T2) ∪ {uv} é uma árvore geradora de G.
22
![Page 112: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/112.jpg)
Teorema 31. Todo grafo conexo contém uma árvore geradora.
• Seja G um grafo conexo com m arestas.• Demonstração por indução em m.• Se m = 0, então n = 0 e o resultado vale trivialmente.• Seja uv ∈ E(G), e seja G′ = G− uv• Se G′ é conexo, então pela h.i., existe uma árvore geradoraT de G′.
• Como T ⊆ G′ ⊆ G e V(G′) = V(G), temos que T também éuma árvore geradora de G.
• Assim, suponha que G′ é desconexo, e sejam G′1 e G′2 asduas componentes conexas de G′.
• Pela h.i., G′1 contém uma árvore geradora T′1 e G′2 contémuma árvore geradora T′2.
• Assim T = E(T1) ∪ E(T2) ∪ {uv} é uma árvore geradora de G.
22
![Page 113: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/113.jpg)
Teorema 31. Todo grafo conexo contém uma árvore geradora.
• Seja G um grafo conexo com m arestas.• Demonstração por indução em m.• Se m = 0, então n = 0 e o resultado vale trivialmente.• Seja uv ∈ E(G), e seja G′ = G− uv• Se G′ é conexo, então pela h.i., existe uma árvore geradoraT de G′.
• Como T ⊆ G′ ⊆ G e V(G′) = V(G), temos que T também éuma árvore geradora de G.
• Assim, suponha que G′ é desconexo, e sejam G′1 e G′2 asduas componentes conexas de G′.
• Pela h.i., G′1 contém uma árvore geradora T′1 e G′2 contémuma árvore geradora T′2.
• Assim T = E(T1) ∪ E(T2) ∪ {uv} é uma árvore geradora de G.
22
![Page 114: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/114.jpg)
Teorema 31. Todo grafo conexo contém uma árvore geradora.
• Seja G um grafo conexo com m arestas.• Demonstração por indução em m.• Se m = 0, então n = 0 e o resultado vale trivialmente.• Seja uv ∈ E(G), e seja G′ = G− uv• Se G′ é conexo, então pela h.i., existe uma árvore geradoraT de G′.
• Como T ⊆ G′ ⊆ G e V(G′) = V(G), temos que T também éuma árvore geradora de G.
• Assim, suponha que G′ é desconexo, e sejam G′1 e G′2 asduas componentes conexas de G′.
• Pela h.i., G′1 contém uma árvore geradora T′1 e G′2 contémuma árvore geradora T′2.
• Assim T = E(T1) ∪ E(T2) ∪ {uv} é uma árvore geradora de G.
22
![Page 115: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/115.jpg)
Conjectura (Hoffmann-Ostenhof, 2011)Se G é um grafo conexo 3-regular, então G pode serdecomposto em uma árvore geradora, um conjunto de ciclos,e um conjunto de K2.
ExercícioTeorema 31. Sejam T e T′ duas árvores geradoras de G. Paracada e ∈ E(G) \ E(T′), existe f ∈ E(T′) \ E(T) tal que T− e+ f eT′ − f+ e são árvores geradoras de G.
23
![Page 116: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/116.jpg)
Conjectura (Hoffmann-Ostenhof, 2011)Se G é um grafo conexo 3-regular, então G pode serdecomposto em uma árvore geradora, um conjunto de ciclos,e um conjunto de K2.
ExercícioTeorema 31. Sejam T e T′ duas árvores geradoras de G. Paracada e ∈ E(G) \ E(T′), existe f ∈ E(T′) \ E(T) tal que T− e+ f eT′ − f+ e são árvores geradoras de G.
23
![Page 117: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/117.jpg)
Árvore geradora de custo mínimo
Um problema clássico em otimização combinatória é oproblema da árvore geradora mínima:
Entrada: G e w : E(G) → R.Objetivo: encontrar árvore geradora T tal que
∑e∈E(T) w(e) é
mínimo.
• Polinomial• Algoritmos: Kruskal, Prim, ou Boruvka.
24
![Page 118: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/118.jpg)
Árvore geradora de custo mínimo
Um problema clássico em otimização combinatória é oproblema da árvore geradora mínima:
Entrada: G e w : E(G) → R.Objetivo: encontrar árvore geradora T tal que
∑e∈E(T) w(e) é
mínimo.
• Polinomial• Algoritmos: Kruskal, Prim, ou Boruvka.
24
![Page 119: Aula: Árvores - MCTA027-17 - Teoria dos Grafosprofessor.ufabc.edu.br/~m.sambinelli/courses/2019Q3-TG/materiais/… · Aula:Árvores MCTA027-17-TeoriadosGrafos Prof.MayconSambinelli](https://reader035.vdocuments.pub/reader035/viewer/2022063012/5fc816ab4a203848c81e11ad/html5/thumbnails/119.jpg)
25