GRAFOS FRMULA DE EULER

O matemtico suio do sculo XVIII, Leonhard Euler percebeu que um grafo simples, planar (desenhado na sua forma planar) e conexo divide o plano em um certo nmero de regies, incluindo regies totalmente fechadas e a regio infinita exterior. Euler estabeleceu uma relao entre o nmero de arestas, o nmero de vrtices e o nmero de regies para tais grficos que dada pela frmula: na+r=2 onde n o nmero de vrtices, a o nmero de arestas e r o nmero de regies. Verificao da frmula de Euler Considere os tres grafos que se seguem:

Vamos demonstrar a frmula de Euler por induo. No grafo 1 o nmero de arestas a = 0, consistindo o grafo de um nico vrtice. Portanto: n=1 a=0 r=1 De modo que a frmula n - a + r = 2 se verifica. Assumimos agora que a frmula se verifica para qualquer grafo conexo, planar e simples, com k arestas, e consideremos o grafo com k+1 arestas. Para deduo indutiva devemos relacionar o caso de k+1 com o caso de k arestas. Vamos considerar ento dois casos de k+1 arestas.

Caso 1: O grafo tem um vrtice de grau 1 como na figura 2. Eliminamos ento a aresta e vrtice, que conecta o vertice de grau 1. Isto nos deixa com um grafo de k arestas, algum nmero n vrtices e algum nmero de regies, r para os quais n-a+r=2 No grafo original, antes de retirar a aresta e o n deve tambm valer a frmula, ou seja (n + 1) (a+1) + r = 2 que pela hiptese de induo verdadeira. Caso 2: O grafo no vrtices de grau 1, como o caso da figura 3 acima. Retiramos ento uma aresta que define uma regio fechada. O resultado um grafo planar simples com k arestas, algum nmero n de vrtices, da forma:

n k + r =3 2 + 1 =2

verificando-se a frmula de Euler. Note que antes de apagar a aresta tinhamos: n k + r = n-(k+1)+(r+1)=3 - (2 + 1) + (1 + 1) = 2 Existem duas consequncias da frmula de Euler, se incluirmos mais duas restries nos grafos. Considere que, alem de ser conexo, simples e planar, impe-se ainda que o grafo tenha no mnimo 3 vrtices. Neste caso qualquer aresta que divida uma regio interna (ou seja, qualquer aresta que esteja totalmente dentro da regio) conta com duas arestas para delinear as fronteira da regio. Por exemplo considere o grafo

Traando a fronteira desta regio interior vamos contar 4 arestas mais duas vezes a aresta interior (ida e volta), dando um total de 6 arestas para definir a fronteira interna da regio. Portanto arestas que separam regies contam duas vezes e assim, se houver a arestas, o nmero de arestas de regies 2a . Note que como restrigimos o grfico a ter no mnimo tres vrtices ficam excludos os grafos constitudos por uma aresta ajacente e dois ns (adjacentes a regio externa). Ficam excludos tambm os grafos que tenham apenas regies com uma aresta adjacente por que, sendo simples, o grafo no tem laos. Como o grafo restrito a ser

um grafo simples, no h tambm regies com exatamente duas arestas adjacentes. Por isso: 2a 3r Substitundo esta expresso na equao de Euler teremos 2a 3 ( 2 - n+ a), ou seja 2a 6 - 3n + 3a a 3n - 6 Impondo ainda uma restrio adicional, de que no haja ciclo de comprimento 3 teremos 2a 4r a 2n-4 Este resultados podem ser resumidos no teorema:

Teorema sobre o Nmero de Vrtices e Arestas

Se um grafo conexo, simples e planar com n vrtices e a arestas, ento na+r=2 Se n 3, ento a 3n 6 Se n 3 e no existem ciclos de comprimento 3 ento a 2n-4

Este teorema pode ser usado para demonstrar que certos grficos no so planares. Exemplo: K5 um grafo conexo simples com 5 vrtices com 10 arestas. Aplicando o teorema vemos que

10 3.5 - 6 no se verifica. Portanto o grafo no planar. Considere agora o grafo k3,3

O grafo conexo, simples, com seis vrtices e nove arestas, no possui ciclos de comprimento 3 Aplicando-se o teorema para checar se o grafo planar ou no temos

a 3n 6 9 2.6 6 A frmula no se verifica portanto o grafo no planar. Entretanto note que a segunda condio do Teorema diz que a 3n - 4 se n 3 9 36 4

A segunda frmula se verifica mas o grafo no planar. Significa que esta desigualdade necessria mas no suficiente para a planaridade dos grafos.

Os grafos k5 e k3,3 acima ilustram uma regra bsica de todos os grafos noplanares. Para enunciarmos esta regra precisamos ainda de uma definio: Grafos homeomorfos Definio
Dois grafos so homeomorfos se puderem ser obtidos a partir de um mesmo grafo por subdivises elementares, nas quais uma nica aresta x-y substituda por duas novas arestas, x-v e v-y que se conectam a um novo vrtice/

Exemplo:

Os grafos b e c so homeomorfos porque forem obtidos de a por divises elementares mas no podem ser obtidos um do outro pelo mesmo procedimento.

Teorema de Kuratowski
Um grafo no-planar se, e somente se, contm um subgrafo homeomorfo K5 ou K3,3

a e i
d j

f g h c