stringtranslate.com

Juego de colorear gráficos

El juego de colorear grafos es un juego matemático relacionado con la teoría de grafos . Los problemas de juegos de colorear surgieron como versiones teóricas de juegos de los conocidos problemas de coloración de grafos . En un juego de colorear, dos jugadores utilizan un conjunto dado de colores para construir una coloración de un grafo , siguiendo reglas específicas según el juego que consideremos. Un jugador intenta completar con éxito la coloración del grafo, cuando el otro intenta evitar que lo consiga.

Juego de colorear Vertex

El juego de colorear vértices fue introducido en 1981 por Steven Brams como un juego de colorear mapas [1] [2] y redescubierto diez años después por Bodlaender. [3] Sus reglas son las siguientes:

  1. Alice y Bob colorean los vértices de un gráfico G con un conjunto k de colores.
  2. Alice y Bob se turnan para colorear correctamente un vértice sin color (en la versión estándar, comienza Alice).
  3. Si es imposible colorear adecuadamente un vértice v (para cualquier color, v tiene un vecino coloreado con él), entonces Bob gana.
  4. Si el gráfico está completamente coloreado, entonces Alicia gana.

El número cromático del juego de un grafo , denotado por , es el número mínimo de colores que necesita Alicia para ganar el juego de colorear vértices en . Trivialmente, para cada grafo , tenemos , donde es el número cromático de y su grado máximo . [4]

En el artículo de Bodlaender de 1991, [5] la complejidad computacional se dejó como " un problema abierto interesante ". Recién en 2020 se demostró que el juego es PSPACE-Complete. [6]


Relación con otras nociones

Coloración acíclica. Todo grafo con número cromático acíclico tiene . [7]

Juego de marcado. Para cada gráfico , , donde es el número de coloración del juego de . Casi todos los límites superiores conocidos para el número cromático del juego de gráficos se obtienen a partir de los límites del número de coloración del juego.

Restricciones de ciclos en las aristas. Si cada arista de un grafo pertenece a, como máximo , ciclos, entonces . [8]

Clases de gráficos

Para una clase de grafos, denotamos por el entero más pequeño tal que cada grafo de tenga . En otras palabras, es el límite superior exacto para el número cromático del juego de grafos en esta clase. Este valor es conocido para varias clases de grafos estándar y está acotado para algunas otras:

Productos cartesianos. El número cromático de juego del producto cartesiano no está acotado por una función de y . En particular, el número cromático de juego de cualquier grafo bipartito completo es igual a 3, pero no hay límite superior para para cualquier . [19] Por otra parte, el número cromático de juego de está acotado por encima por una función de y . En particular, si y son ambos como máximo , entonces . [20]

Problemas abiertos

Estas preguntas siguen abiertas hasta el día de hoy.

Más colores para Alice [22]
  • Supongamos que Alicia tiene una estrategia ganadora para el juego de colorear vértices en un grafo G con k colores. ¿Tiene una para k+1 colores?
    Uno esperaría que la respuesta fuera "sí", ya que tener más colores parece una ventaja para Alicia. Sin embargo, no existe ninguna prueba de que esta afirmación sea verdadera.
  • ¿Existe una función f tal que, si Alicia tiene una estrategia ganadora para el juego de colorear vértices en un grafo G con k colores, entonces Alicia tiene una estrategia ganadora en G con f(k)  ?
    Relajación de la pregunta anterior.
Relaciones con otras nociones [22]
  • Supongamos que una clase monótona de grafos (es decir, una clase de grafos cerrados por subgrafos) tiene un número cromático de juego acotado . ¿Es cierto que esta clase de grafos tiene un número de coloración de juego acotado  ?
  • Supongamos que una clase monótona de grafos (es decir, una clase de grafos cerrados por subgrafos) tiene un juego cromático acotado . ¿Es cierto que esta clase de grafo tiene arboricidad acotada  ?
  • ¿Es cierto que una clase monótona de gráficos de número cromático de juego acotado tiene número cromático acíclico acotado  ?
Reducción del grado máximo [10]
  • Conjetura: Si es un bosque, existe tal que y .
  • Sea la clase de grafos tales que para cualquier , existe tal que y . ¿Qué familias de grafos hay en  ?
Hipercubos [19]
  • ¿Es cierto que para cualquier hipercubo  ? Se sabe que es cierto para . [19]

Juego de colorear bordes

El juego de colorear bordes , introducido por Lam, Shiu y Zu, [23] es similar al juego de colorear vértices, excepto que Alice y Bob construyen un coloreado de bordes adecuado en lugar de un coloreado de vértices adecuado. Sus reglas son las siguientes:

  1. Alice y Bob están coloreando los bordes de un gráfico G con un conjunto k de colores.
  2. Alice y Bob se turnan para colorear correctamente un borde sin color (en la versión estándar, comienza Alice).
  3. Si es imposible colorear correctamente un borde e (para cualquier color, e está adyacente a un borde coloreado con él), entonces Bob gana.
  4. Si el gráfico está completamente coloreado en los bordes, entonces Alicia gana.

