[論文レビュー] Computational Complexity of Games and Puzzles

Diogo M. Costa|arXiv (Cornell University)|Jul 12, 2018

Artificial Intelligence in Games参考文献 39被引用数 13

ひとこと要約

この論文は計算複雑性理論を用いて、既知のNP完全およびPSPACE完全問題からの還元を用いて、Hexiom、Cut the Rope、Back to Bed などのパズルゲームの計算的難易度を分析している。これらのゲームがNP-hard（3-CNFSATを用いた還元により）またはPSPACE完全（TQBFを用いた還元により）であることが示され、ガジェットに基づく構成によってそれらのゲームに内在するアルゴリズム的難易度が明らかにされた。

ABSTRACT

In this thesis, we survey techniques and results from the study of Complexity Theory and Games. We then apply these techniques to obtain new results for previously unstudied games. Our contributions in the games Hexiom, Cut the Rope, and Back to Bed may be helpful in further studies by exploiting structure common to several games. We also highlight some interesting paths for further study related to uncertainty that have yet to receive thorough study given their prevalence in today's games.

研究の動機と目的

• 形式的複雑性理論を用いて、これまで未調査であったパズルゲームの計算複雑性を調査すること。
• NP-hardness や PSPACE-hardness の還元、回路SAT、TQBF といった、複雑性理論における既存の枠組みを、Hexiom、Cut the Rope、Back to Bed といった新しいゲームに適用すること。
• 複数のゲームに共通する構造的パターンを同定し、それらを複雑性証明に活用する方法を特定すること。
• 特に現代のゲームにおける不確実性や隠れた情報が計算複雑性に与える影響について、未解決の研究課題を探索すること。
• 見かけは単純なパズルメカニズムが、複雑な論理問題を符号化できることを示し、それらに固有のアルゴリズム的難易度が内在していることを示すこと。

提案手法

• 3-CNFSAT、回路SAT、TQBF を用いたNP-hardnessおよびPSPACE-hardnessの還元フレームワークを用いて、論理式をゲームメカニズムに符号化した。
• 論理ゲートや制約をシミュレートするための、ゲーム固有のガジェット（例：変数選択子、スイッチ、ドア、経路セグメント）を設計した。
• 論理式（例：$(\lnot x \land y) \lor x$）をHexiomにおける物理的パズル配置にマッピングし、論理式が充足可能である場合にのみ解が存在することを保証した。
• 特にHexiomにおいて、充足可能性が正しく評価される場合にのみ解が存在するように、偶数性と余剰セルの数え上げを用いて制御した。
• Back to Bed においては、TQBF フレームワークを変更し、巡回する敵キャラクターを動的ドア機構として用い、配線の必要性を排除した。
• 複数のゲームにわたるガジェット配置の可視化と注釈付きの具体例を用いて、構成の妥当性を検証した。

実験結果

リサーチクエスチョン

• RQ1 ゲームHexiomは計算的に難しいか？ もしそうなら、どの計算複雑性クラスに属するか？
• RQ2 Cut the Rope のメカニズムは3-CNFSATをシミュレートでき、NP-hardnessを証明できるか？
• RQ3 Back to Bed の2人用・完全情報メカニズムは、TQBF をシミュレートするためにどのように利用できるか？ これによりPSPACE完全性が示されるか？
• RQ4 移動、スイッチ、経路探索といった一般的なパズルゲームメカニズムは、どれほど普遍的な計算問題を符号化できるか？
• RQ5 隠れた情報や不確実性は、現代ゲームの複雑性にどのような役割を果たすのか？ なぜこの分野は未だにあまり研究されていないのか？

主な発見

• Hexiom は3-CNFSATからの還元によりNP-hardであることが証明され、解法可能性は論理式の充足可能性と等価であることが示された。
• Cut the Rope は3-CNFSATに基づく還元によりNP-hardであることが示され、論理ゲートと変数の割り当てをシミュレートするガジェットが使用された。
• Back to Bed はTQBFに基づく還元によりPSPACE完全であることが証明され、巡回する敵キャラクターが動的ドア機構として機能した。
• Offspring Fling はTQBFフレームワークを用いてPSPACE完全であることが示され、移動と持ち運びの制約が量化されたブール論理式を符号化した。
• HexCells および Triangular Akari は回路SATの還元によりNP-hardであることが証明され、光の伝播とタイル配置が論理回路を模倣した。
• 本論文は、Hexiomにおける余剰セルと偶数性の数え上げメカニズムが、正しい論理評価を強制するために利用できることを示した。これにより、論理式が真である場合にのみ解が存在することが保証された。