Planaridad
Planaridad
Planaridad
Introducción
Conceptos básicos
Teorema de Euler
Test de planaridad
Teorema de Kuratowsky
Teorema de Wagner
Se desea dotar a tres casas de tres suministros diferentes: agua, gas y electricidad, ¿será
posible llevar a cabo la infraestructura necesaria sin que se crucen las conducciones de los
distintos fluidos?
Compañía de aguas
Casa A
Casa C
Casa B
Central eléctrica
Compañía de gas
Tema 4: Planaridad
Introducción
Conceptos básicos
Teorema de Euler
Test de planaridad
Teorema de Kuratowsky
Teorema de Wagner
Inmersión en el plano
C2
v7
v6 v8
C3 C4
v9
aristas puente
Aristas
aristas frontera
Grafos planos G=(V,A) grafo plano
C2
v7
v6 v8
C3
v9
aristas puente
Aristas
aristas frontera
Grafos planos G=(V,A) grafo plano
C2
v7
v6 v8
v9
aristas puente
Aristas
aristas frontera
Grafos planos G=(V,A) grafo plano
Fórmula de Euler:
G=(V,A) plano y conexo, con c caras, a aristas y n vértices: n+c= a+2
Inducción en a:
1) Caso inicial: Si a=1 n = 2; c = 1; a=1 ⟹n+c=a+2
2) H.I. Supongamos que es cierto para todo grafo con a-1 aristas
3) ¿Cierto para a aristas? Sea G un grafo plano conexo con a aristas, c caras y n vértices
Si G es un árbol ⟹ c = 1; n = a + 1 ⟹n+c=a+1+1=a+2
Si G NO es un árbol
Vértices + caras=aristas +2
a-1 aristas H.I.
⟹ Sea l una arista de ⟹ G-l c-1 caras Grafo G-l
⟹ n + c -1 = a -1 + 2
un ciclo n vértices
n+c=a+2 Grafo G
Grafos planos G=(V,A) grafo plano
Dem:
G1 G2 G3 Gd
n + c + (d-1) = a + 2d
n + c= a + d + 1
Tema 4: Planaridad
Introducción
Conceptos básicos
Teorema de Euler
Test de planaridad
Teorema de Kuratowsky
Teorema de Wagner
Grafo plano maximal es un grafo plano tal que al añadir una arista entre dos
vértices no adyacentes cualesquiera, deja de ser plano.
v2
v3
v4
v1
Si un grafo plano G=(V,A) es maximal (y tiene al menos dos caras), las caras están
limitadas por triángulos (ciclos de longitud 3).
Grafos planos G=(V,A) grafo plano
Teorema:
Si G=(V,A) es un grafo plano maximal, con a aristas y n vértices (n ≥ 3): a = 3n - 6
Dem:
¿Es plano?
n=5
⟹ a > 3n - 6
a = 10
K5
K5 NO ES PLANO
Grafos planos
Tests de planaridad Si a ≤ 3n – 6 (Pasa el test) ⇒ ???
Si a > 3n – 6 ⇒ G=(V,A) NO es plano
¿Es plano?
n=6
⟹ ܭ3,3 verifica el test: a ≤ 3v - 6 ⇒ ???
a=9
ܭ3,3
Tests de planaridad
K3,3 bipartito
para grafos sin ܥଷ
No contiene ܥଷ ⟹ Cada cara tiene al menos 4 aristas ⟹ ࢉ ≤ ࢇ
⟹ ࢇ ≤ −
Teorema de Euler: ݊ + ܿ = ܽ + 2
Teorema de Kuratowski: Un grafo es plano si, y sólo si, no contiene ningún subgrafo
isomorfo a K5 ni a K3,3, ni a subdivisiones de ellos.
Teorema de Kuratowski: Un grafo es plano si, y sólo si, no contiene
ningún subgrafo isomorfo a K5 ni a K3,3, ni a subdivisiones de ellos. Aplicación
¿Es plano? u1
v3 v1
v2
d a
V1 = {u1, u2, u3}
u3
V2 = {v1, v2, v3}
u2
b c
Teorema de Wagner: Un grafo es plano si, y sólo si, no contiene ningún subgrafo que
se pueda contraer a K5 o K3,3.
Teorema de Wagner: Un grafo es plano si, y sólo si, no contiene
ningún subgrafo isomorfo a K5 ni a K3,3, ni se puede contraer a ellos. Aplicación
u1
¿Es plano?
v1
v3
v2
u2 u3
u1
v1
v3
v2
Por el teorema de Wagner,
el grafo de Petersen u2 u3
NO ES PLANO, ya que… …se puede contraer a un K3,3 …se puede contraer a un K5
Tema 4: Planaridad
Introducción
Conceptos básicos
Teorema de Euler
Test de planaridad
Teorema de Kuratowsky
Teorema de Wagner