《ウォードロップの原理》 - 版の履歴

2007年8月7日 (火) 07:57にKuwashimaによる

2007-08-07T07:57:09Z

Orsjwiki: "《ウォードロップの原理》" を保護しました。 [edit=sysop:move=sysop]

2007-07-19T15:27:25Z

"《ウォードロップの原理》" を保護しました。 [edit=sysop:move=sysop]

2007年7月17日 (火) 07:45に122.17.2.240による

2007-07-17T07:45:34Z

2007年7月13日 (金) 11:40に122.17.2.240による

2007-07-13T11:40:05Z

2007年7月12日 (木) 10:14に122.17.2.240による

2007-07-12T10:14:16Z

差分を表示

122.26.167.76: 新しいページ: ''''【うぉーどろっぷのげんり (Wardrop's two extremal principles)】''' 　出発地(Origin)と目的地(Destination)の間に代替となる経路が複数ある場...'

2007-07-06T07:29:59Z

新しいページ: ''''【うぉーどろっぷのげんり (Wardrop's two extremal principles)】''' 　出発地(Origin)と目的地(Destination)の間に代替となる経路が複数ある場...'

新規ページ

'''【うぉーどろっぷのげんり (Wardrop's two extremal principles)】'''

　出発地(Origin)と目的地(Destination)の間に代替となる経路が複数ある場合に, 利用者がどのような規準で経路を選択するのかについて, 交通流全体の状況を用いて記述したものである.

　都市内の道路網の交通を例に考えよう. 様々なODを持つ車が, 可能性としては非常に多数ある経路の中からそれぞれの経路を選択し, 全体として秩序を持って通行している. それらは, もっとも距離の短い経路に集中している訳ではないし, ランダムに選択しているわけでもなく, 距離, 混雑度や料金などを判断基準として選択を行っている. これらを全体としてみたとき, 物理学の法則のような厳密性はないものの, 合理的な規準に従って経路選択が行われていると期待したい. もし, そのような原理を導くことができれば, 交通計画の際に総OD交通量データを道路網に配分することができ, 計画案を検討することができる.

　WardropはOD交通をOD間の各経路に配分する次のふたつの規準を提案した.

　1.OD間で実際に使われている経路の旅行時間はすべて等しい. そして, それは使
われていない経路を単一の利用者が旅行する場合の旅行時間よりも短い.

　2.平均旅行時間が最小である.

前者は利用者最適化配分や利用者均衡配分, 後者はシステム最適化配分と呼ばれる.

　単一のODの場合に上のふたつの原理を定式化しよう. 変数は, 各枝の流れではなく各経路に沿った流れとする. 枝の集合を $E$, OD間の経路の集合を $M$ , 経路 $j\in M$の流れを $h_j\ge 0$ とする. 経路 $j$ を構成する枝を表すのに

:$a_{ij}=1 $ : & 枝 $i$ が経路 $j$ に含まれるとき,
:$a_{ij}=0 $ : & それ以外

とする. 枝 $i$ の流れ $f_i$ は, 枝 $i$ を通る経路の流量の和として

\begin{equation}
f_i = \sum_{j\in M} a_{ij}h_{j} , \qquad i \in E \label{C-E-04+siki1}
\end{equation}

と表すことができる. 枝 $i$ を通過するのにかかる旅行時間(費用)を枝 $i$ の流れ $f_i$ の関数として $c_i(f_i)$ とする. すると, 経路 $j$ の旅行時間は

C_j = \sum_{i\in E} a_{ij}c_i(f_i)

である. ただし $f_i$ は式(1)で与えられるとする. 総OD交通量を $d$ とすると

\begin{equation}
d = \sum_{j\in M} h_{j} \label{C-E-04+siki2}
\end{equation}

となる. 変数を経路の流量としたので, 各頂点における流れの連続の条件は不要である.

　枝を通過するのにかかる旅行時間(費用)がその枝を通過する流れによらない場合は, どちらの配分によってもOD間の最短経路だけが使われるという自明な配分となる. また, 流れの容量制約があり, その中では旅行時間が一定であるという場合は, 旅行時間は流れによると考える.

