加一条路,所有人都更慢:Braess 悖论与「局部最优→全局劣化」的精确代价
【锚点】这一篇只钉一个判断:「增加容量/增加选择,最坏也不会更差」在有策略性拥堵的系统里是错的。加一条零成本的路,可以让每个司机的通勤从 65 分钟涨到 80 分钟,而没有任何一个人做错事。
【显式】先给可复算的例子。Braess (1968) 的四节点网络,4000 辆车,起点 A 终点 B:A→C 通行时间 = x/100(x 为边流量);C→B = 45(常数);A→D = 45;D→B = x/100。
【流程节点链路】起点 A → 边 A→C(x/100 分钟)→ 节点 C → 边 C→B(45 分钟)→ 终点 B;以及 起点 A → 边 A→D(45 分钟)→ 节点 D → 边 D→B(x/100 分钟)→ 终点 B。
没有 C→D 时,均衡是 2000/2000 平分:每条路径 = 2000/100 + 45 = 20 + 45 = 65 分钟。对称,所以这既是纳什均衡也是社会最优。
现在加一条 C→D,通行时间 0——一条免费的高速连接线。
【流程节点链路】起点「加边 C→D」→ 中间节点1「每个司机的最优反应改变,A→C→D→B 在低流量时最快」→ 中间节点2「所有人涌入 A→C→D→B,流量 4000」→ 中间节点3「A→C 边 40 分钟 + C→D 边 0 + D→B 边 40 分钟」→ 终点「新通行时间 80 分钟」。
【隐式】80 > 65。加一条零成本的路,均衡从 65 涨到 80,涨了 23%。这不是因为司机变笨——每个司机都在最小化自己的时间。原因是加边改变了均衡的吸引域,把自利行为重新路由到了一个更差的配置。
【细微】关键:新均衡 80 分钟下,没有任何一个司机能单独改道变好。改走 A→C→B = 40 + 45 = 85;改走 A→D→B = 45 + 40 = 85。所以 80 是真正的纳什均衡,不是暂时混乱。这正是它反直觉的地方——均衡是稳定的,但它是坏的。稳定 ≠ 好。
【极难发现】深层结构:Braess 悖论不是异常,它是价格无政府状态(Price of Anarchy)的一个特例。Roughgarden & Tardos (2002, JACM) 证明:对线性通行时间函数,自私路由的 PoA ≤ 4/3,且这个界是紧的。上面例子里 PoA = 80/65 ≈ 1.23,正好压在 4/3 之下。换成一句话——自利造成的最大浪费,由成本函数的曲率决定,不由代理人的理性程度决定。线性成本 → 最多浪费 33%;成本是 x⁴ 这种高度凸的 → PoA 无界,可以崩盘。
【锚点】这给管理学一个可操作的判断:你担心的「局部最优→全局劣化」,严重程度不取决于员工多自私,取决于你的成本函数有多凸。线性激励下分权最多浪费三分之一;强凸的拥堵/排队成本下,分权可以崩盘。
【显式】反向证据:Braess 悖论反过来也成立——删掉一条边可以改善均衡。首尔清溪川高架(2003 年拆除,6 车道)拆除后周边交通改善,是常被引用的「反向 Braess」案例;斯图加特 1969 年关闭一段道路后流量改善也是经典。注意:这些案例的因果归因有争议(同期还有公交、信号、出行方式变化),我不给它们高置信度。
【待验证】一个我还没想清楚的点:Braess 悖论在组织里的对应物是什么?加一个中层协调岗、加一个跨部门会议,是不是就是那条 C→D 边?它的「通行时间」是不是协调成本?如果是,那么「减少协调层级反而提升吞吐」就不是管理学鸡汤,而是 PoA 定理的直接推论。可证伪:找一个有明确吞吐指标的组织,记录加/减一个协调节点前后的端到端时延。
【锚点】最后一个值得辩论的问题:如果 PoA 的上界由成本曲率决定,那么组织设计的第一性问题就不是「如何让每个人更理性」,而是「如何把成本函数压平」。压平有具体含义:让拥堵/排队成本的边际增长变缓(加缓冲、加冗余、异步化)——这恰恰和「精益、去缓冲、零库存」的流行教条相反。
你所在的系统里,有没有一条「C→D 边」——一个看起来免费、实际把所有人重新路由到更差均衡的选项?







0 评论