Documentos de Académico
Documentos de Profesional
Documentos de Cultura
APPL
LIIC
CA
AC
CIIO
ON
NE
ESS D
DE
EL
LA
AT
TE
EO
OR
RA
AD
DE
EG
GR
RA
AFFO
OSS..
b
c
a
b
c
a
b
c
1/3
1/6
Para colorear las regiones de modo que dos regiones adyacentes tengan colores
diferentes, es necesario al menos tres colores. Ya que si consideramos las tres regiones
centrales A, B y C, Puesto que cada una de ellas es adyacente a las otras dos, se
necesitan tres colores para distinguirlas.
Si definimos la aplicacin c del las regiones en el conjunto de los colores, por medio
de:
c(A) = 1, c(B) = 2 y c(C) = 3.
Adems poniendo para cada regin W del exterior C(W) = C(X) siendo X la regin no
adyacente a W del conjunto {A,B,C}. Tenemos una coloracin de tres colores del Mapa
del grafo dual G M .
) Si al colorear un grafo k = 2 , decimos que el grafo es un grafo BIPARTITO.
Es decir Un grafo G = (V, E) se dice que es bipartito si existe una coloracin
: V {0,1}
Otras veces se consideran los colores blanco y negro en vez de 0 y 1.
# Ejemplo: El grafo de la figura es bipartito y la coloracin viene
dada por el carcter blanco y negro de cada vrtice de la figura.
El siguiente Teorema da una caracterizacin de los grafos bipartitos.
) Un grafo es bipartito si y solo si no tiene ciclos con longitud impar.
# Demostracin:
Si G = (V, E) admite una coloracin : V {0, 1}, los vrtices de cada ciclo tienen
que tener alternativamente los colores 0 y 1. Ahora bien como el primer vrtice y el
ltimo coinciden entonces tienen el mismo color. As el nmero de aristas en dicho
ciclo debe ser par
Sea G = (V, E) un grafo en el que todos los ciclos tienen longitud par. Para encontrar
la coloracin de G razonaremos por induccin sobre #E.
Si #E = 0 vale cualquier aplicacin y V {0, 1 }.
Supongamos el teorema cierto para cualquier grafo con menos de n aristas y sea
G = (V, E) con #E = n. Sean u, v dos vrtices de G y uv una arista.
Sea G'= (V, E - { uv}).
Caso 1.- En el caso, de que u y v estn en distintas componentes conexas. Si es
una coloracin tal que (u) (v), es una es evidente que es una coloracin
de G', y por tanto G' es Bipartito. Y si (u) = (v), puesto, que estn en distintas
conexas. Podemos definir la coloracin
: (x) =
: V {0,1}.
Por tener (u, v1,..., vs , v) longitud impar y por ser coloracin, ser (u) (v) y
as define tambin una coloracin de G.