　利用者最適化配分は次のように定式化できる. 経路の番号を旅行時間の短い方から順に $1$, $2$, $\ldots$, $|M|$ としたとき, 利用者最適化配分 $h$ は

\begin{equation}
C_1(h) = C_2(h)= \ldots = C_k(h) \le C_{k+1}(h) \le \ldots \le C_{|M|} ,
\label{C-E-04+siki3}
\end{equation}
\begin{equation}
h_1 > 0, h_2 > 0, \ldots , h_k > 0, h_{k+1}=0, \ldots, h_{|M|}=0
\label{C-E-04+siki4}
\end{equation}

を満たす.

　システム最適化配分は次のような最小化問題として定式化することができる. すなわち, 総費用が

\sum_{j\in M}h_jC_j(h)= \sum_{j\in M}h_j\sum_{i\in E}a_{ij}c_i(f_i) = \sum_
{i\in E}f_ic_i(f_i)

と表されることから,

\begin{eqnarray*}
&&\min_{h} \sum_i f_ic_i(f_i) \\
&&\mbox{s. t.} \;\;\;f_i = \sum_{j\in M}a_{ij}h_j , \qquad i\in E,\\
&&\;\;\;\;\;\sum_{j\in M}h_j = d, \\
&&\;\;\;\;\;h_j \ge 0, \qquad j\in M\\
\end{eqnarray*}

である.

　各枝における総費用 $f_ic_i(f_i)$ が強凸で増加関数であると仮定して, この問題と双対問題との相補条件が利用者最適配分(3), (4)と同じ形となることを示そう. (1)に関する双対変数を $\mu_i$, (2)に関する双対変数を $\lambda$ とすると, 双対問題は

\begin{eqnarray*}
&&\max_{\mu ,\lambda} \lambda d - \sum_{i\in E} \phi_i(\mu_i)\\
&&{\mbox{s. t.}}\;\;\;\sum_{i\in E} \mu_ia_{ij} - \lambda \ge 0, \qquad j\in M, \\
&&\;\;\;\;\;\phi_i(\mu) = \min_{f\ge 0}\{ \mu f - fc(f) \}
\end{eqnarray*}

となり, 相補条件は

:もし $f_i>0$ ならば $\partial (f_ic_i(f_i))/\partial f_i = \mu_i, \qquad i\in
E, $ \\
:もし $\partial (f_ic_i(f_i))/\partial f_i|_{f=0} > \mu_i $ ならば $f_i=0,
\qquad i\in E, $ \\
:もし $h_j>0$ ならば $\displaystyle\sum_{i\in E}\mu_ia_{ij} = \lambda, \qquad
j\in M, $ \\
:もし $\displaystyle\sum_{i\in E} \mu_ia_{ij} > 0$ ならば $h_j=0, \qquad j\in M$

となる. $\mu_i$ は各枝の限界費用 $\partial (f_ic_i(f_i))/\partial f_i$ であり, 使われている経路に対しては, 経路を構成する枝の限界費用の和(経路の限界費用)は等しく, 使われていない経路の限界費用よりも小さいことがわかる. この記述は限界費用を枝の費用に置き換えると利用者最適化配分の記述そのものである. そこで, システム最適化配分問題で, $c(f)$ の代わりに

\frac{1}{f}\int_0^fc(\tau){\mbox{d}}\tau

を用いると, 利用者最適化配分を最小化問題として定式化することができる.

\begin{eqnarray*}
&&\mbox{min.} \sum_{i} \int_0^f c_i(\tau){\mbox{d}}\tau \\
&& {\mbox{s. t.}}\;\;\;\sum_{j\in M} h_j = d, \\
&&\;\;\;\;\;h_j \ge 0, \qquad j\in M.
\end{eqnarray*}

利用者最適化配分によると, 新たに道路を作るとかえってOD間の移動時間が長くなるという面白い交通流配分が発生する例題が知られている. これはBraessのパラドックスとよばれている.

