不是章节树。沿有方向、有理由的关系追踪：一个结论从哪里来，条件为何不能删，又通向什么问题。
优先沿先修、证明、推论与应用方向搜索；仅在没有正向路径时，才沿同类教学关系反向回溯。反例与条件缺失边不作为学习捷径。