组合数学第9章9.1.pptxVIP

组合数学课程第九章 二分图中的匹配李建欣北航计算机学院(lijx@act.buaa.edu.cn)2010年5月27日二分图(Bipartite)的知识点非攻击车问题多米诺牌覆盖问题工作配对问题i二分图定义与二分图相关的抽象问题匹配交错路径最大匹配覆盖与最小覆盖最大匹配判定方法问题1—非攻击性车问题1 具有禁止位置的非攻击型车： 带有禁止方格的m行n列棋盘。能够摆放棋盘上的非攻击型车的最多个数是多少？y1y2y3y4y5×××x1x2x3问题2-多米诺牌覆盖问题2 具有禁止位置的多米诺牌覆盖： 一个某些方格被禁止的m行n列棋盘。使得每一块多米诺牌盖住两个方格，并且没有交叠，最大牌数？ 一个特殊情况：具有禁放方格棋盘的完美覆盖问题(p/2)。w1×w2 b1 w3b2w4×w5××b3×b4××w6b5w7b6问题3-工作的配对问题问题3 工作的配对问题： m个人申请担任n项工作，每项工作由1名具有资格的人担任，可以被担任的工作最大数是多少？ 以上这些问题都抽象为同一个数学问题。二分图的概念三元组G=(X, ?, Y)称为二分图。其中： X={x1, x2,…, xm}和Y={y1, y2,…, yn}是两个不相交的集合，即X?Y=?. ?={(xi, yj)} 是一些有序对集，称为边的集合，其中xi?X, yj?Y。 X?Y的元素称为二分图G的顶点， ?称为G的边。二分图X={x1, x2, x3, x4}二分图是一种特殊的图1) 顶点集是两个部分的划分X, Y.2) 每条边分别关联着X和Y的一个顶点。X的元素称为左顶点，Y的元素称为右顶点。x1y1x2y2x3y3x4Y={y1, y2, y3}?={(x1, y1), (x1, y3), (x2, y1), (x3, y2), (x3, y3), (x4, y3)}那些是二分图？x1x1x1x1y1y1y1y1x2x2x2x2y2y2y2y2x3x3x3x3y3y3y3y3x4x4x4x4x1y1x2y2x3y3x4二分图的匹配例：二分图G=(X, ?, Y)的匹配定义为?的一个子集M，满足M中没有两条边有公共顶点。二分图的匹配一般不是唯一的。每个顶点至多与匹配的一条边关联。x1y1x2y2x3y3x4?={(x1, y3), (x2, y1), (x3, y2)}（1）二分图与具禁止位置的棋盘y1y2y3y4y5?xi第i行x1×××××××?yjx2第j行x3每个可以放棋子的方格对应序对(xi, yj)，因此具有禁止位置的(m, n)棋盘对应一个二分图G=(X,?,Y)x4二分图与具禁止位置的棋盘y1x1y1y2y3y4y5y2x1x2×××××××y3x2?x3x3y4x4x4y5X={x1, x2, x3, x4}?={(x1, y1), (x1, y3), (x1, y4), (x1, y5), (x2, y1), (x2, y2), (x2, y3), (x2, y4), (x3, y), (x3, y4), (x4, y2), (x4, y3), (x4, y4), (x4, y5)}Y={y1, y2, y3 , y4 , y5}匹配与具禁止位置棋盘的非攻击型车摆放y1y1y2y3y4y5x1x1y2×××××××x2x2y3x3x3y4x4x4y5任两个车不在同一行和一列任两条边没有公共顶点棋盘上非攻击型车与二分图的匹配一一对应！非攻击型车的个数等于匹配的边数。车-二分图车-二分图：G=(X, ?, Y), 每个车对应二分图的一条边，非攻击型车对应一个匹配。定义：最大匹配边数?(G)=max{ |M|: M是G的匹配} 等于G对应的具禁止位置棋盘的非攻击型车的最大数。（2）二分图匹配与具禁止位置棋盘的多米若牌覆盖例：对具有禁止位置的棋盘交错涂成黑、白两种颜色。存在多少张多米若牌的覆盖？w1b1w2b2w1×w2 b1 w3b2w4×w5××b3×b4××w6b5w7b6w3b3?w4w5b4w6b5每两个相邻方格对应一条边b6w7一张多米若牌对应一条边，不交叠的多米若牌集合对应了没有公共顶点的边的集合（即匹配）。w1b1w2w1×w2b1 w3b2w4×w5××b3×b4××w6b5w7b6b2w3b3w4w5b4w6b5因此，覆盖多米若牌最大数等于对应二分图G的匹配最大边数?(G)。b6w7有禁止位置的m行n列棋盘确定一个二分图G=(X, ?, Y)（称为多米若二分图）. 其中， X={w1,w2,…,wp}是白方格集合； Y={b1,b2,…,bq}是黑方格集合。 (wi, bj)??当且仅当有一张多米若牌可覆盖wi和bj两个方格。 不重叠的多米若牌覆盖与多米若二分图G的匹配一一对应。问题2等价求?(G)。注意：不是每个二分图都可以对应一