Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Grafos Planares
7.1 Introdução
Considere o problema de unir três casas a cada um dos três utilitários separados, como
mostra a Figura 7.1. É possı́vel unir essas casas e utilitários para que nenhuma das conexões
seja cruzada? Este problema pode ser modelado usando o grafo bipartido completo K3,3 . A
questão original pode ser reformulada como: O K3,3 pode ser desenhado no plano de modo que
não haja duas de suas bordas cruzadas?
Nesta seção, estudaremos a questão de se um grafo pode ser desenhado no plano sem cruzar
as arestas. Em particular, responderemos ao problema das casas e utilidades. Há sempre muitas
maneiras de representar um grafo. Quando é possı́vel encontrar pelo menos uma maneira de
representar este grafo em um plano sem nenhuma borda cruzando?
Definição 1. Um grafo é chamado planar se puder ser desenhado no plano sem nenhuma aresta
cruzando (onde um cruzamento de arestas é a interseção das linhas ou arcos que os representam
1
em um ponto diferente de seu ponto final comum). Esse desenho é chamado de representação
planar do grafo.
Teorema 3. Seja G um grafo simples planar conectado com e bordas e v vértices. Seja r o
número de regiões em uma representação planar de G. Então r = e − v + 2.
2
Figura 7.3: As regiões da representação planar de um gráfico.
Exemplo 4. Suponha que um grafo simples planar conectado tenha 20 vértices, cada um de
grau 3. Em quantas regiões uma representação deste grafo planar divide o plano?
Solução: Este grafo tem 20 vértices, cada um de grau 3, então v = 20. Como a soma dos graus
dos vértices, 3v = 3 × 20 = 60, é igual a duas vezes o número de arestas, 2e, temos 2e = 60,
ou e = 30. Consequentemente, da fórmula de Euler, o número de regiões é r = e − v + 2 =
30 − 20 + 2 = 12.
Corolário 6. Se G é um grafo simples planar conectado, então G tem um vértice de grau que
não excede cinco.
Teorema 10. Um grafo não é plano se, e somente se, contiver um subgrafo homeomórfico para
K3,3 ou K5 .
3
Figura 7.4: Grafo não orientado G, um subgrafo H homeomórfico para K5 e K5 .