arXiv · AI· Philipp von Manteuffel, Benjamin Blankertz·· 4 小时前AI 评分25
解决 Flood-It 谜题：定制化 A* 搜索与声明式求解器方法对比
Solving Flood-It Puzzles: A Comparison of Tailored A* Search with Declarative Solver Approaches
AI 导读
该研究提出基于 A* 搜索优化 Flood-It 谜题最小移动序列的方法，并对比 SAT、整数规划及约束规划求解器。在测试实例中，A* 在约 75% 的情况下找到最小解的速度最快。 随着复杂度（即最小解长度）增加，SAT 方法性能超越 A*。 对于决策问题，A* 在多数谜题中表现最佳，但 SAT 在更高复杂度时占优，尽管交叉点较低。
来源：arXiv · AI · arxiv.org