8.1 独立集与覆盖 定义 独立集(独立点子集):顶点互不邻接的顶点子集最大独立集:包含顶点数最多的独立集独立数α(G):最大独立集中,点个数(互不相邻点最多有多少) 覆盖(选边点子集):使G的所有边至少有一个点在其中的点子集最小覆盖:包含顶点数最少的覆盖覆盖数β(G):最小覆盖中,点个数 判定 S是G的独立集 当且仅当 S的补集是G的覆盖 8.2 边独立集与边覆盖 定义 边独立集(匹配,边子集):边互不相邻