Árvores - universidade federal fluminensefabio/arvores.pdf · microsoft powerpoint - arvores...
TRANSCRIPT
![Page 1: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/1.jpg)
Def.: Um grafo é acíclico se não possui ciclos.
Def.: Uma árvore é um grafo acíclico e conexo.
Def.: Uma floresta é um grafo acíclico (cada componente
conexa de uma floresta é uma árvore).
ÁRVORES
1
![Page 2: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/2.jpg)
Def.: Um grafo é acíclico se não possui ciclos.
Def.: Uma árvore é um grafo acíclico e conexo.
Def.: Uma floresta é um grafo acíclico (cada componente
conexa de uma floresta é uma árvore).
ÁRVORES
2
![Page 3: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/3.jpg)
Def.: Um grafo é acíclico se não possui ciclos.
Def.: Uma árvore é um grafo acíclico e conexo.
Def.: Uma floresta é um grafo acíclico (cada componente
conexa de uma floresta é uma árvore).
ÁRVORES
3
![Page 4: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/4.jpg)
Teorema 1:
Um grafo T é uma árvore
sss
existe um único caminho entre cada par de vértices de T .
ÁRVORES
4
![Page 5: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/5.jpg)
Teorema 1:
Um grafo T é uma árvore
sss
existe um único caminho entre cada par de vértices de T .
ÁRVORES
5
![Page 6: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/6.jpg)
Teorema 1:
Um grafo T é uma árvore
sss
existe um único caminho entre cada par de vértices de T .
ÁRVORES
6
![Page 7: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/7.jpg)
Teorema 1:
Um grafo T é uma árvore
sss
existe um único caminho entre cada par de vértices de T .
ÁRVORES
7
![Page 8: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/8.jpg)
Teorema 1:
Um grafo T é uma árvore
sss
existe um único caminho entre cada par de vértices de T .
ÁRVORES
8
![Page 9: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/9.jpg)
Def.: Uma folha de uma árvore é um vértice de grau um.
Teorema 2:
Toda árvore não trivial tem pelo menos duas folhas.
ÁRVORES
9
![Page 10: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/10.jpg)
Def.: Uma folha de uma árvore é um vértice de grau um.
Teorema 2:
Toda árvore não trivial tem pelo menos duas folhas.
ÁRVORES
10
folha
![Page 11: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/11.jpg)
Teorema 3:
Se T é uma árvore então m=n -1 .
ÁRVORES
11
![Page 12: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/12.jpg)
Teorema 3:
Se T é uma árvore então m=n -1 .
ÁRVORES
12
Note inicialmente que o resultado vale trivialmente para
n = 1 ou n = 2
![Page 13: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/13.jpg)
Teorema 3:
Se T é uma árvore então m=n -1 .
ÁRVORES
13
n = 8
![Page 14: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/14.jpg)
Teorema 3:
Se T é uma árvore então m=n -1 .
ÁRVORES
14
n = 7
![Page 15: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/15.jpg)
Teorema 3:
Se T é uma árvore então m=n -1 .
ÁRVORES
15
n = 7, m = 6
![Page 16: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/16.jpg)
Teorema 3:
Se T é uma árvore então m=n -1 .
ÁRVORES
16
n = 8
![Page 17: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/17.jpg)
Teorema 3:
Se T é uma árvore então m=n -1 .
ÁRVORES
17
n = 8, m = 7
![Page 18: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/18.jpg)
Lema:
Seja T uma árvore com pelo menos três vértices.
Seja F o conjunto das folhas de T .
Seja T ' = T - F .
Então, T e T ' têm o mesmo centro.
ÁRVORES
18
![Page 19: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/19.jpg)
Lema:
Seja T uma árvore com pelo menos três vértices.
Seja F o conjunto das folhas de T .
Seja T ' = T - F .
Então, T e T ' têm o mesmo centro.
ÁRVORES
19
T
![Page 20: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/20.jpg)
Lema:
Seja T uma árvore com pelo menos três vértices.
Seja F o conjunto das folhas de T .
Seja T ' = T - F .
Então, T e T ' têm o mesmo centro.
ÁRVORES
20
T
6
6
6
5
5
5
4
3
4
4
4
5
6
6
5
![Page 21: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/21.jpg)
Lema:
Seja T uma árvore com pelo menos três vértices.
Seja F o conjunto das folhas de T .
Seja T ' = T - F .
Então, T e T ' têm o mesmo centro.
ÁRVORES
21
T
6
6
6
5
5
5
4
3
4
4
4
5
6
6
5
![Page 22: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/22.jpg)
Lema:
Seja T uma árvore com pelo menos três vértices.
Seja F o conjunto das folhas de T .
Seja T ' = T - F .
Então, T e T ' têm o mesmo centro.
ÁRVORES
22
T
6
6
6
5
5
5
4
3
4
4
4
5
6
6
5
![Page 23: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/23.jpg)
Lema:
Seja T uma árvore com pelo menos três vértices.
Seja F o conjunto das folhas de T .
Seja T ' = T - F .
Então, T e T ' têm o mesmo centro.
ÁRVORES
23
T
6
6
6
5
5
5
4
3
4
4
4
5
6
6
F
5
![Page 24: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/24.jpg)
Lema:
Seja T uma árvore com pelo menos três vértices.
Seja F o conjunto das folhas de T .
Seja T ' = T - F .
Então, T e T ' têm o mesmo centro.
ÁRVORES
24
T’
4
4
3
2
3
3
4
![Page 25: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/25.jpg)
ÁRVORES
25
T’
4
4
3
2
3
3
4
Lema:
Seja T uma árvore com pelo menos três vértices.
Seja F o conjunto das folhas de T .
Seja T ' = T - F .
Então, T e T ' têm o mesmo centro.
![Page 26: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/26.jpg)
ÁRVORES
26
T’’2
1
2
Lema:
Seja T uma árvore com pelo menos três vértices.
Seja F o conjunto das folhas de T .
Seja T ' = T - F .
Então, T e T ' têm o mesmo centro.
![Page 27: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/27.jpg)
ÁRVORES
27
T’’2
1
2
Lema:
Seja T uma árvore com pelo menos três vértices.
Seja F o conjunto das folhas de T .
Seja T ' = T - F .
Então, T e T ' têm o mesmo centro.
![Page 28: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/28.jpg)
ÁRVORES
28
T’’’
0
Lema:
Seja T uma árvore com pelo menos três vértices.
Seja F o conjunto das folhas de T .
Seja T ' = T - F .
Então, T e T ' têm o mesmo centro.
![Page 29: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/29.jpg)
Teorema 4: (Jordan 1869)
O centro de uma árvore ou é formado por apenas um vértice ou
por dois vértices vizinhos.
ÁRVORES
29
![Page 30: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/30.jpg)
Teorema 4: (Jordan 1869)
O centro de uma árvore ou é formado por apenas um vértice ou
por dois vértices vizinhos.
Demonstração:
ÁRVORES
30
![Page 31: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/31.jpg)
Teorema 4: (Jordan 1869)
O centro de uma árvore ou é formado por apenas um vértice ou
por dois vértices vizinhos.
Demonstração:
❑ Toda árvore tem pelo menos duas folhas
ÁRVORES
31
![Page 32: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/32.jpg)
Teorema 4: (Jordan 1869)
O centro de uma árvore ou é formado por apenas um vértice ou
por dois vértices vizinhos.
Demonstração:
❑ Toda árvore tem pelo menos duas folhas
❑ Cada iteração de retirada de folhas remove pelo menos dois
vértices
ÁRVORES
32
![Page 33: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/33.jpg)
Teorema 4: (Jordan 1869)
O centro de uma árvore ou é formado por apenas um vértice ou
por dois vértices vizinhos.
Demonstração:
❑ Toda árvore tem pelo menos duas folhas
❑ Cada iteração de retirada de folhas remove pelo menos dois
vértices
❑ As iterações param quando há menos do que 3 vértices, isto
é, a árvore remanescente é um vértice isolado ou dois
vértices ligados por uma aresta
ÁRVORES
33
![Page 34: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/34.jpg)
Teorema 4: (Jordan 1869)
O centro de uma árvore ou é formado por apenas um vértice ou
por dois vértices vizinhos.
Demonstração:
❑ Toda árvore tem pelo menos duas folhas
❑ Cada iteração de retirada de folhas remove pelo menos dois
vértices
❑ As iterações param quando há menos do que 3 vértices, isto
é, a árvore remanescente é um vértice isolado ou dois
vértices ligados por uma aresta
❑ Estes vértices restantes formam o centro da árvore
ÁRVORES
34
![Page 35: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/35.jpg)
Def.: Uma ponte ou aresta de corte de um grafo G é uma
aresta e tal que w(G -e) > w(G).
ÁRVORES
35
![Page 36: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/36.jpg)
Def.: Uma ponte ou aresta de corte de um grafo G é uma
aresta e tal que w(G -e) > w(G).
ÁRVORES
36
e
G
w(G)=1
![Page 37: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/37.jpg)
Def.: Uma ponte ou aresta de corte de um grafo G é uma
aresta e tal que w(G -e) > w(G).
ÁRVORES
37
G
w(G-e)=2
![Page 38: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/38.jpg)
Teorema 5:
Uma aresta e é uma ponte de G
sss
não existe ciclo contendo e em G .
ÁRVORES
38
![Page 39: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/39.jpg)
Teorema 5:
Uma aresta e é uma ponte de G
sss
não existe ciclo contendo e em G .
ÁRVORES
39
e
G
![Page 40: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/40.jpg)
Teorema 5:
Uma aresta e é uma ponte de G
sss
não existe ciclo contendo e em G .
ÁRVORES
40
e
Ge'
![Page 41: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/41.jpg)
Teorema 6:
Um grafo conexo T é uma árvore
sss
cada aresta de T é uma ponte.
ÁRVORES
41
![Page 42: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/42.jpg)
Teorema 6:
Um grafo conexo T é uma árvore
sss
cada aresta de T é uma ponte.
ÁRVORES
42
![Page 43: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/43.jpg)
Def. Uma árvore geradora de um grafo G é um subgrafo
gerador conexo e acíclico de G.
ÁRVORES
43
![Page 44: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/44.jpg)
Def. Uma árvore geradora de um grafo G é um subgrafo
gerador conexo e acíclico de G.
Fato: Todo grafo conexo possui uma árvore geradora.
ÁRVORES
44
![Page 45: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/45.jpg)
Def. Uma árvore geradora de um grafo G é um subgrafo
gerador conexo e acíclico de G.
Fato: Todo grafo conexo possui uma árvore geradora.
A idéia para verificar o fato acima é ir retirando as arestas
uma a uma de modo a manter o grafo conexo. Quando isto
não for mais possível, as arestas remanescentes são todas
pontes!
ÁRVORES
45
![Page 46: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/46.jpg)
Def. Uma árvore geradora de um grafo G é um subgrafo
gerador conexo e acíclico de G.
Fato: Todo grafo conexo possui uma árvore geradora.
A idéia para verificar o fato acima é ir retirando as arestas
uma a uma de modo a manter o grafo conexo. Quando isto
não for mais possível, as arestas remanescentes são todas
pontes! Logo, formam uma árvore.
ÁRVORES
46
![Page 47: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/47.jpg)
Def. Uma árvore geradora de um grafo G é um subgrafo
gerador conexo e acíclico de G.
Fato: Todo grafo conexo possui uma árvore geradora.
A idéia para verificar o fato acima é ir retirando as arestas
uma a uma de modo a manter o grafo conexo. Quando isto
não for mais possível, as arestas remanescentes são todas
pontes! Logo, formam uma árvore.
Como esta árvore contém os vértices originais, é geradora!
ÁRVORES
47
![Page 48: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/48.jpg)
Teorema 7:
Se G é conexo, então m ≥ n - 1 .
ÁRVORES
48
![Page 49: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/49.jpg)
Teorema 7:
Se G é conexo, então m ≥ n - 1 .
Demonstração:
Já sabemos que G contém uma árvore geradora T
ÁRVORES
49
![Page 50: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/50.jpg)
Teorema 7:
Se G é conexo, então m ≥ n - 1 .
Demonstração:
Já sabemos que G contém uma árvore geradora T
Sabemos também que T tem n vértices e n-1 arestas
ÁRVORES
50
![Page 51: ÁRVORES - Universidade Federal Fluminensefabio/arvores.pdf · Microsoft PowerPoint - arvores Author (F\341bio) Created Date: 8/28/2014 5:23:50 PM](https://reader034.vdocuments.mx/reader034/viewer/2022050313/5f75e94778fe470ed9218d00/html5/thumbnails/51.jpg)
Teorema 7:
Se G é conexo, então m ≥ n - 1 .
Demonstração:
Já sabemos que G contém uma árvore geradora T
Sabemos também que T tem n vértices e n-1 arestas
Como G tem mais arestas do que T, pois T é subgrafo de G,
segue que m ≥ n - 1 .
ÁRVORES
51