第二十九章　逻辑创造实验室：
让失败成为新路的发生点

29.1 锁定一条真实可定位的旧链问题

本章的起点是一条明确而错误的全称推论：“如果甲能在最多两步内到乙，乙能在最多两步内到丙，那么甲也能在最多两步内到丙。”这句话很容易被熟悉传递性的学习者接受，因为它的外形与一般可达的传递关系相近。真正被忽略的，是步数预算没有在路径连接中得到保留。

取四个点，依次编号为零、一、二、三，只允许沿相邻编号之间移动。零到二可以两步到达，二到三可以一步到达，但零到三至少需要三步。因此，两条前提都满足最多两步的要求，结论却不满足。这是一个完整反例，既没有改变原图，也没有偷偷取消预算。

反例的价值在于把失败定位到承重关系。问题不在“可达”这个词完全无效，也不在路径不能连接，而在连接以后总长度可能增加。若只告诉学生“这个例子不算”，他可能记住一条例外；若让他追问长度怎样参与关系，就可能打开新的逻辑。

一般地，对任意正整数k，取零到k+1组成的相邻路径。零到k在k步内，k到k+1在一步内，但零到k+1不在k步内。于是，固定正预算的可达关系并不在所有图上具有传递性。k等于零时只保留自身关系，情况不同。这一边界说明，反例可以从局部构造发展为明确的一般论证。

这项失败还有一个教育含义：已有知识的熟练可能帮助发现相似结构，也可能使人把原条件带错。问题不应被简单解释为学生基础太差。恰恰可能是他记住了传递性，却没有把它与路径允许条件接合。真正需要补的，是完整关系，而不是再背一次定义。

在记录中，我们保存原命题、图的定义、三条距离判断以及失败位置。这个档案使后来者能够独立检查，而不必相信作者对失败的叙述。逻辑创造从这里开始：不是先宣布新方法多先进，而是先把旧链为什么不能成立说清楚。

需要强调，最短路径与预算关系都是已有数学可以处理的对象。本书的创造实作，是让学习者参与关系重构，而不是宣称发明了一个前所未有的数学领域。保持这种身份，才能使教学价值与原创标准各自清楚。

29.2 比较替代路径而不是无限加码

面对反例，有几种可能的修订。第一种是取消固定步数限制，回到任意有限路径；第二种是只研究直径不超过预算的特殊图；第三种是保留预算，但让预算随着路径连接而组合。三种方案回答不同问题，不能因为其中一种恢复了传递外形，就认定它是唯一正确答案。

若任务本来关心能否最终到达，取消预算可以合理简化；若任务关心有限时间或资源，取消预算就丢掉了关键内容。若只选特殊图，也可能为了保住旧命题而过度缩小对象。第三种方案尝试保留真实困难，并通过扩展关系表达来处理它，因此适合作为本章的新逻辑候选。

定义R(x,y,b)表示从x到y存在长度不超过b的路径。现在，如果R(x,y,a)与R(y,z,b)成立，把两段路径接起来，总长度不超过a+b，于是R(x,z,a+b)成立。新的推进不再假装预算不变，而是把预算组合写入结论。这个关系由路径连接的具体结构支持。

这一步体现了从D进入E再形成S的路径。反例暴露长度差异，长度作为承重特征进入关系，最后显露为带预算的推演规则。也可以从新的关系式反向进入，构造不同预算的例子，检查规则是否正确。六路径在这里不是六份同义解释，而是围绕同一关系开展不同检查。

还可以比较另一种候选：“两个预算取较大者即可。”在零到二、二到三的例子中，较大预算为二，仍不足以支持零到三，因此失败。候选之间的比较使加法不是随意挑选的形式，而是回应路径长度怎样组合。新的规则由差异塑形，而不是由名称决定。

若连接处需要额外等待，或者路径使用共同资源，简单相加还可能不足。此时必须把等待或资源约束加入具体模型。当前规则只研究单位步数的图路径，不声称覆盖所有行动链。一个有效的有限对象，可以成为更复杂研究的基础，但扩展需要新的发生条件。

通过这种比较，学习者能够看见：改轨不是无限寻找一个能保住原句子的补丁，而是重新选择研究对象与关系。每一种修订都应当公开保留了什么、舍去了什么。真正的创造并不总是增加复杂性，有时是恰当地简化，有时是增加一个不可省略的参数。

29.3 把反例写入新逻辑

新规则成立以后，原反例不应被删除，而应成为其边界说明。固定预算关系之所以失败，是因为它把可以组合的资源压成一个不变阈值；带预算关系之所以能够推进，是因为它让资源变化进入结论。保留这个差分，使后来者能够理解新逻辑的必要性。

证明可以写得很清楚。由R(x,y,a)，存在一条从x到y的路径，其长度m不超过a；由R(y,z,b)，存在一条从y到z的路径，其长度n不超过b。两条路径在y处连接，得到长度m+n的路径，而m+n不超过a+b。因此，新的关系成立。这里使用了长度相加及不等式保持的明确规则，没有把目标结论直接作为前提。

若担心连接后重复经过某个节点，可以在当前定义中允许路径有重复；或者在无负代价的情形下删除重复绕行，使长度不增加。选择哪种表述要在定义中公开。这个看似细小的说明，使证明不再依赖一张恰好没有重复的示意图。

