stringtranslate.com

Juego de colorear gráficos

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

Juego de colorear vértices

El juego de colorear vértices fue introducido en 1981 por Brams [1] y redescubierto diez años después por Bodlaender. [2] 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 colorear (en la versión estándar, comienza Alice).
  3. Si es imposible colorear correctamente 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, Alice gana.

El número cromático del juego de un gráfico , indicado por , es el número mínimo de colores necesarios para que Alice gane el juego de colorear vértices en . Trivialmente, para cada gráfico , tenemos , donde está el número cromático de y su grado máximo . [3]

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


Relación con otras nociones

Coloración acíclica. Cada gráfico con número cromático acíclico tiene . [6]

Juego de marcar. Para cada gráfico , ¿dónde está el número de color del juego ? Casi todos los límites superiores conocidos para el número cromático de gráficos del juego se obtienen a partir de los límites del número de color del juego.

Restricciones de ciclo en los bordes. Si cada arista de un gráfico pertenece como máximo a ciclos, entonces . [7]

Clases de gráficos

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

Productos cartesianos. El número cromático del juego del producto cartesiano no está limitado por una función de y . En particular, el número cromático del juego de cualquier gráfico bipartito completo es igual a 3, pero no existe un límite superior para arbitrario . [18] Por otro lado, el número cromático del juego de está acotado arriba por una función de y . En particular, si y son ambos como máximo , entonces . [19]

Problemas abiertos

Estas preguntas siguen abiertas hasta la fecha.

Más colores para Alice [21]
  • Supongamos que Alice tiene una estrategia ganadora para el juego de colorear vértices en un gráfico G con k colores. ¿Tiene uno para k+1 colores?
    Uno esperaría que las respuestas fueran "sí", ya que tener más colores le parece una ventaja a Alice. Sin embargo, no existe ninguna prueba de que esta afirmación sea cierta.
  • ¿Existe una función f tal que, si Alice tiene una estrategia ganadora para el juego de colorear vértices en un gráfico G con k colores, entonces Alice tiene una estrategia ganadora en G con f(k)  ?
    Relajación de la pregunta anterior.
Relaciones con otras nociones [21]
  • Supongamos que una clase monótona de gráficos (es decir, una clase de gráficos cerrada por subgrafos) tiene un número cromático de juego acotado . ¿Es cierto que esta clase de gráfico tiene un número de color de juego limitado  ?
  • Supongamos que una clase monótona de gráficos (es decir, una clase de gráficos cerrada por subgrafos) tiene un número cromático de juego acotado . ¿Es cierto que esta clase de gráfico tiene arboricidad limitada  ?
  • ¿Es cierto que una clase monótona de gráficos de número cromático de juego acotado tiene un número cromático acíclico acotado  ?
Reducción del grado máximo [9]
  • Conjetura: Es un bosque, existe tal que y .
  • Sea la clase de gráficas tal que para cualquiera , existe tal que y . ¿ En qué familias de grafos se encuentran  ?
Hipercubos [18]
  • ¿Es cierto eso para cualquier hipercubo  ? Se sabe que es cierto para . [18]

Juego de colorear bordes

El juego de colorear bordes , presentado por Lam, Shiu y Zu, [22] es similar al juego de colorear vértices, excepto que Alice y Bob construyen un color de borde adecuado en lugar de un color de vértice 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 colorear (en la versión estándar, comienza Alice).
  3. Si es imposible colorear correctamente un borde e (para cualquier color, e es adyacente a un borde coloreado con él), entonces Bob gana.
  4. Si el gráfico tiene todos los bordes coloreados, entonces Alice gana.

Aunque este juego puede considerarse como un caso particular del juego de colorear vértices en gráficos lineales , en la literatura científica se lo considera principalmente como un juego distinto. El índice cromático del juego de un gráfico , indicado por , es el número mínimo de colores necesarios para que Alice gane este juego .

Caso general

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

Conjetura. Existe tal que, para cualquier gráfico arbitrario , tenemos .
Esta conjetura es cierta cuando es lo suficientemente grande en comparación con el número de vértices en . [23]

Clases de gráficos

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

Problemas abiertos

Límite superior. ¿Existe una constante tal que para cada gráfico  ? Si es verdad, ¿es suficiente? [22]

Conjetura sobre grados mínimos grandes. Hay a y un número entero tal que cualquier gráfico satisface . [23]

Juego de colorear de incidencia

El juego de colorear de incidencia es un juego de colorear de gráficos, introducido por Andrés, [27] y similar al juego de colorear de vértices, excepto que Alice y Bob construyen un color de incidencia adecuado en lugar de un color de vértice adecuado. 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 correctamente una incidencia sin color (en la versión estándar, comienza Alice).
  3. Si es imposible colorear correctamente una incidencia i (para cualquier color, i es adyacente a una incidencia coloreada con él), entonces Bob gana.
  4. Si todas las incidencias están coloreadas correctamente, Alice gana.

El número cromático del juego de incidencia de un gráfico , denotado por , es el número mínimo de colores necesarios para que Alice gane este juego .

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

Relaciones con otras nociones

Clases de gráficos

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

Problemas abiertos

Notas

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

Referencias (orden cronológico)