[論文レビュー] Candy Crush is NP-hard

Toby Walsh|arXiv (Cornell University)|Mar 8, 2014

Artificial Intelligence in Games参考文献 10被引用数 17

ひとこと要約

この論文は、3-SATをゲームのメカニクスに還元することで、人気パズルゲーム『キャンディークラッシュ』の一般化されたバージョンがNP困難であることを証明している。これは、固定回数のスワップ内で目標スコアを達成することが計算的に非効率的であることを示しており、キャンディークラッシュがNP完全パズルのクラスに属することを確立する。この結果は、パズルデザインやハードな計算問題のクラウドソーシングへの応用に影響を与える。

ABSTRACT

We prove that playing Candy Crush to achieve a given score in a fixed number of swaps is NP-hard.

研究の動機と目的

• キャンディークラッシュをパズルゲームとしての計算複雑性を形式的に確立すること。
• 固定回数のスワップ内で与えられたスコアを達成することが計算的に困難かどうかを調査すること。
• NP困難性の結果がパズルデザインやゲーム内のヒューマン問題解決に与える影響を検討すること。
• キャンディークラッシュの構造が、3-SATのようなNP完全問題のエンコードを可能にするかを検討すること。
• キャンディークラッシュを、実用的なNP困難問題のソリューションをクラウドソーシングするプラットフォームとして使用できるかを評価すること。

提案手法

• 無限大の次元を有する一般化されたボードを用いて、3-SATのインスタンスをキャンディークラッシュ問題に還元した。
• 紫色のクラスタを用いた変数ガジェットを構築し、垂直チェーンの形成によって真理値の割り当てをシミュレートした。
• 同じ種類のキャンディーを3つ並べたチェーンを用いて、真理値をボード上で伝搬するワイヤーガジェットを設計した。
• 論理的論理節が満たされた際に多数のチェーンが生成されることで、節ガジェットが節の満たされ具合を検出できるようにした。
• 3つのキャンディーのチェーンのみが形成されるようにし、ストリペッドやラッピングされたキャンディーのような特別なキャンディーを避けるようにした。
• 不必要なチェーンの形成を防ぐために、交互に色が変わるキャンディーのネガティブ背景を用いた。

実験結果

リサーチクエスチョン

• RQ1 キャンディークラッシュで固定回数のスワップ内で目標スコアを達成することは計算的に困難か？
• RQ2 3-SAT問題は、多項式時間還元を用いてキャンディークラッシュのメカニクスにエンコード可能か？
• RQ3 キャンディークラッシュの構造は、他のNP困難問題と同様に、問題の難易度の段階的変化（相転移）を許容するか？
• RQ4 このゲームは、実用的なNP困難問題のソリューションをクラウドソーシングするのに使用可能か？
• RQ5 キャンディークラッシュパズルの唯一の解を特定する問題は、co-NP困難か？

主な発見

• 有効なスワップのシーケンスが多項式時間で検証可能な証拠となるため、キャンディークラッシュ問題はNP完全である。
• 3-SATからキャンディークラッシュへの還元はサイズにおいて多項式的であり、ボードの幅はO(n + m²)、高さはO(m³(n + m²))である。
• 3-SATインスタンスのすべての節が満たされた場合、最大スコアが達成され、これは直接的なワイヤー操作によって得られるスコアを上回る。
• 最大スコアは、変数ガジェットがすべての節を満たすように設定された場合にのみ達成され、解の唯一性が一意にSAT問題に関連づけられる。
• 一意なキャンディークラッシュ問題は、一意にSAT問題の補集合への還元によってco-NP困難である。
• 部分的にしかボードが見えない状況でもNP困難性の結果は成立する。ただし、隠された部分がスコアに寄与しない限り、その限りである。