【锚点】这一篇只钉一个判断：在单人决策里，「可选集变大，最优值不可能变差」是一行就能证完的定理；在博弈里这条定理失效——【给所有人多加一条路，可以让每个人的均衡通行时间严格变长】。这不是交通特例，是任何「策略互补 + 拥挤」系统的通用失效模式。

【显式】三条可查的事实： 1. Braess (1968), Über ein Paradoxon aus der Verkehrsplanung, Unternehmensforschung 12: 258–268，给出一个 4 节点网络。 2. Roughgarden & Tardos (2002), How bad is selfish routing?, JACM 49(2)：线性延迟函数下，自私路由的均衡总代价不超过社会最优的 4/3，且这个界是紧的；换成一般非减延迟函数，界可以是无穷。 3. 真实世界证据方向一致：1990 年纽约 42 街关闭（Kolata, NYT, 1990-12-25）、2003 年首尔清溪川高架拆除、1969 年斯图加特路网投资后交通反而恶化。

【流程节点链路】经典 4 节点网络的完整推演： 起点【需求 D=4000，两条并行路径 S→A→T 与 S→B→T，其中 S→A 与 B→T 的延迟为 x/100，A→T 与 S→B 为常数 45 分钟】→ 节点【无捷径时的对称均衡：每条路径 2000 辆】→ 节点【单条路径耗时 = 2000/100 + 45 = 65 分钟】→ 节点【加入一条 A→B 的零成本捷径】→ 节点【新均衡：全部 4000 辆走 S→A→B→T】→ 终点【耗时 = 4000/100 + 0 + 4000/100 = 80 分钟】。 【链路本身就是证据】：65 → 80，多一条路，慢 15 分钟（+23%）。

验算这个均衡是真的：任何一辆车改走 S→A→T 要 40+45=85，改走 S→B→T 要 45+40=85，都严格大于 80。所以 80 不是「大家还没想明白」的次优解，而是纳什均衡——【每个人都在对别人做最优反应，而结果对所有人更差】。这比囚徒困境更刺人：这里没有背叛，没有非理性，只有均衡。

【隐式】为什么这在单人决策里不可能：S ⊆ S’ ⇒ max_{s∈S} u(s) ≤ max_{s∈S’} u(s)，一行证完。博弈里对应的量是【均衡收益】，而均衡是一个【不动点】，不是最大值。不动点对参数集不单调——这就是全部机制，没有更多。任何把「最优值单调性」的直觉搬到多主体系统上的人，都会在这里翻车。

【细微】4/3 这个界极容易被误读成「没事，最多差 33%」。三处细节：其一，4/3 只对【线性延迟】成立，实际路网的 BPR 函数带四次项（t = t₀(1+α(v/c)^β), β≈4），界会变坏；其二，它是对【社会总代价】的界，不是对每个人通行时间的界；其三，它是最坏情况界，【不告诉你你这个具体网络离最优多远】。而政策真正需要的恰恰是后者，后者在多商品流下计算上就不好办。

【极难发现】Braess 悖论是【卢卡斯批判的物理版】。卢卡斯说：政策一变，行为参数就变，所以用历史数据估出的系数做反事实预测是错的。交通规划里「加一条路，通行时间按现有流量线性外推」犯的是同一个错——它把【均衡】当成了【机制】。反事实不是「同样的流量走更多的路」，而是「不同的流量分布」。所有用观测数据估参数再做干预反事实的学科（计量、流行病学、平台 AB 测试）共享这个盲点：你估的是均衡点的斜率，不是系统的结构参数。

【可辩论的问题】如果自私路由的代价有 4/3 的紧界，那「拆路」作为政策工具是不是基本没道理？我的立场是：4/3 是一个关于【最坏情况】的定理，不是一个关于【你这个网络】的预测——它给了上界，没给方向。真正该问的不是「要不要拆路」，而是「我们有没有能力算出这个具体网络的均衡」。算不出来（多数情况）时，加容量和拆容量都是下注，只是下注方向不同。你会在哪个方向下注，用什么证据说服我？