----
'''参考文献'''

[1] D. Braess, "Über ein Paradoxen aus der Verkehrsplanung," ''Unternehmensforschung,'' '''12''' (1968), 258-268.

[2] M. Frank, "The Braess Paradox," ''Mathematical Programming,'' '''20''' (1981), 283-302.

[3] R. B. Potts and R. M. Oliver, ''Flows in Transportation Netwroks,'' Academic Press, 1972.

[4] J. G. Wardrop, "Some Theoretical Aspects of Road Traffic Reserach," in ''Proceedings of the Institute of Civil Engineers 2,'' 325-378, 1952.

← 古い版		2007年8月7日 (火) 07:57時点における版
136行目:		136行目:

	[4] J. G. Wardrop, "Some Theoretical Aspects of Road Traffic Reserach," in ''Proceedings of the Institute of Civil Engineers 2,'' 325-378, 1952.		[4] J. G. Wardrop, "Some Theoretical Aspects of Road Traffic Reserach," in ''Proceedings of the Institute of Civil Engineers 2,'' 325-378, 1952.
		+
		+	[[category:都市システム\|うぉーどろっぷのげんり]]

@@ 15行目: / 15行目: @@
 　単一のODの場合に上のふたつの原理を定式化しよう. 変数は, 各枝の流れではなく各経路に沿った流れとする. 枝の集合を <math>E\, </math>, OD間の経路の集合を <math>M\, </math> , 経路 <math>j\in M\, </math>の流れを <math>h_j\ge 0\, </math> とする. 経路 <math>j\, </math> を構成する枝を表すのに
-:<math>a_{ij}=1\, </math>  : 枝 <math>i\, </math> が経路 <math>j\, </math> に含まれるとき,
+::<math>a_{ij}=1\, </math>  : 枝 <math>i\, </math> が経路 <math>j\, </math> に含まれるとき,
-:<math>a_{ij}=0 \, </math> : それ以外
+::<math>a_{ij}=0 \, </math> : それ以外
 とする. 枝 <math>i\, </math> の流れ <math>f_i\, </math> は, 枝 <math>i\, </math> を通る経路の流量の和として
-:<math>f_i = \sum_{j\in M} a_{ij}h_{j} , \qquad i \in E \, </math>　　　　　<math>(1) \,</math>
+<center><math>f_i = \sum_{j\in M} a_{ij}h_{j} , \qquad i \in E \, </math>　　　　　<math>(1) \,</math></center>
@@ 28行目: / 28行目: @@
-:<math>C_j = \sum_{i\in E} a_{ij}c_i(f_i)\, </math>
+<center><math>C_j = \sum_{i\in E} a_{ij}c_i(f_i)\, </math></center>
@@ 34行目: / 34行目: @@
-:<math>d = \sum_{j\in M} h_{j} \, </math>　　　　　<math>(2) \,</math>
+<center><math>d = \sum_{j\in M} h_{j} \, </math>　　　　　<math>(2) \,</math></center>
@@ 45行目: / 45行目: @@
-:<math>C_1(h) = C_2(h)= \ldots = C_k(h) \le C_{k+1}(h) \le \ldots \le C_{|M|} , \, </math>　　　　　<math>(3) \,</math>
+<center><math>C_1(h) = C_2(h)= \ldots = C_k(h) \le C_{k+1}(h) \le \ldots \le C_{|M|} , \, </math>　　　　　<math>(3) \,</math></center>
-:<math>h_1 > 0, h_2 > 0, \ldots , h_k > 0, h_{k+1}=0, \ldots, h_{|M|}=0 \, </math>　　　　　<math>(4) \,</math>
+<center><math>h_1 > 0, h_2 > 0, \ldots , h_k > 0, h_{k+1}=0, \ldots, h_{|M|}=0 \, </math>　　　　　<math>(4) \,</math></center>
@@ 56行目: / 56行目: @@
-:<math>\sum_{j\in M}h_jC_j(h)= \sum_{j\in M}h_j\sum_{i\in E}a_{ij}c_i(f_i) = \sum_{i\in E}f_ic_i(f_i)\, </math>
+<center><math>\sum_{j\in M}h_jC_j(h)= \sum_{j\in M}h_j\sum_{i\in E}a_{ij}c_i(f_i) = \sum_{i\in E}f_ic_i(f_i)\, </math></center>
 と表されることから,