Aunque este juego puede considerarse como un caso particular del juego de colorear vértices en grafos lineales , en la literatura científica se lo considera principalmente como un juego distinto. El índice cromático del juego de un grafo , denotado por , es el número mínimo de colores que necesita Alicia para ganar este juego en .

Caso general

Para cada grafo G , . Hay grafos que alcanzan estos límites pero todos los grafos que conocemos que alcanzan este límite superior tienen un grado máximo pequeño. [23] Existen grafos con para valores arbitrarios grandes de . [24]

Conjetura. Existe una conjetura tal que, para cualquier grafo arbitrario , tenemos .
Esta conjetura es verdadera cuando es suficientemente grande en comparación con el número de vértices en . [24]

Clases de gráficos

Para una clase de grafos, denotamos por el entero más pequeño tal que cada grafo de tenga . En otras palabras, es el límite superior exacto para el índice cromático del juego de los grafos en esta clase. Este valor es conocido para varias clases de grafos estándar y está acotado para algunas otras:

Problemas abiertos

Límite superior. ¿Existe una constante tal que para cada grafo  ? Si es cierto, ¿es suficiente ? [23]

Conjetura sobre grados mínimos grandes. Hay un y un entero tales que cualquier gráfico con satisface . [24]

Juego de colorear Incidencia

El juego de coloración de incidencias es un juego de coloración de grafos, introducido por Andres, [28] y similar al juego de coloración de vértices, excepto que Alice y Bob construyen una coloración de incidencias adecuada en lugar de una coloración de vértices adecuada. Sus reglas son las siguientes:

  1. Alice y Bob están coloreando las incidencias de un gráfico G con un conjunto k de colores.
  2. Alice y Bob se turnan para colorear adecuadamente un incidente no coloreado (en la versión estándar, comienza Alice).
  3. Si es imposible colorear adecuadamente una incidencia i (para cualquier color, i es adyacente a un incidente coloreado con él), entonces Bob gana.
  4. Si todas las incidencias están coloreadas correctamente, entonces Alicia gana.

El número cromático del juego de incidencia de un gráfico , denotado por , es el número mínimo de colores que necesita Alicia para ganar este juego en .

Para cada gráfico con grado máximo , tenemos . [28]

Relaciones con otras nociones

Clases de gráficos

Para una clase de gráficos, denotamos por el entero más pequeño tal que cada gráfico de tiene .

Problemas abiertos

Notas

  1. ^ Gardner (1981)
  2. ^ Bartnicki y otros (2007)
  3. ^ Bodlaender (1991)
  4. ^ Con menos colores que el número cromático, no hay una coloración adecuada de G y, por lo tanto, Alicia no puede ganar. Con más colores que el grado máximo, siempre hay un color disponible para colorear un vértice y, por lo tanto, Alicia no puede perder.
  5. ^ Bodlaender (1991)
  6. ^ Costa, Pessoa, Soares, Sampaio (2020)
  7. ^ Dinski y Zhu (1999)
  8. ^ Junosza-Szaniawski y Rożej (2010)
  9. ^ Faigle et al. (1993), e implícito en Junosza-Szaniawski y Rożej (2010)
  10. ^ de Dunn y otros (2014)
  11. ^ Sidorowicz (2007), e implícito en Junosza-Szaniawski y Rożej (2010)
  12. ^ Guan y Zhu (1999)
  13. ^ Límite superior de Zhu (2008), que mejora los límites anteriores de 33 de Kierstead y Trotter (1994), 30 implícito en Dinski y Zhu (1999), 19 en Zhu (1999) y 18 en Kierstead (2000). Límite inferior propuesto por Kierstead y Trotter (1994). Véase un estudio dedicado al número cromático de juegos de grafos planares en Bartnicki et al. (2007).
  14. ^ Sekigushi (2014)
  15. ^ Él y otros (2002)
  16. ^ Raspaud y Wu (2009)
  17. ^ Zhu (2000)
  18. ^ Faigle y otros (1993)
  19. ^ abcd Peterin (2007)
  20. ^ Bradshaw (2021)
  21. ^abc Sia (2009)
  22. ^Ab Zhu (1999)
  23. ^ abcd Lam, Shiu y Xu (1999)
  24. ^ abc Beveridge y otros (2008)
  25. ^ Bartnicki y Grytczuk (2008), mejorando los resultados en gráficos k -degenerados en Cai y Zhu (2001)
  26. ^ Límite superior de Δ+2 por Lam, Shiu y Xu (1999), luego límite de Δ+1 por Erdös et al. (2004) para los casos Δ=3 y Δ≥6, y por Andres (2006) para el caso Δ=5.
  27. ^ Las condiciones en los bosques con Δ=4 se encuentran en Chan & Nong (2014)
  28. ^ abcdefg Andrés (2009a), véase también fe de erratas en Andrés (2009b)
  29. ^ ab Charpentier & Sopena (2014), ampliando los resultados de Charpentier & Sopena (2013).
  30. ^ Kim (2011), mejorando un resultado similar para k ≥ 7 en Andrés (2009a) (ver también erratas en Andrés (2009b))
  31. ^ Kim (2011)

Referencias (orden cronológico)