Introduo a Grafos Planares

Prof. Ademir A. Constantino

Sumrio
Motivao Definio Propriedades Algoritmos Bsicos

Planarizao de Grafos

Slide 2

Motivao
possvel ligar as trs utilidades as trs casas sem cruzar as ligaes?

Planarizao de Grafos

Slide 3

Motivao
Placa com circuito impresso

Planarizao de Grafos

Slide 4

Motivao
Placa com circuito impresso

Planarizao de Grafos

Slide 5

Defino
Um grafo G planar se admitir um desenho no plano sem cruzamento de arestas, isto , duas arestas somente se encontram nos vrtices onde so incidentes.
Este grafo planar? Sim.

Planarizao de Grafos

Slide 6

Grafos Planares
Trs representaes distintas para um grafo K4.

K4 um grafo planar pois admite pelo menos uma representao num plano sem que haja cruzamento de arestas (representao planar).
Slide 7

Planarizao de Grafos

Questes
Dados um grafo G qualquer:
* Se pudermos desenh-lo no plano sem cruzamento de arestas, ento G planar.

Mas, se no conseguirmos?
* Ento, G no planar ou no sabemos.

O objetivo descobrir propriedades que possibilite identificar se o grafo planar sem a necessidade de fazer o desenho do mesmo. Exemplo, um grafo K4 planar, mas um K5?
Slide 8

Planarizao de Grafos

Grafo Plano
Um grafo plano um desenho de um grafo planar sem cruzamento de arestas.

Planarizao de Grafos

Slide 9

Faces
Um grafo plano divide o plano em regies delimitadas por arestas. Estas regies so denominada de faces denotado por f.

f1 f4 f3 f2

Planarizao de Grafos

Slide 10

Fmula de Euler
A frmula de Euler (1750), mas provado por Legendre in 1794. Teorema (Frmula de Euler). Seja G um grafo simples planar conexo com n arestas e m vrtices. Seja f o nmero de faces na representao planar de G. Ento, n m + f = 2.
Demonstrao (induo matemtica sobre m): Suponha que m=0, ento, para G ser conexo existe somente um vrtice e uma face. Logo, n + m + f = 1+0+1=2. Portanto, a fmula verdadeira para m=0. Hiptese: Suponha que a fmula se mantm verdadeira para m>0 para todos os grafo com at m-1 arestas.
Planarizao de Grafos Slide 11

Fmula de Euler (continuao)

Vamos provar que a frmula se mantm para um grafo G com m arestas e n vrtices. Neste caso, h duas possibilidade para G: G uma rvore ou no. Se G for uma rvore, ento m=n-1 e f = 1, logo n m + f = n - (n -1) + 1 = 2. Se G no for uma rvore, ento G possui ciclos. Ento, removendo uma aresta e de algum ciclo, temos um grafo planar G' com n vrtices e m-1 arestas e f-1 faces, sendo f o nmero de faces de G. Denotemos o nmero de vrtices, arestas e faces de G' por n', m', f' respectivamente. Alm disso, n'=n, m'= m-1 e f'=f-1. Como G' tem m-1 arestas, ento a frmula vlida para G', ou seja, n' m' + f' = 2. Portanto, 2 = n' m' + f' = n (m-1) + (f-1)= nm+f.
Planarizao de Grafos Slide 12

Corolrio
Corolrio 1. Se G um grafo conexo e simples com n vrtices (n3) e m arestas, ento, m 3n 6.
Demonstrao: Se G tiver apenas 2 arestas, a desigualdade vlida, pois, m = 2 3.36 = 3. Suponha que m 3 e que G possua f faces f1, f2, ... ff . Seja mi o nmero de arestas da fronteira da face fi, logo, mi3, i=1, 2 ... f. Portanto, a soma de todas as arestas de cada face, temos:
f

Z = mi 3f
i=1
Planarizao de Grafos Slide 13

Corolrio
Em Z cada aresta contabilizada duas vezes, logo, Z= 2m. Assim, temos que 3f 2m, ou seja, f(2/3)m . Substituindo na Frmula de Euler, temos: n m + f = 2 n m + (2/3)m 2 n - (1/3)m 2

n - 2 (1/3)m m 3n - 6.

Planarizao de Grafos

Slide 14

Corolrio
Corolrio 2. Todo grafo planar simples tem um vrtice de grau menor que 6.
Demonstrao: Vamos supor que G tenha n vrtices, m arestas e que dj seja o grau do vrtice j, j=1, ..., n. Assim,
n

d j=2m23n6=6n12
j=1

Ento, o grau mdio de cada vrtice de G dador por:

6n12 12 Mdia =6 6 n n Portanto, deve existir pelo menos um vrtice de grau menor que 6.
Planarizao de Grafos Slide 15

Conseqncia
Estas propriedades fornecem algumas condies NECESSRIAS, mas no SUFICIENTES para um grafo ser planar. Porm, fornecem condies SUFICIENTES para saber que um grafo no planar.

Planarizao de Grafos

Slide 16

 Dois grafos so homeomrficos se ambos podem ser obtidos a partir do mesmo grafo atravs da insero de novos vrtices de grau 2 em suas arestas (tal operao chamada de subdiviso elementar)

Planarizao de Grafos

Slide 17

Caracterizao sobre Planaridade

Teorema de Kuratowski (1930) Teorema: Um grafo G planar se e somente se no contm nenhum subgrafo homeomrfico a K3,3 ou K5 .

A demonstrao desse teorema no trivial e foge do nosso propsito.

Planarizao de Grafos

Slide 18

Exemplo

Planarizao de Grafos

Slide 19

Contrao de Arestas
Ver Defino no Artigo do Luerbio Exemplo de contrao:

Planarizao de Grafos

Slide 20

Grafo de Petersen
Teorema: Um grafo G planar se somente se no possui subgrafo K3,3 ou K5 obtidos por operaes de contrao de arestas em G. Exempo: O grafo de Petersen no planar.

Planarizao de Grafos

Slide 21

Teste de Planaridade
Lema: Um grafo G planar se somente se cada componente biconexo for planar. O que grafo biconexo? Dar uma rpida introduo de teste de planaridade com a Frmula de Euler.

Planarizao de Grafos

Slide 22

Tipos de Problema de Planarizao

Se um grafo no for planar, ento o que pode ser feito?
* Encontrar:
Subgrafo Planar Mximo; Subgrafo Planar Induzido Mximo; Subgrafo Planar Maximal; Subgrafo Planar Induzido Maximal.

Planarizao de Grafos

Slide 23