Você está na página 1de 29

Teoria dos Grafos Apresentao preparada por Desiree M.

Carvalho

Grafos conexos

Professora: Mari Cristina Vasconcelos Nascimento Instituto de Cincia e Tecnologia Universidade Federal de So Paulo - UNIFESP

outubro de 2013

Teoria dos Grafos

Teoria dos Grafos Grafos conexos

Passeios (walks )

Denio Um passeio em um grafo G uma sequncia w := v0 e1 v1 ...vl 1 el vl cujos termos so alternados por vrtices e arestas de G (NO NECESSARIAMENTE DISTINTOS), tais que vi 1 e vi so pontas de ei , 1 i l .

Teoria dos Grafos

Teoria dos Grafos Grafos conexos

Propriedades

Se v0 = x e vl = y , dizemos que W conecta x a y e w chamado passeio-xy (xy -walk) Os vrtices x e y so as pontas do passeio, sendo x o vrtice inicial e y seu vrtice nal. O inteiro l o comprimento de W (# de arestas) Se u e v so dois vrtices de um passeio W , sendo que u precede v em W , a subsequncia uWv o segmento de W comeando de u e terminando em v . uWv equivalente ao passeio-uv.

3 4

Teoria dos Grafos

Teoria dos Grafos Grafos conexos

Obs:
1

Em um grafo simples, o passeio v0 e1 v1 ...vl 1 el vl pode ser simplicado pela sequncia v0 v1 ...vl Se essa forma de representao for utilizada para descrever uma sequncia W em um grafo no-simples, entende-se que W qualquer passeio com tal sequncia de vrtices adjacentes.

Denio Um passeio em um grafo fechado se os seus vrtices inicial e nal forem idnticos. Um passeio dito trilha se todas as arestas da sequncia forem distintas.

Teoria dos Grafos

Teoria dos Grafos Grafos conexos

Grafos conexos e passeios

A conexidade de pares de vrtices em um grafo uma relao de equivalncia em V . x conectado a ele mesmo W := x (reflexiva) Se x conectado a y por um passeio W , ento y conectado a x pelo caminho obtido revertendo a sequncia W (simetria) Para quaisquer 3 vrtices x , y e z se xWy e yW z so passeios, a sequncia xWyW z um passeio, logo, se x for conectado a y e y for conectado a z , ento x conectado a z (transitividade)

Teoria dos Grafos

Teoria dos Grafos Grafos conexos

Dado um conjunto X com uma relao de equivalncia , a classe de equivalncia de um elemento a de X o subconjunto de todos os elementos de X que so equivalentes a a as classes de equivalncia determinadas pela relao de conexidade so os conjuntos de vrtices das componentes de G .

Teoria dos Grafos

Teoria dos Grafos Grafos conexos

Conexidade-Aplicaes

Redes de comunicao Temas tericos - planaridade de grafos

Teoria dos Grafos

Teoria dos Grafos Arestas de corte (grafo no-direcionados)

Denio Seja c (G ) o nmero de componentes de um grafo. Para qualquer grafo G , temos que c (G \e ) = c (G ) ou c (G \e ) = c (G ) + 1. Se c (G \e ) = c (G ) + 1 dizemos que e uma aresta de corte de G . Exemplo:

Este grafo tem trs arestas de corte.


Teoria dos Grafos

Teoria dos Grafos Arestas de corte (grafo no-direcionados)

Exerccio Para qualquer grafo G c (G \e ) = c (G ) ou c (G \e ) = c (G ) + 1. Seja Xi , i = 1, ..., k uma partio de V (G ) tal que Xi fechado, i = 1, ..., k , temos que G tem k componentes conexas. Seja e E (G ) uma aresta que liga u , v Xj . Suponha que (u , v ) W , tal que W seja o nico passeio que conecte U a V , sendo U o conjunto de vrtices tal que u U que tem passeio em U e no a V e V o conjunto de vrtices tal que v V e no em U . Como G [Xi ] conexo U V = Xi . A eliminao de (u , v ) ir produzir uma quebra na componente conexa. Entretanto, pela denio de U e V , ela poder se partir em apenas 2 componentes se U e V = . Nesse caso (u , v ) ser aresta de corte.
Teoria dos Grafos

Teoria dos Grafos Arestas de corte (grafo no-direcionados)

Proposio Uma aresta e de um grafo G dita aresta de corte se, e somente se, e pertence a nenhum ciclo de G . Exerccio Seja G um grafo conexo par. Mostre que
1

G no tem aresta de corte

Trilhas Eulerianas Uma trilha que passa por cada aresta de um grafo chamada trilha Euleriana. Neste caso a trilha um passeio fechado. Um grafo dito Euleriano se ele admite uma trilha Euleriana.

Teoria dos Grafos

Teoria dos Grafos Arestas de corte (grafo no-direcionados)

Algoritmo de Fleury

Seja G um grafo Euleriano e W uma trilha Euleriana de G com vrtice inicial e nal u . Cada vez que um vrtice v aparece como um vrtice interno de W , duas arestas incidentes a v so conectadas no passeio.

Como na trilha Euleriana uma aresta contada exatamente uma vez, d (v ) par para qualquer v = u .

Teoria dos Grafos

Teoria dos Grafos Arestas de corte (grafo no-direcionados)

Analogamente, d (u ) par, porque ambos incio e m de W so incidentes a u .


Portanto, todo grafo Euleriano necessariamente par. A condio no apenas necessria, mas tambm suciente.

Existe um algoritmo simples (Fleury (1883)) que encontra uma trilha Euleriana em um grafo conexo (ver tambm (Lucas, 1894))

Teoria dos Grafos

Teoria dos Grafos Arestas de corte (grafo no-direcionados)

Algoritmo 1 Algoritmo de Fleury INPUT: um grafo G par conexo e um vrtice u de G ; OUTPUT: uma trilha Euleriana W de G comeando e terminando em u ; 1: Faa W := u , x := u , F := G ; 2: Enquanto F (x ) = faa 3: Escolha e := xy F (x ), no sendo e uma aresta de corte (a menos que no haja alternativa) 4: Substitua uWx por uWxey , x por y , e F por F \e 5: Fim Enquanto 6: RETORNE W

Teoria dos Grafos

Teoria dos Grafos Arestas de corte (grafo no-direcionados)

Teorema 3.4 Se G um grafo conexo par, o passeio W retornado pelo Algoritmo de Fleury uma trilha Euleriana. Prova: Suponha que W no seja uma trilha Euleriana de G . Denote por X o conjunto de vrtices de graus positivos de F quando o algoritmo termina. Ento X = e F [X ] um subgrafo par de G . Analogamente, V \X = , porque u V \X . Como G conexo, G (X ) = . Entretanto F (X ) = . Logo a ltima aresta de F (X ) selecionada para incluso em W foi uma aresta de corte e = xy com x X e y V \X .

Teoria dos Grafos

Teoria dos Grafos Arestas de corte (grafo no-direcionados)

Entretanto, esta escolha viola a regra de escolha da prxima aresta da trilha W , pois as arestas em dF (X ) candidatas para seleo na iterao no so arestas de corte de F .

Teoria dos Grafos

Teoria dos Grafos Arestas de corte (grafo no-direcionados)

A validade do algoritmo de Fleury fornece a seguinte caracterizao dos grafos eulerianos. Teorema 3.5 Um grafo conexo euleriano se, e somente se, ele for par. O algoritmo de Fleury pode ser adaptado facilmente para encontrar trilhas (abertas) eulerianas-xy . Seja e := xy . O grafo G tem uma trilha (aberta) euleriana conectando x e y se, e somente se, G + e tem uma trilha (fechada) em G . Em algumas aulas veremos um algoritmo eciente para determinar se uma aresta ou no de corte.

Teoria dos Grafos

Teoria dos Grafos Exerccios

Exerccio 3.3.3 Seja G um grafo com dois vrtices especcos distintos x e y , e seja G + e um grafo obtido a partir de G pela adio de uma nova aresta conectando x a y .
1

Mostre que G tem uma trilha Euleriana conectando x e y se, e somente se, G + e tem um tour Euleriano. Deduza que G tem uma trilha Euleriana conectando x e y se, e somente se, d (x ) e d (y ) so mpar e d (v ) par para todo v V \{x , y }

Teoria dos Grafos

Teoria dos Grafos Conexidade em dgrafos (relembrando)

Cortes em dgrafos
Se X e Y forem conjuntos de vrtices de um dgrafo D = (V , A), denotamos o conjunto de arcos de D com cauda em X e cabea em Y por A(X , Y ).

Teoria dos Grafos

Teoria dos Grafos Conexidade em dgrafos (relembrando)

Quando Y = V \X o conjunto A(X , Y ) chamado corte de sada de D e denotado por + (X ). Analogamente, A(Y , X ) corte de entrada de D e denotado por (X ). Temos que + (X ) = (V \X ) | + (X )| grau de sada de X | (X )| grau de entrada de X Um dgrafo dito fortemente conexo se + (X ) = X V

Teoria dos Grafos

Teoria dos Grafos Conexidade em dgrafos (relembrando)

Voltando em conexidade...
Denio Se W := v0 a1 v1 ...vl 1 vl um passeio em um dgrafo, um arco ai de W tem sua direo direita se vi 1 a cauda de ai e vi a cabea, e arco reverso se vi a cauda de ai e vi 1 sua cabea. Os conjuntos de arcos direita e os esquerda (reversos) so denotados por W + e W , respectivamente. Denio Se W := v0 a1 v1 ...vl 1 vl um passeio direcionado em um dgrafo, um arco ai de W tem sua direo direita se vi 1 a cauda de ai e vi a cabea. No tem existncia de arcos reversos. Tanto em dgrafos quanto em grafos, temos que um caminho um passeio sem repetio de vrtices.
Teoria dos Grafos

Teoria dos Grafos Conexidade em dgrafos (relembrando)

Denies Dizemos que um vrtice y alcanvel por um vrtice x se h um caminho-(x , y ) direcionado. Teorema 3.6 Sejam x e y vrtices de um dgrafo D . Ento y alcanvel por x em D se, e somente se, + (X ) = para cada subconjunto X de V que contm x mas no y .a
a

Prova: ver demostrao em Bondy e Murty (2008) pg. 90

Teoria dos Grafos

Teoria dos Grafos Conexidade em dgrafos (relembrando)

Exerccios

(3.1.1) Se existe um passeio-xy em um grafo G , mostre que tambm existe um caminho-xy em G . Todo passeio direcionado de comprimento mnimo um caminho direcionado. (3.1.3) Mostre que as classes de equivalncia determinadas pela relao de conectividade entre vrtices so exatamente os conjuntos de vrtices das componentes do grafo.

Teoria dos Grafos

Teoria dos Grafos Conexidade em dgrafos (relembrando)

Em um dgrafo D , dois vrtices x e y so fortemente conexos se h um passeio-(x , y ) direcionado e um passeio-(y , x ) direcionado. Novamente, relacionando com as classes de equivalncia: Conexo forte uma relao de equivalncia em um conjunto de vrtices de um dgrafo (tentar fazer como exerccio assim como foi feito para grafos no direcionados).

Teoria dos Grafos

Teoria dos Grafos Conexidade em dgrafos (relembrando)

Os subdgrafos de D induzidos pelas classes de equivalncia com relao a esta relao de equivalncia so chamados componentes fortemente conexos de D.

Teoria dos Grafos

Teoria dos Grafos Conexidade em dgrafos (relembrando)

Componentes fortemente conexas de G

Teoria dos Grafos

Teoria dos Grafos Conexidade em dgrafos (relembrando)

Denies

Uma trilha direcionada Euleriana (aberta) uma trilha direcionada que passa por cada arco do dgrafo exatamente uma vez. Uma trilha (fechada) direcionada Euleriana uma trilha fechada com a mesma propriedade da denio anterior. Um dgrafo conexo Euleriano se, e somente se, ele for par. (d (v ) = d + (v ) para cada vrtice de V )

Teoria dos Grafos

Teoria dos Grafos Conexidade em dgrafos (relembrando)

Prova do exerccio de componentes conexas

Seja Xi , i = 1, ..., k uma partio de V (G ) tal que Xi fechado. Seja e := (u , v ) u e v Xi . Dena Xi o conjunto de vrtices no qual um passeio os ligando a u e Xi o conjunto de vrtices no qual um passeio os ligando a v . T := {Xi Xi = Xi } Suponha que v tal que v Xi Xi . Ento o nico passeio que mantm v conectado a Xi passa por (u , v ) (que foi excludo da considerao Xi e Xi .

Teoria dos Grafos

Teoria dos Grafos Conexidade em dgrafos (relembrando)

Como v = u = v , pois u Xi e v Xi , ento, como G [Xi ] conexo, um passeio de v a u ou v para atingir a arestas (u , v ) Se Xi Xi = c (G \e ) = c (G ) + 1. Caso contrrio, c (G ) = c (G \e ).

Teoria dos Grafos

Teoria dos Grafos Referncias Bibliogrcas

Referncias Bibliogrcas I

Bondy, J. A.; Murty, U. S. Graph theory. Mathematics series. Springer, 2008.

Graduate Texts in Journal de

Fleury Deux problemes de geometrie de situation. mathematiques elementaires, p. 257261, 1883.

Teoria dos Grafos