![]() |
| Grafo de Catlin, tomado del libro Graph Theory de Bondy y Murty |
La composicion de un grafo B en un grafo A, representada por A[B] simplemente lo siguiente, cada vertice del grafo A ahora ya no es un vertice sino que ahora va ser un nuevo grafo!, en este caso una instancia del grafo B, y las aristas? pues lo logico seria, que si queremos unir dos grafos, unamos cada vertice de un grafo con cada vertice del otro.
Listo, entonces observen bien el grafo de alla arriba, es nada menos que un circuito de 5 vertices en el que cada vertice ha sido reemplazado por un grafo completo de tres vertices(osea, un triangulo), su nomenclatura
es $C_5[K_3]$.
Se le dice grafo de Catlin, por que Catlin lo utilizo para encontrar contraejemplos en la Conjetura de Hadwiger
Ahora este grafo puede ser generalizado a un $C_n[K_r]$, donde $C_n$ es un circuito de tamanho $n$ y $K_r$ es un grafo completo con $r$ vértices.
La pregunta de rigor es, cual es el menor numero de colores con que se puede pintar los vertices de este grafo tal que dos vertices del mismo color no son adjacentes.A este numero minimo se le llama numero cromatico del grafo.
Tal vez la pregunta es muy general en realidad no se como resolverla para cualquier n, r. Entonces vamos a partirla en varias subpreguntas.
Cual es el numero cromatico de un $C_5[K_3]$
Cual es el numero cromatico de un $C_5[K_r]$
Cual es el numero cromatico de un $C_n[K_3]$
y la mas general, Cual es el numero cromatico de un $C_n[K_r]$?
Bueno ahora si voy a necesitar ayuda asi que si alguien sabe la respuesta de la ultima pregunta me avisa jajaja.
