Grafo planar

Considere o problema de conectar trs casas a cada uma de trs infraestruturas

(gs, gua, energia) como mostrado na figura abaixo. possvel fazer essas
ligaes sem que elas se cruzem?

Este problema pode ser modelado usando o grafo bipartido completo K3,3, refraseando a pergunta original como: o grafo K3,3 pode ser desenhado no plano
sem que duas arestas se cruzem?

Grafo planar: Definio

Um grafo planar se puder ser desenhado no plano sem que haja arestas se
cruzando.
Arestas se cruzam (cortam) se h interseo das linhas/arcos que as representam em um ponto que no seja um vrtice.
Tal desenho chamado representao planar do grafo.
Se o desenho de um grafo tiver cruzamentos, o grafo pode ainda ser planar se
puder ser desenhado sem cruzamentos.
Exemplos de grafos desenhados com e sem cruzamentos:

K4:

Q3:

Grafo K3,3 no planar

Em qualquer representao planar de K3,3,
os vrtices v1 e v2 devem ser conectados a
v4 e v5.

Estas quatro arestas formam uma curva fechada que divide o plano em duas regies, R1 e R2, como mostrado na
figura ao lado.
O vrtice v3 pode ser desenhado em R1 ou R2.

Suponha que v3 esteja em R2, dentro da curva fechada (raciocnio similar pode
ser feito para R1).

Grafo K3,3 no planar

As arestas entre v3 e v4 e entre v3 e v5 dividem R2 em
duas subregies R21 e R22, como mostrado na figura ao
lado.
Assim, podemos ter v6 em R1, R21 ou R21.

Em cada um desses trs casos, sempre h um cruzamento quando temos v6

nos seguintes cenrios:
Regio
R1
R21
R22

Conectado a
v3
v2
v1

O mesmo raciocnio pode ser aplicado a outros grafos, como o K5,5, para mostrar que esses grafos no so planares.

Aplicaes de grafos planares

Esto por toda parte como, por exemplo, no projeto de:
circuitos integrados (problema crtico que tem levado a novos avanos na
rea)
circuitos impressos (placas onde componentes eletrnicos so montados)
rodovias conectando cidades
linhas de transmisso de energia eltrica
linha de produo em uma indstria

Frmula de Euler
Representao planar de um grafo divide o plano em regies (uma ilimitada).
A representao planar do grafo abaixo divide o plano em seis regies.

Euler mostrou que a representao planar do grafo divide o plano no mesmo

nmero de regies:
Chegou a esse resultado ao encontrar uma relao entre o nmero de regies, nmero de vrtices e nmero de arestas de um grafo planar.
Teorema. Seja G um grafo planar simples com e arestas e v vrtices. Seja r o
nmero de regies na representao planar de G. Temos que
r = e v + 2.

Ideia da prova
Construir uma sequncia de subgrafos G1, G2, . . . , Ge = G, sucessivamente
acrescentado uma aresta em cada passo.
Isto feito usando o seguinte princpio indutivo:
Escolha arbitrariamente uma aresta de G para obter G1
Obtenha Gn a partir de Gn1 ao acrescentar arbitrariamente uma aresta que
incidente a um vrtice de Gn1 que no est presente ainda.
Esta construo possvel porque G conexo e G obtido depois de e arestas
serem acrescentadas. Seja rn, en e vn o nmero de regies, arestas e vrtices,
respectivamente, da representao planar de Gn induzida pela representao
planar de G.

Prova por induo matemtica

Construir uma sequncia de subgrafos G1, G2, . . . , Ge = G, sucessivamente
acrescentado uma aresta em cada passo.
Passo base: A relao
r1 = e1 v1 + 2
verdadeira para G1, j que e1 = 1, v1 = 2 e r1 = 1, como mostrado abaixo.

Prova por induo matemtica

