Passeios de Euler e as pontes de Knigsberg

Joo Carlos V. Sampaio UFSCar sampaio@dm.ufscar.br

Knigsberg era uma cidade da antiga Prssia, hoje chamada Kaliningrado, na atual Rssia. Na parte central de Knigsberg, fluam vertentes do rio Pregel, formando uma ilha. Sete pontes, interligando partes da cidade, foram construdas, como representado na figura abaixo.
N (norte de Knigsberg)

Rio Pregel Velho

Rio Pregel

Rio Pregel Novo S (sul de Knigsberg)

Figura 1. Diagrama das sete pontes de Knigsberg.

Um desafio, proposto pelos habitantes de Knigsberg, era fazer um passeio, passando pelas sete pontes, porm apenas uma vez sobre cada ponte. Tente traar, a lpis, um caminho realizando esse passeio. Um matemtico suo, de nome Leonhard Euler (leia-se iler), em 1736, no somente elucidou a natureza desse problema, como acabou por criar uma teoria que se aplica a vrios problemas desse tipo. Euler pensou: este um tipo de problema no qual as distncias envolvidas so irrelevantes. O que importa como as vrias pores de terra esto interligadas entre si. Euler queria dizer que este problema pode ser pensado, geometricamente, da seguinte maneira. H quatro pores de terra envolvidas, separadas umas das outras pelas guas do rio Pregel. So elas: N (norte), S (sul), A (ilha central) e B (leste), como na Figura 1. Um diagrama, representando as vrias interligaes entre essas pores de terra, mostrado na Figura 2. Esse diagrama um exemplo de um grafo.
N

S Figura 2. O grafo das sete pontes de Knigsberg.

2 Um grafo uma figura, constituda de um nmero finito de arcos (ou curvas), chamadas arcos ou arestas do grafo, cujas extremidades so chamadas de vrtices do grafo. Um mesmo vrtice pode pertencer a vrios arcos, e dois arcos s podem ter em comum um ou dois vrtices de suas extremidades. As duas extremidades de um arco podem coincidir, dando lugar a um nico vrtice (esquerda da Figura 3a). Um grafo pode ter uma configurao espacial, como o grafo das arestas e vrtices de um cubo (Figura 3b). Se um grafo pode ser deformado esticando-se, encolhendo-se, ou deformando-se suas arestas , de modo a ser desenhado num plano, ele chamado um grafo planar. As arestas de um cubo formam um grafo planar, que pode ser representado como na Figura 3c.

(a)

(b)

(c)

Figura 3. (a) Um grafo, no qual as duas extremidades de um arco coincidem; (b) grafo das arestas de um cubo; (c) grafo planar das arestas de um cubo.

Um caminho, num grafo, consiste numa seqncia de arcos do grafo, construda de tal modo que, dois arcos consecutivos da seqncia tem ao menos um vrtice em comum e, nessa seqncia, no aparecem arcos repetidos. Tendo-se um caminho em um grafo, cada arco desse caminho fica orientado, passando a ter um vrtice inicial e um vrtice final, de modo que, se a e b so dois arcos consecutivos do caminho, o vrtice final de a o vrtice inicial de b. Alm disso o caminho ter um vrtice inicial o seu ponto de partida , e um vrtice final o seu ponto de chegada. Quando os vrtices inicial e final, de um caminho, coincidem, dizemos que o caminho fechado. Diremos que um grafo conexo se, para cada dois quaisquer de seus vrtices A e B, existe, no grafo, um caminho, tendo A como vrtice inicial e B como vrtice final. Todos os grafos que consideraremos aqui so conexos. Diremos que um grafo admite um passeio de Euler se existe, nesse grafo, um caminho, do qual fazem parte todas as arestas do grafo. Isto significa que um ponto mvel pode passear pelas arestas do grfico, percorrendo todas elas, passando somente uma vez atravs de cada uma. Na maior parte deste texto, consideraremos apenas grficos planares. Um grfico planar admite um passeio de Euler quando podemos desenh-lo, sem tirar o lpis do papel, passando o lpis uma nica vez em cada aresta. Alguns dos grafos da Figura 4 admitem passeios de Euler. Tente tra-los sem tirar o lpis do papel.

Figura 4. Quais destas figuras podemos fazer, com um nico trao, sem tirar o lpis do papel, passando o lpis s uma vez em cada trao?

Quando traamos um grafo no papel, podemos supor que so vrtices todos os pontos onde duas ou mais curvas se cruzam ou se encontram. De modo a elucidar o problema das pontes de Knigsberg e dos passeios de Euler em geral, introduziremos o conceito de ordem de um vrtice. A ordem de um vrtice, num grafo, o nmero de extremidades de arestas que se apoiam naquele vrtice. Assim, por exemplo, no grafo da Figura 5, os vrtices A, B e C tem ordens 5, 2 e 3, respectivamente (confira).

B Figura 5. Cinco extremidades de arcos apoiam-se em A e duas em B. Trs extremidades apoiam-se em C.

