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:
- Alice y Bob colorean los vértices de un gráfico G con un conjunto k de colores.
- Alice y Bob se turnan para colorear correctamente un vértice sin color (en la versión estándar, comienza Alice).
- Si es imposible colorear adecuadamente un vértice v (para cualquier color, v tiene un vecino coloreado con él), entonces Bob gana.
- 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:
- Bosques : . [9] Se conocen criterios simples para determinar el número cromático de juego de un bosque sin vértice de grado 3. [10] Parece difícil determinar el número cromático de juego de bosques con vértices de grado 3, incluso para bosques con máximo grado 3.
- Cactus : . [11]
- Grafos extraplanares : . [12]
- Grafos planares : . [13]
- Gráficas planares de circunferencia dada : , [14] , , . [15]
- Rejillas toroidales: . [16]
- Árboles k parciales : . [17]
- Gráficos de intervalos : , donde es para un gráfico el tamaño de su grupo más grande . [18]
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]
- Para un solo borde tenemos: [19]
- Árboles :
- Ruedas : si [21]
- Grafos bipartitos completos : si [21]
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 ?
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:
- Alice y Bob están coloreando los bordes de un gráfico G con un conjunto k de colores.
- Alice y Bob se turnan para colorear correctamente un borde sin color (en la versión estándar, comienza Alice).
- Si es imposible colorear correctamente un borde e (para cualquier color, e está adyacente a un borde coloreado con él), entonces Bob gana.
- 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]
- Arboricidad. Sea la arboricidad de un grafo . Todo grafo con grado máximo tiene . [25]
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:
- Ruedas : y cuando . [23]
- Bosques : cuando , y . [26] Además, si cada árbol de un bosque de se obtiene por subdivisión a partir de un árbol oruga o no contiene dos vértices adyacentes con grado 4, entonces . [27]
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:
- Alice y Bob están coloreando las incidencias de un gráfico G con un conjunto k de colores.
- Alice y Bob se turnan para colorear adecuadamente un incidente no coloreado (en la versión estándar, comienza Alice).
- Si es imposible colorear adecuadamente una incidencia i (para cualquier color, i es adyacente a un incidente coloreado con él), entonces Bob gana.
- 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
- (a,d) -Descomposición .Este es el mejor límite superior que conocemos para el caso general. Si las aristas de un grafose pueden dividir en dos conjuntos, uno de ellos induciendo un grafo conarboricidad, el segundo induciendo un grafo con grado máximo, entonces.[29]Si además, entonces.[29]
- Degeneración. Si es un grafo k -degenerado con grado máximo , entonces . Además, cuando y cuando . [28]
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 .
- Caminos : Para , .
- Ciclos : Para , . [30]
- Estrellas : Para , . [28]
- Ruedas : Para , . Para , . [28]
- Subgrafos de ruedas : Para , si es un subgrafo de que tiene como subgrafo, entonces . [31]
Problemas abiertos
- ¿Es el límite superior estricto para cada valor de ? [28]
- ¿Es el número cromático del juego de incidencia un parámetro monótono (es decir, es al menos tan grande para un gráfico G como para cualquier subgráfico de G )? [28]
Notas
- ^ Gardner (1981)
- ^ Bartnicki y otros (2007)
- ^ Bodlaender (1991)
- ^ 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.
- ^ Bodlaender (1991)
- ^ Costa, Pessoa, Soares, Sampaio (2020)
- ^ Dinski y Zhu (1999)
- ^ Junosza-Szaniawski y Rożej (2010)
- ^ Faigle et al. (1993), e implícito en Junosza-Szaniawski y Rożej (2010)
- ^ de Dunn y otros (2014)
- ^ Sidorowicz (2007), e implícito en Junosza-Szaniawski y Rożej (2010)
- ^ Guan y Zhu (1999)
- ^ 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).
- ^ Sekigushi (2014)
- ^ Él y otros (2002)
- ^ Raspaud y Wu (2009)
- ^ Zhu (2000)
- ^ Faigle y otros (1993)
- ^ abcd Peterin (2007)
- ^ Bradshaw (2021)
- ^abc Sia (2009)
- ^Ab Zhu (1999)
- ^ abcd Lam, Shiu y Xu (1999)
- ^ abc Beveridge y otros (2008)
- ^ Bartnicki y Grytczuk (2008), mejorando los resultados en gráficos k -degenerados en Cai y Zhu (2001)
- ^ 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.
- ^ Las condiciones en los bosques con Δ=4 se encuentran en Chan & Nong (2014)
- ^ abcdefg Andrés (2009a), véase también fe de erratas en Andrés (2009b)
- ^ ab Charpentier & Sopena (2014), ampliando los resultados de Charpentier & Sopena (2013).
- ^ Kim (2011), mejorando un resultado similar para k ≥ 7 en Andrés (2009a) (ver también erratas en Andrés (2009b))
- ^ Kim (2011)
Referencias (orden cronológico)
- Gardner, Martin (1981). "Juegos matemáticos". Scientific American . Vol. 23.
- Bodlaender, Hans L. (1991). "Sobre la complejidad de algunos juegos de colorear". Graph-Theoretic Concepts in Computer Science (Conceptos de teoría de grafos en informática). Lecture Notes in Computer Science (Apuntes de clase en informática). Vol. 484. págs. 30–40. CiteSeerX 10.1.1.18.9992 . doi :10.1007/3-540-53832-1_29. ISBN. 978-3-540-53832-5.
- Faigle, Ulrich; Kern, Walter; Kierstead, Henry A.; Trotter, William T. (1993). "Sobre el juego del número cromático de algunas clases de grafos" (PDF) . Ars Combinatoria . 35 (17): 143–150.
- Kierstead, Henry A.; Trotter, William T. (1994). "Coloración de grafos planos con un compañero no cooperativo" (PDF) . Journal of Graph Theory . 18 (6): 564–584. doi :10.1002/jgt.3190180605.
- Dinski, Thomas; Zhu, Xuding (1999). "Un límite para el número cromático de gráficos del juego". Matemáticas discretas . 196 (1–3): 109–115. doi : 10.1016/s0012-365x(98)00197-6 .
- Guan, DJ; Zhu, Xuding (1999). "Número cromático de juego de grafos planos exteriores". Journal of Graph Theory . 30 (1): 67–70. doi :10.1002/(sici)1097-0118(199901)30:1<67::aid-jgt7>3.0.co;2-m.
- Lam, Peter CB; Shiu, Wai C.; Xu, Baogang (1999). "Coloración de gráficos mediante juegos de borde" (PDF) . Graph Theory Notes NY . 37 : 17–19.
- Zhu, Xuding (1999). "El juego de colorear números de grafos planares". Journal of Combinatorial Theory, Serie B . 75 (2): 245–258. doi : 10.1006/jctb.1998.1878 .
- Kierstead, Henry A. (2000). "Un algoritmo simple de coloración de grafos competitivos". Journal of Combinatorial Theory, Serie B . 78 (1): 57–68. doi : 10.1006/jctb.1999.1927 .
- Zhu, Xuding (2000). "El juego de coloración de números de pseudoárboles k parciales ". Matemáticas discretas . 215 (1–3): 245–262. doi :10.1016/s0012-365x(99)00237-x.
- Cai, Leizhen; Zhu, Xuding (2001). "Índice cromático de juego de gráficos k -degenerados". Revista de teoría de grafos . 36 (3): 144–155. doi :10.1002/1097-0118(200103)36:3<144::aid-jgt1002>3.0.co;2-f.
- He, Wenjie; Hou, Xiaoling; Lih, Ko-Wei; Shao, Jiating; Wang, Weifan; Zhu, Xuding (2002). "Particiones de aristas de grafos planares y sus números de coloración del juego". Journal of Graph Theory . 41 (4): 307–311. doi : 10.1002/jgt.10069 . S2CID 20929383.
- Erdös, Peter L.; Faigle, Ulrich; Hochstättler, Winfried; Kern, Walter (2004). "Nota sobre el índice cromático de árboles del juego". Informática Teórica . 313 (3): 371–376. doi : 10.1016/j.tcs.2002.10.002 .
- Andres, Stephan D. (2006). "El índice cromático de juego de bosques de grado máximo Δ ⩾ 5". Matemáticas Aplicadas Discretas . 154 (9): 1317–1323. doi :10.1016/j.dam.2005.05.031.
- Bartnicki, Tomasz; Grytczuk, Jaroslaw; Kierstead, HA; Zhu, Xuding (2007). "El juego de colorear mapas" (PDF) . American Mathematical Monthly . 114 (9): 793–803. doi :10.1080/00029890.2007.11920471. JSTOR 27642332. S2CID 15901267.
- Peterin, Iztok (2007). "Juego de números cromáticos de gráficos de productos cartesianos". Notas electrónicas en matemáticas discretas . 29 : 353–357. CiteSeerX 10.1.1.107.111 . doi :10.1016/j.endm.2007.07.060.
- Sidorowicz, Elżbieta (2007). "El juego del número cromático y el juego del número de coloración de los cactus". Information Processing Letters . 102 (4): 147–151. doi :10.1016/j.ipl.2006.12.003.
- Bartnicki, Tomasz; Grytczuk, Jarosław (2008). "Una nota sobre el índice cromático de juego de grafos". Graphs and Combinatorics . 24 (2): 67–70. doi :10.1007/s00373-008-0774-z. S2CID 19373685.
- Beveridge, Andrew; Bohman, Tom; Friezeb, Alan; Pikhurko, Oleg (2008). "Índice cromático de juego de grafos con restricciones dadas en grados". Ciencias de la Computación Teórica . 407 (1–3): 242–249. doi :10.1016/j.tcs.2008.05.026.
- Zhu, Xuding (2008). "Estrategia de activación refinada para el juego de marcado". Journal of Combinatorial Theory, Serie B . 98 (1): 1–18. doi : 10.1016/j.jctb.2007.04.004 .
- Andres, Stefan D. (2009). "El juego de incidencia del número cromático". Matemáticas Aplicadas Discretas . 157 (9): 1980–1987. doi : 10.1016/j.dam.2007.10.021 .
- Andres, Stefan D. (2009). "Fe de erratas de: El juego de incidencia de números cromáticos". Matemáticas Aplicadas Discretas . 158 (6): 728. doi : 10.1016/j.dam.2009.11.017 .
- Raspaud, André; Wu, Jiaojiao (2009). "Juego de números cromáticos en cuadrículas toroidales". Information Processing Letters . 109 (21–22): 1183–1186. doi :10.1016/j.ipl.2009.08.001.
- Sia, Charmaine (2009). "El número cromático de juego de algunas familias de gráficos de productos cartesianos" (PDF) . AKCE International Journal of Graphs and Combinatorics . 6 (2): 315–327. Archivado desde el original (PDF) el 2011-11-14 . Consultado el 2014-07-16 .
- Junosza-Szaniawski, Konstanty; Rożej, Łukasz (2010). "Número cromático de juego de grafos con número de ciclos acotado localmente". Cartas de procesamiento de la información . 110 (17): 757–760. doi :10.1016/j.ipl.2010.06.004.
- Kim, John Y. (2011). "El juego de incidencia del número cromático de caminos y subgrafos de ruedas". Matemáticas Aplicadas Discretas . 159 (8): 683–694. doi : 10.1016/j.dam.2010.01.001 .
- Charpentier, Clément; Sopena, Éric (2013). "Juego de coloración de incidencia y arboricidad de grafos". Combinatorial Algorithms . Lecture Notes in Computer Science. Vol. 8288. págs. 106–114. arXiv : 1304.0166 . doi :10.1007/978-3-642-45278-9_10. ISBN 978-3-642-45277-2.S2CID14707501 .
- Chan, Wai H.; Nong, Ge (2014). "El índice cromático de juego de algunos árboles de grado máximo 4". Matemáticas Aplicadas Discretas . 170 : 1–6. doi : 10.1016/j.dam.2014.01.003 .
- Sekigushi, Yosuke (2014). "El juego de colorear el número de grafos planares con una circunferencia dada". Matemáticas discretas . 300 : 11–16. doi :10.1016/j.disc.2014.04.011.
- Charpentier, Clément; Sopena, Éric (2014). "El juego de incidencia del número cromático de grafos (a,d) -descomponibles". Journal of Discrete Algorithms . 31 : 14–25. doi :10.1016/j.jda.2014.10.001. S2CID 1102795.
- Dunn, Charles; Larsen, Victor; Lindke, Kira; Retter, Troy; Toci, Dustin (2014). "El juego de números cromáticos de árboles y bosques". arXiv : 1410.5223 [math.CO].
- Costa, Eurinardo; Pessoa, Victor Lage; Soares, Ronan; Sampaio, Rudini (2020). "Completitud de PSPACE de dos juegos de coloración de gráficos". Ciencias de la Computación Teórica . 824–825: 36–45. doi :10.1016/j.tcs.2020.03.022. S2CID 218777459.
- Bradshaw, Peter (2021). «Coloración de grafos con subgrafos bicolores restringidos: II. El juego de coloración de grafos». Revista de teoría de grafos . 100 (2): 371–383. arXiv : 2008.13275 . doi :10.1002/jgt.22786. S2CID 221377336.