差分约束

x1−x0≤xx2−x1≤xx3−x2≤x\begin{aligned} x_1-x_0\le x\\ x_2-x_1\le x\\ x_3-x_2\le x \end{aligned}

形似如此, 等号方向决定了 最短路/最长路
当前情况则是最短路

分层图

在奇偶染色中很好使用
设 i 为偶节点, i+n 为奇节点
又 奇数+1=偶数, 偶数+1=奇数
那么他们的关系就是从偶数到奇数,从奇数到偶数
即 add: u->v+n, u+n->v, v->u+n, v+n->u