ZKW费用流的研究.pdfVIP

ZKW 费用流的研究 BY Rj ZKW 费用流的研究 —— RJ 费用流是网络流的一个很重要的组成部分，也是非常有用的一种图论模型， 关于费用流的算法，流传比较广的主要是消圈和增广路算法，而近来炒得沸沸扬 扬的ZKW 算法也是一种非常优秀的算法，这里我就谈谈我对此算法的一些理解。 此算法是由ZKW 大牛创立，主要思想仍然是找增广路，只是有了一些优化 在里边。原来我们找增广路主要是依靠最短路算法，如SPFA 。因此此算法的时 间复杂度主要就取决于增广的次数和每次增广的耗费。由于每一次找增广路是都 是重新算一遍，这样似乎显得有些浪费，如果我们能够缩短找增广路的时间，那 必定会大大地优化算法。 值得注意的是，在寻求最短路得过程中，设dis[i]为i 到起点的距离，对于 每一条由i 引向j 的边，必有dis[j]=dis[i]+map[i][j] ；既然满足这样的恒等式，我 们就可以借用KM 算法的调整思想来寻求最短路，每次只走dis[j]=dis[i]+map[i][j] 的路径，一旦不存在到达终点的路径，就扫描每一条边，找到最小的距离增加值， 使得有至少一条新边被加入相等子图。 算法流程如下： 1.将dis 数组清零，表示当前的相等子图内只有起点。 2.深搜，如果到达终点，全部回退更改流量，再进行步骤2 ；否则，转3 。 3.修改dis 的值，如果无法修改，结束程序，已经找到的答案，反之转2 。 详细分析及代码见附录。 据我的实际运用，ZKW 费用流在二分图类的网络流图中非常快，而在稀疏图 中却不是一般的慢。据我的分析，这主要是由于ZKW 的增广方法是深搜，而SPFA 是宽搜，这就是这两种算法最本质的区别。 下面用看一些实例： 1.最优图像 题目简述：一个n 行m 列的01 矩阵，已知每一个位置出现1 的概率，以及每一 行的1 的总数，每一列的1 的总数，要求找出满足要求的概率最高的矩阵。 输入： 2 2 90 10 20 80 1 1 1 1 输出： 1 ZKW 费用流的研究 BY Rj 10 01 样例解释： 共有两种可能的图像： 01 10 和 10 01 前者的出现概率是0.1×0.2=0.02 ，后者的出现概率是0.9×0.8=0.72 ，故后者是最优 图像。 简析：构建二分图，X 集表示行，Y 集表示列，由第i 行向第j 列引一条边，容量 为1，费用为-lnx （x 为概率） 。求网络的最小费用最大流。 虽然想法很好，但是实践起来不容易，因为SPFA 严重地超时！ 这是SPFA 的时间，令人难以接收 2 ZKW 费用流的研究 BY Rj 而ZKW 却非常快速地得出了结果 由此可见ZKW 确实在二分图里