+<center>
 :<math>\min_{h} \sum_i f_ic_i(f_i) \, </math>
@@ 69行目: / 70行目: @@
 ::<math>\;\;\;\;\;h_j \ge 0, \qquad j\in M \, </math>
@@ 76行目: / 79行目: @@
 :<math>\max_{\mu ,\lambda} \lambda d - \sum_{i\in E} \phi_i(\mu_i) \, </math>
 :<math>{\mbox{s. t.}}\;\;\;\sum_{i\in E} \mu_ia_{ij} - \lambda \ge 0, \qquad j\in M, \, </math>
 ::<math>\;\;\;\;\;\phi_i(\mu) = \min_{f\ge 0}\{ \mu f - fc(f) \}</math>
@@ 98行目: / 105行目: @@
-:<math>\frac{1}{f}\int_0^fc(\tau){\mbox{d}}\tau\, </math>
+<center><math>\frac{1}{f}\int_0^fc(\tau){\mbox{d}}\tau\, </math></center>
@@ 104行目: / 111行目: @@
-:<math>\mbox{min.} \sum_{i} \int_0^f c_i(\tau){\mbox{d}}\tau \, </math>
+<center>
-:<math>{\mbox{s. t.}}\;\;\;\sum_{j\in M} h_j = d, \, </math>
+<math>{\mbox{s. t.}}\;\;\;\sum_{j\in M} h_j = d, \, </math>
-::<math>\;\;\;\;\;h_j \ge 0,  \qquad j\in M. \, </math>
+:<math>\;\;\;\;\;h_j \ge 0,  \qquad j\in M. \, </math>

@@ 13行目: / 13行目: @@
 前者は利用者最適化配分や利用者均衡配分, 後者はシステム最適化配分と呼ばれる.
-　単一のODの場合に上のふたつの原理を定式化しよう. 変数は, 各枝の流れではなく各経路に沿った流れとする. 枝の集合を $<math>E\, </math>$, OD間の経路の集合を $<math>M\, </math>$ , 経路 $<math>j\in M\, </math>$の流れを $<math>h_j\ge 0\, </math>$ とする. 経路 $<math>j\, </math>$ を構成する枝を表すのに
+　単一のODの場合に上のふたつの原理を定式化しよう. 変数は, 各枝の流れではなく各経路に沿った流れとする. 枝の集合を <math>E\, </math>, OD間の経路の集合を <math>M\, </math> , 経路 <math>j\in M\, </math>の流れを <math>h_j\ge 0\, </math> とする. 経路 <math>j\, </math> を構成する枝を表すのに
-:$<math>a_{ij}=1\, </math> $ : & 枝 $<math>i\, </math>$ が経路 $<math>j\, </math>$ に含まれるとき,
+:<math>a_{ij}=1\, </math>  : 枝 <math>i\, </math> が経路 <math>j\, </math> に含まれるとき,
-:$<math>a_{ij}=0 $\, </math> : & それ以外
+:<math>a_{ij}=0 \, </math> : それ以外
-とする. 枝 $<math>i\, </math>$ の流れ $<math>f_i\, </math>$ は, 枝 $<math>i\, </math>$ を通る経路の流量の和として
+とする. 枝 <math>i\, </math> の流れ <math>f_i\, </math> は, 枝 <math>i\, </math> を通る経路の流量の和として
-<math>f_i = \sum_{j\in M} a_{ij}h_{j} , \qquad i \in E \label\, </math>　　(1)
+:<math>f_i = \sum_{j\in M} a_{ij}h_{j} , \qquad i \in E \, </math>　　　　　<math>(1) \,</math>
-と表すことができる. 枝 $<math>i\, </math>$ を通過するのにかかる旅行時間(費用)を枝 $<math>i\, </math>$ の流れ $<math>f_i\, </math>$ の関数として $<math>c_i(f_i)\, </math>$ とする. すると, 経路 $<math>j\, </math>$ の旅行時間は
+と表すことができる. 枝 <math>i\, </math> を通過するのにかかる旅行時間(費用)を枝 <math>i\, </math> の流れ <math>f_i\, </math> の関数として <math>c_i(f_i)\, </math> とする. すると, 経路 <math>j\, </math> の旅行時間は
-<math>C_j = \sum_{i\in E} a_{ij}c_i(f_i)\, </math>
+:<math>C_j = \sum_{i\in E} a_{ij}c_i(f_i)\, </math>
-である. ただし $<math>f_i\, </math>$ は式(1)で与えられるとする. 総OD交通量を $<math>d\, </math>$ とすると
+である. ただし <math>f_i\, </math> は式(1)で与えられるとする. 総OD交通量を <math>d\, </math> とすると
-<math>d = \sum_{j\in M} h_{j} \label\, </math>　(2)
+:<math>d = \sum_{j\in M} h_{j} \, </math>　　　　　<math>(2) \,</math>
@@ 42行目: / 42行目: @@
 　枝を通過するのにかかる旅行時間(費用)がその枝を通過する流れによらない場合は, どちらの配分によってもOD間の最短経路だけが使われるという自明な配分となる. また, 流れの容量制約があり, その中では旅行時間が一定であるという場合は, 旅行時間は流れによると考える.
