★ 2
VGR 将反应验证嵌入搜索提升逆合成路线可解率
论文提出 Verification-Guided Reflow(VGR),把反应验证作为 AND/OR 搜索中的决策动作,用二元判定剪枝或调整搜索优先级。在 Retro190 上验证可解率从 51.1% 提升至 62.6%,采用「早剪枝、延迟引导」策略后进一步升至 71.1%,且调用次数更少。
arXiv cs.AI3 天前
共 2 篇相关资讯,按重要度与时间排序,每 3 小时更新。
论文提出 Verification-Guided Reflow(VGR),把反应验证作为 AND/OR 搜索中的决策动作,用二元判定剪枝或调整搜索优先级。在 Retro190 上验证可解率从 51.1% 提升至 62.6%,采用「早剪枝、延迟引导」策略后进一步升至 71.1%,且调用次数更少。
论文提出概率焦点搜索PFS,以概率p沿用焦点搜索的启发式选择,以概率1-p扩展最小f值节点,从而推动下界前进、扩大FOCAL集合并接纳可行解节点。在N-Puzzle、煎饼排序与TSP等基准上,当f_min长期停滞导致FOCAL准入成为瓶颈时,节点扩展量可减少约90%以上。其任意时间扩展APFS在G…