Cap tulo 4: Grafos Clase 3: Grafos planares y Colorabilidad de Grafos

Matemtica Discreta - CC3101 a Profesor: Pablo Barcel o

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

1 / 18

Problema de las utilidades

Se tienen 3 casas y 3 utilidades (gas, aceite y agua) como se muestra en la gura.

Se puede conectar cada utilidad a cada casa de modo que las conexiones no se crucen?

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

2 / 18

Grafos planares

Este problema est relacionado con la siguiente nocin: a o

Denition
Un grafo G es planar si puede ser dibujado en el plano sin que sus arcos se intersecten.

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

3 / 18

Grafos planares

Este problema est relacionado con la siguiente nocin: a o

Denition
Un grafo G es planar si puede ser dibujado en el plano sin que sus arcos se intersecten. Por tanto, el problema anterior se reduce a vericar si K3,3 es planar.

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

3 / 18

Ejercicios

Ejercicio: Demuestre que el siguiente grafo es planar.

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

4 / 18

Ejercicios

Ejercicio: Demuestre que el siguiente grafo es planar.

Ejercicio: Responda la pregunta inicial, i.e. es K3,3 planar?

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

4 / 18

Ejercicios

Ejercicio: Demuestre que el siguiente grafo es planar.

Ejercicio: Responda la pregunta inicial, i.e. es K3,3 planar? Ejercicio: Demuestre que K5 no es planar.

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

4 / 18

Regiones de un grafo

La representacin planar de un grafo divide al plano en regiones, o incluyendo una ilimitada (la exterior).

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

5 / 18

Regiones de un grafo

La representacin planar de un grafo divide al plano en regiones, o incluyendo una ilimitada (la exterior). Por ejemplo,

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

5 / 18

Frmula de Euler o

Euler demostr que todas las representaciones planares de un grafo o simple planar tienen la misma cantidad de regiones:

Teorema
Sea G = (V , E ) un grafo simple que es conexo y planar. Sea r el nmero de regiones en una representacin planar de G . Luego, u o r = |E | |V | + 2

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

6 / 18

Frmula de Euler o

Euler demostr que todas las representaciones planares de un grafo o simple planar tienen la misma cantidad de regiones:

Teorema
Sea G = (V , E ) un grafo simple que es conexo y planar. Sea r el nmero de regiones en una representacin planar de G . Luego, u o r = |E | |V | + 2 A continuacin demostraremos este teorema. o

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

6 / 18

Demostracin o
Asumamos una representacin planar de G . o Construiremos una secuencia G1 , G2 , . . . , G|E | de subgrafos de G , agregando un arco en cada paso, de tal forma que:

G1 se compone de un arco arbitrario de G ; Gn+1 se obtiene desde Gn agregando un arco cualquiera que no est en Gn , y que sea incidente a un vrtice en Gn . e e

Note que esta denicin es correcta pues el grafo es conexo. o Claramente, cada grafo Gj es planar, j [1, |E |], y G|E | = G .
P. Barcel o Matemtica Discreta - Cap. 4: Grafos a 7 / 18

Demostracin o
Demostraremos por induccin que para todo j [1, |E |], o Gj = (Vj , Ej ) satisface rj = |Ej | |Vj | + 2, u o donde rj es el nmero de regiones en la representacin planar de Gj . El caso base es trivial, pues G1 tiene solo una regin, dos nodos y o un arco. Considere ahora el grafo Gj+1 , para j [1, |E | 1], y sea {v , v } el arco agregado para construir Gj+1 desde Gj . Analizaremos dos casos a continuacin. o

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

8 / 18

Demostracin o
Caso 1: Los vrtices v y v pertenec a Gj . Esto se ilustra en la e an siguiente gura:

Esto quiere decir que v y v estn en el l a mite de la misma regin o R de Gj . Por tanto, R queda dividido en dos regiones en Gj+1 . Concluimos que rj+1 = rj + 1, |Ej+1 | = |Ej | + 1, y |Vj+1 | = |Vj |. rj+1 = |Ej+1 | |Vj+1 | + 2.

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

9 / 18

Demostracin o
Caso 2: Uno de v o v no pertenec a Gj . Esto se ilustra en la a siguiente gura.

Por tanto, el arco (v , v ) no genera regiones nuevas. Adems, a |Ej+1 | = |Ej | + 1 y |Vj+1 | = |Vj | + 1. rj+1 = |Ej+1 | |Vj+1 | + 2.

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

10 / 18

Algunos corolarios de la frmula de Euler o

Corolario
Sea G = (V , E ) un grafo simple que es conexo y planar. Entonces, si |V | 3 se tiene que |E | 3|V | 6.

Corolario
Sea G = (V , E ) un grafo simple que es conexo y planar. Entonces G tiene un vrtice de grado a lo ms 5. e a

Corolario
Sea G = (V , E ) un grafo simple que es conexo y planar. Entonces, si |V | 3 y G no tiene circuitos de largo 3, se tiene que |E | 2|V | 4.

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