-　利用者最適化配分は次のように定式化できる. 経路の番号を旅行時間の短い方から順に $<math>1\, </math>$, $<math>2\, </math>$, $<math>\ldots\, </math>$, $<math>|M|\, </math>$ としたとき, 利用者最適化配分 $<math>h\, </math>$ は
+　利用者最適化配分は次のように定式化できる. 経路の番号を旅行時間の短い方から順に <math>1\, </math>, <math>2\, </math>, <math>\ldots\, </math>, <math>|M|\, </math> としたとき, 利用者最適化配分 <math>h\, </math> は
-<math>C_1(h) = C_2(h)= \ldots = C_k(h) \le C_{k+1}(h) \le \ldots \le C_{|M|} , \label\, </math>　(3)
+:<math>C_1(h) = C_2(h)= \ldots = C_k(h) \le C_{k+1}(h) \le \ldots \le C_{|M|} , \, </math>　　　　　<math>(3) \,</math>
-<math>h_1 > 0, h_2 > 0, \ldots , h_k > 0, h_{k+1}=0, \ldots, h_{|M|}=0 \label\, </math>　(4)
+:<math>h_1 > 0, h_2 > 0, \ldots , h_k > 0, h_{k+1}=0, \ldots, h_{|M|}=0 \, </math>　　　　　<math>(4) \,</math>
@@ 56行目: / 56行目: @@
-<math>\sum_{j\in M}h_jC_j(h)= \sum_{j\in M}h_j\sum_{i\in E}a_{ij}c_i(f_i) = \sum_{i\in E}f_ic_i(f_i)\, </math>
+:<math>\sum_{j\in M}h_jC_j(h)= \sum_{j\in M}h_j\sum_{i\in E}a_{ij}c_i(f_i) = \sum_{i\in E}f_ic_i(f_i)\, </math>
@@ 62行目: / 62行目: @@
-<math>\begin{eqnarray*}
+:<math>\min_{h} \sum_i f_ic_i(f_i) \, </math>
 である.