Passo indutivo. Vamos assumir que rk = ek vk + 2. Seja {ak+1, bk+1}
a aresta acrescentada a Gk para obter Gk+1. Existem duas possibilidades a
considerar:
1. Ambos os vrtices ak+1 e bk+1 j esto em Gk .
Esses dois vrtices devem estar na fronteira de uma
regio comum R.
Caso contrrio no seria possvel acrescentar a aresta
{ak+1 , bk+1 } a Gk sem haver um cruzamento (note
que Gk+1 planar).
A adio desta nova aresta divide R em duas regies.
Consequentemente, neste caso, rk+1 = rk + 1,
ek+1 = ek + 1, e vk+1 = vk .
Assim, cada lado da frmula de Euler incrementado
por um, continuando vlida.
Em outras palavras, rk+1 = ek+1 vk+1 + 2. Este
caso ilustrado na figura ao lado.

Prova por induo matemtica

2. No segundo caso, um dois vrtices da nova aresta no est ainda em Gk .
Suponha que ak+1 est em Gk , mas bk+1 no.
Adicionar esta nova aresta no gera novas regies, j
que bk+1 deve estar em uma regio que tem ak+1 em
seu limite.
Consequentemente, rk+1 = rk, ek+1 = ek + 1 e
vk+1 = vk + 1.
A frmula continua vlida j que cada lado permanece
o mesmo.
Em outras palavras, rk+1 = ek+1 vk+1 + 2. Este
caso ilustrado na figura ao lado.

Isto completa o passo indutivo. Assim,

rn = en vn + 2
para todos n.

Exemplo da frmula de Euler

Seja um grafo simples conexo e planar com 20 vrtices, cada um com grau
3. Em quantas regies o plano dividido em uma representao planar desse
grafo?
O grau total do grafo 20 3 = 60. Isso significa que o grafo tem 30 arestas.
Assim, o nmero de regies :
r = ev+2
= 30 20 + 2
= 12

Inequaes a partir da Frmula de Euler

Corolrio 1
Se G um grafo simples conexo e planar com e arestas e v vrtices, sendo
v 3, ento e 3v 6.
Grau de uma regio (deg(R)): nmero de arestas no limite de uma regio. Toda
aresta que tem um vrtice de grau 1 contribui com dois para o grau da regio.

Inequaes a partir da Frmula de Euler

Corolrio 1
Prova: um grafo simples conexo e planar divide o plano em r regies. Como
temos pelo menos trs vrtices, o grau de cada regio pelo menos trs. Note
que a soma dos graus de todas as regies exatamente o dobro do nmero de
arestas no grafo, j que cada aresta ocorre duas vezes no limite de cada regio
(em duas regies diferentes, or duas vezes na mesma regio). Assim, temos
que
2e =

deg(R) 3r.

R
2 e r, ou r 2 e.
Assim, 3
3

Usando r = e v + 2, temos
2
ev+2
e
3
1
e v2
3
e 3v 6

Exemplo do Corolrio 1
Mostre que K5 no um grafo planar.
O grafo K5 possui 5 vrtices e 10 arestas. A inequao e 3v 6 no
satisfeita j que e = 10 e 3v 6 = 9, o que mostra que o grafo no planar.
No entanto, se a inequao do Corolrio 1 for satisfeita no significa que o grafo
planar. Ou seja, o Corolrio 1 pode ser usado para mostrar que o grafo no
planar, mas no para mostrar que planar.
Por exemplo, sabemos que K3,3 no planar. Esse grafo tem v = 6 e e = 9.
Temos que
e 3v 6
9 366
9 12
e a inequao verdadeira, mas de fato o grafo K3,3 no planar.

Inequaes a partir da Frmula de Euler

Corolrio 2
Se G um grafo simples conexo e planar, ento G tem um vrtice de grau
menor ou igual a 5.
Prova:
Se G tem um ou dois vrtices, a afirmao verdadeira.
Se G tem pelo menos trs vrtices, pelo Corolrio 1, sabemos que e 3v 6.
Multiplicando por 2 cada lado da inequao, temos 2e 6v 12. Se o grau
de cada vrtice fosse pelo menos 6, o grau total do grafo seria pelo menos 6v.
Representando o grau total do grafo com a quantidade de arestas temos que
2e 6v. Mas isto contradiz a inequao 2e 6v 12. Assim, deve haver pelo
menos um vrtice com grau menor ou igual a 5.

