步骤15 复杂的计算图（理论篇）

步骤15 复杂的计算图（理论篇）：从“简单链条可直接后退”到“拓扑优先级适配分支与汇合”，用独立计算、代码和故障注入验证。

为什么这一步不能跳过

步骤15 复杂的计算图（理论篇）的增量不是 API 名称，而是把 简单链条可直接后退 变为 拓扑优先级适配分支与汇合。它的核心机制是：复杂图的反向顺序必须遵守拓扑依赖，generation 表示函数距输入的层级并决定优先级。

这一步验收时固定输入数组、随机种子、DeZero 前一步版本与运行设备。先写出预期的 forward、shape、creator 或状态变化，再执行实现；backward 后清空派生梯度并从相同输入重放。这样才能区分本步能力与缓存、旧图或随机性的偶然结果。

generation(F)=\max generation(x_i)

对步骤15 复杂的计算图（理论篇），公式中的每个量都要绑定到实际数组或对象：记录 dtype、shape、设备、creator/generation 或训练模式。若发生广播、归约、转置、时间递推或设备迁移，反向结果必须回到每个输入原有的语义边界。

在 步骤15 复杂的计算图（理论篇） 中，步骤15 复杂的计算图（理论篇） 把“简单链条可直接后退”推进到“拓扑优先级适配分支与汇合”。本单元的可观察机制是：复杂图的反向顺序必须遵守拓扑依赖，generation 表示函数距输入的层级并决定优先级。

核对 步骤15 复杂的计算图（理论篇） 时先记录“输入对象”的输入、输出、shape、对象连接或运行模式，再注入反例“按发现顺序处理会在所有下游梯度到齐前过早计算上游节点”。如果最终数值看似合理但这一处首先分叉，实验必须停止并恢复基线。

在 步骤15 复杂的计算图（理论篇） 中，15.1 反向传播的正确顺序 把“简单链条可直接后退”推进到“拓扑优先级适配分支与汇合”。本单元的可观察机制是：复杂图的反向顺序必须遵守拓扑依赖，generation 表示函数距输入的层级并决定优先级。

核对 15.1 反向传播的正确顺序 时先记录“Function调用”的输入、输出、shape、对象连接或运行模式，再注入反例“按发现顺序处理会在所有下游梯度到齐前过早计算上游节点”。如果最终数值看似合理但这一处首先分叉，实验必须停止并恢复基线。

在 步骤15 复杂的计算图（理论篇） 中，15.2 当前的DeZero 把“简单链条可直接后退”推进到“拓扑优先级适配分支与汇合”。本单元的可观察机制是：复杂图的反向顺序必须遵守拓扑依赖，generation 表示函数距输入的层级并决定优先级。

核对 15.2 当前的DeZero 时先记录“输出连接”的输入、输出、shape、对象连接或运行模式，再注入反例“按发现顺序处理会在所有下游梯度到齐前过早计算上游节点”。如果最终数值看似合理但这一处首先分叉，实验必须停止并恢复基线。

在 步骤15 复杂的计算图（理论篇） 中，15.3 函数的优先级 把“简单链条可直接后退”推进到“拓扑优先级适配分支与汇合”。本单元的可观察机制是：复杂图的反向顺序必须遵守拓扑依赖，generation 表示函数距输入的层级并决定优先级。

核对 15.3 函数的优先级 时先记录“反向调度”的输入、输出、shape、对象连接或运行模式，再注入反例“按发现顺序处理会在所有下游梯度到齐前过早计算上游节点”。如果最终数值看似合理但这一处首先分叉，实验必须停止并恢复基线。

# 复杂的计算图（理论篇）：自然语法仍必须经过 Function 图节点
x = Variable(np.array(2.0))
y = target(x)
assert y.creator is not None
y.backward()

这段草图不复制原书实现；它只保留步骤15 复杂的计算图（理论篇）的可验证接口。实际练习要补齐输入构造、断言和失败样本，并用作者官方仓的对应 step 文件核对行为边界，而不是照抄代码行。

先预测改变一个输入后，输入对象 → Function调用 → 输出连接 → 反向调度 → 梯度核对中哪一项最先变化。操作基线、边界和故障三种场景；保存证据后点击“重置实验”，确认所有状态回到初始值。

步骤15 复杂的计算图（理论篇）的完成标准是：能从“简单链条可直接后退”解释到“拓扑优先级适配分支与汇合”，能用本页数学与状态合同算出或验证关键量，并能诊断“按发现顺序处理会在所有下游梯度到齐前过早计算上游节点”。只出现目录词、只跑通最终 loss 或只展示一张通用计算图都不算通过。

本步需要准确使用这些术语：、、、。它们必须落到本页实验的数值、shape、对象连接或运行状态上。