Cell-based M-N（Merchant–Nemhauser）Model
$i \in I$：ノード，$a \in A$：セル，$t \in T$：時刻
$p_t^a, u_t^a, v_t^a$：$t$ のとき $a$ に 留まる/流入/流出 人数
$A_D$：目的地のセル
$I(i), O(i)$：ノード $i$ の上流側，下流側で繋がっているセル集合
$C^a$：aの交通容量，$H^a$：$a$の収容量，$\delta^a$：渋滞流速度/自由流速度，$D^a$：$a$の初期需要量
【目的関数】
$\displaystyle\min_{p_1^a, v_1^a, u_1^a} \sum_{t=0}^{T}\sum_{a \in A | A_D}(p_t^{a}+v_t^{a})$
【制約式】
$p_t^a+u_t^a=p_{t+1}^a+v_{t+1}^a, \quad \displaystyle\sum_{a \in I(i)}v_t^a=\sum_{b \in O(i)}u_t^a,
\quad 0 \leq u_t^{a} \leq C^a, 0 \leq v_t^{a} \leq C^a, \quad u_t^{a} \leq \delta^a\{H^a-(p_t^a+v_t^a)\}, \quad p_0^a+v_0^a=D^a \geq 0$
要約：
単位時間あたりの移動距離の長さに区切ったネットワーク上のセルを，
需要が滞在・流出・流入を繰り返しながら目的地まで移動していき，
その総所要時間の最小化を目的とした最適化モデル