You are on page 1of 5

teoria de grafo maana: 1.- coloracion de grafo propiedades 2.- numero cromatico 3.- coloracion de vertices 4.

- coloracion de regiones propiedades 5.- grafos 5.1.- grafos coloreables 5.2.- grafos notables 6.- polinomio cromati

Coloracin de Grafos
El problema de coloracin de grafos, es considerado uno de los ms interesantes en lo que respecta a la teora de grafos. Este problema consiste en buscar la menor cantidad posible de colores para poder colorear un grafo, de tal forma que los nodos adyacentes nunca tengan el mismo color. Este problema tambin se puede plantear para aristas o para las caras del plano de un grafo, en donde la forma de desarrollo es la misma. Un claro ejemplo de esto se puede apreciar en la siguiente figura, en que cada color del plano representa un nodo del grafo.

El nmero de colores con que se colorea un grafo es denominado nmero cromtico, que es el menor valor que puede tomar k, donde k es el nmero de colores con que se puede colorear el grafo.

En el problema de Coloracin de Grafos, se puede encontrar un teorema denominado el teorema de los cuatro colores. Este teorema establece que dado un grafo cualquiera, este puede ser coloreado a lo ms, con 4 colores, de manera que no queden nodos adyacentes con el mismo color. Un claro ejemplo de este teorema, es la figura que se muestra a continuacin, en donde cada sector coloreado del plano representa una arista del grafo. Se puede ver que cada en ningn caso un sector est coloreado del mismo color que un sector adyacente y para lo cual se ocupan slo 4 colores: amarillo, azul, verde y rojo.

Coloracin de grafos En Teora 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 talque 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. Por ejemplo, una arista coloracin de un grafo es justamente una vrtice coloracin del grafo lnea respectivo, y una coloracin de caras de un grafo plano es una vrtice coloracin del grafo dual.

Propiedades Cotas del nmero cromtico


Asignando distintos colores a distintos vrtices siempre obtendremos una coloracin propia, entonces

El nico grafo que es 1-coloreable es el grafo sin aristas, y el grafo completo requiere colores.

de n vrtices

Si G contiene un clique de orden k, entonces a lo menos son necesarios k colores para colorear el clique; en otras palabras, el nmero cromtico es a los menos el nmero de clique:

Los grafos 2-coloreables son exactamente grafos bipartitos, incluidos rboles y bosques. Por el teorema de los cuatro colores, todo grafo plano es 4-coloreable. Una coloracin a travs de un algoritmo voraz muestra que cada grafo puede ser coloreado con un color ms que el grado del vrtice mximo.

]Cotas

del ndice cromtico


La arista coloracin es una vrtice coloracin de su grafo lineal, y viceversa. Esto es,

Existe una fuerte relacin entre la arista coloracin y el grado mximo del grafo. Como todas las aristas incidentes a algn vrtice necesitan colores distintos, tenemos

El nmero cromtico de una grfica G es la menor cantidad de colores necesarios para colorear sus vrtices sin que dos vertices vecinos (unidos por una arista) tengan el mismo color. O ms formalmente, es el menor entero m tal que G es mcoloreable (o bien, tiene una coloracin propia con m colores). A este nmero se le denota como (G), es decir, (G)=m. Es fcil ver que si coloreamos todos los vrtices de colores distintos, entonces se satisfacer que la grfica tiene una coloracin propia, es decir, sin que dos vrtices unidos por una arista tengan el mismo color (ver figura 1.a). Pero evidentemente, esto generalmente no nos da el nmero cromtico, pues puede ser posible colorear las grficas con muchos menos colores, como en el ejemplo de la siguiente figura:

Poniendo un color distinto en cada vrtice produce una coloracin propia, pero no es mnima.

Esta es una 3-coloracin de la msma grfica. De hecho, el nmero cromtico de esta grfica es 3.

Vrtice coloracin
La vrtice coloracin (o simplemente coloracin) es la asignacin de los vrtices de un grafo con colores tal que dos vrtices que compartan la misma arista tengan colores diferentes. Un grafo con loops no puede ser coloreado, y solo se consideran grafos sin loops. 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, }. Una coloracin que usa a lo ms k colores se llama k-coloracin (propia). El menor nmero de colores necesarios para colorear un grafo G se denota nmero cromtico . Un grafo que puede ser asignada una k-coloracin (propia) es k-coloreable y es k-cromtico si su nmero cromtico es exactamente k. 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 kcoloreable tienen el mismo significado.

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 I1 de cardinal grande, colorea todos los vrtices con el color 1, elimina los vrtices de I1 y repite el proceso en el grafo G-I1, continuando as hasta colorear todos los vrtices. Se presenta un procedimiento secuencial para colorear los vrtices de un grafo siguiendo un orden impuesto a los vrtices, usando la menor cantidad de colores posibles. Este algoritmo es llamado austero (avaricioso, greedy en ingls). Coloracin de regiones (Relaciones con listas y particiones en bloques) Una coloracin de un grafo G es equivalente a una lista con ciertas restricciones. Supongamos que V(G)={v1, v2,...,vn}, entonces una coloracin usando los k colores C={a1, a2, . . . , ak} es una lista (n-upla) con repeticin (ai1,ai2 , . . . ,ain) tal que si vs y vt son adyacentes entonces aisait. Dada una coloracion V(G) C definimos la relacin entre los vrtices de G de la siguiente manera: uRv si (u)=(v), es decir, dos vrtices estn relacionados si tienen el mismo color. Esta es una relacin de equivalencia. Esta relacin induce una particin sobre el conjunto V(G) cuyos bloques son las clases de equivalencia. Cada bloque (clase) est constituido por vrtices que tienen el mismo color. Es importante notar que los vrtices que estn relacionados no son adyacentes; si dos vrtices son adyacentes se encuentran en bloques (clases) distintos. Recprocamente, si se particiona el conjun to de vrtices de un grafo G de tal manera quevrtices adyacentes se encuentran en bloques distintos, entonces esta particin induce una coloracin de los vrtices de G. Se colorean los vrtices del mismo bloque con un mismo color y bloques distintos con colores distintos. Estas observaciones son tiles para resolver problemas. Como ejemplo, se citan los grafos bipartitos. El conjunto de vrtices se puede particionar en dos conjuntos V1(G) y V2(G) de tal manera que vrtices adyacentes se encuentran en conjuntos distintos, as es posible usar dos colores para colorear los vrtices de dicho grafo. A los vrtices

de V1(G) se les asigna un color y a los vrtices de V2(G) se les asigna otro color, y resulta unacolo racin de G.

Polinomio cromtico
El polinomio cromtico cuenta el nmero de maneras en las cuales puede ser coloreado un grafo usando no ms que un nmero de colores dado. Por 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 es una coloracin propia); y para cada eleccin de tres de los cuatro colores, hay 12 3-coloraciones validas. As que, para el grafo del ejemplo, una tabla de nmeros de coloraciones validas puede comenzar como esta:

Colores disponibles

1 2 3

Nmero de coloraciones 0 0 12 72

El polinomio cromtico es una funcin p(G, t) que cuenta el nmero de t-coloraciones de G. como el nombre lo indica para un grafo G la funcin es un polinomio en t. para el grafo del ejemplo, P(G, t)= t(t-1)2 (t-2) y P(G,4)=72