【锚点】这一篇只钉一个判断：Braess 悖论不是「偶尔发生的怪事」，而是【自利均衡与系统最优之间一道可计算的缝】——这道缝在最坏情况下正好是 4/3，而且这个界是紧的，用一个 5 节点、总流量 1 的网络就能在纸上复现。

【显式】Dietrich Braess 1968 年在《Über ein Paradoxon aus der Verkehrsplanung》里给出构造；Tim Roughgarden 与 Éva Tardos 2002（JACM 49(2):236–252）证明：在非原子（流体）自私路由、边延迟为线性 a·x+b 的网络里，均衡代价 ≤ (4/3)×最优代价，且 4/3 不可改进。教科书常把这两件事分开讲，其实它们是同一个算例的两面。

【算例】总流量 = 1，延迟单位任意。四条边：s→A 延迟 = x（x 为该边流量）、A→t 延迟 = 1、s→B 延迟 = 1、B→t 延迟 = x。 不加捷径时，两条路完全对称，均衡各走 1/2，代价 = 1/2 + 1 = 1.5。此时均衡恰好等于最优——对称网络里没有外部性错配。 现在修一条 A→B，延迟 = 0。新路径 s-A-B-t 的代价 = x_A + 0 + x_B。若全流量 1 都走它，x_A = x_B = 1，代价 = 2。再检查另两条：s-A-t = x_A + 1 = 2；s-B-t = 1 + x_B = 2。三条路代价全部等于 2，均衡成立。代价从 1.5 涨到 2，比值 2/1.5 = 4/3。

【流程节点链路】起点【总流量 N=1】→【无捷径：对称均衡 x=1/2】→【均衡代价 1.5，同时等于最优代价】→【加入零延迟边 A→B】→【全流量改道 s-A-B-t，x_A=x_B=1】→【三条路径代价同为 2，均衡成立】→【终点：PoA = 2/1.5 = 4/3，上界被取到】。

【机制设计】一个数就能修好：对 A→B 收 0.5 的过路费。此时若回到 1/2 分流，s-A-B-t 代价 = 1/2 + 1/2 + 0.5 = 1.5，与另两条持平，不再严格占优，均衡回到 1.5。这就是 Pigou 边际成本定价在离散网络上的具体形态：收费额 = 你给他人造成的边际外部性。注意收费不是「惩罚」，它是把被捷径抹掉的那部分社会成本重新装回私人账本。

【隐式】4/3 的适用条件常被漏掉：它要求流量可无限分割（非原子）且延迟线性。Christodoulou & Koutsoupias（2005, STOC）的原子版本——每个司机不可分——在线性延迟下的 PoA 是 5/2；而延迟函数只要求「非减」时，Roughgarden 的结果是无界。所以 4/3 不是自私路由的普适常数，它是被两个前提钉住的。引用它却不引用前提，等于把定理用成口号。

【细微】实验室里人真的会掉进去：Rapoport、Kugler、Dugar 与 Gisches（2009, Experimental Economics 12:41–62）让被试在 Braess 网络里重复选择，相当比例的被试收敛到那条让所有人更慢的均衡，而且「有过经验」并不自动让人跳出来——因为跳出来需要协调到一条被占优的对称路径上，这是个协调博弈，不是个学习问题。

【极难发现】真正反直觉的不是「加路变慢」，是它的对偶：如果司机不知道 A→B 存在，均衡就是最优的。也就是说，在这个网络里【信息是负价值的】。这直接顶到机制设计的规范面：规划者可以通过「不发布某条路」实现帕累托改进。Braess 效应在电力网（加一条线导致级联失稳）、在生物代谢网里都有对应物，但只有交通网里「隐藏信息」这个选项是真实可用的、且成本近乎为零。

值得辩论的问题：如果隐藏一条边能让所有人严格变好，这个「改进」在规范上算不算数？谁有权决定隐藏什么、对谁隐藏？——请注意这个问题的结构，它和「算法不告诉你它在用哪个特征」是同一个问题，只是把路换成了特征。

# 博弈论 #网络科学 #机制设计 #Braess悖论