研究生知識寓言:公爵的神奇隧道與越修越慢的商路

在群山與大海之間,有一個名叫「瓦德洛普(Wardrop)」的公國。

公國的財富,全仰賴每天清晨從山城出發、運貨到港市的四千名商人。從山城到港市只有兩條路:

  • 北路:先過一座古老的「窄石橋」,再走一段寬闊平坦的「北官道」。
  • 南路:先走一段寬闊平坦的「南官道」,再穿過一道狹窄的「鷹嘴關」。

兩條官道又寬又直,不論多少人走,都恰好要走 45 刻鐘。

窄石橋與鷹嘴關就不同了。它們窄得只容一輛車通過,人越多越擠:若有 $T$ 個商人同時要過,就要花 $T/100$ 刻鐘。一百人過橋只需 1 刻,四千人一起擠,就得耗上整整 40 刻。


一、無人指揮的秩序

公國沒有交通官,也沒有人分配路線。每個商人只做一件事:每天早上,選一條自己覺得最快的路。

起初有人一窩蜂擠北路,北路的石橋就塞爆;隔天大家改走南路,鷹嘴關又塞爆。幾個月的你推我擠之後,商人們自然而然地分成了兩半:

  • 兩千人走北路:過橋 $2000/100 = 20$ 刻,加上北官道 45 刻,共 65 刻。
  • 兩千人走南路:南官道 45 刻,加上過關 20 刻,共 65 刻。

兩條路一樣快。此時任何一個商人想「換條路試試」都不會更快——換過去反而讓那邊更擠一點。於是大家就這樣日復一日,穩穩當當地各走各的。

老商人們說:「這叫做誰也不吃虧的平衡。」


二、公爵的好意

新繼位的年輕公爵「布雷斯(Braess)」巡視商路時,皺起了眉頭。

「65 刻鐘?太慢了!」他指著地圖,「你們看——窄石橋的出口和鷹嘴關的入口,中間只隔著一座小山。如果在這裡打通一條隧道,商人就能走完石橋,直接鑽到鷹嘴關,完全跳過那兩段漫長的官道!」

宮廷魔法師領命,用了一整年,在山腹中開出一條「神奇隧道」。隧道裡有傳送陣,踏進去的瞬間就到了另一頭——通過時間為零。

開通那天,公爵親自剪綵,宣布:「從今天起,我的子民多了一個選擇。多一條路,只會更好,絕不會更壞!」

全城歡呼。


三、怪事

隧道開通的第一天,一位精明的商人「納許(Nash)」盤算起來:

「現在大家還是一半一半,石橋只要 20 刻,鷹嘴關也只要 20 刻。我若走『石橋 → 隧道 → 鷹嘴關』,只要 $20 + 0 + 20 = 40$ 刻,比 65 刻快多了!」

他走了,果然快。第二天,他的同伴們也學他走隧道。第三天,走官道的人越來越少……

這套推理對每一個商人都成立:

  • 對走北路的人來說,與其從石橋出口走 45 刻的北官道,不如鑽隧道去擠鷹嘴關——鷹嘴關再擠,最多也只要 40 刻,永遠不會超過 45 刻。
  • 對走南路的人來說,與其先走 45 刻的南官道,不如先擠石橋——石橋再擠,最多也只要 40 刻。

於是一個月後,四千名商人全部走上了同一條路線:石橋 → 隧道 → 鷹嘴關。

石橋上擠了四千人:40 刻。隧道:0 刻。鷹嘴關上也擠了四千人:40 刻。

每個人的行程,變成了 80 刻鐘。

比隧道開通以前,整整慢了 15 刻。


四、誰也不肯回頭

公爵勃然大怒,召來商人們質問:「你們明明以前 65 刻就能到,為什麼不回去走老路?」

商人納許苦笑著回答:「殿下,我也想。可是如果我一個人回去走『石橋 → 北官道』,石橋還是要 40 刻,再加上北官道 45 刻,就變成 85 刻——比現在還慢。走『南官道 → 鷹嘴關』也一樣是 85 刻。只要別人都不改,我改了就吃虧。」

「那你們全部一起改回去啊!」

「可是殿下,只要大家一起改回去、石橋和鷹嘴關又變得通暢,」納許攤開手,「那就又會有第一個聰明人發現隧道只要 40 刻……然後一切又回到今天。」

公爵沉默了。四千個人,每一個都做出了對自己最好的選擇;而加起來,卻是對所有人都更壞的結局。


五、老賢者的處方

公爵只好去山上請教隱居的老賢者「洛夫加登(Roughgarden)」。

老賢者聽完,只說了一句話:

「把隧道封起來。」

「可是那花了我一整年、半個國庫……」

「殿下,您以為您給了子民一個新選擇。但在一個人人只為自己挑路的國度,多一條路,有時候不是多一個機會,而是多一個陷阱——它讓每個人都有理由背離那個原本對大家都好的平衡。」

隧道封閉的第二天,商人們重新分成兩半。

65 刻鐘,回來了。


老賢者後來在他的典籍中寫下這個故事,並為它取了一個名字。他說,這不是瓦德洛普公國獨有的怪事——斯圖加特的街道、紐約的四十二街、首爾的清溪川,乃至電力網、網際網路的封包、甚至一串彈簧和繩子,都曾經上演過同一齣戲。

這個現象,叫做——

布雷斯悖論(Braess’s Paradox)

而它背後那個更深刻的量——「人人自私時的結果」比「最好的安排」糟糕多少倍——叫做 無秩序的代價(Price of Anarchy)。


