组合数学(第9章9.3).pptx

组合数学课程第九章二分图中的匹配(3)李建欣北航计算机学院(lijx@act.buaa.edu.cn)2010年6月8日EmptyGrassWall为什么二分图？例题1PlacetheRobots问题描述有一个N*M(N,M=50)的棋盘，棋盘的每一格是三种类型之一：空地、草地、墙。机器人只能放在空地上。在同一行或同一列的两个机器人，若它们之间没有墙，则它们可以互相攻击。问给定的棋盘，最多可以放置多少个机器人，使它们不能互相攻击。1238764512348576例题1PlacetheRobots模型一在问题的原型中，草地，墙这些信息不是我们所关心的，我们关心的只是空地和空地之间的联系。因此，我们很自然想到了下面这种简单的模型：以空地为顶点，有冲突的空地间连边，我们可以得到右边的这个图：于是，问题转化为求图的最大独立集问题。1238764512348576例题1PlacetheRobots模型一在问题的原型中，草地，墙这些信息不是我们所关心的，我们关心的只是空地和空地之间的联系。因此，我们很自然想到了下面这种简单的模型：以空地为顶点，有冲突的空地间连边，我们可以得到右边的这个图：这是NP问题！1423例题1PlacetheRobots模型二1我们将每一行，每一列被墙隔开，且包含空地的连续区域称作“块”。显然，在一个块之中，最多只能放一个机器人。我们把这些块编上号。2345同样，把竖直方向的块也编上号。1234514123423例题1PlacetheRobots模型二1把每个横向块看作X部的点，竖向块看作Y部的点，若两个块有公共的空地，则在它们之间连边。234于是，问题转化成这样的一个二分图：51234514123423例题1PlacetheRobots模型二12345由于每条边表示一个空地，有冲突的空地之间必有公共顶点，所以问题转化为二分图的最大匹配问题。例题1PlacetheRobots小结比较前面的两个模型：模型一过于简单，没有给问题的求解带来任何便利；模型二则充分抓住了问题的内在联系，巧妙地建立了二分图模型。为什么会产生这种截然不同的结果呢？其一是由于对问题分析的角度不同：模型一以空地为点，模型二以空地为边；其二是由于对原型中要素的选取有差异：模型一对要素的选取不充分，模型二则保留了原型中“棋盘”这个重要的性质。由此可见，对要素的选取，是图论建模中至关重要的一步。二分图(Bipartite)的知识点-2覆盖引理9.2.5P阶正则二分图二分图定义覆盖数匹配边最大数覆盖顶点最小数完美匹配匹配引理9.2.2K?nig定理最大匹配M交错路径搜索算法定理9.2.1最大匹配判定方法交错路径二分图(Bipartite)的知识点-3最大匹配最小覆盖代表系统SDR子集最大数成婚条件(MC)互异代表系统SDR稳定婚姻优先秩评定矩阵完美匹配完备婚姻不稳定婚姻互异代表系统集族A=(A1,A2,…,An)的元素(e1,e2,…,en)称为A的代表系统，其中，Ai是有限集Y的子集，ei?Ai.若满足ei?ej(i?j),(e1,e2,…,en)称为A的互异代表系统，记做SDR.（systemofdistinctrepresentatives）.SDR例子非空集族A=(A1,A2,…,An)总有代表系统，未必存在SDR。如A1={a,b,c},A2={a,b},A3={a,b},A4={a,b}这里，A不存在SDR。A=(A1,A2,…,An)存在SDR的必要条件是什么？定理9.3.1：SDR的必要条件问题背景：配对问题有n位男士和m位女士，(A1,A2,…,An)是女士子集的族，Ai是可与第i位男士为配偶的女子集合，i=1,2,…,n.那么，一个完备婚姻配对就是(A1,A2,…,An)的一个SDR，(w1,w2,…,wn)表示一种配对i?wi。完备婚姻必要条件：任意k位男士的可能配偶集合的并集至少含k位女士。是否充分条件？二分图表示Y=(y1,y2,…,ym)的子集族A=(A1,A2,…,An)确定一个二分图G=(X,?,Y)，其中，X=(1,2,…,n)?={(i,yi)|yi?Ai}A有SDR?G有n条边的匹配，即?(G)=n.1a2b3c4dA1={a,b,c,d},A2={a,b},A3={a,b},A4={a,b}定理9.3.2：SDR的充要条件集族A=(A1,A2,…,An)有SDR当且仅当成婚条件（MC）成立。证明：必要性根据引理9.3.1。充分性：设成婚条件成立，只需证明A确定的二分图G=(X,?,Y)使得?(G)=n，而?(G)=c(G)是G的最小