arXiv · cs.AI· Philipp von Manteuffel·· 5 天前AI 评分12
Flood-It 求解：定制化 A* 搜索与 SAT 等声明式求解器方法的对比
Solving Flood-It Puzzles: A Comparison of Tailored A* Search with Declarative Solver Approaches
来源与原文
arXiv · cs.AI
作者：Philipp von Manteuffel
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.31100v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
一项研究提出用带启发式函数和游戏状态等价剪枝的 A* 搜索求 Flood-It 谜题的最少步数解，并与 SAT、Integer Programming、Constraint Programming 求解器方法对比。在测试实例中，A* 在约 75% 的实例上最快找到最小解；但随着最小解长度增大、复杂度提高，SAT 方法反超 A*。在判定问题（判断给定长度解是否存在）的对比中 A* 整体表现最好，高复杂度时仍是 SAT 占优，且交叉点更低。
来源：arXiv · cs.AI · arxiv.org