概念解說

1. 布雷斯悖論是什麼?

1968 年,德國數學家 Dietrich Braess 發現:在一個交通網路中,如果每位用路人都自私地選擇對自己最快的路線,那麼新增一條道路(甚至是一條零成本的道路),反而可能讓所有人的通勤時間都變長。

這違反直覺,因為我們通常認為「多一個選項不會更糟——大不了不用它」。這句話對一個中央規劃者是對的;但對一群各自做決策的個體卻不成立。

2. 關鍵概念:Wardrop 均衡 / 納許均衡

  • Wardrop 第一原則(用路人均衡):在均衡狀態下,所有被使用的路線耗時相同,且不比任何未被使用的路線更慢。沒有人能單方面換路而變快。這就是非原子型(nonatomic)擁擠賽局中的納許均衡。
  • Wardrop 第二原則(系統最佳):讓所有人的總旅行時間最小化的分配。

布雷斯悖論的本質就是:均衡 ≠ 最佳。新增的道路改變了均衡的位置,而新的均衡更糟。

3. 數學驗證

設總流量 4000,擁擠路段延遲為 $\ell(T) = T/100$,官道延遲固定 45。

無隧道時,均衡為各半:

$$ \frac{2000}{100} + 45 = 65 $$

有隧道時,對任何流量分配,擁擠路段的延遲至多 $4000/100 = 40 < 45$,因此「石橋 → 隧道 → 鷹嘴關」對每個人都是優勢策略。全部人走這條路:

$$ \frac{4000}{100} + 0 + \frac{4000}{100} = 80 $$

偏離者若改走「石橋 → 北官道」:$40 + 45 = 85 > 80$,所以沒人想偏離——這是一個穩固的納許均衡。

而系統最佳呢?有隧道時,規劃者大可完全不用隧道,維持 65。所以:

$$ \text{Price of Anarchy} = \frac{\text{均衡總成本}}{\text{最佳總成本}} = \frac{80}{65} \approx 1.23 $$

4. 無秩序的代價(Price of Anarchy)

Koutsoupias 與 Papadimitriou(1999)提出「無秩序的代價」這個名詞,用來度量「自私行為造成的效率損失」。

Tim Roughgarden 與 Éva Tardos(2002)證明了一個優美的結論:在延遲函數為線性($\ell(x) = ax + b$)的自私路由網路中,

$$ \text{PoA} \le \frac{4}{3} $$

而且這個界是緊的——無論網路多大、多複雜,自私路由最多只比最佳安排糟 33%。我們故事中的 80/65 ≈ 1.23 正落在這個範圍內。(布雷斯網路的另一種參數化可以逼近 4/3。)這項工作是 Roughgarden 獲得 2009 年 Gödel 獎的核心成果之一,也奠定了「演算法賽局理論」這門學科。

5. 真實世界的布雷斯悖論

  • 斯圖加特(1969):投資興建新道路後交通惡化,直到封閉部分新路段才改善。
  • 紐約(1990):地球日封閉 42 街,交通流量反而變順。
  • 首爾清溪川(2005):拆除高架道路、恢復河川後,市中心交通並未癱瘓,部分還改善了。
  • 物理世界:Cohen 與 Horowitz(1991)設計出一個彈簧-繩子裝置——剪斷一條繩子,懸掛的重物反而上升;電路網中也有類似現象。
  • 網路與電網:增加連結頻寬或輸電線,可能讓整體延遲或電網穩定性變差。

6. 為什麼重要?

布雷斯悖論提醒工程師與政策制定者:在由自利個體組成的系統中,局部改善不保證全局改善。這直接影響了:

  • 都市交通規劃(「誘發需求」與「道路瘦身」政策)
  • 網路路由協定與資料中心流量工程
  • 機制設計:如何透過壅塞收費(Pigouvian toll)把均衡推回最佳——理論上,對每條路收取「邊際外部成本」$x \cdot \ell’(x)$,就能讓自私均衡恰好等於系統最佳。

隱喻對照表

故事元素對應概念
瓦德洛普公國交通網路(以 Wardrop 均衡命名)
四千名商人非原子型用路人(每人影響微小的自私決策者)
山城 → 港市起點–終點對(origin–destination pair)
窄石橋、鷹嘴關($T/100$ 刻)隨流量增加的擁擠延遲函數 $\ell(x) = x/100$
北官道、南官道(固定 45 刻)與流量無關的固定延遲邊
「每人選最快的路」自私路由(selfish routing)
「誰也不吃虧的平衡」Wardrop 均衡 / 納許均衡
公爵布雷斯Dietrich Braess,以及好心增加容量的規劃者
零時間的神奇隧道新增的零成本邊——布雷斯悖論的觸發者
商人納許的盤算優勢策略與單方面偏離的分析
「我一個人改回去是 85 刻」納許均衡的穩定性:無人有單方面偏離誘因
65 刻 → 80 刻均衡成本惡化;80/65 即無秩序的代價
「全部一起改回去」也沒用均衡不等於社會最佳,且缺乏協調機制
老賢者洛夫加登Tim Roughgarden(PoA ≤ 4/3 的證明者)
封閉隧道移除邊以改善均衡(網路設計問題)
斯圖加特、紐約、首爾、彈簧與繩子布雷斯悖論的真實案例與物理類比

一句話總結:當每個人都只為自己挑最快的路時,「多給一個選擇」可能讓所有人都更慢——個體的理性,不必然加總成集體的理性。