[论文解读] 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）的计算复杂性，MSP 是主谋游戏的一个判定变体。
• 通过从已知的 NP-难点覆盖问题归约，证明 MSP 是 NP-完全的。
• 使用两种距离度量形式化主谋反馈机制：一种用于正确位置（黑 peg），另一种用于正确颜色但位置错误（白 peg）。
• 证明尽管主谋谜题在直觉上看似是逻辑谜题，但在一般情况下求解 MSP 在计算上是不可行的。

提出的方法

• 使用 N^ℓ_κ 中的元组形式化主谋，其中 κ 为颜色数量，ℓ 为解的长度。
• 定义主谋得分 ρ(x, y) = (b, w−b) 为一对整数：b 表示颜色与位置均匹配的数量，w−b 表示颜色正确但位置错误的数量。
• 引入两种距离度量：ρ₁(x,y) = ℓ−b（类似曼哈顿距离）和 ρ₂(x,y) = ℓ−w（多重集的对称差），两者均被证明是有效的度量。
• 通过将顶点覆盖(n)问题多项式时间归约至 MSP，将顶点和边编码为不同颜色，使用控制颜色 Y 和 N 来约束解空间。
• 设计四种类型的猜测：全 N（用于排除 N 在解中出现）、YYY 后接 N（用于将前三个位置固定为 Y）、针对边的猜测 (ei,a,b) 且得分 (0,2)，以及一个完整顶点猜测且得分 (3,n)。
• 证明等价性：当且仅当原图中存在大小为 n 的点覆盖时，所构造的 MSP 实例存在解。

实验结果

研究问题

• RQ1 主谋可满足性问题（MSP）在一般情况下是否计算上困难？
• RQ2 是否可以将 NP-难的点覆盖问题在多项式时间内归约至 MSP？
• RQ3 主谋中的反馈机制——包含黑 peg 和白 peg——是否可以被形式化为组合空间中的一对距离度量？
• RQ4 是否可以通过图问题的构造性编码，证明主谋的一个逻辑谜题变体是 NP-完全的？
• RQ5 主谋解的唯一性是否与求解本身具有相同的复杂性可判定？

主要发现

• 通过从点覆盖问题的多项式时间归约，证明了主谋可满足性问题（MSP）是 NP-完全的。
• 归约使用了 κ = #V + #E + 2 种颜色和 ℓ = 3 + 2#V + #E 个位置，将顶点、边以及控制符号（Y, N）编码为不同颜色。
• 得分约束 (0,0)、(3,0)、(0,2) 和 (3,n) 强制实施结构约束：N 被排除在解外，前三个位置被固定为 Y，边猜测必须在错误位置匹配两种颜色，且恰好出现 n 种顶点颜色。
• 当且仅当原图存在大小为 n 的点覆盖时，MSP 实例存在解，从而确立了归约的正确性。
• 解的唯一性可以在相对于求解 MSP 的多项式时间内验证，这意味着唯一性检查的复杂度不高于求解本身。
• 该结果将 NP-完全谜题的类别扩展至包含主谋，与数雷游戏和 15-数码谜题等并列。