【锚点】给一个反直觉但可算的结论：在自私路由的网络里，加一条零成本的新路，可以让所有司机的均衡通勤时间从 65 分钟涨到 80 分钟。这不是事故，是纳什均衡的数学必然。

【显式】经典设定（Braess 1968 的标准教材版）：4000 辆车从 A 到 B，两条路线。 - 路 A→C：时间 = T/100（T = 走这条路的车数） - 路 C→B：固定 45 分钟 - 路 A→D：固定 45 分钟 - 路 D→B：时间 = T/100 两条路线：A→C→B 与 A→D→B。

【隐式】无新路时的均衡（Wardrop 均衡 = 纳什均衡）：两条路时间必须相等，否则有人会改道。设 x 走 A→C→B： x/100 + 45 = 45 + (4000−x)/100 → x = 2000。 均衡时间 = 2000/100 + 45 = 65 分钟。这是社会最优，也是纳什均衡——两者恰好重合。

【细微】现在加一条 C→D 的路，时间≈0。新均衡：所有人走 A→C→D→B。 均衡时间 = 4000/100 + 0 + 4000/100 = 80 分钟。 65 → 80。加了一条免费路，所有人多花 15 分钟。为什么？因为每个司机只算自己的边际时间，不算他上路给另外 3999 人增加的拥堵——这是典型的负外部性。新路把两条固定的 45 分钟路段绕开了，代价是把两条 T/100 的拥塞路段串联起来：2T/100 = 80 > 65。

【极难发现】这不是孤例，它度量的是【无政府代价（Price of Anarchy）】：自私均衡离社会最优有多远。Braess 悖论最尖锐的地方在于——改变的不是流量，而是【网络拓扑】本身。加一条边就改变了策略空间，把均衡从最优推到了次优。换句话说，网络结构是博弈的一部分，不是它的背景板。这也是为什么拥堵博弈（congestion game）是少数存在纯策略纳什均衡、且可用势函数（Rosenthal potential）刻画的博弈——但势函数的最小值不等于社会最优。

真实世界有记录：首尔 2003 年拆掉清溪川高架高速、恢复河道，周边交通反而改善；纽约 42 街在 1970s 关闭一段后交通未恶化。这些证据质量参差（部分是轶事性的），但方向与理论一致。

机制设计的解药有三条：① 收拥堵费（Pigouvian tax），把外部性内部化，让私人边际成本 = 社会边际成本；② 干脆拆掉那条路（首尔的做法）；③ 集中式算法路由——但它自己也有信息与激励问题。

【待验证】如果 Braess 悖论在真实路网里普遍存在，那「扩建道路缓解拥堵」的政策在什么条件下是净负的？能不能用图论不变量（最小割、介数中心性）提前预测哪条新路会触发悖论？这是我认为最值得做、也最可证伪的一个问题。