[論文レビュー] 2048 is (PSPACE) Hard, but Sometimes Easy

Rahul Mehta|arXiv (Cornell University)|Aug 27, 2014

Artificial Intelligence in Games参考文献 6被引用数 9

ひとこと要約

この論文は、非決定的制約論理（NCL）からの還元を用いて、2048パズルゲームの変種がPSPACE完全であることを証明し、計算的に困難であることを確立している。一方で、勝利配置が正確にk手で達成可能かどうかを判定するための固定パrameter tractable（FPT）アルゴリズム（O(4^k n²)時間）を提示しており、手数kが小さい場合には取り扱い可能であることを示している。

ABSTRACT

We prove that a variant of 2048, a popular online puzzle game, is PSPACE-Complete. Our hardness result holds for a version of the problem where the player has oracle access to the computer player's moves. Specifically, we show that for an $n imes n$ game board $\mathcal{G}$, computing a sequence of moves to reach a particular configuration $\mathbb{C}$ from an initial configuration $\mathbb{C}_0$ is PSPACE-Complete. Our reduction is from Nondeterministic Constraint Logic (NCL). We also show that determining whether or not there exists a fixed sequence of moves $\mathcal{S} \in \{\Uparrow, \Downarrow, \Leftarrow, \Rightarrow\}^k$ of length $k$ that results in a winning configuration for an $n imes n$ game board is fixed-parameter tractable (FPT). We describe an algorithm to solve this problem in $O(4^k n^2)$ time.

研究の動機と目的

• プレイヤーがコンピュータの手応答をオракルで得られる場合の2048を解く計算量の複雑性を特定すること。
• コンピュータの挙動を完全に把握している場合でも、問題が依然として困難であるかどうかを調査すること。
• 固定長の手数制約下で問題が取り扱いやすくなるかどうかを検討すること。
• 正確にk手で勝利シーケンスが達成可能かどうかを効率的に判定するアルゴリズムを設計すること。

提案手法

• Nondeterministic Constraint Logic (NCL) 問題を2048の配置から配置への問題に還元することで、PSPACE困難性を証明する。
• NCLの構成要素をシミュレートするための特別なゲームボード部品（頂点、k-k'-接続、k-ライン、k-コーナー）を構築する。
• NCLグラフの4色塗り分けを用いて、これらの部品を2048ボード上の配置と向きを決定する。
• 長さkのすべての可能な手順を表す4分木構造を持つゲームツリー走査手法を採用する。
• O(4^k n²)時間でゲームツリーを走査し、各リーフノードについてn²個のタイルをすべて目標値2^mと比較して勝利配置かを確認する。
• ゲームオーバー状態（4つの子の手がすべて同じボード状態をもたらす）に達した場合、再帰を即座に終了することで枝刈りを実装する。

実験結果

リサーチクエスチョン

• RQ1 2048ゲームがコンピュータの手応答をオーケストラで得られる場合、PSPACE完全であるか？
• RQ2 2048で特定の配置に到達する問題は、非決定的制約論理（NCL）に還元可能か？
• RQ3 手数kを固定することで、一般に困難な問題でも取り扱いやすくなるか？
• RQ4 正確にk手で勝利配置に到達可能かどうかを判定する時間計算量は何か？
• RQ5 ゲームツリー走査アルゴリズムは、2048のk手バージョンを効率的に解けるか？

主な発見

• 初期配置からオーケストラによるコンピュータの応答を知ることができる2048-ゲーム問題は、PSPACE完全であることが証明された。
• コンピュータの応答を完全に把握しているという仮定の下でも、この難易度結果は成立し、ゲームが依然として計算的に困難であることを示している。
• 2048-k-Moves問題（正確にk手で勝利配置に到達可能か）は、O(4^k n²)時間で解けるため、FPT複雑性クラスに属する。
• FPTアルゴリズムは深さkの4分木を構築し、4^k個のリーフノードの各々について勝利配置かをチェックする。各チェックにはO(n²)時間が必要。
• アルゴリズムには枝刈りが組み込まれており、ゲームオーバー状態（以降の手がボード状態を変えない）に達した場合、その分岐の再帰を早期に終了する。
• NCLから2048への還元には、任意の平面的制約グラフをシミュレートするためのカスタムガジェット（k-k'-接続、k-ライン、k-コーナー）を用い、完全性の結果を証明している。