Академический Документы
Профессиональный Документы
Культура Документы
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:
Puede ser representado por cualquier dibujo plano de siempre habr el mismo nmero de regiones, vrtices y
aristas:
= = 4
Cumplen con
= 3 6
6 = 3(4) 6
66
33
= = 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.
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:
Si es una grfica en la que toda pareja de vrtices son adyacentes, es una grfica completa.
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.
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
Bibliografa:
Muoz, J. (16 de Septiembre de 2015). matetam.com. Obtenido de http://www.matetam.com:
http://www.matetam.com/problemas/combinatoria/coloracion-vertices