[论文解读] Gaming is a hard job, but someone has to do it!

Giovanni Viglietta|arXiv (Cornell University)|Jan 24, 2012

Artificial Intelligence in Games参考文献 9被引用 12

一句话总结

本文建立了通用元定理，将特定游戏机制（如一次性路径、可收集物品和可破坏元素）与计算复杂性联系起来，并将其应用于证明经典电子游戏（1980–1998年）的NP难或PSPACE完全性。研究显示，由于结构约束类似于NP完全问题，Tron、Pac-Man 和 StarCraft 等游戏为NP难，通过可扩展的关卡设计，从已知难题进行约化。

ABSTRACT

We establish some general schemes relating the computational complexity of a video game to the presence of certain common elements or mechanics, such as destroyable paths, collectible items, doors opened by keys or activated by buttons or pressure plates, etc. Then we apply such "metatheorems" to several video games published between 1980 and 1998, including Pac-Man, Tron, Lode Runner, Boulder Dash, Deflektor, Mindbender, Pipe Mania, Skweek, Prince of Persia, Lemmings, Doom, Puzzle Bobble~3, and Starcraft. We obtain both new results, and improvements or alternative proofs of previously known results.

研究动机与目标

• 识别在电子游戏中引发计算困难的重复出现的游戏机制。
• 开发将特定机制与NP和PSPACE等复杂度类联系起来的通用元定理。
• 将这些元定理应用于1980–1998年间的广泛经典“无脚本”电子游戏。
• 为知名游戏（如Tron、Lemmings和StarCraft）提供新的或改进的困难性证明。
• 探索移除关键机制后对游戏复杂度谱的影响。

提出的方法

• 设计经典电子游戏的可扩展泛化版本，以创建无限多的关卡家族。
• 使用将已知NP或PSPACE完全问题约化到游戏机制（如位置遍历和一次性路径）的元定理。
• 通过墙壁、路径和游戏元素的特定排列构建关卡，以模拟逻辑门或路径约束。
• 通过将3-SAT或哈密顿路径等问题约化，将它们编码为可破坏路径和可收集物品等游戏机制。
• 在Tron中使用光剑车轨迹模拟一次性路径，并强制执行路径遍历约束。
• 通过确保每个顶点仅存在一条可行路径来验证可解性条件，从而通过路径长度和障碍物约束强制实现NP难性。

实验结果

研究问题

• RQ1 哪些常见游戏机制在电子游戏中始终导致NP难或PSPACE完全复杂性？
• RQ2 能否推导出通用元定理，以根据游戏机制自动推断游戏的复杂度？
• RQ3 像Tron这样的游戏的计算复杂度是否为NP难，且能否通过从已知难题约化来证明？
• RQ4 移除关键机制（如可破坏路径）如何影响游戏的复杂度？
• RQ5 相同的约化框架能否统一应用于Pac-Man、Lemmings和StarCraft等多样化游戏？

主要发现

• Tron（1982年）通过使用光剑车轨迹模拟一次性路径并强制执行位置遍历，经约化证明为NP难。
• 游戏机制中若存在一次性路径和位置遍历特征，可暗示NP难性，如元定理1所形式化。
• 通过涉及路径约束和可收集物品的类似约化，证明Pac-Man、Lode Runner和Boulder Dash为NP难。
• 通过使用Protoss和Terran单位建模从3-SAT的约化，证明StarCraft为NP难，其中资源收集和单位训练强制执行路径遍历。
• Tron中的构造确保玩家必须访问所有必需的顶点，因为所需路径长度超过任一顶点的面积，从而强制完全遍历。
• 本文通过统一的元定理框架，为Lemmings和Doom等游戏先前已知的困难性结果提供了改进或替代证明。