Solving the NYTimes Pips puzzle with a constraint solver
12 hours ago
- 《纽约时报》推出了一款名为“Pips”的新每日谜题，玩家需在带有各种约束条件的网格上放置多米诺骨牌。
- 作者使用约束求解器（MiniZinc）解决Pips谜题，发现操作直观，从零基础到完成仅用时不到两小时。
- 约束求解器可直接表达条件，并自动求解，通常耗时仅需毫秒级。
- 问题包括：未定义的空单元格导致多余解、求解器行为不可预测以及通过移除约束进行调试。
- 不同求解器后端（如Gecode、Chuffed）性能各异；其中Chuffed处理此类谜题表现最优。
- 求解器通过回溯搜索与约束传播高效剪枝搜索树。
- 使用约束求解器提供了更高级的编程范式，重点在于定义约束而非设计算法。