[论文解读] Amazons is PSPACE-complete

Robert A. Hearn|ArXiv.org|Feb 2, 2005

Artificial Intelligence in Games参考文献 8被引用 5

一句话总结

本文通过将已知的 PSPACE 完全游戏——正 CNF 公式游戏，归约到一个阿玛宗棋配置，证明了在 n×n 棋盘上进行的广义阿玛宗棋（包含多个阿玛宗）是 PSPACE 完全的。作者使用阿玛宗和箭矢构建了逻辑与布线组件，以模拟变量选择、信号传播和逻辑运算，表明在标准复杂性假设下，阿玛宗棋的最优玩法在计算上是不可解的。

ABSTRACT

Amazons is a board game which combines elements of Chess and Go. It has become popular in recent years, and has served as a useful platform for both game-theoretic study and AI games research. Buro showed that simple Amazons endgames are NP-equivalent, leaving the complexity of the general case as an open problem. We settle this problem, by showing that deciding the outcome of an n x n Amazons position is PSPACE-hard. We give a reduction from one of the PSPACE-complete two-player formula games described by Schaefer. Since the number of moves in an Amazons game is polynomially bounded (unlike Chess and Go), Amazons is in PSPACE. It is thus on a par with other two-player, bounded-move, perfect-information games such as Hex, Othello, and Kayles. Our construction also provides an alternate proof that simple Amazons endgames are NP-equivalent. Our reduction uses a number of amazons polynomial in the input formula length; a remaining open problem is the complexity of Amazons when only a constant number of amazons is used.

研究动机与目标

• 解决广义阿玛宗棋位置计算复杂性的开放问题。
• 证明判定 n×n 阿玛宗棋位置结果的问题是 PSPACE 难的。
• 证明阿玛宗棋属于 PSPACE，因为其游戏步数有多项式有界。
• 提供一种替代证明，表明简单阿玛宗棋残局与 NP 等价。
• 探讨在仅使用常数个阿玛宗的约束下，阿玛宗棋是否仍为 PSPACE 完全，尽管此问题目前仍未解决。

提出的方法

• 从 PSPACE 完全的正 CNF 公式游戏构造一个到阿玛宗棋位置的归约。
• 设计利用阿玛宗移动和箭矢发射实现的信号传播组件，以在导线上传播二进制信号。
• 使用回合控制与信号限流组件实现单向信号流动，防止信号反向传播。
• 设计信号分叉器，使得单个输入仅在存在输入信号时才能同时激活两个输出。
• 通过变量选择与交叉组件构建与门、或门、非门等逻辑门，以模拟公式的逻辑求值。
• 集成胜利组件，仅在玩家选择的变量赋值使公式求值为真时才被激活。

实验结果

研究问题

• RQ1 阿玛宗棋位置的一般决策问题是否为 PSPACE 完全？
• RQ2 能否利用阿玛宗棋机制模拟公式游戏，以确立其计算难度？
• RQ3 阿玛宗棋中步数有多项式有界的特性是否足以确保其属于 PSPACE？
• RQ4 相同的构造能否被调整以证明简单残局为 NP 完全？
• RQ5 当每名玩家仅使用常数个阿玛宗时，阿玛宗棋是否仍为 PSPACE 完全？

主要发现

• 阿玛宗棋是 PSPACE 完全的，因为它既是 PSPACE 难的，也属于 PSPACE。
• 该归约可在多项式时间内从任意正 CNF 公式构造出一个阿玛宗棋位置。
• 当玩家在对弈中选择变量赋值后，若公式求值为真，则白方获胜。
• 该构造使用的阿玛宗数量在公式长度上为多项式级别。
• 相同的组件也提供了一种替代证明，表明简单阿玛宗棋残局与 NP 等价。
• 本文未解决的问题是：当每名玩家仅使用常数个阿玛宗时，阿玛宗棋是否仍为 PSPACE 完全。