第五章 图论5
- 格式:ppt
- 大小:716.00 KB
- 文档页数:104
第五章 支配集、独立集、覆盖集和 Ramsey 数本章讨论图中具有某种特性的顶点子集和边子集,以及它们之间的关系。
本章所讨论的 图均为简单图。
§5.1 支配集、点独立集、点覆盖集一、支配集(Domination set)定义 5.1.1 设 D ⊆ V (G ) ,若对 ∀u ∈ V (G ) ,要么 u ∈ D ,要么 u 与 D 中的某些顶点相邻, 则称 D 为图 G 的一个支配集。
如果一个支配集的任何真子集都不是支配集,则称它为极小支 配集。
G 的含顶点最少的支配集称为最小支配集。
图 最小支配集的顶点个数称为 G 的支配数, 记为 γ (G ) 或 γ 。
例如,在下图中, D0 = {v0 } , D1 = {v1 , v 4 , v7 } , D2 = {v1 , v3 , v5 , v6 } 都是 G 的支配集, 前两个是极小支配集, D0 是最小支配集。
γ (G ) = 1 。
v1 v8 v7 v6 G v5 v0 v2 v3 v4注: (1)最小支配集必是一个极小支配集,反之不然。
(2)任一支配集必含有一个极小支配集。
(3)极小支配集不唯一,最小支配集一般也不唯一。
(4)对二部图 G = ( X , Y ) ,X 和 Y 都是支配集。
(5)若图 G 有完美匹配 M*,则从 M*中每边取一个端点构成的顶点集是一个支配集。
定理 5.1.1 设图 G 中无孤立顶点,则存在支配集 D,使得 D = V (G ) − D 也是一个支配集。
证明:无妨设 G 是连通图。
于是 G 有生成树 T。
任取 v0 ∈ V (G ) 。
令D = {v | v ∈ V (G ) 且 d T ( v0 , v ) =偶数},则 D = V (G ) − D = {v | v ∈ V (G ) 且 d T ( v0 , v ) =奇数},且 D 和 D 都是支配集。
证毕。
定理 5.1.2 设图 G 无孤立顶点, D1 是一个极小支配集,则 D1 = V (G ) − D1 也是一个支配集。