指派问题及其匈牙利解法1.pptVIP

指派问题及其匈牙利解法 指派问题 有n项任务要求n个人完成，这n个人完成任务的效率（或所需时间）不同，指派哪个人去完成哪项任务，使得完成任务的总效率最高。 数学模型 引入变量Xij，其取值只能是1或0，并令Xij=1表示指派第i人完成第 Xij=0表示不指派第i人完成第j项任务当问题要求极小化时，数学模型 约束条件②说明第j项任务只能由1人完成；约束条件③说明第i人只能完成第j项任务。满足约束条件②--④的解，可以用矩阵来表示，此矩阵称为解矩阵。 当问题要求极大化时，可令bij=M-Cij把问题转换成极大化模型。 数学模型（二） G是加权完全二分图，V(G)的二分图划分为 X，Y，X={x1,...,xn},Y={y1,y2,...yn},w(xiyi)=0 是xi和yi间的权值，求权最大的完备匹配，这种 完备匹配称为最佳匹配。 匹配问题的有关基本定义 定义一：M包含于E(G),任意的ei,ej∈M,ei,ej不相邻，则称M是图G中的一个匹配；M中一条边之两个端点叫做在M之下相配；M中的每个端点称为被M许配；G中每个顶皆被M许配时，M称为完备匹配；G中已无匹配M，使得|M||M|，则称M为最大匹配。 匹配问题的有关基本定义 定义二：M是G上的匹配，G中有一轨，其边交替地在E-M和M中出现，则称此轨为G中M的交错轨。若M的交错轨的起止顶皆未被M许配，则称此轨为M的可增广轨。v1v2v3v4是可增广轨，其中M1={v2v3}是一个匹配，我们可以取新的匹配M2={v1v2,v3v4}，使|M2||M1|。 匹配问题的有关基本定理 定理一： (Tutte,1947) ?图G有完备匹配的充要条件是对一切S真包含于V，ο(G-S)=|S|。 定义三：图的顶数为奇数的连通片叫奇片，顶数为偶数的连通片叫做偶片，ο(G)表示G中奇片的个数。 匈牙利算法 (0) ?从G中取一个初始匹配M。 (1) ?若M已把X中顶皆许配，止，M即为完备匹配；否则取X中未被M匹配的一顶u,记S={u}，T为空。 (2) ?若N(S)=T，止，无完备匹配，否则取y∈N(S)-T. (3) ?若y是被M许配的，设yz∈M,S=S∪{z},T=∪{y},转 (2)；否则，取可增广轨P(u,y),令M=M⊙E(P),转(1)。 这个算法的要点是把初始匹配通过可增广轨逐次增广以至得到最大匹配。 定义四 映射l:V(G)-R，满足：任意x∈X,任意y∈Y,成立? ? ? ? ? ? ? ? ? ? ? ?l(x)+l(y)=w(xy),则称l(v)是二分图G的可行顶标；令? ? ? ? ? ? ? ? ? ? ?El={xy|xy∈E(G),l(x)+l(y)=w(xy)},称以El为边集的G之生成子图为相等子图，记为Gl可行顶标是存在的，例如? ? ? ? ? ? l(x)=max w(xy),x∈X;? ? ? ? ? ? l(y)=0, ? ? ? ?y∈Y. ?Kuhn-Munkres 算法 (0) ?选定初始的可行顶标l,确定Gl,在Gl中选取一个匹配M。 (1) ?X中顶皆被M许配，止，M即为最佳匹配；否则，取Gl中未被M许配的顶u,令S={u},T为空。 (2) ?若N(S)真包含T，转(3)；若N(S)=T，取 ? ? ? ? ? ? ? ? ? ? ? ? ? al=min(l(x)+l(y)-w(xy)}(x∈S,y∈T),? ? ? ? ? ? ? ? ? ? ? ? ?l(v)-al,v∈S;? ? ? ? ? ? ? ?l(v)= ? l(v)+al,v∈T;? ? ? ? ? ? ? ? ? ? ? ? ?l(v),其它。l=l,Gl=Gl。 (3) ?选N(S)-T中一顶y,若y已被M许配，且yz∈M,则S=S∪{z},T=T∪{y},转(2)；否则，取Gl中一个M的可增广轨P(u,y),令M=M⊙E(P)，转(1)。 例 已知K5,5的权矩阵为 y1 ?y2 ?y3 ?y4 ?y5x1 ?3 ?5 ?5 ?4 ?1x2 ?2 ?2 ?0 ?2 ?2x3 ?2 ?4 ?4 ?1 ?0x4 ?0 ?1 ?1 ?0 ?0x5 ?1 ?2 ?1 ?3 ?3 求最佳匹配，其中K5,5的顶划分为X={xi},Y={yi},i=1,2,3,4,5. 步骤一 取可行顶标l(v)为l(yi)=0,i=1,2,3,4,5； l(x1)=max(3,5,5,4,1}=5 l(x2)=max{2,2,0,2,2}=2, l(x3)=max(2,4,4,1,0