[论文解读] Misere Hackenbush is NP-Hard

Fraser Stewart|arXiv (Cornell University)|Feb 17, 2012

Artificial Intelligence in Games参考文献 3被引用 3

一句话总结

本文通过从已知为 NP-难的正常规则红蓝 Hackenbush 问题约化，证明了红蓝绿无胜规则 Hackenbush 是 NP-难的。虽然仅含红蓝边的无胜规则红蓝 Hackenbush 可通过简单计算接地边数在多项式时间内求解，但引入可由双方玩家移除的绿色边后，组合复杂性显著增加，使问题在无胜规则下达到 NP-难。

ABSTRACT

Hackenbush is a two player game, played on a graph with coloured edges where players take it in turns to remove edges of their own colour. It has been shown that under normal play rules Red-Blue Hackenbush (all edges are coloured either red or blue) is NP-hard. We will show that Red-Blue Hackenbush is in P, but that Red-Blue-Green Hackenbush is NP-Hard, when played under misère rules.

研究动机与目标

• 确定在无胜规则下红蓝绿无胜 Hackenbush 的计算复杂性。
• 对比仅含红蓝边的无胜规则红蓝 Hackenbush（可多项式时间求解）与引入绿色边后更复杂情形的复杂性差异。
• 确立绿色边（可由双方玩家移除）的引入显著提升了问题难度，导致 NP-难性。
• 研究游戏的受限形式（例如仅含接地绿色边）是否仍为 NP-难。

提出的方法

• 构建从正常规则红蓝 Hackenbush 到无胜规则红蓝绿 Hackenbush 的约化。
• 变换过程将地面替换为单个顶点，并将所得图连接到一条接地的绿色边。
• 该结构确保任一玩家都不会过早切断绿色边，因为这在无胜规则下会立即输掉游戏。
• 变换后游戏 $ G_m $ 的结果与原始游戏 $ G' $ 在正常规则下的结果一致。
• 证明依赖于这样一个事实：在正常规则下获胜的玩家，在无胜规则下 $ G_m $ 中也将获胜。
• 该约化保持了 NP-难性，从而证明求解 $ G_m $ 至少与求解原始 NP-难问题一样困难。

实验结果

研究问题

• RQ1 尽管红蓝无胜 Hackenbush 可在多项式时间内求解，红蓝绿无胜 Hackenbush 是否仍为 NP-难？
• RQ2 正常规则红蓝 Hackenbush 的 NP-难性是否可传递至含绿色边的无胜版本？
• RQ3 绿色边（可由双方玩家移除）的存在是否从根本上改变了游戏的计算复杂性？
• RQ4 是否存在红蓝绿无胜 Hackenbush 的受限子类（例如仅含接地绿色边）仍为 NP-难？

主要发现

• 红蓝无胜 Hackenbush 可在多项式时间内求解，结果仅取决于接地蓝边与红边数量的比较。
• 若接地蓝边数量多于红边，则左玩家获胜；若红边多于蓝边，则右玩家获胜；若相等，则先手玩家获胜。
• 在红蓝绿无胜 Hackenbush 中增加绿色边使问题复杂性提升至 NP-难。
• NP-难性通过从已知为 NP-难的正常规则红蓝 Hackenbush 约化而确立。
• 约化构造了一个游戏 $ G_m $，其在无胜规则下的结果与 $ G' $ 在正常规则下的结果一致。
• 证明表明，在 $ G_m $ 中任一玩家都不会切断那条接地的绿色边，因为这样做会在无胜规则下立即导致对方获胜。