Arvore Estritamente m-aria [SCE183] http://www.icmc.sc.usp.br/manuals/sce183/gfmaria.

html

Instituto de Cincias Matemticas e de Computao

Departamento de Computao e Estatstica
SCE183 - Algoritmos e Estruturas de Dados 2
Profs. Resp: Graa Pimentel e Maria Cristina

rvore Estritamente m-ria

uma rvore enraizada ordenada em que cada vrtice no folha possui exatamente m filhos, m>=1.
Quando m=2, a rvore estritamente binria.

Subrvore Parcial
Seja Tv uma subrvore enraizada de raiz v. Seja S um subconjunto de vrtices de Tv tal que Tv-S seja conexo
e V no pertence S. O grafo Tv-S denominado subrvore parcial de raiz v.

S={f, h, k}

rvore m-ria
Se T uma rvore enraizada estritamente m-ria. A cada filho w de todo vrtice no folha v, atribua um rtulo
inteiro positivo, r(w).
1<=r(w)<=m a posio que w ocupa na ordenao dos filhos de v.

Uma subrvore parcial de uma rvore estritamente m-ria que possui rotulao chamado rvore m-ria.
Por exemplo, numa rvore binria, cada filho w de v pode ser identificado como seu filho esquerdo ou direito.
Naturalmente, o filho esquerdo pode existir sem o direito e vice-versa.

(a) e (b) so rvores enraizadas ordenadas isomrfas no so binrias isomrfas

(c) rvore estritamente ternria

1 de 5 25/4/2008 22:14
Arvore Estritamente m-aria [SCE183] http://www.icmc.sc.usp.br/manuals/sce183/gfmaria.html

Planaridade
Seja G um grafo e R uma representao geomtrica de G em um plano. A representao R chamada plana
quando no houver cruzamento de linhas em R-a no ser nos vrtices.

Um grafo dito planar quando admitir alguma representao plana.

As linhas de representao R dividem o plano em regies, denominadas faces de R. Existe exatamente uma
regio no limitada, chamada face externa. Duas representaes planas de um mesmo grafo possuem sempre o
mesmo nmero de faces.

Teorema:
Seja G um grafo planar
Ento:
n+f = m+2 ,n - vrtices, f - faces, m - arestas

Lema:
Seja G um grafo planar
Ento:
m <= 3n-6

Quanto maior o nmero de arestas em relao ao nmero de vrtices, mais dficil obter representaes
geomtricas planas.

Fato:
Todo grafo planar admite uma representao plana em que todas as linhas so retas.

(a) grafo no planar

(b) grafo planar
(c) planar com todas as linhas retas

Lema:
Os grafos K5 e K3,3 so no planares

2 de 5 25/4/2008 22:14
Arvore Estritamente m-aria [SCE183] http://www.icmc.sc.usp.br/manuals/sce183/gfmaria.html

K5: grafo no planar com menor nmero de vrtices

K3,3: grafo no planar com menor nmero de arestas

Subdiviso de uma aresta

Operao que transforma a aresta (v,w) num caminho v,z1,z2,...,zk,w, sendo k>=0, onde os zi so vrtices de
grau 2 adicionados ao grafo.

Um grafo G2 uma subdiviso do grafo G1, quando G2 puder ser obtido de G1 atravs de uma sequncia de
subdivises de arestas de G1.

Teorema:
Um grafo planar se e somente se no contm como subgrafo uma subdiviso de K5 ou K3,3.

Ciclo Hamiltoniano
Ciclo hamiltoniano contm cada vrtice do grafo exatamente uma vez. Um grafo hamiltoniano aquele que
contm um ciclo hamiltoniano.

Colorao:
Seja G(V,E) um grafo e C={cj} um conjunto de cores. Uma colorao de G uma atribuio de alguma cor
para cada vrtice de V, de modo que a dois vrtices adjacentes sejam atribuidas cores diferentes.

Uma k-colorao uma colorao que utiliza um total de k cores.

Nmero cromtico: X(G) de um grafo G, o menor nmero de cores k para o qual existe uma k colorao
de G.
Colorao mmima: utiliza o nmero mnimo de cores.

3 de 5 25/4/2008 22:14
Arvore Estritamente m-aria [SCE183] http://www.icmc.sc.usp.br/manuals/sce183/gfmaria.html

X(G)=3 (3-colorao mnima)

Colorir fcil, difcil o problema de encontrar um processo eficiente para obteno da colorao mnima.
No conhecido algoritmo eficiente para determinar o nmero cromtico de um grafo.

Relaes entre conceitos

So necessrias p cores para colorir os diferentes vrtices de uma clique de tamanho k. O nmero cromtico
de um grafo G maior ou igual que o tamanho do maior clique de G.

Considere uma k-colorao de G(V,E). Sejam v1,...,vk os subconjuntos disjuntos de V, induzidos pela
k-colorao.
Ento a unio dos vi ser V e cada vi um conjunto independente de vrtices.

Um grafo denominado k crtico quando X(G)=k e para todo subgrafo prprio H de G, X(H)>k .

Teorema:
Se G(V,E) k-crtico, ento grau(v)>=k-1, para todo v pertencente a V.

O problema das 4 cores

O problema das 4 cores consiste em colorir os pases de um mapa arbitrrio plano, cada pas com uma cor, de
tal forma que pases fronteirios possuam cores diferentes.

O problema consiste em obter tal colorao usando no mais que 4 cores - fato provado em 1977. Seja M
uma regio do plano, um mapa um particionamento de M em um nmero finito de sub-regies, os quais so
delimitados por linhas.

Duas regies so adjacentes quando possurem uma linha em comum. Uma colorao uma atribuio de uma
cor a cada regio de M, de modo que regies adjacentes possuam cores diferentes. Um mapa M k-colorvel
quando existir uma colorao de M que utiliza k cores.

Excentricidade de um Grafo e rvores

4 de 5 25/4/2008 22:14
Arvore Estritamente m-aria [SCE183] http://www.icmc.sc.usp.br/manuals/sce183/gfmaria.html

Dgrafos

5 de 5 25/4/2008 22:14