Bucle para colorear

La coloración de ciclos puede verse como un refinamiento de la coloración de gráficos ordinarios . El número cromático cíclico de un gráfico etiquetado se puede definir de las siguientes formas equivalentes (para gráficos finitos).

  1. es igual al ínfimo sobre todos los números reales tales que hay un mapeo de a un círculo con longitud igual a 1, con dos vértices adyacentes mapeados a puntos a una distancia a lo largo del círculo.
  2. es igual al ínfimo sobre números racionales tales que hay un mapeo de a un grupo cíclico con la propiedad de que los vértices adyacentes se mapean a elementos a una distancia entre sí.
  3. En un gráfico dirigido , definimos el desequilibrio del ciclo como el valor dividido por el menor del número de aristas en el sentido de las agujas del reloj y el número de aristas en el sentido contrario a las agujas del reloj. Definimos el desequilibrio de un gráfico dirigido como el máximo desequilibrio sobre todos los ciclos. Ahora, es igual al desequilibrio mínimo sobre todas las orientaciones del gráfico .

Es relativamente fácil ver eso (usando la definición 1 o 2), pero, de hecho, . En este sentido, decimos que el número cromático cíclico afina al número cromático ordinario.

El ciclo de coloración fue definido originalmente por Vince [1] , quien lo llamó "coloración de estrellas".

La coloración del ciclo es dual al tema del flujo cero en ninguna parte y, además, la coloración del ciclo tiene un concepto dual natural de "flujo circulante".

Gráficas completas cíclicas

Gráfico circular completo
picos norte
costillas
Circunferencia
número cromático ⌈n/k⌉
Propiedades ( n − 2k + 1) - Hamiltoniano circular
transitivo de vértice regular

Para enteros tales que , un gráfico completo cíclico (también conocido como clique cíclico ) es un gráfico con muchos vértices y aristas entre elementos a una distancia entre sí. Es decir, los vértices son números y el vértice i es adyacente a:

.

Por ejemplo, es solo un gráfico completo K n , mientras que el gráfico es isomorfo al gráfico de ciclo .

En tal caso, una coloración de ciclo, de acuerdo con la segunda definición anterior, es un homomorfismo en un gráfico de ciclo completo. La circunstancia crítica de estos grafos es que admite un homomorfismo a si y sólo si . Esto explica la notación, ya que si los números racionales y son iguales, entonces son homomórficamente equivalentes. Además, el orden del homomorfismo refina el orden dado por los gráficos completos en un orden denso y corresponde a los números racionales . Por ejemplo

O equivalente

El ejemplo de la figura puede interpretarse como un homomorfismo de la Flor snark a , que viene antes , que corresponde al hecho de que .

Véase también

Notas

  1. Vicente, 1988 .

Literatura