19-L01 图的匹配理论.pdf

离散数学基础 离散数学基础 2017-11-20 • 单元内容提示 − 图的匹配的概念 − 二部图匹配的Hall 定理 − 二部图匹配的匈牙利算法 • 定义.  匹配 − 无向图 G=(V, E)  的一个任意两边不相邻的边集合  M⊆E 称为 G  的一个边独 立集或匹配。 • 定义. 极大匹配 − M 是 G  的一个极大匹配 ⇔ M  为 G  的一个匹配 ∧ (∀e)(e ∈E‐M→M∪{e} 不是 G  的匹配) • 定义.  匹配数 − 设 G  的所有匹配为  M 、M 、…  、M ，记 1 2 k β max|M | 1 i i 1..k   称为 G  的匹配数。  • 定义.  最大匹配 − G  的一个匹配  M 称为 G  的一个最大匹配若  |M | = β 。 i i 1 • 例： −极大匹配：{e , e } 2 9 • 例： −极大匹配：{e , e }  3 9 • 例：  −极大匹配：{e , e , e }  1 3 5 • 例：  −极大匹配：{e , e , e }  2 4 6 • 例：  − 匹配数： β=3  1 − 最大匹配：{e , e , e }，{e , e , e }  1 3 5 2 4 6 • 定义. M‐饱和顶点  − 设  M 是图 G =(V, E)  的一个匹配，e ={v , v }∈E。若有 e ∈M，则称  v  和  v 在  M  i j i j   中饱和或是  M−饱和的。所有关联边都不在  M  中的顶点称为非  M‐饱和顶点 或是  M‐不饱和的。若 G  中的每一个顶点都是  M−饱和的，则称  M  为 G  的 一个完美匹配。  − 存在完美匹配的图的顶点数是偶数。  • 例：  − 一个 8 ×8  的棋盘，缺了左上角和右下角的两个格。现在有31张骨牌，每张骨 牌恰好能够盖住棋盘的相邻两格。用这31张骨牌能否盖住这个棋盘剩下的62 格？  −解：  − 以棋盘的格为顶点，相邻两格的顶点用无向边连接，建立一个图解。问题转化 为这个图解是否存在完美匹配。    − 给 8 ×8  的棋盘的格2染色，相邻格染上不同颜色，左上角和右下角的两个格 颜色相同，棋盘剩下的62格的两种染色的格数不同，染色格数1:1的骨牌无法 覆盖。  • 定义. 边覆盖  − 无向图 G=(V, E)，E′⊆E，若 G  的任一个顶点都与  E′  中的边关联，则称  E′ 覆 盖 G ，或称  E′  为 G  的一个边覆盖  (集)。  • 定义. 极小边覆盖  − E′ 是 G  的一个极小边覆盖⇔    E′  为 G  的一个边覆盖∧(∀E )(E ⊂E′ → E 不是 G  的边覆盖)  1 1 1  • 定义. 边覆盖数  − 设 G  的所有边覆盖为  E 、E 、…  、E ，记