[論文レビュー] Graph Ramsey games

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

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

ひとこと要約

この論文は、一般のグラフラマージュ回避、回避+（マルチムーブ）、および全自由な状況下での達成ゲームについて、PSPACE完全性を確立し、これらのゲームが計算的に困難であることを証明している。また、非自明な対称的2値ラマージュ数のインスタンスに対して超強力な解を提供し、他のすべての同様のケースが実質的に困難であるという強い証拠を提示している。

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

研究の動機と目的

• 制限のないグラフレーマージュ回避、回避+、および達成ゲームの計算複雑性を特定すること。
• 特に対称的2値ラマージュ数に基づくすべての一般ケースの複雑性状態を解明すること。
• グラフレーマージュ回避ゲームの非自明なインスタンスに対する超強力な解を提供すること。
• 残りのすべての対称的2値ラマージュ数に基づくケースが実質的に困難であるという強い証拠を提示すること。
• Erdös & Selfridge (1973) の先行研究およびその後の組合せラマージュゲームに関する研究を統合・拡張すること。

提案手法

• すべての制限のないグラフレーマージュゲームの変種について、PSPACE完全性を確立するための還元に基づく証明技法。
• 単色部分グラフの制約下で、プレイヤーの手をエッジ彩色の系列としてモデル化するための組合せゲーム理論の原則の適用。
• 確率的数え上げとヒューリスティック解析を用いて、対称的ラマージュ数インスタンスにおけるゲームツリーの複雑さと困難性を評価。
• 機械学習にインspiredされたヒューリスティクスとJavaアプリレットシミュレーションを用いて、特定のゲームインスタンスの解法を探索・検証。
• 対称的ゲーム状態の分析と状態空間探索の削減のためのポリアの数え上げ公式の応用。
• 選択された非自明なラマージュ数構成における全探索と対称性削減による超強力な解法。

実験結果

リサーチクエスチョン

• RQ1 移動サイズやグラフ構造に制限のない一般のグラフレーマージュ回避ゲームの計算複雑性は何か？
• RQ2 一般の困難性にもかかわらず、特定の対称的2値ラマージュ数構成は超強力な解を有するのか？
• RQ3 制限のないすべてのケースにおいて、グラフレーマージュ達成ゲームのPSPACE完全性は形式的に確立できるか？
• RQ4 ヒューリスティックおよび確率的手法は、ラマージュに基づくゲームの困難性をどの程度明らかにできるか？
• RQ5 大多数の対称的2値ラマージュに基づくラマージュゲームが実質的に困難であるという主張を裏付ける証拠は何か？

主な発見

• 制限のないすべてのグラフレーマージュ回避、回避+、および達成ゲームの変種がPSPACE完全であることが証明された。
• 対称的2値ラマージュ数に基づく非自明なグラフレーマージュ回避ゲームのインスタンスが超強力に解かれており、完全なゲーム理論的分析が可能である。
• 本論文は、他のすべての対称的2値ラマージュ数に基づくゲームが、実用的な計算をはるかに超えて実質的に困難であるという強い証拠を提供している。
• 結果はErdös & Selfridge (1973) の先行研究を統合・拡張し、これらのゲームがすべての一般ケースにおいて困難であることを確認している。
• 確率的数え上げとヒューリスティック手法は、大規模なゲーム状態空間において一貫した困難性のパターンを示している。
• 対称性削減とポリアの数え上げの使用により、状態空間探索が顕著に削減され、特定のインスタンスに対して超強力な解法が可能になった。