TRABAJO INVESTIGATIVO

COLORACIN DE GRAFOS















































TABLA DE CONTENIDO


Pg.

INTRODUCCIN 3

1. OBJETIVO GENERAL 3

2. OBJETIVOS ESPECFICOS 3

3. COLORACIN DE GRAFOS 4
3.1. NUMERO CROMTICO 6

3.1.1. POLINOMIO CROMTICO 7

3.2. COLORACIN DE VRTICES 8

3.2.1. ALGORITMO AUSTERO PARA COLOREAR 8

3.2.2. CLIQUE O CAMARILLA EN UN GRAFO 10

3.3. COLORACIN DE ARISTAS 10
3.3.1. NDICE CROMTICO 11

3.4. TEOREMA DE LOS CUATRO COLORES 12

3.5. GRAFO NICAMENTE COLOREABLE 14

4. PARTICIONAMIENTO CROMTICO 15

5. CONJUNTO INDEPENDIENTE 15

5.1. CONJUNTO INDEPENDIENTE MAXIMAL 15

5.2. NUMERO DE INDEPENDENCIA 16

6. CONJUNTO DOMINANTE 16

7. EJERCICIOS PROPUESTOS 16

8. CONCLUSIONES

9. BIBLIOGRAFA



3

INTRODUCCIN

Los grafos son estructuras de datos que se caracterizan por poseer nodos o vrtices,
que se unen a partir de aristas para almacenar informacin. Estos elementos poseen
caractersticas particulares que es indispensable, conocer y diferenciar para el correcto
manejo de los grafos.

En el presente trabajo se abordaran temas fundamentales de los grafos, sus particiones
y coloreados, sus clasificaciones, y elementos bsicos como el ndice y el numero
cromtico; as mismo los problemas y cuestiones bsicas sobre estos temas.


1. OBJETIVO GENERAL

Investigar sobre los conceptos bsicos del coloreado y particionamiento de grafos.


2. OBJETIVOS ESPECFICOS

Comprender las diferencias bsicas entre los diferentes tipos de coloracin de los
grafos.

Entender la importancia de los conceptos de nmero cromtico, en el teorema de los
4 colores para los grafos planos.

Indagar sobre la gran variedad de aplicaciones que tienen las particiones y
coloreados para las mltiples ciencias a lo largo de la historia y en la actualidad.



















4

3. COLORACIN DE GRAFOS
La coloracin de grafos es un caso especial de etiquetado de grafos; es una asignacin
de etiquetas llamadas colores a elementos del grafo. De manera simple, una coloracin
de los vrtices de un grafo tal que ningn vrtice adyacente comparta el mismo color es
llamado vrtice coloracin. Similarmente, una arista coloracin asigna colores a cada
arista tal que aristas adyacentes no compartan el mismo color, y una coloracin de
caras de un grafo plano a la asignacin de un color a cada cara o regin tal que caras
que compartan una frontera comn tengan colores diferentes. El vrtice coloracin es el
punto de inicio de la coloracin, y los otros problemas de coloreo pueden ser
transformados a una versin con vrtices.

Una coloracin propia de G ocurre cuando se asignan colores a los vrtices de G de
modo que si v
i
y v
j
son adyacentes, entonces v
i
y v
j
tengan colores distintos asignados.
El nmero mnimo de colores necesarios para una coloracin propia de un grafo es lo
que se conoce como nmero cromtico del grafo.

Ejemplo.

Se desea colorear el siguiente mapa de tal manera que los pases adyacentes no
tengan el mismo color.



Para esto lo llevaremos a un grafo donde cada pas ser un vrtice o nodo.



Designaremos los siguientes colores:


5


Llenamos la siguiente tabla:



El mapa coloreado es:


1. Comenzamos eligiendo el de mayor grado en el caso es el vrtice 6 con grado 6
pues tiene mayor grado.

2. Elegimos el primer color para el vrtice 6 el cual es el color azul.

3. En seguida elegimos el de mayor grado de los que quedan es el vrtice 4 con grado
5 lo pintamos de rojo pues no podemos usar el azul ya que es adyacente.

