摘要：
最近在看这一部分的内容，想把定理及自己想的一些证明都整理一下，欢迎指正和补充~~（G为无向图）① 若G中无孤立顶点，则存在一个支配集V1，使得G中除V1外的所有顶点也组成一个支配集。（从某顶点开始，将它标为1，与它相邻的标为2，与2相邻的标为1，标过的不用再标，直到标完，则集合1与集合2满足这一性质）② 若G中无孤立顶点，V1为极小点支配集，则G中除V1外的顶点集合V2也组成一个支配集。 （对于V1中任意顶点，只有两种情况，与V2邻接和不与V2邻接，假设都邻接，那么V2是支配集，得证，假设某顶点x不与V2邻接，则对于V1，若去掉点x，它仍是支配集，与它是极小的矛盾，得证）③一个独立集是极大独立 阅读全文