1
第五章 支配集、独立集、覆盖集和Ramsey数
本章讨论图中具有某种特性的顶点子集和边子集,以及它们之间的关系。本章所讨论的图均为简单图。
§5.1 支配集、点独立集、点覆盖集
一、支配集 (Domination set)
定义 5.1.1 设 )(GVD?,若对 )(GVu∈?,要么 Du∈,要么 u 与 D 中的某些顶点相邻,
则称 D 为图 G 的一个 支配集 。如果一个支配集的任何真子集都不是支配集,则称它为 极小支配集 。图 G 的含顶点最少的支配集称为 最小支配集 。最小支配集的顶点个数称为 G 的 支配数,
记为 ()Gγ 或 γ 。
例如,在下图中,}{
00
vD =,},,{
7411
vvvD =,},,,{
65312
vvvvD = 都是 G 的支配集,
前两个是极小支配集,
0
D 是最小支配集。 1)( =Gγ 。
G
注,( 1)最小支配集必是一个极小支配集,反之不然。
( 2)任一支配集必含有一个极小支配集。
( 3)极小支配集不唯一,最小支配集一般也不唯一。
( 4)对二部图 ),( YXG =,X 和 Y 都是支配集。
( 5)若图 G 有完美匹配 M
*
,则从 M
*
中每边取一个端点构成的顶点集是一个支配集。
定理 5.1.1 设图 G 中无孤立顶点,则存在支配集 D,使得 ()DVG D=? 也是一个支配集。
证明:无妨设 G 是连通图。于是 G 有生成树 T。任取 )(
0
GVv ∈ 。令
)(|{ GVvvD ∈= 且 ),(
0
vvd
T
=偶数 },
则 () {| ()DVG D vvVG=?=∈且 ),(
0
vvd
T
=奇数 },且 D 和 D 都是支配集。证毕。
定理 5.1.2 设图 G 无孤立顶点,
1
D 是一个极小支配集,则
11
()DVG D=? 也是一个支配集。
证明(反证法),若不然,存在
10
Dv ∈,它与
1
D 中所有顶点都无边相连,但它又不是孤立顶点,故必与
1
D 中顶点连边,因此
01
vD? 仍是支配集。这与
1
D 是极小支配集矛盾。证毕。
推论 5.1.1 设图 G 中无孤立顶点。 对 G 的任一个极小支配集
1
D,必存在另一个极小支配集
2
D,
使得 φ=
21
DD ∩ 。
证明:由定理 5.1.2,
11
()DVG D=?也是一个支配集,且 φ=DD ∩
1
。
1
D 中必含有一个极小支配集
2
D 。显然 φ=
21
DD ∩ 。证毕。
v
7
v
8
v
2
v
1
v
5
v
6
v
3
v
4
v
0
2
定理 5.1.3 图 G 的支配集 D 是一个极小支配集当且仅当 D 中每个顶点 v 满足下列条件之一,
( 1)存在 ()uVG D∈?使得 () {}Nu D v=∩ ; ( 2) ()Nv D φ=∩ 。
证明:充分性:设 D 是 G 的一个支配集。对 D 中任一个顶点 v,因 v 满足上述条件之一,故要么与 v 相邻的某个顶点不能被 {}Dv? 支配,要么 v 自己不能被 {}Dv? 支配,可见,{}Dv?
不再是支配集。这表明 D 是极小支配集。
必要性:设 D 是 G 的一个极小支配集,则对 D 中任一个顶点 v,{}Dv? 不再是支配集。因此在 {}Dv? 之外存在顶点 u,它不与 {}Dv? 中任何点相邻。如果 uv=,则说明 v 不与 D
中任何点相邻,即 ()Nv D φ=∩ ;如果 uv≠,则因 D 是支配集,故 u 必与 v 相邻,但不与
D 中其它点相邻,即 () {}Nu D v=∩ 。证毕。
定理 5.1.4 设 G 是无孤立顶点的图,则 G 必有最小支配集 D 满足:对 vD? ∈,uGD?∈?
使得 () {}Nu D v=∩ 。
证明:用反证法。在 G 的全部最小支配集中,设 D 为使得导出子图 G[D]含边数最多的一个。
假定定理结论不真,即
vD? ∈,使得对 uGD? ∈?都有 () {}Nu D v≠∩ 。
由定理 5.1.3,()Nv D φ=∩,即 D 中所有其它点都不与 v 相邻。而上式表明,GD? 中每个点要么不与 v 相邻,要么既与 v 相邻也与 D 中另外某些点相邻。 因 G 无孤立点,故 v 在 GD?
中必有某个邻点 w,令
1
({}){}DDv w=? ∪,则
1
D 也是 G 的一个最小支配集,但其导出子图 G[D
1
]含的边数比 G[D]中多。这与 D 的取法矛盾。证毕。
以下是关于支配数的几个估计式。
定理 5.1.5 如果图 G 无孤立顶点,则 (G)
2
υ
γ ≤ 。
证明:设 D 是 G 的一个极小支配集,则由定理 5.1.2,V(G) D? 也是 G 的支配集。因此,
(G) min{| D |,| V(G) D |}
2
υ
γ ≤?≤。
证毕。
定理 5.1.6 (Arnautov 1974,Payan 1975) 设 G 是一个最小度为 δ 图,则
1ln( 1)
(G)
1
δ
γ υ
δ
++
≤
+
。
证明:对 G 的任一非空顶点子集 SV(G)?,用 U 表示未被 S 中顶点支配的所有顶点之集。
对 ()vVG?∈,用 ()Nv
表示顶点 v 及其所有邻点组成的集合,即 () () {}Nv Nv v
= ∪ 。由
于 U 中每个顶点至少有 k 个邻点,故 |()|||( 1)
vU
Nv Uδ
∈
≥+
∑
。从而在 ()VG S? 中至少有一个顶点 x,它在求和过程中至少被重复计算
||( 1)U δ
υ
+
次。 (否则,若 ()VG S? 中每个点被重复计算都少于
||( 1)U δ
υ
+
次,则
||
|()|(|S|) ( 1)||( 1)
vU
U
Nv Uυδδ
υ
∈
< +< +
∑
,与前式矛盾 )。这意味着在 ()VG S? 中存在某个顶点 x,它支配 U 中至少
||( 1)U δ
υ
+
各顶点。
3
现在我们通过迭代来生成 G 的一个支配集,用 S 表示在迭代过程中形成的支配集的一部分,初始时可取最大度顶点放入 S。在迭代的每一步选择一个顶点放入 S,所选择的顶点应能够尽可能多地支配当前的 S 尚未支配的顶点。由前一部分的结论,如果当前的 S 尚未支配的顶点有 ||Uk= 个,则在 ()VG S? 中存在某个顶点 x,它支配 U 中至少
(1)k δ
υ
+
个顶点。因此按照我们的选点规则,再选择一个点放入 S 后,剩下未被支配的顶点不超过
1
(1 )k
δ
υ
+
个。
在
ln( 1)
1
δ
υ
δ
+
+
步后,未被支配的顶点个数至多为
ln( 1)
ln( 1)
1
1
(1 )
1
e
δ
υ
δ
δ
δ υ
υυ
υδ
+
+
+
+
<=
+
。
(上式推导中用到不等式 1
p
p e
< ) 。将当前 S 中的点和未被 S 支配的点放在一起,便组成
G 的一个支配集,它含有
ln( 1)
1
δ
υ
δ
+
+
+
1
υ
δ +
=
1ln( 1)
1
δ
υ
δ
+ +
+
个顶点。结论得证。
定理 5.1.7 对任何图 G,有 (G) (G)
1(G)
υ
γυ
≤≤?Δ
+Δ
。
证明,设 D 是 G 的一个最小支配集,则 V(G) D ( )
vD
Nv
∈
∪
,因此 |V(G) D| |D| (G)?≤?Δ 。
而 |V(G) D| |D|υ?=?,|D| (G)γ=,故 (G) (G) (G)υ γγ? ≤Δ,于是 (G)
1(G)
υ
γ
≥
+Δ
。
证毕。
图的支配集是内容相当丰富的一个研究专题,它在许多学科领域有重要的应用,是目前研究的一个热点方向 [1~5]。进一步的了解可参看 Haynes- Hedetniemi- Slater 的长达 1200 页的专著 [6]。支配集理论在电力网络中的应用见文献 [7]。支配集在无线通信网络中的应用见文献
[ 8~11]。
[1] B.G.,Xu,Two classes of edge domination in graphs,Discrete Applied Mathematics,154(2006),
1541-1546,
[2] T.W,Haynes,M.A,Henning,and J,Howard,Locating and total dominating sets in trees,Discrete
Applied Mathematics,154(2006),1293-1300,
[3] J.S,Deogun,and D,Kratsch,Dominating pair graphs,SIAM J,Discrete Mathematics,
15:3(2001-2002),353-366,
[4] Chin Lung Lu,Ming-Tat Ko and Chuan Yi Tang,Perfect edge domination and efficient edge
domination in graphs,Discrete Applied Mathematics,119(2002),227-250,
[5] Chin Lung Lu and Chuan Yi Tang,Weighted efficient domination problem on some perfect
graphs,Discrete Applied Mathematics,117(2002),163-182,
[6] T.W,Haynes,S.T,Hedetniemi,and P.J,Slater,Fundamentals of Domination in Graphs,Marcel
Dekker,Inc.,1998,
[7] T.W,Haynes,S.M,Hedetniemi,S.T,Hedetniemi,and M.A,Henning,Domination in graphs
applied to electric power networks,SIAM J,Discrete Mathematics,15:4(2001-2002),519-529,
4
[8] I,Stojmenovic,M,Seddigh,and J,Zunic,Dominating sets and neighbor elimination based
broadcasting algorithms in wireless networks,Proc,IEEE Hawaii Int,Conf,On System Sciences,
Jan,2001,
[9] J,Wu,and H.L.Li,On calculating connected dominating set for efficient routing in ad hoc
wireless networks,Proceedings of the 3
rd
ACM International Workshop on Discrete Algorithms and
Methods for Mobile Computing and Communications,1999,7-14,
[10] S,Guha,and S,Khuller,Approximation algorithms for connected dominating sets,
Algorithmica,20:4(1998),347-387,
[11] B,Das,and V,Bharghavan,Routing in ad hoc networks using minimum connected dominating
sets,ICC’97,Montreal,Canada,June,1997,
二、点独立集 (vertex independent set)
定义 5.1.2 设 )( GVI?,若 I 中任二顶点均不相邻,则称 I 为图 G 的一个 点独立集 (简称独立集) ;若对 IGVu \)(∈?,}{uI ∪ 都不再是 G 的独立集,则称独立集 I 为图 G 的一个极大点独立集 。 G 的含点数最多的点独立集称为 最大点独立集,它含点的个数称为 G 的 独立数,记为 )(Gα 或 α 。
例如,在下图中,}{
00
vI =,},,{
7411
vvvI =,},,,{
75312
vvvvI = 都是 G 的独立集,
且都是极大独立集,其中
2
I 是最大独立集,4)( =Gα 。
一些文献中将独立集称为稳定集 (stable set),相应地将独立数称为稳定数。
第五章 支配集、独立集、覆盖集和Ramsey数
本章讨论图中具有某种特性的顶点子集和边子集,以及它们之间的关系。本章所讨论的图均为简单图。
§5.1 支配集、点独立集、点覆盖集
一、支配集 (Domination set)
定义 5.1.1 设 )(GVD?,若对 )(GVu∈?,要么 Du∈,要么 u 与 D 中的某些顶点相邻,
则称 D 为图 G 的一个 支配集 。如果一个支配集的任何真子集都不是支配集,则称它为 极小支配集 。图 G 的含顶点最少的支配集称为 最小支配集 。最小支配集的顶点个数称为 G 的 支配数,
记为 ()Gγ 或 γ 。
例如,在下图中,}{
00
vD =,},,{
7411
vvvD =,},,,{
65312
vvvvD = 都是 G 的支配集,
前两个是极小支配集,
0
D 是最小支配集。 1)( =Gγ 。
G
注,( 1)最小支配集必是一个极小支配集,反之不然。
( 2)任一支配集必含有一个极小支配集。
( 3)极小支配集不唯一,最小支配集一般也不唯一。
( 4)对二部图 ),( YXG =,X 和 Y 都是支配集。
( 5)若图 G 有完美匹配 M
*
,则从 M
*
中每边取一个端点构成的顶点集是一个支配集。
定理 5.1.1 设图 G 中无孤立顶点,则存在支配集 D,使得 ()DVG D=? 也是一个支配集。
证明:无妨设 G 是连通图。于是 G 有生成树 T。任取 )(
0
GVv ∈ 。令
)(|{ GVvvD ∈= 且 ),(
0
vvd
T
=偶数 },
则 () {| ()DVG D vvVG=?=∈且 ),(
0
vvd
T
=奇数 },且 D 和 D 都是支配集。证毕。
定理 5.1.2 设图 G 无孤立顶点,
1
D 是一个极小支配集,则
11
()DVG D=? 也是一个支配集。
证明(反证法),若不然,存在
10
Dv ∈,它与
1
D 中所有顶点都无边相连,但它又不是孤立顶点,故必与
1
D 中顶点连边,因此
01
vD? 仍是支配集。这与
1
D 是极小支配集矛盾。证毕。
推论 5.1.1 设图 G 中无孤立顶点。 对 G 的任一个极小支配集
1
D,必存在另一个极小支配集
2
D,
使得 φ=
21
DD ∩ 。
证明:由定理 5.1.2,
11
()DVG D=?也是一个支配集,且 φ=DD ∩
1
。
1
D 中必含有一个极小支配集
2
D 。显然 φ=
21
DD ∩ 。证毕。
v
7
v
8
v
2
v
1
v
5
v
6
v
3
v
4
v
0
2
定理 5.1.3 图 G 的支配集 D 是一个极小支配集当且仅当 D 中每个顶点 v 满足下列条件之一,
( 1)存在 ()uVG D∈?使得 () {}Nu D v=∩ ; ( 2) ()Nv D φ=∩ 。
证明:充分性:设 D 是 G 的一个支配集。对 D 中任一个顶点 v,因 v 满足上述条件之一,故要么与 v 相邻的某个顶点不能被 {}Dv? 支配,要么 v 自己不能被 {}Dv? 支配,可见,{}Dv?
不再是支配集。这表明 D 是极小支配集。
必要性:设 D 是 G 的一个极小支配集,则对 D 中任一个顶点 v,{}Dv? 不再是支配集。因此在 {}Dv? 之外存在顶点 u,它不与 {}Dv? 中任何点相邻。如果 uv=,则说明 v 不与 D
中任何点相邻,即 ()Nv D φ=∩ ;如果 uv≠,则因 D 是支配集,故 u 必与 v 相邻,但不与
D 中其它点相邻,即 () {}Nu D v=∩ 。证毕。
定理 5.1.4 设 G 是无孤立顶点的图,则 G 必有最小支配集 D 满足:对 vD? ∈,uGD?∈?
使得 () {}Nu D v=∩ 。
证明:用反证法。在 G 的全部最小支配集中,设 D 为使得导出子图 G[D]含边数最多的一个。
假定定理结论不真,即
vD? ∈,使得对 uGD? ∈?都有 () {}Nu D v≠∩ 。
由定理 5.1.3,()Nv D φ=∩,即 D 中所有其它点都不与 v 相邻。而上式表明,GD? 中每个点要么不与 v 相邻,要么既与 v 相邻也与 D 中另外某些点相邻。 因 G 无孤立点,故 v 在 GD?
中必有某个邻点 w,令
1
({}){}DDv w=? ∪,则
1
D 也是 G 的一个最小支配集,但其导出子图 G[D
1
]含的边数比 G[D]中多。这与 D 的取法矛盾。证毕。
以下是关于支配数的几个估计式。
定理 5.1.5 如果图 G 无孤立顶点,则 (G)
2
υ
γ ≤ 。
证明:设 D 是 G 的一个极小支配集,则由定理 5.1.2,V(G) D? 也是 G 的支配集。因此,
(G) min{| D |,| V(G) D |}
2
υ
γ ≤?≤。
证毕。
定理 5.1.6 (Arnautov 1974,Payan 1975) 设 G 是一个最小度为 δ 图,则
1ln( 1)
(G)
1
δ
γ υ
δ
++
≤
+
。
证明:对 G 的任一非空顶点子集 SV(G)?,用 U 表示未被 S 中顶点支配的所有顶点之集。
对 ()vVG?∈,用 ()Nv
表示顶点 v 及其所有邻点组成的集合,即 () () {}Nv Nv v
= ∪ 。由
于 U 中每个顶点至少有 k 个邻点,故 |()|||( 1)
vU
Nv Uδ
∈
≥+
∑
。从而在 ()VG S? 中至少有一个顶点 x,它在求和过程中至少被重复计算
||( 1)U δ
υ
+
次。 (否则,若 ()VG S? 中每个点被重复计算都少于
||( 1)U δ
υ
+
次,则
||
|()|(|S|) ( 1)||( 1)
vU
U
Nv Uυδδ
υ
∈
< +< +
∑
,与前式矛盾 )。这意味着在 ()VG S? 中存在某个顶点 x,它支配 U 中至少
||( 1)U δ
υ
+
各顶点。
3
现在我们通过迭代来生成 G 的一个支配集,用 S 表示在迭代过程中形成的支配集的一部分,初始时可取最大度顶点放入 S。在迭代的每一步选择一个顶点放入 S,所选择的顶点应能够尽可能多地支配当前的 S 尚未支配的顶点。由前一部分的结论,如果当前的 S 尚未支配的顶点有 ||Uk= 个,则在 ()VG S? 中存在某个顶点 x,它支配 U 中至少
(1)k δ
υ
+
个顶点。因此按照我们的选点规则,再选择一个点放入 S 后,剩下未被支配的顶点不超过
1
(1 )k
δ
υ
+
个。
在
ln( 1)
1
δ
υ
δ
+
+
步后,未被支配的顶点个数至多为
ln( 1)
ln( 1)
1
1
(1 )
1
e
δ
υ
δ
δ
δ υ
υυ
υδ
+
+
+
+
<=
+
。
(上式推导中用到不等式 1
p
p e
< ) 。将当前 S 中的点和未被 S 支配的点放在一起,便组成
G 的一个支配集,它含有
ln( 1)
1
δ
υ
δ
+
+
+
1
υ
δ +
=
1ln( 1)
1
δ
υ
δ
+ +
+
个顶点。结论得证。
定理 5.1.7 对任何图 G,有 (G) (G)
1(G)
υ
γυ
≤≤?Δ
+Δ
。
证明,设 D 是 G 的一个最小支配集,则 V(G) D ( )
vD
Nv
∈
∪
,因此 |V(G) D| |D| (G)?≤?Δ 。
而 |V(G) D| |D|υ?=?,|D| (G)γ=,故 (G) (G) (G)υ γγ? ≤Δ,于是 (G)
1(G)
υ
γ
≥
+Δ
。
证毕。
图的支配集是内容相当丰富的一个研究专题,它在许多学科领域有重要的应用,是目前研究的一个热点方向 [1~5]。进一步的了解可参看 Haynes- Hedetniemi- Slater 的长达 1200 页的专著 [6]。支配集理论在电力网络中的应用见文献 [7]。支配集在无线通信网络中的应用见文献
[ 8~11]。
[1] B.G.,Xu,Two classes of edge domination in graphs,Discrete Applied Mathematics,154(2006),
1541-1546,
[2] T.W,Haynes,M.A,Henning,and J,Howard,Locating and total dominating sets in trees,Discrete
Applied Mathematics,154(2006),1293-1300,
[3] J.S,Deogun,and D,Kratsch,Dominating pair graphs,SIAM J,Discrete Mathematics,
15:3(2001-2002),353-366,
[4] Chin Lung Lu,Ming-Tat Ko and Chuan Yi Tang,Perfect edge domination and efficient edge
domination in graphs,Discrete Applied Mathematics,119(2002),227-250,
[5] Chin Lung Lu and Chuan Yi Tang,Weighted efficient domination problem on some perfect
graphs,Discrete Applied Mathematics,117(2002),163-182,
[6] T.W,Haynes,S.T,Hedetniemi,and P.J,Slater,Fundamentals of Domination in Graphs,Marcel
Dekker,Inc.,1998,
[7] T.W,Haynes,S.M,Hedetniemi,S.T,Hedetniemi,and M.A,Henning,Domination in graphs
applied to electric power networks,SIAM J,Discrete Mathematics,15:4(2001-2002),519-529,
4
[8] I,Stojmenovic,M,Seddigh,and J,Zunic,Dominating sets and neighbor elimination based
broadcasting algorithms in wireless networks,Proc,IEEE Hawaii Int,Conf,On System Sciences,
Jan,2001,
[9] J,Wu,and H.L.Li,On calculating connected dominating set for efficient routing in ad hoc
wireless networks,Proceedings of the 3
rd
ACM International Workshop on Discrete Algorithms and
Methods for Mobile Computing and Communications,1999,7-14,
[10] S,Guha,and S,Khuller,Approximation algorithms for connected dominating sets,
Algorithmica,20:4(1998),347-387,
[11] B,Das,and V,Bharghavan,Routing in ad hoc networks using minimum connected dominating
sets,ICC’97,Montreal,Canada,June,1997,
二、点独立集 (vertex independent set)
定义 5.1.2 设 )( GVI?,若 I 中任二顶点均不相邻,则称 I 为图 G 的一个 点独立集 (简称独立集) ;若对 IGVu \)(∈?,}{uI ∪ 都不再是 G 的独立集,则称独立集 I 为图 G 的一个极大点独立集 。 G 的含点数最多的点独立集称为 最大点独立集,它含点的个数称为 G 的 独立数,记为 )(Gα 或 α 。
例如,在下图中,}{
00
vI =,},,{
7411
vvvI =,},,,{
75312
vvvvI = 都是 G 的独立集,
且都是极大独立集,其中
2
I 是最大独立集,4)( =Gα 。
一些文献中将独立集称为稳定集 (stable set),相应地将独立数称为稳定数。