En teoría de grafos , una coloración T de un grafo , dado el conjunto T de enteros no negativos que contienen 0, es una función que asigna cada vértice a un entero positivo ( color ) tal que si u y w son adyacentes entonces . [1] En palabras simples, el valor absoluto de la diferencia entre dos colores de vértices adyacentes no debe pertenecer al conjunto fijo T . El concepto fue introducido por William K. Hale. [2] Si T = {0} se reduce a la coloración de vértices común.
El número T -cromático , es el número mínimo de colores que se pueden utilizar en una T - coloración de G.
La coloración complementaria de T -coloración c , denotada se define para cada vértice v de G por
donde s es el color más grande asignado a un vértice de G por la función c . [1]
Relación con el número cromático
Proposición. . [3]
Demostración. Toda coloración T de G es también una coloración de vértice de G , por lo que Supóngase que y Dada una función de coloración k de vértice común que utiliza los colores Definimos como
Para cada dos vértices adyacentes u y w de G ,
Por lo tanto, d es una coloración T de G. Dado que d utiliza k colores, en consecuencia,
yo-durar
El lapso de una T -coloración c de G se define como
El T -span se define como:
[4]
A continuación se dan algunos límites del intervalo T :
Para cada grafo k -cromático G con camarilla de tamaño y cada conjunto finito T de números enteros no negativos que contienen 0,
Para cada grafo G y cada conjunto finito T de números enteros no negativos que contienen 0 cuyo elemento más grande es r , [5]
Para cada grafo G y cada conjunto finito T de números enteros no negativos que contienen 0 cuya cardinalidad es t , [5]