[论文解读] Graph Ramsey games

Wolfgang Slany|arXiv (Cornell University)|Nov 10, 1999

Limits and Structures in Graph Theory参考文献 39被引用 3

一句话总结

本文证明了在所有无限制情况下，一般图拉姆齐避免、避免+（多步）以及达成游戏的PSPACE-完全性，证明了这些游戏在计算上是难以处理的。此外，本文还为非平凡对称二元拉姆齐数实例提供了超强解，为其他所有此类情况的不可解性提供了强有力证据。

ABSTRACT

We consider combinatorial avoidance and achievement games based on graph Ramsey theory: The players take turns in coloring still uncolored edges of a graph G, each player being assigned a distinct color, choosing one edge per move. In avoidance games, completing a monochromatic subgraph isomorphic to another graph A leads to immediate defeat or is forbidden and the first player that cannot move loses. In the avoidance+ variants, both players are free to choose more than one edge per move. In achievement games, the first player that completes a monochromatic subgraph isomorphic to A wins. Erdos & Selfridge (1973) were the first to identify some tractable subcases of these games, followed by a large number of further studies. We complete these investigations by settling the complexity of all unrestricted cases: We prove that general graph Ramsey avoidance, avoidance+, and achievement games and several variants thereof are PSPACE-complete. We ultra-strongly solve some nontrivial instances of graph Ramsey avoidance games that are based on symmetric binary Ramsey numbers and provide strong evidence that all other cases based on symmetric binary Ramsey numbers are effectively intractable. Keywords: combinatorial games, graph Ramsey theory, Ramsey game, PSPACE-completeness, complexity, edge coloring, winning strategy, achievement game, avoidance game, the game of Sim, Polya's enumeration formula, probabilistic counting, machine learning, heuristics, Java applet

研究动机与目标

• 确定无限制图拉姆齐避免、避免+和达成游戏的计算复杂度。
• 解决这些游戏所有一般情况的复杂度状态，特别是基于对称二元拉姆齐数的情况。
• 为图拉姆齐避免游戏的非平凡实例提供超强解。
• 提供强有力证据，表明所有其他基于对称二元拉姆齐数的游戏在实际计算中本质上是不可解的。
• 统一并扩展Erdös与Selfridge（1973）以及后续对组合拉姆齐游戏研究的工作。

提出的方法

• 基于归约的证明技术，确立所有无限制图拉姆齐游戏变体的PSPACE-完全性。
• 应用组合博弈论原理，将玩家的走法建模为在单色子图约束下的边着色序列。
• 使用概率计数和启发式分析，评估对称拉姆齐数实例中游戏树的复杂度和不可解性。
• 采用受机器学习启发的启发式方法和Java小程序模拟，探索并验证特定游戏实例的解。
• 改编波利亚计数公式，以分析对称游戏状态并减少状态空间探索。
• 通过穷举搜索和对称性约简，对选定的非平凡拉姆齐数配置进行超强求解。

实验结果

研究问题

• RQ1 在不限制走法大小或图结构的情况下，一般图拉姆齐避免游戏的计算复杂度是什么？
• RQ2 是否存在某些特定的对称二元拉姆齐数配置，即使在一般情况下不可解，也能获得超强解？
• RQ3 能否在所有无限制情况下，正式确立图拉姆齐达成游戏的PSPACE-完全性？
• RQ4 启发式和概率方法在多大程度上能揭示基于拉姆齐游戏的不可解性？
• RQ5 有哪些证据支持‘大多数基于对称二元拉姆齐数的游戏在实际中本质上是不可解’这一说法？

主要发现

• 所有无限制的图拉姆齐避免、避免+和达成游戏变体均被证明为PSPACE-完全。
• 基于对称二元拉姆齐数的非平凡图拉姆齐避免游戏实例已实现超强求解，提供了完整的博弈论分析。
• 本文提供了强有力的证据，表明所有其他基于对称二元拉姆齐数的游戏在实际计算中本质上是不可解的。
• 研究结果统一并扩展了Erdös与Selfridge（1973）的前期工作，确认了这些游戏在所有一般情况下的困难性。
• 概率计数和启发式方法在大规模游戏状态空间中展现出一致的不可解性模式。
• 对称性约简和波利亚计数公式的应用显著减少了状态空间探索，使得特定实例的超强求解成为可能。