Recapitulando 13/10/2011

(Tema Tcnico)

rvores

O que so
rvores?
- Basicamente, so grafos conectados acclicos.

- Um grafo conectado uma rvore se e somente se cada uma

de suas arestas for uma aresta de corte.

-Prova: Como na rvore no h ciclos, e a condio para a

existncia de aresta de corte a ausncia desta, ento est
provado o teorema.

Anlise

Concluso: Quaisquer
dois vrtices de uma
rvore so conectadas
por um nico caminho.

rvore Geradora
- O que ?

- Todo grafo conectado contm uma rvore geradora.

- Se uma grafo possui uma rvore geradora, ento ele

conectado.

-Prova?

Anlise

- Se G um grafo conectado, mas no uma rvore, e x

uma aresta de um ciclo de G, ento G/x um subgrafo
gerador conectado, pois x no uma aresta de corte.
Continuando no mesmo raciocnio, obteremos uma rvore
geradora.

rvore Geradora
- Sendo T uma rvore geradora de um grafo conectado G e
sendo x uma aresta de G sem estar em T. Ento T+x contm
um nico ciclo.

- Como assim?

- Sendo T acclico, cada ciclo de T+x contm x. Alm disso, C

um ciclo de T+x se e somente se C-x um caminho em T.
Pela definio de rvore, T tem um nico caminho, portanto
T+x contm um nico ciclo.

Busca em Largura
- Partindo da raiz, so explorados todos os seus ns vizinhos.
Ento, para cada um desses ns mais prximos, exploramos
os seus ns vizinhos inexplorados e assim por diante, at que
ele encontre o alvo da busca.

- Os vrtices so mantidos em uma fila que contm todos os

vrtices a partir dos quais a rvore pode crescer.

-Aplicao: Encontrar o caminho mais curto.

Busca em Profundidade
- Ao invs de usar uma fila, o algoritmo usa uma pilha para
facilitar o acesso ao vrtice recentemente adicionado.

- A partir do vrtice x adicionado mais recentemente, procurase um vizinho que ainda no est na pilha. Se existir, ele
adicionado. Caso contrrio, volta-se ao vrtice adicionado
antes de x e faz a mesma operao.

-Aplicao: Achar componentes conectados, ordenao

topolgica e "resoluo" de um labirinto.

Questes!
1 - Um grafo G minimamente conectado se G conectado,
mas para toda aresta e, o grafo G/e no conectado. Mostre
que toda rvore um grafo minimamente conectado.

2 - Seja (x, y) um par de vrtices de rvore F, mostre que

existe apenas um caminho com extremos x e y.

3 - Seja T uma rvore com p+q vrtices. Suponha que p dos

vrtices tem grau 4 e q so folhas. Mostre que q=2p + 2.

Fonte
- Graph Theory with applications, J. A. Bondy and U. S. R.
Murty.