Complemento de um Grafo [SCE183]

http://www.icmc.sc.usp.br/manuals/sce183/gfcomp.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

Complemento de um Grafo
Denomina-se complemento de um grafo G(V,E) ao grafo G(barra), que possue o mesmo conjunto de vrtices V de G. O conjunto de arestas constitudo por todo par de vrtices v, w distintos pertencente a V, que no aresta de G.

Grafo Completo Um grafo completo quando existe uma aresta entre cada par de seus vrtices. kn denota o grafo completo com n vrtices.

Grafo Bipartide Um grafo G(V,E) bipartide quando o seu conjunto de vrtices puder ser particionado em dois subconjuntos V1, V2 tais que toda aresta de G une um vrtice de V1 a outro vrtice de V2.

V1={a,b} V2={c,d,e}

V1={a,b,c} V2={d,e,f}

Grafo Bipartide Completo

1 de 4

25/4/2008 22:12

Complemento de um Grafo [SCE183]

http://www.icmc.sc.usp.br/manuals/sce183/gfcomp.html

Um grafo que possui uma aresta para cada par de vrtices v1v2, sendo v1 pertencente a V1 e v2 pertencente a V2. Se n1=|V1| e n2=|V2| , um grafo bipartido completo denotado por kn1,n2 e possui n1*n2 arestas. Subgrafo Um subgrafo G2(V2,E2) de um grafo G1(V1,E1) um grafo tal que V2 est contido em V1 e E2 est contido em E1.

Se o subgrafo G2 de G1 satisfaz: para quaisquer v, w pertencente a V2, se (v,w) pertence a E1, ento (v,w) pertence a E2. Dessa forma, G2 dito subgrafo induzido pelo conjunto de vrtices V2. (b) e (c) so subgrafos de (a) (c) subgrafo induzido de (a) Clique Denomina-se clique de um grafo G a um subgrafo de G que seja completo.

Conjuntos Independentes de Vrtices Subgrafo induzido de G que seja totalmente conexo. Lembrando: - ciclo um caminho V1, V2, ..., Vk, Vk+1 sendo V1=Vk+1, k>3 - ciclo simples se o caminho for simples e um caminho simples quando todos os vrtices forem distintos. - um grafo que no possui ciclos acclico. rvores Um grafo que acclico e conexo T(V,E)

2 de 4

25/4/2008 22:12

Complemento de um Grafo [SCE183]

http://www.icmc.sc.usp.br/manuals/sce183/gfcomp.html

Folha Um vrtice v da rvore uma folha se possuir grau<=1. Vrtice Interior Um vrtice v interior se grau |v|>1. Floresta Um conjunto de rvores. Todo grafo acclico uma floresta.

Floresta com trs rvores. "Todas as possveis rvores (no isomrfas entre si) com 6 vrtices."

Isomorfismo entre grafos Sejam dois grafos G1(V1,E1) e G2(V2,E2), com |V1|=|V2|=n. Se existe uma funo unvoca f:V1->V2,

3 de 4

25/4/2008 22:12

Complemento de um Grafo [SCE183]

http://www.icmc.sc.usp.br/manuals/sce183/gfcomp.html

tal que (v,w) pertence a E1 sse (f(v),f(w)) pertence a E2, para todo v, w pertencente a V1, ento G1 e G2 so ditos isomorfos entre si. Toda rvore T de n vrtices possui exatamente n-1 arestas. Teorema: Um grafo G uma rvore se e s se existir um nico caminho entre cada par de vrtices G. Prova: Seja G uma rvore. Ento G conexo e portanto existe pelo menos um caminho entre cada par de vrtices v e w de G. Suponha que existem 2 caminhos distintos vP1w e vP2w entre v e w. Ento vP1wP2v um ciclo, o que contradiz G ser acclico. Reciprocamente, se existe exatamente um caminho entre cada par de vrtices de G, ento o grafo obviamente conexo, e alm disso no pode conter ciclos. Portanto, G uma rvore. Conceitos Bsicos de Grafos Excentricidade de um Grafo e rvores

4 de 4

25/4/2008 22:12