Grafos Planares: Um grafo planar quando existe alguma forma de se dispor seus vrtices em um plano, de modo que nenhum

m par de arcos se cruzem. Veja o exemplo abaixo, o grafo da figura 1 planar, pois, como vimos, ele isomorfo ao grafo da figura 2, em cuja representa !o nenhum par de arcos se cruzam.
2 a2 a1 1 4 3 a2 3 a1 1 4 2

"igura 1 Verificamos que o grafo #$

"igura 2

"igura % planar, pois ele representado pelo menos uma vez no plano sem que haja cruzamento de arestas, como visto abaixo&

"igura $ ' grafo a seguir recebe o nome de #(

"igura ( e poss)vel verificarmos que ele n!o planar, pois n!o admite representa !o sem cruzamento de arcos. *ntretanto esta explica !o um tanto quanto superficial, pois pode parecer que # ( n!o planar, pelo simples fato de n+s n!o conseguirmos desenh,-lo de forma que seus arcos n!o se cruzem. *nt!o, daremos uma explica !o mais concreta, poss)vel gra as ao matem,tico su) o .eonhard *uler. *uler descobriu que um grafo planar /quando desenhado em uma representa !o planar, sem cruzamento de arcos0 simples e conexo, divide o plano em um determinado n1mero de regi2es, incluindo regi2es totalmente limitadas por arcos e uma regi!o exterior ilimitada, tal que sendo n o n1mero de n+s, a o n1mero de arcos e r o n1mero de regi2es de um tal grafo, vale a rela !o& n-a3r42, conhecida como a f+rmula de *uler.

*m #$
regio 3 regio 2 regio 1

"igura 5 temos n4$, a45 e tr6s regi2es totalmente limitadas por arcos e a regi!o exterior ilimitada e portanto, r4$, e veja que para este grafo a f+rmula de *uler satisfeita. 7uanto ao grafo # ( mostraremos que ele n!o pode ser planar, mas para isto necessitamos de algumas consequ6ncias da f+rmula de *uler. 8 f+rmula de *uler tem duas consequ6ncias se colocarmos restri 2es sobre o grafo. 9uponha que o grafo n!o s+ planar, simples, conexo, mas tambm tem pelo menos tr6s n+s. *m uma representa !o planar de um tal grafo, podemos contar o n1mero de arcos que s!o adjacentes a cada regi!o, isto , formam a fronteira de cada regi!o, incluindo a regi!o externa. Veja que arcos inteiramente no interior de uma regi!o contribuem com duas arestas para aquela regi!o. :or exemplo, ao percorrer a fronteira da regi!o interior ilustrada na figura abaixo

"igura ; percorremos 5 arestas, incluindo o arco que sai do n+ de grau 1 e depois o mesmo arco para a volta, ou seja, o arco inteiramente no interior de uma regi!o contado duas vezes. < claro que arcos que separam duas regi2es contribuem uma aresta para cada regi!o, e portanto tambm s!o contados duas vezes. :ortanto, se o grafo tem a arcos, o n1mero de arestas das regi2es 2a. =!o existem regi2es com exatamente uma aresta adjacente, j, que o grafo simples e portanto n!o tem la os. =!o existem regi2es com exatamente duas arestas adjacentes, j, que o grafo n!o tem arcos paralelos e o grafo consistindo inteiramente em um arco unindo dois n+s /que teria duas arestas adjacentes > regi!o exterior0 est, exclu)do, pois estamos considerando que o grafo tem pelo menos tr6s n+s. :ortanto, cada regi!o tem pelo menos tr6s arestas adjacentes, logo %r o n1mero m)nimo de arestas das regi2es. 8ssim, como o n1mero de arestas das regi2es 2a e o n1mero m)nimo de arestas das regi2es %r temos que& 2a?%r. /10 @a f+rmula de *uler temos que r42-n3a e utilizando /10 temos que& 2a?%/2-n3a045-%n3%a, e finalmente, aA%n-5.

/20

9e colocarmos uma 1ltima restri !o sobre o grafo, a de que n!o existem ciclos de comprimento %, ent!o cada regi!o ter,, pelo menos, quatro arestas adjacentes, de modo que $r ser, o n1mero m)nimo de arestas das regi2es. Bsso nos leva, analogamente ao feito acima, > desigualdade&

2a?$r, com o que obtemos, utilizando a f+rmula de *uler de forma an,loga ao feito acima& aA2n-$. *sses resultados est!o resumidos no teorema a seguir.

/%0 /$0

Teorema sobre o nmero de ns e arcos: :ara um grafo planar simples, conexo, com n n+s e a arcos& i0 9e a representa !o planar divide o plano com r regi2es, ent!o n-a3r42. ii0 9e n?%, ent!o aA%n-5. iii0 9e n ? % e se n!o existem ciclos de comprimento %, ent!o aA2n-$. Voltemos agora a estudar o grafo #(. *sse grafo simples e conexo com ( n+s e 1C arcos. 9e fosse um grafo planar a desigualdade ii0 do teorema acima seria v,lida, mas veja que 1CD%.(-5, o que mostra que #( n!o planar. @o exposto at aqui, segue que& -Eodo subgrafo de um grafo planar planar. -9e um grafo admite um subgrafo n!o planar ele n!o planar. Grafos homeomorfos: @ois grafos s!o homeomorfos se ambos podem ser obtidos do mesmo grafo por uma sequ6ncia de subdivis2es elementares, nas quais um 1nico arco e substitu)dos por dois novos arcos. 's grafos das figuras F e 1C abaixo s!o homeomorfos, pois cada um deles pode ser obtido do grafo da figura G por uma sequ6ncia de subdivis2es elementares.

"igura G

"igura F

"igura 1C