[論文レビュー] Mastermind is NP-Complete

Jeff Stuckman, Guo‐Qiang Zhang|Americanae (AECID Library)|Dec 13, 2005

Artificial Intelligence in Games参考文献 7被引用数 44

ひとこと要約

この論文は、頂点被覆問題（NP困難）を多項式時間変換によってMSPに還元することにより、マスターマインズ充足可能性問題（MSP）がNP完全であることを証明している。著者らは、グラフの頂点と辺をマスターマインズのインスタンスにおける色として符号化し、特定の推測-応答制約を用いて頂点被覆の検証をシミュレートし、MSPを解くことがNP完全問題を解くのと同等に計算的に困難であることを確立している。

ABSTRACT

In this paper we show that the Mastermind Satisfiability Problem (MSP) is NP-complete. The Mastermind is a popular game which can be turned into a logical puzzle called Mastermind Satisfiability Problem in a similar spirit to the Minesweeper puzzle. By proving that MSP is NP-complete, we reveal its intrinsic computational property that makes it challenging and interesting. This serves as an addition to our knowledge about a host of other puzzles, such as Minesweeper, Mah-Jongg, and the 15-puzzle.

研究の動機と目的

• マスターマインズ充足可能性問題（MSP）の計算複雑性を特定すること。これはマスターマインズゲームの意思決定版である。
• 既知のNP困難な頂点被覆問題からMSPを還元することで、MSPがNP完全であることを示すこと。
• マスターマインズのフィードバックメカニズムを、正しい位置（黒いペグ）を数える距離測度と、正しい色だが間違った位置（白いペグ）を数える距離測度の2つに形式化すること。
• MSPを解くことが一般の場合には計算的に非効率的であることを示すこと。これは論理パズルとして直感的に魅力的であるが、その背後には計算の困難性がある。

提案手法

• κが色の数、ℓが解の長さであるN^ℓ_κ内のタプルを用いてマスターマインズを形式化する。
• マスターマインズのスコアρ(x, y) = (b, w−b)を整数のペアとして定義する。ここでbは正しい色-位置の一致数、w−bは正しい色だが間違った位置の一致数を表す。
• 2つの距離測度を導入する：ρ₁(x,y) = ℓ−b（都市街区距離に類似）とρ₂(x,y) = ℓ−w（多重集合の対称差）。両者とも有効な距離関数であることが証明された。
• 頂点被覆(n)問題からMSPへの多項式時間還元を構築する。頂点と辺を異なる色として符号化し、解空間を制約するための制御色YとNを用いる。
• 4種類の推測を設計する：すべてNの推測（Nを解から除外）、YYYに続くNの列（最初の3位置をYに固定）、エッジ固有の推測(ei,a,b)でスコア(0,2)、およびスコア(3,n)の完全な頂点推測。
• 同値性の証明：元のグラフに有効な頂点被覆が存在するための必要十分条件は、構築されたMSPインスタンスに解が存在することである。

実験結果

リサーチクエスチョン

• RQ1 マスターマインズ充足可能性問題（MSP）は一般の場合に計算的に困難であるか？
• RQ2 NP困難な頂点被覆問題を多項式時間でMSPに還元できるか？
• RQ3 マスターマインズのフィードバック機構（黒いペグと白いペグの両方）は、組合せ的空間における2つの距離測度として形式化可能か？
• RQ4 グラフ問題の構成的符号化を通じて、マスターマインズの論理的パズル変種がNP完全であることを示せるか？
• RQ5 マスターマインズの解の一意性は、解そのものを求めるのと同じ複雑さで判定可能か？

主な発見

• マスターマインズ充足可能性問題（MSP）は、頂点被覆問題からの多項式時間還元によりNP完全であることが証明された。
• 還元にはκ = #V + #E + 2色とℓ = 3 + 2#V + #Eの位置を用い、頂点、エッジ、制御記号（Y, N）を異なる色として符号化した。
• スコア制約（0,0）、（3,0）、（0,2）、（3,n）は構造的制約を強制する：Nは除外され、最初の3位置はYに固定され、エッジの推測は2色が正しい色だが間違った位置に一致し、正確にn個の頂点色が出現する。
• MSPインスタンスに解が存在するための必要十分条件は、元のグラフにサイズnの頂点被覆が存在することである。これにより還元の正しさが確立された。
• 解の一意性は、MSPを解くのと同程度の多項式時間で検証可能であり、解の探索と同等に困難ではないことを示している。
• この結果により、NP完全パズルのクラスにマスターマインズが追加された。これにはミネーソー、15パズルなども含まれる。