逆合成规划新突破：验证引导搜索提升路线可行性

逆合成规划旨在从可购买的起始材料出发，找到通往目标分子的合成路线。然而，在预测反应构成的搜索空间中，一条不可行的反应就足以让整条路线失效。传统方法通常在搜索结束后才评估路线质量，此时错误已经铸成，无法回溯修正。最近一篇论文提出的验证引导重流（Verification-Guided Reflow, VGR），将反应验证作为决策动作融入AND/OR搜索过程，显著提升了找到可行路线的概率。

核心问题：事后评估的局限

逆合成规划的核心挑战在于搜索空间巨大且充满噪声。模型预测的反应可能看似合理，实则无法在实验室中执行。如果只在搜索完成后才用验证器检查路线，那么搜索过程中基于错误反应做出的决策就无法被纠正。论文指出，这种“事后诸葛亮”的方式会浪费大量计算资源，并导致最终路线不可行。

VGR的切入点很直接：既然验证器能判断反应是否可行，为什么不把验证结果实时反馈给搜索？

逆合成规划是化学信息学中的经典问题，其目标是从已知的、可商业购买的起始原料出发，通过一系列化学反应推导出目标分子的合成路径。这一过程通常被建模为AND/OR搜索树：OR节点代表目标分子，其子节点是可能生成该分子的不同反应；AND节点代表一个具体反应，其所有子节点（反应物）必须同时可解，该反应才可行。由于可能的反应数量极多，且模型预测的反应常包含不可行步骤，搜索空间既庞大又充满噪声。传统方法往往在搜索结束后才用验证器（如基于规则的可行性检查器或机器学习模型）评估整条路线，这导致错误决策无法在搜索过程中被及时纠正。

VGR如何工作：把验证当作搜索动作

VGR将反应验证视为AND/OR搜索中的一个决策动作。验证结果以二元判定（可行/不可行）的形式返回。查询根据搜索结构进行调度——也就是说，搜索树中哪些反应最值得验证，由当前搜索状态决定。获得的判定结果用于两种操作：直接排除不可行反应，或调整搜索优先级。

这种设计让验证不再是独立的后处理步骤，而是搜索循环的一部分。论文定义了**验证可解性（verified solvability）**作为核心指标：在目标分子中，能够找到一条被验证器逐步接受的完整路线的比例。

AND/OR搜索是一种用于求解与或图的搜索算法。在逆合成中，OR节点对应“选择哪个反应来合成目标分子”，AND节点对应“该反应所需的所有反应物是否都能被合成”。搜索的目标是找到一个从目标分子到可购买起始材料的完整树，其中每个AND节点下的所有子目标都必须可解。验证器在此扮演“裁判”角色：对某个反应给出可行或不可行的二元判定。VGR的关键创新在于，将验证查询视为搜索过程中的一个可调度动作，而非独立的后处理步骤。搜索算法根据当前搜索树的状态决定验证哪些反应，并将验证结果用于剪枝（排除不可行反应）或优先级调整（引导搜索方向）。

实验发现：反馈有效，但时机很关键

在Retro190数据集上，将验证结果反馈到搜索中，验证可解性从51.1%提升到62.6%（相比无反馈的路线评估）。这确认了实时反馈的价值。

但更细致的控制实验揭示了一个反直觉的现象：更早的验证和对接受反应的即时优先各自都能改善路线发现，但两者结合却比单独使用更差。论文推测，过早地优先处理接受反应可能导致搜索过早收敛到局部最优，忽略了其他潜在路线。

早剪枝与延迟引导

基于这一发现，作者提出了“早剪枝、延迟引导”策略：被拒绝的反应立即剪枝，避免浪费后续搜索；而被接受的反应只有在作为完整候选路线的一部分被处理时，才获得搜索优先级。在固定验证调度规则的单独比较中，该策略将验证可解性从即时引导的61.1%提升到71.1%，同时使用了更少的提议调用和唯一验证器查询。

Retro190是一个常用于逆合成规划评估的基准数据集，包含190个目标分子，每个分子都有已知的合成路线。该数据集通常用于衡量算法在给定反应模板或模型预测下找到可行路线的能力。在VGR的实验中，验证可解性被定义为：在目标分子中，能够找到一条被验证器逐步接受的完整路线的比例。这一指标直接反映了搜索算法产出可行路线的能力，而非仅仅评估单步反应的准确性。Retro190的规模适中，适合进行控制实验以分析验证信号注入时机的影响。

启示与局限

VGR的意义在于将验证从“评估工具”转变为“搜索组件”。它提示我们，在AI辅助科学发现的流程中，领域知识（此处为反应可行性）的注入时机和方式，可能比注入本身更重要。早剪枝符合直觉——不可行的反应没有保留价值；但延迟引导则提醒我们，对可行反应的过度信任可能限制探索的广度。

论文目前仅在Retro190上验证，且验证器本身的覆盖率会影响上限。此外，调度规则的设计仍有优化空间。但这一思路——将外部验证信号深度耦合进搜索循环——对更广泛的规划问题具有借鉴意义。

注：本文数据均来自原论文摘要，未添加额外数值。