4. Luego buscamos el de mayor grado de los que quedan y vemos que hay un empate
con los vrtices 3, 5, 7, 8 y 9.

5. Para esto hallamos sus grados de error y tomamos el de mayor grado de error si hay
empate como es el caso tomamos arbitrariamente 6. Anlogo para los dems casos.



6

3.1. NUMERO CROMTICO

El nmero cromtico de un grafo G, que denotaremos por (G), es el mnimo nmero de
colores necesario para colorear G.

El nmero cromtico de una grfica G es la menor cantidad de colores necesarios para
colorear sus vrtices sin que dos vrtices vecinos (unidos por una arista) tengan el
mismo color.

O ms formalmente, es el menor entero m tal que G es m-coloreable (o bien, tiene
una coloracin propia con m colores). A este nmero se le denota como (G), es
decir, (G)=m.



Usando un color distinto en cada vrtice
produce una coloracin propia, pero no es
mnima.
Nmero cromtico de la grfica es 3.
Figura 1: Numero cromtico

La terminologa de usar colores para etiquetar vrtices proviene del problema de
colorear mapas. Las etiquetas como rojo o azul son solamente utilizadas cuando el
nmero de colores es pequeo, y normalmente los colores estn representados por los
enteros {1, 2, 3, }.

Ejemplo.

Cuntos colores son necesarios para pintar los vrtices de forma que cada arista una
siempre colores distintos? Determine el nmero cromtico.


Figura_. Grafo G


7



Para la solucin de este problema asignamos colores a cada uno de los vrtices de la
siguiente forma.


Figura_. Numero cromtico de un grafo G


De tal forma, este es un grafo con numero cromtico 4


3.1.1. POLINOMIO CROMTICO

No slo interesa saber si se puede colorear un grafo con k colores, sino tambin de
cuntas formas se puede colorear. La primera cuestin queda resuelta cuando se
conoce el nmero cromtico, () () podremos colorear el grafo con k
colores, y si (), ser imposible colorear el grafo con k colores.

Aqu, como queremos contar y calcular, conviene que los colores sean nmeros, y qu
mejor que los nmeros de 1 a k. dado un grafo G y para cada entero , llamamos

() * * ++

Teniendo en cuenta que no es necesario usarlos todos. Desde luego

es una funcin
de k, que resulta ser un polinomio en que llamaremos el polinomio cromtico de G:

()

Ejemplo.

Usando 3 colores, el grafo en la imagen de la derecha puede ser coloreado de 12
formas distintas. Con solo 2 colores, no puede ser coloreado. Con 4 colores, puede ser
coloreado de 24+4*12 maneras distintas: usando los cuatro colores juntos, hay 4!= 24
coloraciones validas (toda asignacin de cuatro colores a algn grafo de cuatro vrtices


8

es una coloracin propia); y para cada eleccin de tres de los cuatro colores, hay 12 3-
coloraciones vlidas. As que, para el grafo del ejemplo, una tabla de nmeros de
coloraciones validas puede comenzar como esta:

Colores disponibles 1 2 3 4
Nmero de coloraciones 0 0 12 72


Figura 2: Polinomio cromtico.


3.2. COLORACIN DE VRTICES
Los algoritmos conocidos para colorear los vrtices de un grafo se clasifican en dos
grandes grupo: secuenciales e independientes. Dada una ordenacin de los vrtices del
grafo, los algoritmos secuenciales asignan el mnimo color posible al siguiente
vrtice. Es decir, si queremos colorear el vrtice v, teniendo ordenados
numricamente los colores, asignamos a v el color ms pequeo que no aparece entre
los asignados a los vecinos de v ya coloreados. La ordenacin inicial es esencial para
colorear con pocos colores.

Los algoritmos independientes buscan en primer lugar un conjunto independiente de
vrtices I de cardinal grande, colorea todos los vrtices con el color 1, elimina los
vrtices de I y repite el proceso en el grafo G-I, continuando as hasta colorear todos los
vrtices.


3.2.1. ALGORITMO AUSTERO PARA COLOREAR
Un procedimiento para colorear los vrtices de un grafo siguiendo un orden impuesto a
los vrtices, usando la menor cantidad de colores posibles. Supongamos que
* + es el conjunto de colores; procedemos a describir el algoritmo que
denominamos algoritmo austero y consta de los siguientes pasos:


