[論文レビュー] Amazons is PSPACE-complete

Robert A. Hearn|ArXiv.org|Feb 2, 2005

Artificial Intelligence in Games参考文献 8被引用数 5

ひとこと要約

この論文は、n×nの盤上で複数のアマゾンがいる一般化されたアマゾンズについて、既知のPSPACE完全なゲームである正のCNF論理式ゲームを一般化アマゾンズの配置に還元することで、PSPACE完全であることを証明している。著者らは、アマゾンと矢印を用いて論理ゲートや配線ゲートを構築し、変数選択、信号伝搬、論理演算をシミュレートした。これにより、標準的な複雑性仮定のもとで、アマゾンズにおける最適戦略の計算的困難性が示された。

ABSTRACT

Amazons is a board game which combines elements of Chess and Go. It has become popular in recent years, and has served as a useful platform for both game-theoretic study and AI games research. Buro showed that simple Amazons endgames are NP-equivalent, leaving the complexity of the general case as an open problem. We settle this problem, by showing that deciding the outcome of an n x n Amazons position is PSPACE-hard. We give a reduction from one of the PSPACE-complete two-player formula games described by Schaefer. Since the number of moves in an Amazons game is polynomially bounded (unlike Chess and Go), Amazons is in PSPACE. It is thus on a par with other two-player, bounded-move, perfect-information games such as Hex, Othello, and Kayles. Our construction also provides an alternate proof that simple Amazons endgames are NP-equivalent. Our reduction uses a number of amazons polynomial in the input formula length; a remaining open problem is the complexity of Amazons when only a constant number of amazons is used.

研究の動機と目的

• 一般アマゾンズの位置の計算複雑性という未解決問題を解明すること。
• n×nのアマゾンズの位置の結果を決定することはPSPACE困難であることを示すこと。
• アマゾンズの手数が多項式的に有界であることから、アマゾンズがPSPACEに属することを示すこと。
• 単純なアマゾンズ終盤がNP同等であるという別証明を提供すること。
• 定数個のアマゾンしか使えない制約下でもPSPACE完全性が成立するかを検討すること。ただし、これは未解決のまま。

提案手法

• PSPACE完全な正のCNF論理式ゲームから、アマゾンズの位置への還元を構築すること。
• アマゾンの移動と矢の発射を用いて、信号伝搬ゲートを設計し、ワイヤーに沿った2値信号をシミュレートすること。
• ターン制御とフローリミッター・ゲートを用いて、信号の逆転を防ぐ一方向信号伝搬を実装すること。
• 入力信号が存在する場合にのみ、1つの入力が2つの出力を同時に活性化できる信号分岐器を構築すること。
• 変数ゲートとクロスオーバー・ゲートを用いて、AND、OR、NOT論理ゲートを実装し、論理式の評価をシミュレートすること。
• プレイヤーの変数選択に基づき論理式が真に評価された場合にのみ作動する勝利ゲートを統合すること。

実験結果

リサーチクエスチョン

• RQ1 アマゾンズの一般的決定問題はPSPACE完全か？
• RQ2 論理式ゲームは、アマゾンズのメカニズムを用いてシミュレート可能であり、その結果として困難性が示せるか？
• RQ3 アマゾンズの手数が多項式的に有界であることから、PSPACEに属することが保証されるか？
• RQ4 同じ構成を用いて、単純なアマゾンズ終盤がNP完全であることを示せるか？
• RQ5 1人あたりのアマゾンの数が定数個に制限された場合でも、アマゾンズはPSPACE完全のままか？

主な発見

• アマゾンズはPSPACE完全である。なぜなら、PSPACE困難かつPSPACEに属するからである。
• 還元は、任意の正のCNF論理式から、多項式時間でアマゾンズの位置を構築する。
• 白番が勝つのは、対局中に選ばれた変数割り当てのもとで論理式が真に評価される場合に限る。
• 構成には、論理式の長さに多項式的に比例する数のアマゾンが使用される。
• 同じゲート構成により、単純なアマゾンズ終盤がNP同等であるという別証明が得られる。
• 論文では、1人あたりのアマゾンの数が定数個に制限された場合でも、アマゾンズがPSPACE完全のままかどうかは未解決のままである。