组合数学 第9章.pptVIP

第九章二分图中的匹配 9.1 一 般 问 题 表 述 9.2 匹 配 9.3 互 异 表 示 系 统 9.4 稳 定 婚 姻 * * 9.1 一般问题表述 设 分别是m个元素和n个元素的有限集，且X∩Y=Φ 则称三元组 是一个二分图。其中 若二分图G中存在 。则称e为G的一条边，且边e 连接顶点x和顶点y，或者顶点x和顶点y与边e相关联。 在二分图 中，我们称X为G的左顶点集，Y为G的 右顶点集。我们将不区分二分图 和二分图 。 设 是一个二分图。 则称M是G的一个匹配。 9.1 一 般 问 题 表 述 例 设X＝{x1, x2, x3, x4}和Y＝{y1, y2, y3} △ = {(x1,y1), (x1, y3), (x2, y1), (x3, y2), (x3, y3), (x4, y3)} 则 G = (X, △ ,Y)是一个二分图。可图示如下： 令 M = {(x1, y1), (x3, y2), (x4,y3)} 显然 。则M是G的一个匹配。 例 4×5的棋盘如图所示。其中×表示禁止落子位置。 此棋盘可表示为二分图。 设 X = {xi | xi 表示第i行，1≤ i≤ 4} Y = {yi | yi 表示第j列， 1≤ j≤ 5} △ = {(xi, yj)| xi行, yj列处可落子} 则 G = (X, △ ,Y)是相应的二分图。 如图所示。 设 M = {(x1, y1), (x2, y4), (x4, y2)} 则 M是G的一个匹配。 在棋盘上非攻击型车的集合与相关联 的二分图的匹配的集合之间存在1 - 1关系。 × × × × × × × y1 y2 y3 y4 y5 x1 x2 x3 x4 ● ● ● 9.1 一 般 问 题 表 述 用二分图G = (X, △ ,Y)表示带有禁止落子位置的 m 行，n列的棋盘B，其中 X = { xi | xi 表示B的第i行，1≤ i≤ m} Y = { yi | yi 表示B的第j列， 1≤ j≤ n} △ = { (xi, yj) |B中 xi行, yj列处可落子} 则 B上非攻击型车对应G的匹配。能够被放到B上的非攻 击型车的最大个数等于二分图G的匹配的最大边数。 由于二分图的匹配的最大边数的特殊意义，为此我 们定义 若G的任意二分图 max{|M| | M是G的一个匹配} 为G的最大匹配M的边数。 9.1 一 般 问 题 表 述 例 设有4×5的棋盘B，如图所示。 其中 × 表示禁止落子位置；wi为白 方格；bj为黑方格。现用二分图 G = (X, △ ,Y) 表示该棋盘B，其中 X = {w1, w2, …, w7} Y = {b1, b2, …, b6} △ = {(wi, bj) | wi与bj有一条公共边} b6 w7 b5 w6 × × b4 × b3 × × w5 × w4 b2 w3 b1 w2 × w1 9.1 一 般 问 题 表 述 显然，棋盘上 一张可能的 domino牌对应二分图G中一条边。 反之亦然。 M = {(w1, b2), (w3, b1), (w6, b3), (w7,b4)} 是G的一个匹配。 显然，G的一个匹配所规定 的所有domino牌均无重叠，反之 亦然。 9.1 一 般 问 题 表 述 例 设四个人x1, x2, x3, x4申请五项工作y1, y2, y3, y4, y5，且 x1 适合做 y1, y3, y4, y5； x2 适合做 y1, y2, y4 x3 适合做 y2, y4 ； x4 适合做 y2, y3, y4, y5 令 G