9

Paso inicial. Ordenamos los vrtices del grafo. Es importante notar que la eficiencia
del algoritmo depende del orden que elijamos. Hacemos una lista de los vrtices del
grafo.
( )
Primer paso. Le asignamos el primer color

al vrtice

.

Segundo paso. Procedemos a asignar un color al vrtice

as: si es adyacente al
vrtice

le asignamos el siguiente color

, en otro caso le asignamos

.
k-simo paso. Para colorear el vrtice

buscamos todos los vrtices del conjunto

* + que son adyacentes a

y determinamos los colores que han

sido usados en sus coloraciones; luego usamos el primero disponible en el orden de
C que no haya sido usado en la coloracin de los vrtices adyacentes a

.

Ejemplo.
Consideremos el siguiente grafo con los vrtices ordenados y C = {a, b, c, . . . }

Figura_. Grafo para colorear
Usamos el algoritmo austero para asignar los colores: Al vrtice

le asignamos el
colora a; puesto que el vrtice

es adyacente a

le asignamos el color b; el vrtice

es adyacente a

pero no es adyacente a

, de este modo le asignamos el color a;

es adyacente a

, luego le asignamos el color c;

le corresponde a;

le
corresponde b y a

le corresponde b. El nmero de colores usado es tres el

cual es su numero cromtico. La coloracin correspondiente siguiendo el
algoritmo austero es:

Figura_. Grafo coloreado
El nmero de colores usado es tres el cual es su nmero cromtico. No siempre este
algoritmo nos da una coloracin donde el nmero de colores es igual al nmero
cromtico.


10

3.2.2. CLIQUE O CAMARILLA EN UN GRAFO
Una clique es un completo maximal de G. Es decir, es un completo de G que no est
propiamente incluido en otro completo de G. Llamaremos !(G) al tamao de una clique
mxima de G y C(G) al conjunto de cliques de G. S V es clique si dos vrtices
cualesquiera de S son adyacentes.
Ejemplo.
Determine el clique del siguiente grafo

Para el grafo anterior el nmero de clique de G es
()


3.3. COLORACIN DE ARISTAS
Denotada como la asignacin de colores a aristas tal que aristas incidentes tengan un
color distinto. Una arista coloracin con k colores es llamada k-arista-coloracin y es
equivalente al problema de particionar el conjunto de aristas en k emparejamientos. El
menor nmero de colores necesarios para un arista coloracin de un grafo G es el
ndice cromtico o nmero cromtico de aristas.


Figura 3: Coloreado de aristas.

Ejemplo.

Determine la coloracin de aristas para el siguiente grafico



11


Figura_. Grafo G

Para la coloracin de aristas es importante tener en cuenta lo siguente:

() ()

Si

es impar, (

)

Si

es par, (

)

Teniendo en cuenta la anterior el grafo queda as:


Figura_. Coloracion de aristas


3.3.1. NDICE CROMTICO

Se llama ndice cromtico de G al mnimo k para el que G es k-coloreable en
aristas. Designaremos a este nmero con la notacin N'(G).

Tambin es un problema NP-completo determinar el ndice cromtico de un grafo. Y
los algoritmos conocidos para colorear las aristas de un grafo siguen las
mismas estrategias descritas para la coloracin de vrtices.


Figura_. ndice cromtico de grafos



12

Ejemplo.

Determine el ndice cromtico del siguiente grafo


Figura_. Grafo G

Al aplicar las propiedades de los ndices cromticos se puede llegar a establecer que el
ndice cromtico para el grafo G es:

*()+ ()


3.4. TEOREMA DE LOS CUATRO COLORES

En teora de grafos, el teorema de cuatro colores (o teorema de la minimalidad
cromtica) es un teorema sobre la coloracin de grafos que establece lo siguiente:

Dado cualquier mapa geogrfico con regiones continuas, ste puede ser coloreado con
cuatro colores diferentes, de forma que no queden regiones adyacentes con el mismo
color.

