图算法

图算法

广度=>无权最短路径

1. 临接节点最短距离差一
2. 广度算出来的d是上界
3. 灰色队列中只有相邻两层的节点
4. 灰色队列中的节点是递增的
5. 反证法，v是最近的d不为$\delta$的节点，$v.d>\delta (s,v)=\delta (s,u)+1=u.d+1$，考察当u出队时，v的状态，均矛盾

非灰黑白

有u->v时，v为灰有环，黑白时都有u.f > v.f

逆行分

拓扑反向图，保证拓扑序列后面的子图已经被DFS过了。

入点短

数学归纳法：

最近加入的点已经 $v.d=\delta (s,v)$，设v为第一个不满足的点，研究p(s,v)上分割S和V-S的路径x->y，$x.d=\delta (s,x)$，由收敛性质，$y.d=\delta (s,y)$，可以得出 $y.d=\delta (s,y)\le \delta (s,v)\le v.d$，但$v.d\le y.d$，所以 $v.d=\delta (s,v)$，和假设矛盾。

所有节点对

中分两

维护每对路径的中间节点子集，中间节点将最短路径分成两段最短路径($d_{i}k+k+d_{k}j$), 如果不是中间节点直接去掉

找前驱

通过最短路径构建最短路径树，满足 $L_{i,k}+w(k,j)=L[i,j]$ 的就是前驱， 遍历每一个。

同时算

动态规划的两种情况，根据min是前项大还是后项大判断：

$${\pi }_{ij}^{(k)}=\{\begin{array}{ll}{\pi }_{ij}^{(k-1)}& \text{k不是中间节点}\\ {\pi }_{kj}^{(k-1)}& \text{k是中间节点}\end{array}$$

跨流

横跨任意切割的净流量都等于图的流量。

流网络