Professional Documents
Culture Documents
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?
K4:
Q3:
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).
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.
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.
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.
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.
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.
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).
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.
G1
G2
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).