Академический Документы
Профессиональный Документы
Культура Документы
html
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.
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.
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.
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
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.
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
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.
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 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.
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