11 / 18

Algunos corolarios de la frmula de Euler o

Corolario
Sea G = (V , E ) un grafo simple que es conexo y planar. Entonces, si |V | 3 se tiene que |E | 3|V | 6.

Corolario
Sea G = (V , E ) un grafo simple que es conexo y planar. Entonces G tiene un vrtice de grado a lo ms 5. e a

Corolario
Sea G = (V , E ) un grafo simple que es conexo y planar. Entonces, si |V | 3 y G no tiene circuitos de largo 3, se tiene que |E | 2|V | 4. Note que del primer (resp. tercer) corolario se sigue inmediatamente que K5 (resp. K3,3 ) no es planar.
P. Barcel o Matemtica Discreta - Cap. 4: Grafos a 11 / 18

Caracterizacin de los grafos planares o

Hemos visto que ni K5 ni K3,3 son grafos planares. Sorprendentemente, es posible caracterizar a los grafos planares precisamente como los que no contienen a ninguno de estos dos grafos. El problema es, precisamente, qu signica contener en este caso. e

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

12 / 18

Caracterizacin de los grafos planares o

Hemos visto que ni K5 ni K3,3 son grafos planares. Sorprendentemente, es posible caracterizar a los grafos planares precisamente como los que no contienen a ninguno de estos dos grafos. El problema es, precisamente, qu signica contener en este caso. e

Teorema (Kuratowski, 1930)

Un grafo simple no es planar si y solo si contiene un subgrafo homeomrco a K3,3 o a K5 . o

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

12 / 18

Caracterizacin de los grafos planares o

Hemos visto que ni K5 ni K3,3 son grafos planares. Sorprendentemente, es posible caracterizar a los grafos planares precisamente como los que no contienen a ninguno de estos dos grafos. El problema es, precisamente, qu signica contener en este caso. e

Teorema (Kuratowski, 1930)

Un grafo simple no es planar si y solo si contiene un subgrafo homeomrco a K3,3 o a K5 . o A continuacin deniremos cundo dos grafos son homeomrcos. o a o

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

12 / 18

Grafos homeomrcos o
o Una subdivisin elemental de un grafo G se obtiene al reemplazar un arco (u, v ) en G por dos arcos (u, w ) y (w , v ), donde w es un nuevo nodo. Note que esta operacin conserva la planaridad. o Decimos que dos grafos son homeomrcos si se pueden obtener o desde el mismo grafo mediante una secuencia de subdivisiones elementales.

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

13 / 18

Grafos homeomrcos o
o Una subdivisin elemental de un grafo G se obtiene al reemplazar un arco (u, v ) en G por dos arcos (u, w ) y (w , v ), donde w es un nuevo nodo. Note que esta operacin conserva la planaridad. o Decimos que dos grafos son homeomrcos si se pueden obtener o desde el mismo grafo mediante una secuencia de subdivisiones elementales. Ejercicio: Demuestre que los siguientes grafos son homeomrcos. o

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

13 / 18

Ejercicios nales

Ejercicio: Demuestre que el grafo de Petersen (a continuacin) no o es planar.

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

14 / 18

Colorabilidad
Denition
Una coloracin de un grafo simple G es una asignacin de colores o o a los vrtices de G de tal forma que vrtices adyacentes reciben e e colores distintos. Por supuesto, todo grafo simple con n vrtices puede ser coloreado e con n colores, pero muchos grafos pueden ser coloreados con menos colores.

Denition
El nmero cromtico de un grafo simple G , denotado por (G ), es u a el menor nmero de colores que se necesitan para colorear a G . u

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

15 / 18

Ejercicios
Ejercicio: Cul es el nmero cromtico de Kn ? Cul es el nmero a u a a u cromtico de Km,n ? a Ejercicio: Cul es el nmero cromtico de Cn ? Y el de Wn ? a u a Ejercicio: Cuntos colores se necesitan para colorear a los a siguientes grafos?

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

16 / 18

Four color Theorem

Pregunta: Cuntos colores se necesitan para colorear un grafo a planar?

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

17 / 18

Four color Theorem

Pregunta: Cuntos colores se necesitan para colorear un grafo a planar? Esta fue una pregunta abierta por ms de 100 aos. Su solucin es a n o un famoso resultado en matemticas que se conoce como four a color theorem.

Teorema (Appel & Haken, 1976)

Sea G un grafo simple, conexo y planar. Entonces (G ) 4. Su demostracin, adems, se prest para enorme controversia. o a o

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

17 / 18

Una versin mas dbil del teorema o e

Demuestre lo siguiente por induccin en el nmero de vrtices, y la o u e ayuda de agunos resultados acerca de grafos planares que ya vimos:

Proposicin o
Sea G un grafo simple, conexo y planar. Entonces (G ) 6.

P. Barcel o

Matemtica Discreta - Cap. 4: Grafos a

18 / 18