二分图匹配—匈牙利算法,构图最大流.pptVIP

二分图匹配—匈牙利算法，构图最大流 USC_暑假培训 基本概念 二分图又称作二部图，是图论中的一种特殊模型。 设G=(V,{R})是一个无向图。如顶点集V可分割为两个互不相交的子集，并且图中每条边依附的两个顶点都分属两个不同的子集。则称图G为二分图。 最大匹配 给定一个二分图G，在G的一个子图M中，M的边集{E}中的任意两条边都不依附于同一个顶点，则称M是一个匹配。 选择这样的边数最大的子集称为图的最大匹配问题(maximal matching problem) 如果一个匹配中，图中的每个顶点都和图中某条边相关联，则称此匹配为完全匹配，也称作完备匹配。 最小覆盖： 最小覆盖要求用最少的点（Ｘ集合或Ｙ集合的都行）让每条边都至少和其中一个点关联。最少的点（即覆盖数）＝最大匹配数 最大独立集问题：在Ｎ个点的图G中选出m个点，使这m个点两两之间没有边．求m最大值． 如果图Ｇ满足二分图条件，则可以用二分图匹配来做．最大独立集点数 = N - 最大匹配数 最小路径覆盖： 用尽量少的不相交简单路径覆盖有向无环图Ｇ的所有结点。 解决此类问题可以建立一个二分图模型。把所有顶点i拆成两个：Ｘ结点集中的i和Y结点集中的i,如果有边i-j，则在二分图中引入边i-j，设二分图最大匹配为m,则结果就是n-m。 匈牙利算法 求最大匹配的一种显而易见的算法是：