ブライスのパラドックス

ブライスのパラドックス（)とは、移動時間の短縮を目的としてネットワーク中に新たに流路を作ったにもかかわらず、移動時間の短縮どころか逆に移動時間が増加する場合があるという交通工学におけるパラドックス。1960年代にドイツのルール大学の数学者によって提唱された。
なお、これはある流路を取り去ることによって全体移動時間が短縮される場合が有るということとも同義である。この理論は各ドライバーが他のドライバーの行動を所与として自身の総移動時間がより短くなるような選択をするという仮定に基づいており、背景にはナッシュ均衡が必ずしもパレート最適ではないことが隠れている。
例.
右図のSTARTからENDまで4000人のドライバーが移動することを考える。START-Aルートはこのルートを選んだドライバー数を100で割った時間(分)だけかかるものとし、B-ENDルートも同様である。START-Bルートは常に45分かかるものとし、A-ENDルートも同様である。またA-Bルートは存在しないとする。このとき当然START-Aルートを通るドライバー数をA、B-ENDルートを通るドライバー数をBとするとformula_1(人)が成り立つ。各所要時間を考えるとSTART-A-ENDルートはformula_2(分)、START-B-ENDルートはformula_3(分)となる。もしformula_4であればSTART-A-ENDルートのドライバーはより移動時間の短くなるSTART-B-ENDルートに選択を変更するはずであるからこれはナッシュ均衡ではなく、formula_5の場合も同様のことが言えて、結果的にformula_6(人)が均衡である。このとき全てのドライバーの移動時間はformula_7(分)である。
ここで、移動時間が無視できるショートカットA-Bルートを新たに加える。このとき全てのドライバーはSTART-BルートではなくSTART-Aルートを選ぶ。なぜならばSTART-Aルートは最大でもformula_8(分)しかかからず、これはSTART-Bルートの45分よりも短いからである。その後A点にいる全てのドライバーはA-B-ENDルートを選ぶ。なぜなら先ほど同じ理由でA-B-ENDルートは最大でもformula_9(分)しかかからず、これはA-ENDルートの45分よりも短いからである。結果、全てのドライバーの移動時間はformula_10(分)となり、A-Bルートが存在しなかったときの65分よりも長くなってしまっている。もし全てのドライバーがA-Bルートを使用しなければ移動時間は65分で済むのだが、いかなる場合でも各ドライバーはA-Bルートを使うことによって自分の移動時間を短縮することができるためこのようにブライスのパラドックスが生じるのである。