湘潭大学离散数学1课件-第九章匹配与点独立集.pdfVIP

第九章 匹配与点独立集 2022-4-1 离散数学 1 §9.1 匹配 2022-4-1 离散数学 2 匹配 • 定义9.1.1：设G是图，ME(G) 。若M 中的边 都是杆(即两端点不重合) 、且任意两条边均不 邻接(即无公共端点) ，则称M为G 的一个匹配。 • G 的边数最多的匹配称最大匹配。 v1 • 右图中用粗线表示的边的集合 v2 v6 v3 就是一个匹配，且是最大匹配。 v4 v5 • 最大匹配所含的边数记为’(G) 。 v7 v8 • 显然对一个图G(p ，q) ， ’(G) ≤p/2 。 2022-4-1 离散数学 3 饱和点 设M是G 的一个匹配，v ∈V(G) 。 • 若v与M 中的某边关联，则称v是M–饱和 点，否则称v为非M–饱和点。 • 若uv ∈M ，则称u和v匹配。 • 定义中的匹配M是图G 中一些互相不邻接 的边，而M实际上描述的是图G 中相互匹 配的顶点对。 2022-4-1 离散数学 4 完美匹配 • 设M是G 的一个匹配，如果G 的每一个顶 点都是M-饱和点，则称M为完美匹配。 • 完美匹配是让图中所有 顶点都成双成对的匹配。 • 显然只有在偶数个顶点 的图中才会有完美匹配。这是 一 个完美匹配。 2022-4-1 离散数学 5 最大匹配与完美匹配 • 完美匹配必定是最大匹配， v1 但反之不然。 v2 v6 v3 • 任何图G一定有最大匹配， v4 v5 但却不一定有完美匹配。 v7 v8 • 含奇数顶点的图不可能有 这是最大匹配而不是完 完美匹配，因为无论如何 美匹配。此图尽管是偶 配对，注定有人打单身。 数个顶点却无完美匹配。 • 有完美匹配的图一定是偶数个顶点，但偶数个 顶点的图中也未必能使天下人终成眷属。 2022-4-1 离散数学 6 怎样会是最大匹配？ • 图G 中的匹配M怎样会是最大匹配呢？让我们 来考虑最简单的情况： • 最简单的情况是G是一条单通路。显然 • ①G 的边应交错地属于M(M不能有邻接的边) 。 • ② G 的第一条边和最后一条边中至少应