Asumiendo que las regiones adyacentes comparten no solo un punto, sino todo un
segmento de borde (frontera) en comn.

Tres colores son suficientes para mapas simples, pero en algunos casos es necesario
un cuarto color adicional, esto es, cuando una regin a colorear queda encerrada por un
nmero impar de regiones que se tocan formando un ciclo. El teorema de los cinco
colores, cuya demostracin es corta y elemental, establece que cinco colores son
suficientes para colorear un mapa y fue probado en el siglo XIX por Heawood. Una
serie de pruebas falsas y falsos contraejemplos han aparecido desde el primer
enunciado del teorema de los cuatro colores en 1852.

El problema del mapa de cuatro colores fue planteado, por primera vez, por el
estudiante Francis Guthrie en 1852, lo que fue comunicado a Augustus de Morgan. La
conjetura se hizo famosa con la declaracin de Arthur Cayley, en 1878, en el sentido de
que la haba abordado. Fue resuelto, a mediados de 1970, por Kenneth
Appel y Wolfgang Haken.



13


Figura 4: Teorema de los 4 colores.

Ejemplo.

Teniendo el siguiente mapa de Castilla-La Mancha, aplique el teorema de los cuatro
colores.


Figura_. Mapa de Castilla la Mancha

En forma de grafo dual tendra el siguiente grafo:


Figura_. Grafo mapa de Castilla La Mancha



14

De esta forma el problema queda planteado de la siguiente forma, cumpliendo con los
vrtices de todo grafo plano pueden colorearse con, a lo sumo, cuatro colores de forma
que dos vrtices unidos por una arista tengan colores distintos.

Por ejemplo, el mapa anterior (y, por tanto, tambin su grafo dual) puede colorearse
con, en este caso, tres colores:


Figura_. Mapa de Castilla La Mancha aplicando el teorema de los cuatro colores


3.5. GRAFO NICAMENTE COLOREABLE

Una coloracin que usa a lo ms k colores se llama k-coloracin (propia). Un grafo que
tiene asignada una k-coloracin (propia) es k-coloreable y es k-cromtico si su nmero
cromtico es exactamente k.

