树木拓展预算已用尽 | AI生成和翻译
现在我对整个情况完全理解了。答案如下：
边界为空是因为扩展预算在执行过程中耗尽，而非因为树已完成。
这棵树有4个节点（根节点 + 3条路线子节点）。这3个子节点确实具有扩展性——每个节点都会在步骤1（选择一个主动校正）生成一个子节点。但由于系统在将后续子节点加入下一轮边界队列之前，就已经将全部预算用于构建这3个子节点，导致边界显示为空。
“剩余12” = 仍可通过运行步骤添加的预算。
要继续执行并查看结果：
- 在运行预算字段中输入
3（每个分支扩展一次） - 点击 运行下一步 —— 3条路线分支（依赖、约束、不变式）各自将在深度2处生成一个新节点
- 重复操作 —— 随着第2步和第3步的节点被构建出来，最终最深层的节点将变为
已解决状态（而不仅仅是通过）
此系统中的“结果”并非单一答案框 —— 它是树中得分最高的 已解决 叶节点。点击任意节点，即可在右侧详情面板中查看其完整方案、公式和推理过程。