HN讨论 · 身份未知
推箱子求解器示例缺少能展示死状态陷阱的难题
评论者在 HN 展示帖中指出，当前推箱子最优求解器的示例谜题在只求可行解时都不算难；他希望看到至少一个包含棘手死状态陷阱的示例，以验证求解器避开这些搜索陷阱找解的能力。
查看原始信号hn:49330215
目标用户
对推箱子求解算法感兴趣的技术爱好者、谜题设计者，以及用难题集评估求解器能力的玩家。
潜在需求
希望项目能至少提供一个包含棘手死状态陷阱的示例谜题，这些死状态会作为搜索陷阱，以此验证求解器避开错误分支并找到解的能力。
发生场景
在 HN 上看到一个人用纯 JavaScript 移植的 C++ 最优求解器演示，用户认可其能证明最优解，但浏览给出的示例谜题后觉得它们容易找到可行解，无法体现求解器对复杂死状态的处理能力。
来源证据
评论者认为当前示例谜题在移动次数不重要时容易找到解，希望看到至少一个包含会作为搜索陷阱的棘手死状态的示例。
While impressive that the optimal can be proven, I feel like the example puzzles here aren't ones that are particularly hard to find solutions for (when move count doesnt matter). I'd be interested to see at least one example that has a lot of tricky dead states that would act as traps.https://news.ycombinator.com/item?id=49330215
为什么值得留意
这条反馈不是针对“AI”命名，而是对求解器演示内容的实质性缺口：用户主动要求更难的测试样例来检验算法。对独立开发者而言，这指向一个可填补的方向——为推箱子求解结果提供带有死状态陷阱的评测谜题。
未满足部分
- 当前示例谜题在移动次数无关紧要时容易找到解，缺少棘手死状态作为陷阱的样例
可能延伸 · 模型推测
- 可能方向：收集或生成含棘手死状态陷阱的推箱子测试谜题集
- 可能方向：在求解器演示中可视化搜索过程遇到死状态并回溯的路径
- 可能方向：为谜题增加死状态陷阱数量和难度标注维度
目前未知
- 评论者的兴趣是否代表更广泛需求尚不清楚
- “tricky dead states”的具体判定标准没有定义
- 评论者是否实际使用过其他推箱子求解器未知
继续核实
- 推箱子求解器用户和谜题设计者是否缺少包含死状态陷阱的高难度测试谜题集？
- 现有推箱子谜题生成或难度标注方法是否已覆盖死状态陷阱这一维度？
主题词
sokoban solvingoptimal solverdead statespuzzle difficultytest puzzles