Passaremos agora aos resultados principais sobre passeios de Euler. Teorema 1. Se um grafo planar admite um passeio de Euler, comeando e terminando num mesmo vrtice, ento todo vrtice desse grafo tem ordem par. Demonstrao. Considere um vrtice qualquer do grafo, digamos A, e suponhamos que ele um vrtice intermedirio (nem final, nem inicial) do passeio. Ento, cada vez que chegamos em A, atravs de uma aresta do passeio, partimos de A logo em seguida, e assim, contadas as chegadas e partidas, teremos um nmero par de arestas apoiando-se em A (Figura 6a). Suponhamos agora que B o vrtice inicial e final do passeio. Ento, calculando a ordem de B, contamos 1 na partida, mais 1 na chegada, e somamos 2 cada vez que passamos por B (podemos, ao longo do passeio, passar diversas vezes por B). Logo, B tambm um vrtice par.
A
chegada B partida

(a) Figura 6.

(b)

Teorema 2. Se um grafo planar admite um passeio de Euler, comeando num vrtice e terminando em outro, ento os vrtices final e inicial do passeio so mpares, e todos os demais vrtices do grafo tem ordem par. Demonstrao. Se um vrtice no o fim nem o incio do passeio ento, toda vez que chegamos a ele no passeio, partimos em seguida, e assim haver um nmero par de arestas nele se apoiando. Se C o vrtice inicial do passeio, ento, ao calcular sua ordem, contamos 1 quando partimos de C, e somamos 2 cada vez que passamos por C. Assim, C um vrtice mpar. Da mesma forma, para o vrtice D, final do passeio, somamos 2 cada vez que passamos por ele e mais 1 na chegada, sendo D, portanto, tambm um vrtice mpar.

4 Em vista dos dois teoremas acima, fica fcil agora saber quais dos grafos j vistos admitem passeios de Euler. Igualmente fcil determinar se o problema das pontes de Knigsberg tem ou no soluo. Verificaremos agora que, reciprocamente, todo grafo planar, com todas arestas pares, ou apenas duas mpares, admite um passeio de Euler. Como veremos, a demonstrao desse fato nos prov uma estratgia para a construo de um passeio de Euler, quando o grafo o admite. Para desenvolver sensibilidade a respeito de como construir um passeio de Euler, num grafo em que todas as arestas so pares, consideraremos o grafo da figura 7a, no qual os vrtices so os cantos dos retngulos e as intersees entre linhas. Como podemos notar, este um exemplo simples de um grafo cujos vrtices tem ordem par. A fim de desenvolvermos nele um passeio de Euler, vamos dividi-lo em trs partes, como em 7b. Cada uma das partes desenhada com um passeio de Euler, isto , podemos traar o crculo e os dois retngulos, separadamente, sem tirarmos o lpis do papel. Podemos traar, em 7b, primeiramente o retngulo mais longo, depois a parte circular, e finalmente o retngulo direita. A partir desses passeios preliminares, podemos construir um passeio de Euler em todo o grafo da seguinte maneira: Escolhemos um vrtice inicial A, como na Figura 7b, e percorremos o primeiro retngulo at encontrarmos o vrtice B, interseo desse retngulo com o crculo. Passamos ento a percorrer o crculo a partir do ponto B, como em 7b, at encontrarmos o segundo retngulo num vrtice C. Abandonamos o crculo e passamos a contornar o segundo retngulo, como em 7c. Quando terminarmos de contornar este retngulo, estaremos novamente em C. Retomamos ento o contorno circular, at reencontrarmos o vrtice B, como na Figura 7d, e ento finalizamos o contorno do primeiro retngulo, retomando-o a partir do vrtice B. Deste modo, percorremos todo o grafo em 7a, atravs de um passeio de Euler, tendo o vrtice A como final e inicial.
C B

A (a) C B B (b) C

A (c) Figura 7.

A (d)

Teorema 3. Se um grafo tem seus vrtices todos pares, ento ele admite um passeio de Euler. Alm disso, esse passeio pode comear (e terminar) em qualquer vrtice previamente escolhido. O primeiro arco do caminho pode ser qualquer arco partindo desse vrtice.

5 Teorema 4. Se um grafo tem dois vrtices mpares e os demais todos pares, ento ele admite um passeio de Euler. Esse passeio deve comear em um dos vrtices mpares e terminar no outro. A demonstrao de ambos os teoremas dada no final do texto. Antes de tentar acompanh-la, tente construir passeios de Euler nos grafos da Figura 8. Verifique, em cada caso, se o grafo satisfaz as hipteses de um dos teoremas 3 e 4.

Figura 8. Quais desses desenhos podem ser feitos, sem precisarmos tirar o lpis do papel?