-　各枝における総費用 $<math>f_ic_i(f_i)\, </math>$ が強凸で増加関数であると仮定して, この問題と双対問題との相補条件が利用者最適配分(3), (4)と同じ形となることを示そう. (1)に関する双対変数を $<math>\mu_i\, </math>$, (2)に関する双対変数を $<math>\lambda\, </math>$ とすると, 双対問題は
+　各枝における総費用 <math>f_ic_i(f_i)\, </math> が強凸で増加関数であると仮定して, この問題と双対問題との相補条件が利用者最適配分(3), (4)と同じ形となることを示そう. (1)に関する双対変数を <math>\mu_i\, </math>, (2)に関する双対変数を <math>\lambda\, </math> とすると, 双対問題は
-<math>\begin{eqnarray*}
+::<math>\;\;\;\;\;\phi_i(\mu) = \min_{f\ge 0}\{ \mu f - fc(f) \}</math>
@@ 85行目: / 86行目: @@
-:もし $<math>f_i>0\, </math>$ ならば $<math>\partial (f_ic_i(f_i))/\partial f_i = \mu_i, \qquad i\in E,\, </math> $
+:もし <math>f_i>0\, </math> ならば <math>\partial (f_ic_i(f_i))/\partial f_i = \mu_i, \qquad i\in E,\, </math>
-:もし $<math>\partial (f_ic_i(f_i))/\partial f_i|_{f=0} > \mu_i\, </math> $ ならば $<math>f_i=0, \qquad i\in E,\, </math> $
+:もし <math>\partial (f_ic_i(f_i))/\partial f_i|_{f=0} > \mu_i\, </math>  ならば <math>f_i=0, \qquad i\in E,\, </math>
-:もし $<math>h_j>0\, </math>$ ならば $<math>\displaystyle\sum_{i\in E}\mu_ia_{ij} = \lambda, \qquad j\in M,\, </math> $
+:もし <math>h_j>0\, </math> ならば <math>\displaystyle\sum_{i\in E}\mu_ia_{ij} = \lambda, \qquad j\in M,\, </math>
-:もし $<math>\displaystyle\sum_{i\in E} \mu_ia_{ij} > 0\, </math>$ ならば $<math>h_j=0, \qquad j\in M\, </math>$
+:もし <math>\displaystyle\sum_{i\in E} \mu_ia_{ij} > 0\, </math> ならば <math>h_j=0, \qquad j\in M\, </math>
-となる.  $<math>\mu_i\, </math>$ は各枝の限界費用 $<math>\partial (f_ic_i(f_i))/\partial f_i\, </math>$ であり, 使われている経路に対しては, 経路を構成する枝の限界費用の和(経路の限界費用)は等しく, 使われていない経路の限界費用よりも小さいことがわかる. この記述は限界費用を枝の費用に置き換えると利用者最適化配分の記述そのものである. そこで, システム最適化配分問題で, $<math>c(f)\, </math>$ の代わりに
+となる.  <math>\mu_i\, </math> は各枝の限界費用 <math>\partial (f_ic_i(f_i))/\partial f_i\, </math> であり, 使われている経路に対しては, 経路を構成する枝の限界費用の和(経路の限界費用)は等しく, 使われていない経路の限界費用よりも小さいことがわかる. この記述は限界費用を枝の費用に置き換えると利用者最適化配分の記述そのものである. そこで, システム最適化配分問題で, <math>c(f)\, </math> の代わりに
-<math>\frac{1}{f}\int_0^fc(\tau){\mbox{d}}\tau\, </math>
+:<math>\frac{1}{f}\int_0^fc(\tau){\mbox{d}}\tau\, </math>
@@ 103行目: / 104行目: @@
-<math>\begin{eqnarray*}
+:<math>\mbox{min.} \sum_{i} \int_0^f c_i(\tau){\mbox{d}}\tau \, </math>
-&&\mbox{min.} \sum_{i} \int_0^f c_i(\tau){\mbox{d}}\tau \\
-&& {\mbox{s. t.}}\;\;\;\sum_{j\in M} h_j = d, \\
+:<math>{\mbox{s. t.}}\;\;\;\sum_{j\in M} h_j = d, \, </math>
-&&\;\;\;\;\;h_j \ge 0,  \qquad j\in M.
-\end{eqnarray*}\, </math>
+::<math>\;\;\;\;\;h_j \ge 0,  \qquad j\in M. \, </math>

← 古い版	2007年7月19日 (木) 15:27時点における版
(相違点なし)