离散数学-屈婉玲-教学课件ch18.pptVIP

第十八章支配集、覆盖集、独立集、匹配与着色 主要内容 支配集、点覆盖集与点独立集 边覆盖与匹配 二部图中的匹配 点着色 地图着色与平面图的点着色 边着色 18.1 支配集、点覆盖集与点独立集 支配集与支配数 定义18.1 设G=V,E，V*?V. (1) V*为支配集——?vi?V?V*,?vj?V*，使得(vi,vj)?E (2) V*为极小支配集——V*的真子集不是支配集 (3) 最小支配集——元素最少的支配集 (4) 支配数?0(G)——最小支配集中的元素个数 极小与最小支配集之间的关系 最小支配集为极小支配集，但反之不真. 另外，极小支配集与最小支配集都可能不惟一. 又易知完全图、轮图、星形图的支配数均是1. 点独立集与点独立数 定义18.2 设G=V,E，V*?V. (1) 点独立集V*——V*中顶点彼此不相邻 (2) V*为极大点独立集——V*中再加入任何顶点就不是点独立集 (3) 最大点独立集——元素最多的点独立集 (4) 点独立数——最大点独立集中的元素个数，记为?0 极大独立集与极小支配集 定理18.1 设G=V,E中无孤立点，则G的极大点独立集都是 极小支配集. 点覆盖集与点覆盖数 定义18.3 设G=V,E, V*?V. (1) V*是点覆盖集——?e?E，?v?V*，使e与v关联 (2) V*是极小点覆盖集——V*的任何真子集都