新规则还有零预算的边界。允许零步路径时，R(x,x,0)成立，连接一个零步路径不会增加长度。这使自身关系和组合单位获得同一构造来源。后面的数学编将从这种构造进一步研究单位、结合与结构，而不是把相关公理当作没有发生条件的起点。

如果图有方向，连接规则仍然成立，因为两段路径的方向在y处承接；但反向关系未必成立。于是预算组合与对称性被分开。这个分开很重要：新逻辑不是一揽子恢复旧结构全部性质，而是逐项检查哪些性质由当前操作支持。

我们还可以定义最小所需步数d(x,y)，在不存在路径时记为不可达。只要两段有限路径存在，就有d(x,z)≤d(x,y)+d(y,z)。这条不等式是预算组合的另一种表达。但它并不自动使所有方向网络上的d成为通常对称的距离，因为往返可能不同。形式名称需要与实际性质对应。

新链条必须说明怎样接续，而不只是怎样停止

判错可以使一条链停下，却未必使新逻辑发生。要从否定进入建构，需要说明旧链中哪些推进仍可保留，哪些不能继续，以及怎样建立新的承接关系。以前文“最多两步可达”为例，反例已经表明固定预算内的可达一般不传递。如果回应只是禁止一切间接推断，虽然避免了一类错误，却也丢掉了大量可以成立的知识。

更有内容的重构，是把关系写成“在预算b内从x到达y”。若第一段在预算b内可达，第二段在预算c内可达，且路径允许依次接续，那么合成路径在预算b+c内可达。证明很直接：分别取两段满足限制的路径见证，连接后长度不超过两段长度之和，因而不超过预算之和。这个结论不是为原错误找借口，而是在保留资源差异以后得到一条条件明确的新规则。

此时，概念已经改变。原来二元的“可达”被带有预算条件的关系替代，逻辑箭头也不再忽略成本。数学场随之改变，因为不同预算下的关系组成一族有层级的对象：预算扩大时，原来可达的对象仍可达，某些原来不可达的对象则可能进入。一个反例因此不仅删除了结论，还生成了新的概念、组合规律与结构空间。

但是，预算相加的规则并不统治所有任务。若两个独立任务可以同时启动，完成全部任务所需的经过时间可能由较慢者决定，而不是两个时长相加。这里的“独立”必须包含资源不冲突、起点条件同时满足、执行互不阻塞等规定；只因任务名称不同，就把时间取最大值，同样没有依据。先后接续与并行会合是不同类型的组合，其逻辑必须带着类型使用。

这个比较使六路径有了进一步的创造内容。从旧结果进入，可以改变资源条件寻找反例；从差异进入，可以比较串行与并行情形；从纠缠进入，可以先明确共享资源，再研究什么次序合法。新逻辑不是把所有情形写成同一条更长的公式，而是区分不同组合何时成立。严格地保留这些区分，反而能够扩大可研究的运行方式。

把反例写入新逻辑，意味着新知识知道自己从哪里改变而来，也知道哪些旧后果不再保留。这样的知识更容易被重新打开。若只留下最终公式，学习者可能再次把其中的条件压缩掉，在下一个任务中重复同样的错误。

29.4 跨案例试用并保留失败记录

为了检查这条新关系不只适合四点路径，可以换用有分支、有回环、存在多条路线的有限图。只要路径长度按边数计算，且允许有限路径连接，预算组合证明仍然成立。不同图形只是不同实例，一般理由来自操作规范，而不是来自检查了足够多张图。

在实际程序检查中，可以对有限图逐项比较可达预算，但程序结果的身份仍然是有限核查。它能够帮助发现实现错误，也能够给学习者提供反例搜索工具；一般证明则说明为什么在任意允许构型中关系成立。二者共同使用，比只依赖其中一种更适合知识教育。

把规则迁移到现实任务时，需要重新解释预算。若预算是时间，两个动作之间可能有等待；若预算是金钱，合并任务可能共享或重复成本；若预算是注意力，它未必具有简单可加性。不能把步数证明直接当成这些领域的定理。迁移首先要研究资源组合是否保持同样结构。

因此，可以设计三种迁移任务。第一种保持单位步数图结构，只改变图形，检验关系迁移；第二种增加非负边权，研究总成本与最短成本；第三种加入共享资源或等待，要求学习者指出原规则哪里不够。能够发现第三种不能直接套用，与能够解决前两种一样重要。

一个完整逻辑发生档案应当保存旧命题、反例、新对象、新规则、证明和迁移边界。若实际开展课堂任务，还要另外保存学习者的关键判断与变化，不能把研究者已经整理好的档案当成学生的真实过程。本书当前提供的是可执行构造与论证，不虚构这些教育数据。

本章的构造展示了一种可学习的发生方式：由失败定位遗漏关系，重构对象与规则，再以证明和不同案例检查其后果。逻辑编由此进入数学编：当概念可以调用、关系可以推进，还要研究它们怎样共同组成结构，以及规定这个结构的公理何以发生。

章末来源与论证身份

[4]逻辑发生与六路径总纲。本章固定预算反例、带预算关系及组合证明为文内构造；它们属于已有数学可处理的关系，不宣称领域首次发现。一般证明与有限程序核查的证据范围分别保留。

本次增厚中的构造、条件分析与教学材料为本书的进一步展开，不作为三篇理论底本已经给出的结论。

公理与结构本身的发生

从具体生成条件，经由符号化与逻辑化，
研究连接、次序、结构，以及公理性规范的建立。

SDE发生学 / 三门根学科 / 创造力的基础知识