Un k-coloreo de G es una particion de () en k conjuntos independientes (a cada uno
de ellos se le asocia un color, de ah el nombre coloreo"). Si G admite un k-coloreo
decimos que es k-coloreable.

Ejemplo.

Asignarle a cada vrtice un color' o numero' de forma tal que dos vertices adyacentes
no reciban el mismo, y usando no ms de k etiquetas distintas.

Figura_. Grafo

Podemos decir que el anterior grafo es 3 coloreable, pero no 2 coloreable.



15


Figura_. Grafo

3 coloreable


4. PARTICIONAMIENTO CROMTICO

Un subconjunto de vrtices asignados con el mismo color se llama una clase de color.
Cada clase forma un conjunto independiente. Esto es, una k-coloracin es lo mismo
que una particin del conjunto de vrtices en k conjuntos independientes, y los trminos
k-partito y k-coloreable tienen el mismo significado.


5. CONJUNTO INDEPENDIENTE

Es un conjunto de vrtices en un grafo tal que ninguno de sus vrtices es adyacente a
otro. Es decir, es un conjunto V de vrtices tal que para ningn par de ellos existe
alguna arista que los conecten. En otras palabras, cada arista en el grafo contiene a lo
ms un vrtice en V. El tamao de un conjunto independiente es el nmero de vrtices
que contiene.

Un conjunto independiente de G es un completo de . Llamaremos () al tamao de
un conjunto independiente mximo de G.

Un conjunto de vrtices S en un grafo se dice independiente si ningn par de vrtices
de S son adyacentes


Figura : Conjunto independiente



16

Ejemplo.

El siguiente grafo muestra los vrtices que forman el conjunto independiente.




5.1. CONJUNTO INDEPENDIENTE MAXIMAL

El conjunto independiente mximo corresponde al mayor conjunto independiente
definible sobre un grafo dado. El problema de encontrar un conjunto con estas
caractersticas se llama problema del mximo conjunto independiente y es NP-
completo, por lo cual es poco probable que exista un algoritmo que lo resuelva
eficientemente.

Ejemplo

Determine los vrtices que forman un conjunto independiente maximal




5.2. NUMERO DE INDEPENDENCIA

El nmero de independencia de G es el tamao del conjunto independiente ms
grande, y se denota por (G).


17

El nmero de vrtices del mayor conjunto independiente maximal de S se denomina el
nmero de independencia de G y se representa por (G)



Figura : Conjunto independiente maximal

Ejemplo.

Halle el nmero de vrtices del mayor conjunto independiente maximal del grafo G, es
decir el nmero de independencia de G



Es decir el nmero de independencia del grafo G es ()


6. CONJUNTO DOMINANTE

El conjunto dominante de un grafo G = (V, E) es un subconjunto V' de V tal que
cada vrtice que no pertenezca a V' est unido a (al menos) un miembro de V'.
El nmero dominante (G) es el cardinal del menor conjunto dominante de G.



18

Un conjunto S de vrtices de un grafo G se dice que es un conjunto dominador si todo
vrtice que no est en S es adyacente a algn vrtice de S. El nmero de dominacin
(G) es el nmero de vrtices del conjunto dominador ms pequeo.

Ejemplo.

Si se tiene un grafo G como el siguiente, determine el conjunto dominador y el nmero
de dominacin.



Por tal razn el nmero dominador para el anterior grafo es ()


4. EJERCICIOS PROPUESTOS

1. Establezca alguna coloracin de grafos para la siguiente grafica

Para el anterior grafo una coloracin adecuada se vera as:



19

2. Halle el numero cromtico del siguiente grafo

() , por contener un

, como existe una coloracin con 4 colores, entonces

() .
3. Halle el polimonio cromtico correspondiente al siguiente grafo



Para obtener el polinomio cromtico debemos hacer lo siguiente


De esta forma podemos decir que el polinomio cromtico asociado al grafo es
( )( )

.
4. Dado el siguiente grafo determine la coloracin de vrtices adecuada.


20


Pero, adicionalmente se pueden presentar dos configuraciones ms diferentes



5. Identifique los vrtices que pueden ser cliques en el siguiente grafo

Los vrtices 1, 2 y 5 forman una clique, porque cada uno tiene un arco que le une a los
otros. En cambio, los vrtices 2, 3 y 4 no, dado que 2 y 4 no son adyacentes. Y as se
visualizaran los cliques sealandolos en el grafo


21



6. Dado el siguiente grafo, determine la coloracin de aristas adecuada

Entonces, el grafo quedara de la siguiente forma, ya que (

) pero con dos

colores solo no es posible una coloracin de aristas

7. Calcular el ndice cromatico del grafo

22

Ya que para un se trata de un grafo 3 regular. Para una coloracin adecuada
nicamente utilizremos tres colores como se muestra en la siguiente figura:

As el ndice cromtico es igual a 3.
8. Aplique el teorema de los cuatro colores al siguiente grafo

El grafo anterior quedara coloreado as

9. Determine si el siguiente grafo es nicamente coloreable.


23


Debido a que el grafo anterior tiene (

) , podemos decir que el grafo anterior si es

nicamente coloreable.
10.







5. CONCLUSIONES

Se investig sobre las diferencias bsicas entre los distintos tipos de coloracin de
los grafos.

Se comprendieron los conceptos de nmero cromtico, en el teorema de los 4
colores para los grafos planos.

Se indago sobre las diversas aplicaciones de las particiones y coloreados para las
mltiples ciencias a lo largo de la historia y en la actualidad.


6. BIBLIOGRAFA.

Exploracin de grafos. Anlisis y diseo de algoritmos. Consultado el 16 de Junio
de 2014, disponible en: http://elvex.ugr.es/decsai/algorithms/slides/5%20Grafos.pdf

El mundo de los grafos. Consultado el 16 de Abril de 2014, disponible en
http://www.uam.es/personal_pdi/ciencias/gallardo/capi10-grafos-coloraciones-
0910.pdf

Coloracin de grafos. Consultado el 16 de Abril de 2014, disponible en
http://es.wikipedia.org/wiki/Coloraci%C3%B3n_de_grafos






24