匹配问题的定稿.doc

§6.4 匹配问题 4.1基本理论 定义 若，，与无公共端点（），则称为图的一个对集；中的一条边的两个端点叫做在对集中相配；中的端点称为被许配；中每个顶点皆被许配时，称为完美对集；中已无使的对集，则称为最大对集；若中有一轨，其边交替地在对集内外出现，则称此轨为的交错轨，交错轨的起止顶点都未被许配时，此交错轨称为可增广轨。 若把可增广轨上在外的边纳入对集，把内的边从对集中删除，则被许配的顶点数增加2，对集中的“对儿”增加一个。 1957年，贝尔热(Berge)得到最大对集的充要条件： 定理1 是图中的最大对集当且仅当中无可增广轨。 1935年，霍尔(Hall)得到下面的许配定理： 定理2 为二分图，与是顶点集的划分，中存在把中顶点皆许配的对集的充要条件是，，则，其中是中顶点的邻集。 由上述定理可以得出： 推论1：若是（正则2分图，则有完美对集。 所谓正则图，即每顶点皆度的图。 由此推论得出下面的婚配定理： 定理3 每个姑娘都结识位小伙子，每个小伙子都结识位姑娘，则每位姑娘都能和她认识的一个小伙子结婚，并且每位小伙子也能和他认识的一个姑娘结婚。 4.2人员分派问题 人员分派问题等实际问题可以化成对集来解决。 人员分派问题：工作人员去做件工作，每人适合做其中一件或几件，问能否每人都有一份适合的工作？如果不能，最多几人可以有适合的工作？ 这个问题的数学模型是：是二分图，顶点集划分