Anlisis Combinatorio

Unidad 3 Actividad 3

PLANARIDAD Y COLORACIONES
16 de septiembre de 2015
Autor: Laura Pontn Becerril

Anlisis Combinatorio
Unidad 3 Actividad 3
1. Sea una grfica aplanable conexa. Demuestra que en cualquier dibujo plano de siempre habr el
mismo nmero de regiones.
Definicin de grfica aplanable. Una grfica es aplanable si puede ser dibujada en el plano de manera que no
haya parejas de aristas que se crucen. Un dibujo con esta propiedad se llama un dibujo plano de .
El teorema 8 dice: Sea una grfica plana conexa de orden tamao y regiones entonces se cumple la
frmula de Euler:
+ =2
Cuando dibujamos una grfica de que sea plana y conexa, esta puede ser representada por cualquier forma
donde la condicin principal sea que esta es aplanable y conexa tambin, y cumplir con el teorema de Euler
siempre.
Ejemplo:
Sea el grafo plano conexo:

Anlisis Combinatorio | 16/09/2015

Puede ser representado por cualquier dibujo plano de siempre habr el mismo nmero de regiones, vrtices y
aristas:

Todos ellos cumplen en teorema de Euler:

= = 11
= = 15
= = 6
11 15 + 6 = 4 + 6 = 2
Entonces:
+ =2

Para el grafo A: Grfica aplanable conexa

= = 4
= = 6

Anlisis Combinatorio | 16/09/2015

2. Da un ejemplo de grfica plana de orden y tamao tal que = .

 = = 4
Cumplen con
= 3 6
6 = 3(4) 6

66

Cumplen en teorema de Euler:

+ =2
46+4=2
Entonces:
+ =2
Para el grafo B: Grfica aplanable conexa
= = 3
= = 3
= = 2
Cumplen con
= 3 6
3 = 3(3) 6

33

Cumplen en teorema de Euler:

+ =2
33+2= 0+2 = 2
Entonces:
+ =2

Anlisis Combinatorio | 16/09/2015

3. Da un ejemplo de grfica plana de orden y tamao tal que < 3 .

Para el grafo C: Grfica aplanable conexa

= = 5
= = 8

 = = 5
Cumplen con
< 3 6
8 < 3(5) 6
8 < 15 6
8<9
Cumplen en teorema de Euler:
+ =2
58+5=2
Entonces:
+ =2
4. Demuestra que es bipartita si y solamente si es 2-cromtica.
Solucin:
Se supone que es bipartita, con particin 1 , 2 :
Se colorea cada vrtice en 1de color 1, y cada vrtice en 2 de color 2.
Como ningn par de vrtices , tales que 1 , 2 son adyacentes, entonces la coloracin es
aprobatoria, y 1 2 son clases cromticas para esta existente 2-cromtica.
Ahora, tambin:
Se supone que se colorear bien a , solo con dos colores: color 1 y color 2.
Sea 1 = { | 1}, 2 = { | 2} entonces:
1 , 2 Son las clases cromticas de con esta coloracin. Por definicin ninguno de los vrtices de 1 es
adyacente a ninguno de los vrtices de 2 .
Por consiguiente, 1 2 = (), entonces 1 , 2es una biparticin de .

Por otra parte, al tener una buena coloracin, se sabe que una k-coloracin de no es otra cosa ms que una
particin de () en k conjuntos independientes llamados tambin clases cromticas.
Entonces una 2-coloracin, parte en 2 conjuntos independientes, o sea, es una biparticin.

Anlisis Combinatorio | 16/09/2015

5. Cul es el menor orden de una grfica plana 4-cromtica?

Objetivo de la coloracin:
No es posible dar una coloracin con dos colores sin que haya aristas con los dos extremos del mismo color.
El problema plantea una grfica de con 4 colores, entonces, al menos son 4 vrtices:

El que sea 4-cromtica significa que el menor nmero de colores necesarios es 4 para poder colorearla.
Es incongruente tener una grfica 4-cromtica con 3 vrtices.

6. Demuestra que toda grfica plana contiene al menos dos vrtices de grado menor o igual que 5.
Tomando en cuenta el lema 1:
Lema 1: Si es una grfica plana, entonces contiene un vrtice tal que () 5.
Este lema respalda, confirma y certifica al menos un vrtice que cumple lo requerido.
Ahora, analizando el la demostracin del teorema de los 5 colores:
Procederemos por induccin sobre el orden de . El resultado se cumple trivialmente para la nica grfica de
orden = 1, que por supuesto es plana: = 1 y (1 ) = 1 5, por lo tanto el resultado es cierto para al
caso base.
Definicin de grfica aplanable. Una grfica es aplanable si puede ser dibujada en el plano de manera que no
haya parejas de aristas que se crucen. Un dibujo con esta propiedad se llama un dibujo plano de .
Entonces:
Al menos 2 vrtices menores o igual a 5, significan que al menos si hay una grfica con 2 vrtices, estos, cada uno,
al menos son de grado 1 cada uno, cumple con lo requerido.

7. Demuestra que ( ) = contradice esto el Teorema de los Cuatro Colores? Explica por qu.
Definicin:

Anlisis Combinatorio | 16/09/2015

Si es una grfica en la que toda pareja de vrtices son adyacentes, es una grfica completa.

Para una grfica completa:

Si el orden de es denotaremos a la grfica como
En el caso de tener desde 2 vrtices:
2 Entonces, tenemos dos colores (2 ) = 2
3 Entonces, tenemos tres colores (3 ) = 3
4 Entonces, tenemos cuatro colores (4 ) = 4
5 Entonces tenemos cinco colores (5 ) = 5

Cumplen para cualquier para vrtices adyacentes.

El teorema de los 4 colores est indicado para graficas planas con vrtices no adyacentes, entonces, en este caso no
infiere, pues para (5 ) = 5 forzosamente sern 5 colores, por ser vrtices adyacentes.
El teorema de los 4 colores dice:
Si es una grfica plana, entonces () 4
Este no hace referencia a que es indicado a graficas completas, o sea, vrtices adyacentes.

8. Existen grficas no planas de nmero cromtico 1? 2? 3? Fundamenta tu respuesta.

Si existen:
Sea G una grfica.
Para el caso () = 1 o nmero cromtico 1
Ser una grfica con 1 vrtice, se considera plana, y puede tener un color, si cumple
Para el caso () = 2 o nmero cromtico 2
() = 2 Si y solo si es bipartita.

En este grafo, () = 2 y adems es bipartita, entonces demostramos esta aseveracin.

Analizando K33:
Para empezar 33 es no apalanable, y puede tener 2 colores, entonces es () = 2
Para el caso () = 3 o nmero cromtico 3: Si existe un caso especial:
La grfica de Petersen es un ejemplo de grfica no plana y tiene () = 3

Anlisis Combinatorio | 16/09/2015

Ejemplo:

Para los ciclos de 5 vrtices:

Cul es el nmero mnimo con el que podemos colorear este ciclo de 5 vrtices?
Tres colores.
Ejemplo

Referencias:
http://www.dma.fi.upm.es/gregorio/discreta/planardis03.pdf
https://www.youtube.com/watch?v=fgMA8Lc0BMI
https://www.youtube.com/watch?v=moZdSyN1KuI
https://www.youtube.com/watch?v=moZdSyN1KuI

Anlisis Combinatorio | 16/09/2015

Bibliografa:
Muoz, J. (16 de Septiembre de 2015). matetam.com. Obtenido de http://www.matetam.com:
http://www.matetam.com/problemas/combinatoria/coloracion-vertices