Demonstrao do teorema 3. (Leia com muita calma. No desista de tentar entender. Se necessrio, faa desenhos para acompanhar o raciocnio.) Consideremos um grafo em que cada um dos vrtices tem ordem par. Tomemos nele um vrtice A0 . Seja a 1 uma aresta saindo de A 0 e chegando em A 1 . Se A 1 = A0 , paramos por aqui (podemos ter A1 = A 0 ). Se A 1 A 0 ento, como A 1 um vrtice par, existe uma aresta a 2 , saindo de A 1 e chegando em A 2 , a 2 a 1 . Se A 2 = A 0 , paramos por aqui. Se A2 A 0 , prosseguimos. Existe uma aresta a 3 saindo de A 2 e chegando em A 3 , sendo a 3 a 0 e a 3 a 1 . Assim prosseguindo, construmos uma seqncia de arcos a1 , a 2 , etc., at que no nos seja mais possvel continuar, ou seja, at que cheguemos num vrtice A n , do qual no tenhamos mais sada. Deveremos ter ento An = A 0 pois, caso contrrio, chegaremos no vrtice An sem podermos sair dele, aps termos passado por ele (chegando e saindo) um certo nmero de vezes, e ento An ser um vrtice de ordem mpar. Assim, o caminho a 1 , a 2 , ... , a n um caminho fechado iniciando-se e terminando-se em A 0 . Se este caminho contm todas as arestas do grafo, ento nosso passeio de Euler est pronto. Se este caminho no contm todas as arestas do grafo ento, como o grafo conexo, de algum dos vrtices A0 , A 1 , ... , A n 1 , digamos de um vrtice As , parte um arco b 1 do grafo, estando b 1 fora do caminho a 1 , a 2 , ... , a n . O arco b 1 sai de B 0 = A s , chegando a B1 . Se B 1 B 0 , existe uma aresta b 2 , fora do caminho a 1 , a 2 , ... , a n , saindo de B 1 e chegando em B2 . Repetindo o procedimento anterior, usado para construir o caminho fechado a 1 , a 2 , ... , a n , construmos um caminho fechado b1 , b2 , ... , b m, sendo B 0 = A s o ponto de partida e de chegada, com os arcos b 1 , b 2 , ... , b m todos fora do caminho a 1 , a 2 , ... , a n . "Inserimos" ento o caminho b1 , b 2 , ... , b m no caminho a 1 , a 2 , ... , a n , atravs do vrtice As , obtendo um caminho fechado aumentado, a 1 , a 2 , ... a s , b1 , b 2 , ... , b m, a s+1 , ... , a n .
as bm As b1 a s+1 B1 b2 B2

A2 a2 A1 a1

A0 = An
an

Figura 9. A partir do vrtice A s , o caminho fechado b 1 , b 2 , ... , b m "inserido", e ento prosseguimos no caminho anterior, atravs da aresta a s+1 .

Se este caminho um passeio de Euler atravs de todo o grafo, terminamos nossa tarefa. Se no for, novas ampliaes, por novas "inseres" de caminhos, atravs de vrtices dos caminhos fechados anteriormente construdos, acabaro por esgotar todos as arestas do grafo, provendo-nos um passeio de Euler pelo grafo. Demonstrao do teorema 4. Chame de A e B os dois vrtices mpares do grafo. Amplie o grafo criando uma nova aresta a, de vrtices A e B (este novo grafo pode no ser planar, pois pode ser necessrio inserir a nova aresta, especialmente, "por cima" das demais). Com a insero da nova aresta, os vrtices A e B tornam-se vrtices pares. O teorema 3 tambm vlido para grafos no planares, com todos os vrtices pares (a restrio feita, a grafos planares, feita exclusivamente pelo interesse em passeios de "lpis e papel"). Podemos ento, no novo grafo, iniciar um passeio de Euler, partindo de B, caminhando inicialmente de B a A, pela aresta a, e terminar o passeio em B. Concludo o passeio, descartamos a aresta a, e teremos ento um passeio de Euler, iniciando-se em A e finalizando-se em B. Finalizaremos este texto com duas observaes adicionais. 1. Pode se demonstrado que, se o nmero de vrtices mpares de um grafo conexo igual a 2n, ento n (e no menos que n) passeios de Euler so necessrios e suficientes para passearmos por todo o grafo, passando uma vez por cada aresta. 2. Todo grafo conexo tem um nmero par de vrtices mpares. Assim, impossvel construirmos um grafo conexo com 1, 3, 5, etc., vrtices mpares. Este fato decorre das seguintes observaes. O total de extremidades de arcos um nmero par, pois cada arco contribui com duas extremidades. Nesse total, contam-se as extremidades que se apoiam em vrtices pares e as que se apoiam em vrtices mpares Os vrtices pares obviamente contribuem com um nmero par de extremidades de arestas. Suponha que temos, no grafo, um nmero mpar de vrtices mpares. Atravs da soma de uma quantidade mpar de nmeros mpares, totalizaremos, como um nmero mpar, o total de extremidades de arestas que se apoiam em vrtices mpares. Como par + mpar = mpar , nossa ltima suposio cai por terra, e portanto o grafo possui um nmero par de vrtices mpares. Referncias. [1] Arnold, B.E., Intuitive Concepts in Elementary Topology, Prentice-Hall, Inc., Englewood Cliffs, 1963. [2] Toth, G., Glimpses of Algebra and Geometry , Springer-Verlag, New York, 2002. [3] Euler, L., "The Koenigsberg Bridges", em Mathematics and The Modern World , W.H. Freeman and Company, San Francisco, 1968.