El número cromático del grafo G es el mínimo número de colores en el que es posible colorear [1] los vértices del grafo G de manera que los extremos de cualquier arista tengan colores diferentes. Usualmente denotado χ( G ).
El número cromático de un gráfico es el número mínimo tal que el conjunto de vértices del gráfico se puede dividir en clases disjuntas :
tal que los vértices de cada clase son independientes , es decir, ninguna arista del gráfico conecta vértices de la misma clase.
La clase cromática de un grafo G es el número mínimo de colores en los que se pueden colorear las aristas del grafo G para que las aristas adyacentes tengan colores diferentes. Denotado χ'( G ). El problema de colorear los bordes de un gráfico cúbico plano arbitrario sin puentes con tres colores es equivalente al famoso Problema de los cuatro colores . La coloración de los bordes define una factorización en 1 de un gráfico.
Si consideramos el número de colores diferentes de un gráfico etiquetado como una función del número de colores disponibles t , resulta que esta función siempre será un polinomio en t . Este hecho fue descubierto por Birkhoff y Lewis [2] al intentar probar el problema de los cuatro colores .
Triángulo | |
Gráfico completo | |
árbol con vértices | |
Ciclo | |
Conde de Petersen |
Para un gráfico de vértice, el polinomio cromático es
El polinomio cromático de un gráfico es igual al producto de los polinomios cromáticos de sus componentes
También hay una relación recursiva: el teorema de Zykov [3] , la llamada fórmula de eliminación y contracción
donde y son vértices adyacentes, es un gráfico obtenido a partir de un gráfico quitando una arista , y es un gráfico obtenido a partir de un gráfico contrayendo una arista a un punto.
Puedes usar la fórmula equivalente
donde y son vértices no adyacentes, y es el grafo obtenido del grafo sumando una arista
Para todos los enteros positivos
El número cromático es el entero positivo más pequeño para el cual
El grado de un polinomio cromático es igual al número de vértices:
Además, el número cromático se puede considerar para otros objetos, como los espacios métricos . Así, el número cromático de un plano es el número mínimo de colores χ para el cual existe tal coloración de todos los puntos del plano en uno de los colores que no hay dos puntos del mismo color a una distancia de exactamente 1 entre sí. otro. Lo mismo es cierto para cualquier dimensión del espacio. Está elementalmente probado que para el avión , sin embargo, no fue posible avanzar más durante mucho tiempo. El 8 de abril de 2018, el matemático británico Aubrey de Grey demostró que [4] [5] . Este problema se llama el problema de Nelson-Erdős-Hadwiger .
Muchos problemas profundos de la teoría de grafos se formulan fácilmente en términos de coloración. El más famoso de estos problemas, el problema de los cuatro colores , ya se ha resuelto, pero están surgiendo otros nuevos, como una generalización del problema de los cuatro colores, la conjetura de Hadwiger .