Académique Documents
Professionnel Documents
Culture Documents
Carvalho
Grafos conexos
Professora: Mari Cristina Vasconcelos Nascimento Instituto de Cincia e Tecnologia Universidade Federal de So Paulo - UNIFESP
outubro de 2013
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 .
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
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.
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)
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 .
Conexidade-Aplicaes
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:
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
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
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.
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 .
Existe um algoritmo simples (Fleury (1883)) que encontra uma trilha Euleriana em um grafo conexo (ver tambm (Lucas, 1894))
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
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 .
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 .
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.
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 }
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 ).
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
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
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
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.
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).
Os subdgrafos de D induzidos pelas classes de equivalncia com relao a esta relao de equivalncia so chamados componentes fortemente conexos de D.
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 )
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 .
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 ).
Referncias Bibliogrcas I