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:
- 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 colorear (en la versión estándar, comienza Alice).
- Si es imposible colorear correctamente un vértice v (para cualquier color, v tiene un vecino coloreado con él), entonces Bob gana.
- 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:
- Bosques : . [8] Se conocen criterios simples para determinar el número cromático de juego de un bosque sin vértice de grado 3. [9] Parece difícil determinar el número cromático de juego de bosques con vértices de grado 3, incluso para bosques con grado máximo 3.
- Cactos : . [10]
- Gráficos planos exteriores : . [11]
- Gráficos planos : . [12]
- Gráficas planas de circunferencia dada : , [13] , , . [14]
- Rejillas toroidales: . [15]
- Árboles k parciales : . [dieciséis]
- Gráficos de intervalos : , donde es para un gráfico el tamaño de su camarilla más grande . [17]
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]
- Para una sola arista tenemos: [18]
- Árboles :
- Ruedas : si [20]
- Grafos bipartitos completos : si [20]
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 ?
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:
- 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 colorear (en la versión estándar, comienza Alice).
- Si es imposible colorear correctamente un borde e (para cualquier color, e es adyacente a un borde coloreado con él), entonces Bob gana.
- 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]
- Arboricidad. Sea la arboricidad de un gráfico . Cada gráfico con grado máximo tiene . [24]
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:
- Ruedas : y cuando . [22]
- Bosques : cuándo y . [25] Además, si cada árbol de un bosque de se obtiene por subdivisión de un árbol oruga o no contiene dos vértices adyacentes con grado 4, entonces . [26]
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:
- 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 correctamente una incidencia sin color (en la versión estándar, comienza Alice).
- Si es imposible colorear correctamente una incidencia i (para cualquier color, i es adyacente a una incidencia coloreada con él), entonces Bob gana.
- 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
- (a,d) -Descomposición . Este es el mejor límite superior que conocemos para el caso general. Si los bordes de un gráficose pueden dividir en dos conjuntos, uno de ellos induciendo un gráfico conarboricidady el segundo induciendo un gráfico con grado máximo, entonces. [28]Si además, entonces. [28]
- Degeneración. Si es un gráfico k -degenerado con grado máximo , entonces . Además, cuándo y cuándo . [27]
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 .
- Rutas : Para , .
- Ciclos : Para , . [29]
- Estrellas : Para , . [27]
- Ruedas : Para , . Para , . [27]
- Subgrafos de ruedas : Para , si es un subgrafo de tener como subgrafo, entonces . [30]
Problemas abiertos
- ¿El límite superior es ajustado para cada valor de ? [27]
- ¿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 subgrafo de G )? [27]
Notas
- ^ Jardinero (1981)
- ^ Bodlaender (1991)
- ^ 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.
- ^ Bodlaender (1991)
- ^ Costa, Pessoa, Soares, Sampaio (2020)
- ^ Dinski y Zhu (1999)
- ^ Junosza-Szaniawski y Rożej (2010)
- ^ Faigle y col. (1993), e implícito en Junosza-Szaniawski y Rożej (2010)
- ^ ab Dunn y col. (2014)
- ^ Sidorowicz (2007), e implícito en Junosza-Szaniawski y Rożej (2010)
- ^ Guan y Zhu (1999)
- ^ 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).
- ^ Sekigushi (2014)
- ^ Él y otros. (2002)
- ^ Raspaud y Wu (2009)
- ^ Zhu (2000)
- ^ Faigle y col. (1993)
- ^ abcd Peterin (2007)
- ^ Bradshaw (2021)
- ^ abc Sia (2009)
- ^ ab Zhu (1999)
- ^ abcd Lam, Shiu y Xu (1999)
- ^ a b C Beveridge y col. (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 Andrés (2006) para el caso Δ=5.
- ^ Las condiciones de los bosques con Δ=4 están 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 errata en Andrés (2009b))
- ^ Kim (2011)
Referencias (orden cronológico)
- Gardner, Martín (1981). "Juegos Matemáticos". Científico americano . vol. 23.
- Bodlaender, Hans L. (1991). "Sobre la complejidad de algunos juegos de colorear". Conceptos de teoría de grafos en informática . Apuntes de conferencias sobre 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.; Trotón, William T. (1993). "Sobre el número cromático del juego de algunas clases de gráficos" (PDF) . Ars Combinatoria . 35 (17): 143-150.
- Kierstead, Henry A.; Trotón, William T. (1994). "Colorear gráficos planos con un socio que no coopera" (PDF) . Revista de teoría de grafos . 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). "Juego de número cromático de gráficos planos exteriores". Revista de teoría de grafos . 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). "Juego de borde para colorear gráficos" (PDF) . Notas de teoría de grafos Nueva York . 37 : 17-19.
- Zhu, Xuding (1999). "El juego para colorear el número de gráficos planos". Revista de teoría combinatoria, serie B. 75 (2): 245–258. doi : 10.1006/jctb.1998.1878 .
- Kierstead, Henry A. (2000). "Un algoritmo de coloración de gráficos competitivo simple". Revista de teoría combinatoria, serie B. 78 (1): 57–68. doi : 10.1006/jctb.1999.1927 .
- Zhu, Xuding (2000). "El juego para colorear el número de k -árboles pseudo 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 del juego de k -Gráficos 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.
- Él, Wenjie; Hou, Xiaoling; Lih, Ko-Wei; Shao, Jiating; Wang, Weifan; Zhu, Xuding (2002). "Particiones de bordes de gráficos planos y sus números de coloración del juego". Revista de teoría de grafos . 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 .
- Andrés, Stephan D. (2006). "El índice cromático del juego de bosques de grado máximo Δ 5". Matemática Aplicada Discreta . 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) . Mensual Matemático Estadounidense . 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". Apuntes Electrónicos en Matemática Discreta . 29 : 353–357. CiteSeerX 10.1.1.107.111 . doi :10.1016/j.endm.2007.07.060.
- Sidorowicz, Elżbieta (2007). "El juego de números cromáticos y el juego de colorear números de cactus". Cartas de procesamiento de información . 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 gráficos del juego". Gráficas y Combinatoria . 24 (2): 67–70. doi :10.1007/s00373-008-0774-z. S2CID 19373685.
- Beveridge, Andrés; Bohman, Tom; Friezeb, Alan; Pikhurko, Oleg (2008). "Índice cromático de gráficos del juego con determinadas restricciones de grados". Informática 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 marcar". Revista de teoría combinatoria, serie B. 98 (1): 1–18. doi : 10.1016/j.jctb.2007.04.004 .
- Andrés, Stefan D. (2009). "El número cromático del juego de incidencia". Matemática Aplicada Discreta . 157 (9): 1980–1987. doi : 10.1016/j.dam.2007.10.021 .
- Andrés, Stefan D. (2009). "Errata a: El número cromático del juego de incidencia". Matemática Aplicada Discreta . 158 (6): 728. doi : 10.1016/j.dam.2009.11.017 .
- Raspaud, André; Wu, Jiaojiao (2009). "Juego de números cromáticos de rejillas toroidales". Cartas de procesamiento de información . 109 (21–22): 1183–1186. doi :10.1016/j.ipl.2009.08.001.
- Sia, Charmaine (2009). "El número cromático del juego de algunas familias de gráficos de productos cartesianos" (PDF) . AKCE Revista Internacional de Gráficos y Combinatoria . 6 (2): 315–327. Archivado desde el original (PDF) el 14 de noviembre de 2011 . Consultado el 16 de julio de 2014 .
- Junosza-Szaniawski, Konstanty; Rożej, Lukasz (2010). "Número cromático de gráficos del juego con número de ciclos acotado localmente". Cartas de procesamiento de 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ática Aplicada Discreta . 159 (8): 683–694. doi : 10.1016/j.dam.2010.01.001 .
- Charpentier, Clément; Sopeña, Éric (2013). "Juego de coloración de incidencia y arboricidad de gráficos". Algoritmos combinatorios . Apuntes de conferencias sobre informática. vol. 8288, págs. 106-114. arXiv : 1304.0166 . doi :10.1007/978-3-642-45278-9_10. ISBN 978-3-642-45277-2. S2CID 14707501.
- Chan, Wai H.; Nong, Ge (2014). "El índice cromático de juego de algunos árboles de grado máximo 4". Matemática Aplicada Discreta . 170 : 1–6. doi : 10.1016/j.dam.2014.01.003 .
- Sekigushi, Yosuke (2014). "El juego para colorear el número de gráficos planos con una circunferencia determinada". Matemáticas discretas . 300 : 11-16. doi :10.1016/j.disc.2014.04.011.
- Charpentier, Clément; Sopeña, Éric (2014). "El número cromático del juego de incidencia de (a, d) -gráficos descomponibles". Revista de algoritmos discretos . 31 : 14-25. doi :10.1016/j.jda.2014.10.001. S2CID 1102795.
- Dunn, Carlos; Larsen, Víctor; Lindke, Kira; Retter, Troya; Toci, Dustin (2014). "El juego del número cromático de árboles y bosques". arXiv : 1410.5223 [matemáticas.CO].
- Costa, Eurinardo; Pessoa, Víctor Lage; Soares, Ronan; Sampaio, Rudini (2020). "PSPACE: integridad de dos juegos de colorear gráficos". Informática Teórica . 824–825: 36–45. doi : 10.1016/j.tcs.2020.03.022. S2CID 218777459.
- Bradshaw, Peter (2021). "Colores de gráficos con subgrafos bicolores restringidos: II. El juego de colorear gráficos". Revista de teoría de grafos . 100 (2): 371–383. arXiv : 2008.13275 . doi :10.1002/jgt.22786. S2CID 221377336.