支配集，覆盖集，独立集，匹配与着色

支配集

支配集的定义：

注：
①支配集是一个点集。
②通俗地讲，支配集就是将一个图的点集分成两个部分，这两部分点中任意一个点都与另一部分有边相连。
③由②可知，支配集的补仍然是支配集。
④极小支配集的补不一定是极小支配集。
⑤最小支配集指的是顶点数最少的支配集。

例子：

点独立集

注：
①点独立集比较容易理解，指的是点集中任何两点都不相邻即可。
②由于点独立集只与自身所含点的特征有关，故点独立集的补是什么未知。

支配集与点独立集之间的关系

分析：
由前面的讨论可知，极小点支配集指的是我可以连接到补集点数最少的集合，而极大点独立集指的是互相不相连的点集的极大值，由其性质可知，若在极大点独立集中添加任何一个不再其中的点，都会破坏其结构，这证明极大点独立集与其补集任意一点都有直接相连。
其次，由于非极大点独立集，在其补集中肯定存在一点，该点加入这个点独立集中不会破坏其结构，证明其余该点独立集无直接相连，故不能形成点支配集，由此可见极大点独立集就是极小点支配集。（由极小点支配集的定义证明，由于极大点独立集的任何字迹都不能构成支配集，而其本身可以构成支配集，故其为极小点支配集。）

点覆盖集

注：
①点支配集是指集合内的点与所有的补集中的点都有直接相邻关系，而点覆盖集指的是集合中的点与所有的边都有直接相邻关系。

点覆盖与点独立的关系

  点覆盖集与点独立集和的关系，点覆盖集和的补集一定是点独立集，反证法可以轻松证明，同时对于最小点覆盖集，由于其最小性质的成立，所以其补集一定是点独立集，其最大性就得到了保证，这样我们又点覆盖数等于点支配数的结论。

分析：很明显点覆盖要求点集与图中所有的边相邻，如果点覆盖集的补集中存在相邻的两点，那么点覆盖集就不成立，因此其补集中的点一定是不相邻的，也即其补集为点独立集。

边覆盖集

注：
①通俗地讲，就是存在边集E，使得简单无孤立点的图中所有的点都与边集中的边相邻。

边独立集也即匹配

注：
①匹配竟然是这样定义的。
②通俗的讲，匹配及互不相邻的便构成的集合。

例子：

匹配的相关定义

边覆盖与匹配的关系

证明：用点数证明

注：
这种证明方法我们肯定不陌生，但是如何很直观的想到他却很难，当然人是不同的，也不排除某些人他就觉得这是比较直观的一种证明方法。
这里所谓的直观我指的是，就像我们对于两个人身高的比较一样，一眼望过去就知道谁高谁低，又比如直角三角形中斜边与直角边的长短关系这种我们不用想，或者稍微一想就得出答案的这种可称之为直观。
我发想人们对于图形总要比对数字直观的多，即便是函数也有转化为图像才能变得直观起来，当然数形结合也是一种一一对应的关系，一一对应是一种很好地问题转化思想。
这里我想讲的是既然我们没办法直观的想到这种解法，那么我们如何做出这种解法呢？
当然，一一尝试不失为一种方法，但是否有一种范围更小的搜索方法？更进一步的是否存在一种更为精准的方法呢？我们朝这个方向去想就不会出错？
首先值得肯定的是，如果所求问题为证明问题，且命题为真，当要求的问题的解存在于两个范围内时，这种方法极可能是可行的。
其次，这种方法是否亦可用反证法证明？

交错路径与最大匹配的关系

二部图的匹配

二部图存在完备匹配的充要条件：