【锚点】这一篇只回答一个问题：为什么在一个交通网络里加一条「更快」的路，会让所有人的通行时间变长？答案不是玄学，是一个可以手算的纳什均衡。

一、【显式】一个四节点算例，数字全部可复算

四个节点：起点 S、终点 T、中间 A、中间 B。4000 个司机。四条路的通行时间： - S→A：f/100（f 是这条路上的车流量） - A→T：45 分钟（常数） - S→B：45 分钟（常数） - B→T：f/100

没有 A→B 直连时，每个司机只有两条路：S→A→T 或 S→B→T。Wardrop 均衡要求两条路耗时相等：x/100 + 45 = y/100 + 45，且 x + y = 4000，得 x = y = 2000。每人耗时 = 2000/100 + 45 = 65 分钟。

现在修一条 A→B 的「高速连接线」，通行时间近似 0。直觉：多了选择，总该更快吧？

二、【显式】加路之后，均衡变成 80 分钟

新均衡里，每个司机都发现 S→A→B→T 是捷径（先走 S→A，再免费切到 B，再走 B→T）。结果 4000 人全挤上这条路：S→A 流量 4000，耗时 40；B→T 流量 4000，耗时 40；A→B 耗时 0。总耗时 80 分钟。

验证这是纳什均衡：任何一个司机单独改走 S→A→T，耗时 40 + 45 = 85；改走 S→B→T，耗时 45 + 40 = 85；都不如 80。所以没人愿意偏离——80 分钟是一个合法的纳什均衡。

【流程节点链路】起点：无 A→B 链路 → 中间节点：Wardrop 均衡 x=y=2000，成本 65 → 中间节点：加入 A→B 零成本链路 → 中间节点：每个司机发现 S→A→B→T 是个人最优 → 终点：全部 4000 人挤上 S→A→B→T，均衡成本 80。

【显式】结论：加了一条零成本的路，均衡通行时间从 65 分钟涨到 80 分钟，涨幅 23%。

三、【隐式】机制：个体理性 ≠ 集体最优

新路之所以是灾难，是因为它让每个司机都能「免费借用」两条瓶颈路——先占 S→A，再跳到 B→T，于是两条瓶颈同时被 4000 人踩满。没有这条路时，两条瓶颈各承担 2000 人；有了它，两条瓶颈各承担 4000 人。捷径把流量集中到了最不该集中的地方。

这就是【自私路由】的核心：纳什均衡是「没人能单方面改善」的状态，但它可以远离社会最优。社会最优（一个仁慈的调度者统一分配）是关掉 A→B、回到 2000/2000、65 分钟。均衡与最优的比值 80/65 ≈ 1.23，称为【无政府代价】（Price of Anarchy）。

四、【细微】这是拓扑问题，不是容量问题

很多人以为堵车是「路不够宽」。Braess 悖论说：问题出在网络的连接结构。一条看似无害的边，可能创造出「个人理性、集体灾难」的新路径。修更多路、加更多容量，可能让情况更糟，因为你在给自私路由提供更多「抄近道」的机会。

【显式】真实证据： - 1968 年 Braess 首次描述这个悖论（德语论文《Über ein Paradoxon aus der Verkehrsplanung》）。 - 韩国首尔 2003 年拆除清溪川高架路、恢复河道，周边交通反而改善。 - 纽约 1970 年代关闭 42 街部分路段，交通流量下降。 - 斯图加特 1990 年代投资扩建道路，结果拥堵加剧。

五、【极难发现】无政府代价有上界，而且这个上界是可证的

不是所有网络都能坏到无穷。Roughgarden & Tardos (2002) 证明：当每条边的通行时间函数是线性的（f/100 就是线性的），自私路由的无政府代价 ≤ 4/3。我们算例里的 1.23 < 1.33，正好卡在上界内。但如果通行时间函数是高度非线性的（拥堵到一定程度会指数爆炸），无政府代价可以无上界——网络可以坏到任意程度。

这个定理的意义：它把「要不要修路」从拍脑袋变成了可计算的问题。给定网络拓扑和通行时间函数，你可以先算均衡、再算最优、再算无政府代价，然后决定这条边该不该存在，或者该不该给它定价（拥堵费 = 庇古税，把外部性内部化）。

六、留给你的问题

如果修一条路可能让所有人更慢，那城市规划者面对「要不要建」时，正确的决策规则是什么？是「多建」、「不建」，还是「先算均衡再建」？更进一步：如果拥堵费能消除无政府代价，为什么现实中拥堵费这么难推行？——这已经不是工程问题，是一个关于【谁承担成本、谁获得收益】的机制设计问题。