Inequaes a partir da Frmula de Euler

Corolrio 3
Se G um grafo simples conexo e planar com e arestas e v vrtices, sendo que
v 3 e nenhum circuito de comprimento trs, ento
e 2v 4.

De fato, o grafo K3,3 tem v = 6, e = 9 e nenhum circuito de comprimento trs.

Temos que
e 2v 4
9 256
9 4

e a inequao no verdadeira, e de fato o grafo K3,3 no planar.

Colorao de grafos
Considere o problema de determinar o menor nmero de cores que podem ser
usadas para colorir um mapa tal que regies adjacentes nunca tm a mesma
cor.

O mapa ao lado pode

ser colorido com quatro cores, mas no com
trs.

O mapa ao lado pode

ser colorido com trs
cores, mas no com
duas.

Colorao de grafos
Cada mapa no plano pode ser representado por um grafo.
Algoritmo:
1. Represente cada regio do mapa por um vrtice.
2. Conecte uma aresta entre dois vrtices se as regies so adjacentes, i.e.,
h uma fronteira comum entre as regies (duas regies que se tocam em
um nico ponto no so consideradas adjacentes).

O grafo resultante chamado de grafo dual do mapa.

Qualquer mapa no plano tem um grafo dual planar.
O problema de colorir as regies de um mapa equivalente ao problema de
colorir os vrtices do grafo dual tal que vrtices adjacentes nesse grafo no tm
a mesma cor.

Exemplos de grafos duais

Colorao de grafos
Definio: Uma colorao de um grafo simples o assinalamento de uma cor a
cada vrtice do grafo tal que dois vrtices adjacentes no tm a mesma cor.
Definio: O nmero cromtico de um grafo o menor nmero de cores necessrias colorao deste grafo. O nmero cromtico de um grafo G denotado
por (G).
Teorema: O nmero cromtico de um grafo planar no mximo quatro.

Exemplos de colorao de grafos planares

G1

Colorao de G1, (G1) = 3

G2

Colorao de G2, (G2) = 4

Exemplos de colorao de grafos

Qual o nmero cromtico de Kn, n 5? (Kn no planar)
(Kn) = n.
Qual o nmero cromtico de Km,n, m, n 1? (Km,n no planar)
(Km,n) = 2.
Qual o nmero cromtico de Cn, n 3? (Cn planar)
n par, (Cn) = 2.
n mpar, (Cn) = 3.

Colorao crtica
Um grafo conexo chamado cromaticamente k-crtico (chromatically k-critical)
se o nmero cromtico de G k, mas para cada aresta de G, o nmero cromtico do grafo obtido pela eliminao dessa aresta de G passa a ser k 1.
Exemplo: Cn cromaticamente 3-crtico sempre que n um inteiro positivo
mpar, n 3.

Colorao de arestas
Uma colorao de arestas de um grafo um assinalamento de cores s arestas
tal que arestas incidentes a um vrtice em comum possuem cores diferentes.
O nmero cromtico de aresta de um grafo o menor nmero de cores que
podem ser usadas numa colorao de arestas do grafo e representado por
0(G).

Mais conceitos relacionados a grafos

Clustering coefficient C(G) of a simple graph G is the probability that if u
and v are neighbors and v and w are neighbors, then u and w are neighbors,
where u, v, and w are distinct vertices of G.
A dominating set of vertices in a simple graph is a set of vertices such that
every other vertex is adjacent to at least one vertex of this set. A dominating
set with the least number of vertices is called a minimum dominating set.
A clique in a simple undirected graph is a complete subgraph that is not contained in any larger complete subgraph.
The radius of a graph is the minimum over all vertices v of the maximum
distance from v to another vertex. The diameter of a graph is the maximum
distance between two distinct vertices.
A set of vertices in a graph is called independent if no two vertices in the set
are adjacent. The independence number of a graph is the maximum number
of vertices in an independent set of vertices for the graph.