离散数学结构 第十八章 支配集、覆盖集、独立集与匹配.docVIP

第十八章 支配集、覆盖集、独立集与匹配 18.1 支配集、点覆盖集、点独立集 一、支配集与支配数 定义18.1 设图G＝V，E，V*V，若对于vi∈V－V*，vj∈V*，使得(vi，vj)∈E，则称vj支配vi，并称V*为G的一个支配集。设V*是G的支配集，但V*的任何真子集都不是支配集，则称V*是极小支配集。顶点数最少的支配集称为最小支配集，最小支配集中顶点的个数称为支配数，记作γ0(G)或简记为γ0. 图18.1 在图18.1(1)中，{v1，v5}，{v3，v5}，{v2，v4，v7}等都是极小支配集，{v1，v5}，{v4，v5}，{v3，v6}等都是最小支配集，γ0＝2.(2)为7阶星形图，{v0}，{v1，v2，...，v6}为极小支配集，{v0}为最小支配集，γ0＝1.(3)为轮图W6，{v0}，{v1，v3}，{v1，v4}等都是极小支配集，显然γ0＝1. 二、点独立集与点独立数 定义18.2 设图G＝V，E，V*V，若V*中任何两个顶点均不相邻，则称V*为G的点独立集，或称独立集。若V*再加入任何顶点都不再是独立集了，则称V*为极大点独立集，顶点数最多的点独立集称为最大点独立集，其中顶点数称为点独立数，记作β0(G)，简记为β0. 　　在图18.1(1)中，{v1，v5}，{v3，v6}，{v2，v4，v7}等都是极大点独立集，其中{v2，v4，v7}等为最大点独立集，β0＝3. (2)中，{v0}，{v1，v2，…，v6}都是极大点独立集，其中{v1，v2，…，v6}是最大点独立集，β0＝6. (3)中，{v1，v3}，{v1，v4}等都是极大点独立集，也都是最大点独立集，β0＝2. 定理18.1 设G＝V，E中无孤立点，则G的极大点独立集都是G的极小支配集。 　　证 设V*为G中任意的一个极大独立集，v∈(V－V*)，必v∈V*，使得(v，v)∈E，否则v0∈V－V*不与V*中任何顶点相邻，则V*∪{v0}仍为独立集，这与V*是极大独立集矛盾，所以V*是G的支配集。另外，由于V*是点独立集，因而任何的V1*V*，V*－V1*中的顶点都不受V1*中顶点支配，即V1*不是支配集了，所以V*是极小支配集。 定理18.1的逆命题不是真命题。在图18.1(1)中，{v3，v5}是极小支配集，但它显然不是独立集，更不是极大独立集 三、点覆盖集与点覆盖数 定义18.3 设G＝V，E，V*V，若对于e∈E，v∈V*，使得v与e相关联，则称v覆盖e，并称V*为G的点覆盖集或简称点覆盖。V*是G的点覆盖，若V*的任何真子集都不是点覆盖，则称V*是极小点覆盖，顶点个数最少的点覆盖称为最小的点覆盖，其顶点个数称为点覆盖数，记作α0(G)或简记为α0. 　　在图18.1(1)中，{v2，v3，v4，v6，v7}，{v1，v3，v5，v7}等都是极小点覆盖，其中{v1，v3，v5，v7}等是最小点覆盖，α0＝4.(2)中，{v0}，{v1，v2，…，v6}都是极小点覆盖，其中{v0}是最小点覆盖，α0＝1. (3)中，{v0，v1，v3，v4}，{v0，v1，v3，v5}等都是极小点覆盖，也都是最小的点覆盖，α0＝4. 定理18.2 设G＝V，E中无孤立点，V*V，则V*为G的点覆盖当且仅当＝V－V*为G的点独立集。 　　证 必要性。若存在vi，vj∈相邻，即(vi，vj)∈E，而这条边的两个端vi，vj都不在V*中，这显然与V*为点覆盖矛盾，所以为点独立集。 　　充分性。由于＝V－V*是点独立集，因而任意一条边的两个端点至少有一个在V*中，这正说明V*是G的点覆盖。 　　由定理18.2可得出下面推论。 推论 设G是n阶无孤立点的图，则V*是G的极小(最小)点覆盖当且仅当＝V－V*是G的极大(最大)点独立集，从而有 α0+β0＝n 读者可用本推论检验对图18.1各图求出的α0与β0是否正确。 18.2 边覆盖集与匹配 一、边覆盖集与边覆盖数 定义18.4 设图G＝V，E，E*E，若v∈V，e∈E*，使得v与e相关联，则称e覆盖v，并称E*为边覆盖集，或简称边覆盖。E*是边覆盖，若E*的任何真子集都不是边覆盖，则称E*是极小边覆盖，边数最少的边覆盖集称为最小的边覆盖，其所含边的个数称为边覆盖数，记作α1(G)或简记为α1. 　　在图18.2(1)中，{e1，e4，e7}，{e2，e5，e6，e7}等都是极小边覆盖，其中{e1，e4，e7}是最小边覆盖，α1＝3. (2)中，{e1，e3，e6}，{e2，e4，e8}等都是极小边覆盖，同时它们也都是最小边覆盖，α1＝3. 图18.2 二、边独立集(匹配)与边独立数(匹配数) 定义18.5 设G＝V，E，E*E，若E*中任何两条边均不相