[论文解读] 2048 Without New Tiles Is Still Hard

Ahmed Abdelkader, Aditya Acharya+1 more|arXiv (Cornell University)|Jan 15, 2015

Artificial Intelligence in Games参考文献 2被引用 4

一句话总结

本文证明了流行的2048滑动拼图游戏在游戏过程中不生成新方块时仍是NP难的。作者通过将3-SAT问题约化为广义2048游戏，设计了自定义棋盘组件（如坍缩器、变量和文字组件），以模拟逻辑约束。关键结果是：从给定棋盘配置中判断是否能生成2048方块，在NP意义下是计算上不可行的。

ABSTRACT

We study the computational complexity of a variant of the popular 2048 game in which no new tiles are generated after each move. As usual, instances are defined on rectangular boards of arbitrary size. We consider the natural decision problems of achieving a given constant tile value, score or number of moves. We also consider approximating the maximum achievable value for these three objectives. We prove all these problems are NP-hard by a reduction from 3SAT. Furthermore, we consider potential extensions of these results to a similar variant of the Threes! game. To this end, we report on a peculiar motion pattern, that is not possible in 2048, which we found much harder to control by similar board designs.

研究动机与目标

• 研究在不生成新方块的情况下2048游戏的计算复杂性。
• 确定在给定棋盘配置下，是否可判定能否生成特定高分值方块（例如2048）。
• 将复杂性分析扩展至另一款滑动合并益智游戏Threes!，其机制与2048相似。
• 形式化广义2048中的决策问题，并通过已知NP完全问题的约化证明其NP难性。

提出的方法

• 构建了一个广义2048游戏，支持任意棋盘大小，初始方块配置固定，且不包含随机方块生成。
• 设计了专用棋盘组件：坍缩器（用于2×2方块移动）、变量组件（通过左右合并实现真值赋值）、文字组件（通过垂直对齐实现逻辑满足）。
• 采用2-4棋盘格结构以保持奇偶性，防止非预期的合并。
• 通过将3-SAT约化为2048决策问题，将变量和文字编码为可模拟逻辑约束的方块配置。
• 证明了能够成功生成2048方块的移动序列，恰好对应于3-SAT实例的一个满足赋值。
• 通过调整方块值（3·2^k）并考虑合并后产生的持久空位，将该构造适配至Threes!游戏。

实验结果

研究问题

• RQ1 在不生成新方块的前提下，判断从给定初始棋盘配置中能否生成2048方块是否为NP难问题？
• RQ2 2048游戏是否可通过方块动力学与合并机制模拟3-SAT实例的计算过程？
• RQ3 Threes!在计算复杂性方面有何表现，特别是合并后产生的持久空位如何影响其复杂性？
• RQ4 尽管移动与合并规则存在差异，是否可将2048所用的约化技术适配至Threes!，以证明其NP难性？

主要发现

• 决策问题‘从给定棋盘是否能生成2048方块’是NP难的，通过从3-SAT到2048问题的单射约化得到证明。
• 该构造使用多项式有界的组件（坍缩器、变量、文字组件），通过受控方块合并模拟逻辑变量与文字。
• 棋盘格结构确保仅发生预期的合并，从而保持逻辑编码的完整性。
• 对于Threes!，相同约化策略仍适用，但需通过仔细的空间隔离避免合并产生的空位造成干扰。
• 作者推测Threes!同样为NP难，基于其结构相似性及2048约化方法的可适配性。
• 本文纠正了先前关于2048为PSPACE完全的断言，表明该工作中构造仅实现NP完全性，原因在于不可逆合并与不一致的移动语义。