论网络流算法中模型的优化与选择
福建师大附中周成
[内容摘要]近年来，在国内信息学竞赛（尤其是国家队选拔赛）、国际信息学竞赛中，多次出现应用网络流算法求解的试题，网络流算法已是信息学奥赛选手必须掌握的算法。本文主要探讨不同网络模型的构造对问题解决的效率的影响，以及如何优化网络模型，提高算法的效率。
[关键词]网络流，模型，优化，选择。
一、引言
网络流算法是一种高效实用的算法，相对于其它图论算法来说，它的模型更加复杂，编程复杂度也更高。但是它综合了图论中的其它一些算法（如最短路径、宽度搜索算法），因而适用范围也更广，经常能够很好地解决一些搜索与动态规划无法解决的非NP 问题。
网络流在具体问题中的应用，最具挑战性的部分是模型的构造，它没用现成的模式可以套用，需要我们对各种网络流的性质了如指掌（比如点有容量、容量有上下限、多重边等等），根据具体的问题发挥我们的创造性。一道问题经常可以建立多种模型，不同的模型对问题的解决效率的影响也是不同的，本文通过实例探讨如何确定适当的模型，提高网络流算法的效率。
二、网络流算法时间效率
当我们确定问题可以使用最大流算法求解后，就根据常用的Ford-Fulkerson 标号法求解；而最小（大）费用最大流问题也可用类似标号法的对偶算法解题。Ford-Fulkerson标号法的运行时间为O（VE2），对偶法求最小费用流的运行时间大约为O（V3E2）。
显然，影响网络流算法的时间效率的因素主要是网络中顶点的数目与边的数目。这二个因素之间不是相互独立的，而是相互联系，矛盾而统一的。在构造网络模型中，有时，实现了某个因素的优化，另外一个因素也随之得到了优化；有时，实现某个因素的优化却要以增大另一因素为代价。因此，我们在具体问题的解决中，要坚持"全局观"，实现二者的平衡。
三、模型的优化与选择
(一)减少模型的顶点数与边数，优化模型
如果能根据问题的一些特殊性质，减少网络模型中的顶点的数目和边的数目，则可以大大提高算法的效率。例1：最少皇后控制
在国际象棋中，皇后能向八个方向攻击（如图1(a)所示，图中黑点格子为皇后的位置，标有K 的格子为皇后可攻击到的格子）。现在给定一个M*N（N、M均不大于于50）的棋盘，棋盘上某些格子有障碍。每个皇后被放置在无障碍的格子中，它就控制了这个格子，除此，它可以从它能攻击到的最多8个格子中选一个格子来控制，如图1(b)所示，标号为1的格子被一个皇后所控制。
请你编一程序，计算出至少有多少个皇后才能完全控制整个棋盘。
图1(a)图1(b)
输入格式：
输入文件的第一行有两个整数M 和N，表示棋盘的行数与列数。接下来M 行N 列为一个字符矩阵，用'.'号表示空白的格子，'x'表示有障碍的格子。
输出格式：
输出文件的第一行仅有一个数S，表示需要皇后的数目。
Sample Input
34
x...
x.x.
.x..
Sample Ouput
5
问题分析]
如果本问题用简单的搜索来做，由于题目给的棋盘很大，搜索算法很难在短时间内出解。由于一个皇后在棋盘最多只能控制两个格子，因此最少需要的皇后数目的下界为[N*M/2]。要使得皇后数目最少，必定是尽
量多的皇后控制两个格子。如果我们在每两个能相互攻击到的格子之间加上一条有向弧，则问题很类似于二分图的最大匹配问题。
[模型一]
1．将每个非障碍的格子按行优先编号(0~m*n-1)。
2．将上述的每个格子i 折成两个格子i'和i''，作为网络模型中的顶点。
3．若格子i 可以攻击到格子j 且i
4．增加一个源点s，从s 点向所有顶点i'添上一条弧；增加一个汇点t，从所有顶点j''到t 添上一条弧，容量均为1。
图1(b)所示的棋盘，对应的模型为：
图2
显然，任一解对应于以上模型的一个最大匹配。且最大匹配中，匹配数必定是偶数。因此至少需要的马匹数为M＊N－障碍数－最大匹配数/2。
[模型二]
如果我们将棋盘涂成黑白相间的格子，则某皇后控制的两个格子一定是一个是黑格，另一个是白格（如图
3），不妨设这两个格子中皇后在白格子上。于是，我们将N*M个格子分成两部分白格与黑格。因此我们可以将模型一优化为：
图3
1．将棋盘中的所有格子分成两个部分，对所有的格子进行编号，每个白格与它能攻击到的黑格之间（障碍除外）添上一条从白格到黑格的弧，构成一个二分图。
2．增加一个源点s，从s 点向所有非障碍的白格添上一条弧；增加一个汇点t，从所有非障碍的黑格到t 添上一条弧。
3．设置所有的弧的流量为1。
图1(b)所示的棋盘，对应的模型为：
图4
[两种模型的比较]
显然，模型二的顶点数与边数大致是模型一的一半。下面是在BP 环境下两种模型的时间效率比较(P166/32M)：
模型一模型二
可扩展性不易打印出一种解容易打印出一种解
模型二正是根据问题的特殊性（即马的走法），将网格中的格点分成白与黑两类，且规定马只能从白格跳到黑格，从而避免将每个格点折分成两个点，减少模型的顶点数，同时也大大减少了边的数目。达到了很好的优化效果。
(二)综合各种模型的优点，智能选择模型
有时，同一问题的各种模型各有特色，各有利弊。这种情况下，我们就要综合考虑各种模型的优缺点，根据测试数据智能地选择问题的模型。
例2火星探测器（IOI97）
有一个登陆舱（POD），里边装有许多障碍物探测车（MEV），将在火星表面着陆。着陆后，探测车离开登陆舱向相距不远的先期到达的传送器（Transmitter）移动，MEV一边移动，一边采集岩石（ROCK）标品，岩石由第一个访问到它的MEV 所采集，每块岩石只能被采集一次。但是这之后，其他MEV 可以从该处通过。探测车MEV 不能通过有障碍的地面。
本题限定探测车MEV 只能沿着格子向南或向东从登陆处向传送器transmitter 移动，允许多个探测车MEV 在同一时间占据同一位置。
任务：计算出所有探测车的移动途径，使其送到传送器的岩石标本的数量最多，且使得所有的探测车都必须到达传送器。
输入：
火星表面上的登陆舱POD 和传送器之间的位置用网络P 和Q 表示，登陆舱POD 的位置为（1，1）点，传送器的位置在（P，Q）点。
火星上的不同表面用三种不同的数字符号来表示：
0代表平坦无障碍
1代表障碍
2代表石块。
输入文件的组成如下：
NumberOfVehicles
P
Q
(X1Y1)(X2Y1)(X3,Y1)…(XP-1Y1)(XPY1)
(X1Y2)(X2Y2)(X3,Y2)…(XP-1Y1)(XPY2)
(X1Y3)(X2Y3)(X3,Y3)…(XP-1Y3)(XPY3)
…
(X1YQ-1)(X2YQ-1)(X3,YQ-1)…(XP-1YQ-1)(XPYQ-1)
(X1YQ)(X2YQ)(X3,YQ)…(XP-1YQ)(XPYQ)
P 和Q 是网络的大小；NumberOfVehicles是小于1000的整数，表示由登陆舱POD 所开出的探测车的个数。共有Q 行数据，每行表示火星表面的一组数据，P和Q 都不超过128。
[模型一]
很自然我们以登陆舱的位置为源点，传送器的位置为汇点。同时某块岩石由第一个访问到它的MEV 所采集，每块岩石只能被采集一次。但是这之后，其他MEV 可以从该处通过，且允许多个探测车MEV 在同一时间占据同一位置。因此我们将地图中的每个点分成两个点，即（x,y）à(x,y,0)和(x,y,1)。具体的描述一个火星地图的网络模型构造如下：
1．将网格中的每个非障碍点分成(x,y)两个点(x,y,0)和(x,y,1)，其中源点s =v(1,1, 0),汇点t =v(MaxX,MaxY, 1)。
2．在以上顶点中添加以下三种类型的边e1,e2,e3，相应地容量和费用分别记为C1、C2、C3以及W1、W2、W3:
u e1=v(x,y, 0) ->v(x,y, 1),c1=MaxInt,w1=0。
u e2=v(x,y, 0) ->v(x,y, 1)，c2=1，w2=-1（这里要求(x,y)必须是矿石）
u e3=v(x,y, 1) ->v(x',y', 0)，c3=MaxInt,w3=0.
其中x'=x+1y'=y或x'=xy'=y+1,1
从以上模型中可以看出，在构造的过程中，将地图上的一个点"拆"成了网络的两个节点。添加e1型边使得每个点可以被多次访问，而添加e2型边使得某点上的矿石对于这个网络，从s 到t 的一条路径可以看作是一辆探测车的行动路线。路径费用就是探测车搜集到的矿石的数目。对于网络G 求流量为NumberOfVehicles 的固定最小费用流，可以得到问题的解。
[模型二]
事实上，如果我们只考虑这NumberOfVehicles 辆车中每辆车分别依次装上哪些矿石。则每辆车经过的矿石就是一条流，因此我们以网格中的矿石为网络的顶点建立以下的网络流模型。
1. 将网格中的每个起点(网格左上角)能到达，且能从它能到达终点(右下角)的矿石(x,y)点分成左点(x,y,0)和右点(x,y,1)两个点，并添加源点s 和汇点t。
2. 在以上顶点中添加以下五种类型的边e1,e2,e3，相应地容量和费用分别记为C1、C2、C3以及W1、W2、W3:
u e1=v(x,y, 0) ->v(x,y, 1),c1=1,w1=-1。
u e2=v(x,y, 1) ->v(x',y', 0)，c2=1，w2=0（矿石点(x,y)可到达矿石点(x',y')）。u e3=s ->v(x,y, 0)，c3=1,w3=0。
u e4=v(x,y, 1)->t，c4=1,w4=0。
u e5=S->t,c5=MaxInt,w5=0。
由于每个石块被折成两个点，且容量为1，就保证了每个石块只被取走一次，同时取走一块石块就得到-1的费用。因此对以上模型，我们求流量为NumberOfVehicles 的最小费用流，就可得到解。
[两种模型的比较]
1.模型一以网格为顶点，模型二以矿石为顶点，因此在顶点个数上模型二明显优于模型一，对于一些矿石比较稀疏，而网格又比较大的数据，模型二的效率要比模型一来得高。且只要矿石的个数不超过一定数目，模型二可以处理P，Q很大的数据，而模型一却不行。
2．模型一中边的数目最多为3*P*Q，而模型二中边的数目最坏情况下大约为p*q*(p+1)*(q+1)/4-p*q。因此在这个问题中，若对于一些矿石比较密集且网格又比较大的数据，模型二的边数将大大超过模型一，从而使得时间效率大大低于模型一。
下面是网格中都是矿石的情况比较（PIII700/128M，BP7.0保护模式）：
NumberOfVehicles＝10模型一模型二
通过以上数据，可知对于P，Q不超过60的情况，模型一都能在10秒内出解。而模型二则对于P、Q＝30的最坏情况下速度就很慢了，且P、Q超过30后就出现内存溢出情况，而无法解决。
因此，对于本题，以上两种模型各有利弊，我们可根据测试数据中矿石稀疏程度来决定建立什么样的模型。若矿石比较稀疏，则可以考虑用建立如模型二的网络模型；若矿石比较密集则建立模型一所示网络模型。然后，再应用求最小费用最大流算法求解。对于P，Q＞60，且矿石比较多情况下，两种模型的网络流算法都无法求解。在实际的应用中问题经常都只要求近似解，此时还可用综合一些其它算法来求解。
四、结束语
综上所述，网络流算法中模型的优化是网络流算法提高效率的根本。我们要根据实际问题，从减少顶点及边的角度综合考虑如何对模型进行优化，选择适当的模型，以提高算法的效率。对于有些题目，解题的各种模型各有优劣时，还可通过程序自动分析测试数据，以决定何种情况下采用何种模型，充分发挥各种模型的优点，以达到优化程序效率的目的。
[参考文献]
潘金贵、顾铁成等，《现代计算机常用数据结构和算法》，南京大学出版社，1994
[1]吴文虎王建德编著，《实用算法的分析与程序设计》，电子工业出版社，1998
[作者简介]本人于1970年11月生，1992年7月毕业于福建师大数学系电子计算机专业，2000年6月毕业福建师范大学数学系数学专业（本科），97年12月被确认为中学一级教师，现任计算机教研组组长。1996年参与指导学生陈磊参加国际信息学奥赛，获金牌，1997年获铜牌；1999、2000年参与指导学生陈宏，在国际信息学奥赛中获金牌。
2000.6参与编写《金牌之路--高中计算机竞赛辅导》一书，由陕西师范大学出版社出版。2000.9参与编写青少年信息学奥林匹克竞赛丛书《Pascal程序设计基础》，由福建科学技术出版社出版。2001参与编写福建省中学《信息技术》第二册，由福建教育出版社出版。