Este artículo es huérfano , ya que ningún otro artículo lo enlaza . Introduzca enlaces a esta página desde artículos relacionados ; pruebe la herramienta Buscar enlaces para obtener sugerencias. ( Junio de 2024 ) |
La coloración libre de conflictos es una generalización de la noción de coloración de gráficos a los hipergráficos . [1]
Un hipergrafo H tiene un conjunto de vértices V y un conjunto de aristas E. Cada arista es un subconjunto de vértices (en un grafo, cada arista contiene como máximo dos vértices, pero en un hipergrafo puede contener más de dos).
Una coloración es una asignación de un color a cada vértice de V.
Una coloración no presenta conflictos si al menos un vértice de cada arista tiene un color único. Si H es un grafo, esta condición se convierte en la condición estándar para una coloración legal de un grafo: los dos vértices adyacentes a cada arista deben tener colores diferentes.
Las coloraciones libres de conflictos surgen en el contexto de la asignación de bandas de frecuencia a antenas celulares , en aspectos de consumo de batería de redes de sensores y en protocolos RFID . [1]
Un caso especial común es cuando los vértices son puntos en el plano y las aristas son subconjuntos de puntos contenidos en el mismo disco . En este contexto, una coloración de los puntos se denomina libre de conflictos si, para cada disco cerrado D que contiene al menos un punto del conjunto, hay un color que aparece precisamente una vez. Cualquier coloración libre de conflictos de cada conjunto de n puntos en el plano utiliza al menos c log n colores, para una constante absoluta c > 0. Lo mismo es cierto no solo para los discos sino también para las copias homotéticas de cualquier cuerpo convexo . [2]
Otro caso especial es cuando los vértices son vértices de un grafo, y las aristas son conjuntos de vecinos. En este contexto, una coloración de los vértices se llama libre de conflictos si, para cada vértice v , hay un color que se asigna exactamente a un vértice entre v y sus vecinos. En este contexto, la variante libre de conflictos de la Conjetura de Hadwiger se cumple: Si un grafo G no contiene K k +1 como menor , entonces tiene una coloración libre de conflictos con como máximo k colores. Para grafos planares , a veces son necesarios tres colores y siempre son suficientes para una coloración libre de conflictos. Es NP-completo decidir si un grafo planar tiene una coloración libre de conflictos con un color, y si un grafo planar tiene una coloración libre de conflictos con dos colores. [3]