sect;6.4 匹配问题.doc

§6.4 匹配问题 4.1基本理论 定义 若，，与无公共端点（），则称为图的一个对集；中的一条边的两个端点叫做在对集中相配；中的端点称为被许配；中每个顶点皆被许配时，称为完美对集；中已无使的对集，则称为最大对集；若中有一轨，其边交替地在对集内外出现，则称此轨为的交错轨，交错轨的起止顶点都未被许配时，此交错轨称为可增广轨。 若把可增广轨上在外的边纳入对集，把内的边从对集中删除，则被许配的顶点数增加2，对集中的“对儿”增加一个。 1957年，贝尔热(Berge)得到最大对集的充要条件： 定理1 是图中的最大对集当且仅当中无可增广轨。 1935年，霍尔(Hall)得到下面的许配定理： 定理2 为二分图，与是顶点集的划分，中存在把中顶点皆许配的对集的充要条件是，，则，其中是中顶点的邻集。 由上述定理可以得出： 推论1：若是（正则2分图，则有完美对集。 所谓正则图，即每顶点皆度的图。 由此推论得出下面的婚配定理： 定理3 每个姑娘都结识位小伙子，每个小伙子都结识位姑娘，则每位姑娘都能和她认识的一个小伙子结婚，并且每位小伙子也能和他认识的一个姑娘结婚。 4.2人员分派问题 人员分派问题等实际问题可以化成对集来解决。 人员分派问题：工作人员去做件工作，每人适合做其中一件或几件，问能否每人都有一份适合的工作？如果不能，最多几人可以有适合的工作？ 这个问题的数学模型是：是二分图，顶点集划分为，，，当且仅当适合做工作时，，求中的最大对集。 解决这个问题可以利用1965年埃德门兹(Edmonds)提出的匈牙利算法。 匈牙利算法： （i）从中任意取定一个初始对集。 （ii）若把中的顶点皆许配，停止，即完美对集；否则取中未被许配的一顶点，记，。 （iii）若，停止，无完美对集；否则取。 （iv）若是被许配的，设，，，转（iii）；否则，取可增广轨，令，转（ii）。 把以上算法稍加修改就能够用来求二分图的最大对集。 4.3最优分派问题 在人员分派问题中，工作人员适合做的各项工作当中，效益未必一致，我们需要制定一个分派方案，使公司总效益最大。 这个问题的数学模型是：在人员分派问题的模型中，图的每边加了权，表示干工作的效益，求加权图上的权最大的完美对集。 解决这个问题可以用库恩—曼克莱斯（Kuhn-Munkres）算法。为此，我们要引入可行顶点标号与相等子图的概念。 定义 若映射，满足， ， 则称是二分图的可行顶点标号。令 ， 称以为边集的的生成子图为相等子图，记作。 可行顶点标号是存在的。例如 。 定理4 的完美对集即为的权最大的完美对集。 Kuhn-Munkres算法 （i）选定初始可行顶点标号，确定，在中选取一个对集。 （ii）若中顶点皆被许配，停止，即的权最大的完美对集；否则，取中未被许配的顶点，令， 。 (iii)若，转（iv）；若，取 ， ， ，。 （iv）选中一顶点，若已被许配，且，则，，转（iii）；否则，取中一个可增广轨，令 ， 转（ii）。 其中是中的相邻顶点集。