Suurballe's Algorithm(计算点s到每个点的两条边不相交路径的和的最小值，模拟费用流)

最新推荐文章于 2023-03-31 14:08:07 发布

Freopen

最新推荐文章于 2023-03-31 14:08:07 发布

阅读量2.2k

点赞数 1

分类专栏：模拟费用流最短路点分治

本文链接：https://blog.csdn.net/qq_35950004/article/details/106054603

版权

本文介绍了Suurballe算法，用于解决计算点s到每个点的两条边不相交路径的和的最小值问题。该算法通过反向边权和最短路树，模拟费用流，实现O(nlogn)的时间复杂度。文章详细阐述了算法步骤，包括边权的重赋值，Dijkstra类似算法的应用，以及避免DFS最大子树的方法，证明了算法的正确性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

题意如题。
有向边，边权非负。
一个简单的暴力是对于每个点为汇点跑流量为 $2$ 的最小费用流。
不知道卡不卡 $S P F A$ 。（费用流反向边权值是负的。）
当然你可以 $J o h n s o n$ 算法跑有理有据的 $d i j k s t r a$ 费用流， $O(n^2\log n)$
但是 $J o h n s o n$ 算法本身就是该算法的一个特殊情况而已。

$t a r j a n$ 和 $s u u r b a l l e$ 的论文

具体做法是：
类似于费用流，求一个点 $v$ 的答案就是将最短路树上 $v$ 到 $s$ 的边全部取反方向和权值，再跑一边最短路即可。
求出 $s$ 为源的最短路树和 $dis_v$ 后重赋边权， $c s t^{'} (u, v) = c s t (u, v) + d i s (u) - d i s (v)$
然后树边权值为 $0$ 。
然后跑一次类似于 $d i j k s t r a$ 的东西，具体来说是：
维护一个 $d i j k s t r a$ 用的 $d_u$ 表示目前到 $u$ 的最短路，每次拿出 $d_u$ 最小的没有用于更新的点来更新。
更新操作是在 $u$ 所在的连通块中（事情开始不对劲了），把 $u$ 到该联通块内点 $v$ 的边拿出来更新一下 $d_v$ ，把该联通块内的点对 $(v, w)$ 之间的边拿出来，如果 $u$ 删除后 $v, w$ 不联通了就用 $d_u + c$

最低0.47元/天解锁文章