计算图中的最大对集的匈牙利方法分解.docVIP

计算图中的最大对集的匈牙利方法 背景知识介绍—在一个网络中往往要求计算其中的最大对集。是由匈牙利人Egervary于1931年发现，后被另外一个匈牙利人Edmonds所推广（到一般图中的“开花算法”） 基本方法—利用反圈法 第一节 二部图中最大对集的有效算法 设为一个二部图，是中一个对集。 型节点----位于的节点； 型节点---位于中的节点； -边----位于中的边； 注意：一个增广路的长度为奇数，所以这样的路的两个端点必须是同型节点。 反圈法基本原则--- （1）初始时，令； （2）在中选边时，必须按照以下原则： (a)如果时，则选取以为端点的非边（即，在型节点处只选非边）； (b)如果 ，则选取以为端点的边（即，在型节点处只选边） （3）若在某一步，出现下述情况之一时算法要终止： 情况1。中有非饱和的型节点（此时得到一条关于的增广路）； 情况2.。情况1不出现，且中无边可选（此时中不存在关于的增广路）。 定理1.当匈牙利算法结束时，得到一个最大对集 解答：下面我们来证明这个方法（算法）的正确性。 如果情况1发生，根据我们算法特点，每一步上都是森林，其中每一个树都是以中的一点为根的。根据的定义，每一个树以一个非饱和的型节点为根。按照选边原则（2）可以看出：每一个树上，根与任意节点之间的唯一的路是交错路、。所以，当某个非饱和的型节点属于时，这个树上联接