第6章 图与网络分析重点.ppt

* 2 基本概念 容量：每个弧上的最大通过能力。用cij表示，即弧上的第一个数字； 流量：弧上实际通过的流量，用fij表示，弧上的第二个数字；显然0= fij=cij，如果fij=cij则称为饱和弧； 守恒方程：一般假定，除了出发点s和终点t，表示其他各点的流出和流入量相等的方程。 可行流：满足 和守恒方程的流称为可行流。 最大流问题，就是求一个可行流，使得流出出发点s或者流入终点t的总流量最大； 1 4 2 3 12,10 13,8 7,3 13,13 8,7 7,2 2 基本概念 1 4 2 3 12,10 13,8 7,3 13,13 8,7 7,2 P为从s到t的一个无向路，P的一个弧(i,j)如果是从s到t，称为前向弧，否则称为背(后)向弧； 如果在一个路中每一个前向弧的流量都小于容量，每一个背向弧的流量都大于零，称为一个增广路； 在增广路的前向弧上增加一个单位流，同时在背向弧上减少一个单位流，则得到增大的可行流。 2 基本概念 (s,t)-割：即割(S,T)，s和t分别在S和T中； (s,t)-割的容量：由S到T的全部的弧的容量之和； 通过割的纯流：S到T的流减去T到S流； 1 4 2 3 12,12 13,9 7,1 13,13 8,8 7,0 割(S,T): 把始点在 S中，终点在T中的所有弧构成的集合称为是割集； 增广路定理：可行流是最大流当且仅当不存在从s到t的增广路； 整流定理：如果网络中所有弧的容量是整数，则存在整数最大流； 最大流最小割定理：一个可行流的最大值等于所有(s,t)-割的最小容量(即分离s,t的最小割集的容量)； 3 基本理论 1 4 2 3 12,12 13,9 7,1 13,13 8,8 7,0 1 4 2 3 12,10 13,8 7,3 13,13 8,7 7,2 出弧非饱和、入弧非零、标号 如何找增广路？ 4 Ford-Fulkerson算法 基本原理：从一个可行流出发，寻找增广路，增加流值，得到新的可行流，再寻找新的增广路，一直到不存在增广路为止，根据增广路定理，便得到了最大流. v1 v2 v3 v4 s 2,0 5,3 10,6 6,6 4,3 2,1 2,1 7,1 5,5 5,1 t 算法步骤 [- ,?] 4 Ford-Fulkerson算法 [+s,2] [+v1,2] v1 v2 v3 v4 s 2,0 5,3 10,6 6,6 4,3 2,1 2,1 7,1 5,5 5,1 t [+v3,2] v1 v2 v3 v4 s 2,2 5,5 10,6 6,6 4,3 2,1 2,1 7,1 5,5 5,3 t 出弧非饱和、入弧非零、标号 v1 v2 v3 v4 s 2,2 5,5 10,6 6,6 4,3 2,1 2,1 7,1 5,5 5,3 t 4 Ford-Fulkerson算法 [- ,?] [+s,4] [+v2,1] [-v4,1] [+v3,1] v1 v2 v3 v4 s 2,2 5,5 10,7 6,6 4,3 2,1 2,2 7,0 5,5 5,4 t v1 v2 v3 v4 s 2,2 5,5 10,7 6,6 4,3 2,1 2,2 7,0 5,5 5,4 t 4 Ford-Fulkerson算法 [- ,?] [+s,3] [-v2,1] [+v3,1] v1 v2 v3 v4 s 2,2 5,5 10,8 6,6 4,3 2,0 2,2 7,0 5,5 5,5 t v1 v2 v3 v4 s 2,2 5,5 10,8 6,6 4,3 2,0 2,2 7,0 5,5 5,5 t 4 Ford-Fulkerson算法 [- ,?] [+s,2] 标号范围无法扩大，得到最大流，最小割。最大流流量为10。 4 Ford-Fulkerson算法 1 4 3 6 5 8 2 6 5 8 5 9 3 6 7 2 4 Ford-Fulkerson算法 1 4 3 6 5 8,0 2,0 6,0 5,0 8,0 5,0 9,0 3,0 6,0 7,0 2 1 4 3 6 5 8,0 2,0 6,0 5,0 8,0 5,0 9,0 3,0 6,0 7,0 2 [-,?] [+1,8] [+2,5] [+4,5] 1 4 3 6 5 8,5 2,0 6,0 5,5 8,0 5,0 9,5 3,0 6,0 7,0 2 1 4 3 6 5 8,5 2,0 6,0 5,5 8,0 5,0 9,5 3,0 6,0 7,0 2 [-,?] [+1,2] [+3,2] [+5,2] 1 4 3 6 5