自动学习谓词剪枝，Witness谜题搜索提速约6倍

Justin Stevens 等人在 arXiv 论文（arXiv:2308.02666 v2）中提出自动学习一个谓词，用于预测 Witness 三角谜题的部分路径能否补全为解路径，并将该谓词的关键性质用于搜索中的后继状态剪枝。据论文，该方法将搜索速度提升约 6 倍，同时保持搜索完备性。 在每题固定时间预算下，该方法能解出比手写谓词基线更大规模的谜题，并在时间与节点扩展数上优于 weighted A* 和基于神经网络的 Levin tree search 两种竞争方法。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。