图论相关

无向图

概念：

定义一个图无向图G

1. 团：G的一个完全子图。
2. 最大团：G中最大的团。
3. 独立集：任意两点都不相连的顶点的集合。
4. 最大独立集：G中两两顶点之间都不相连的最多个数的集合。

性质：

1. 无向图的最大团 == 该无向图补图的最大独立集

二分图

概念：

顶点集V可分割为两个互不相交的子集，并且图中每条边依附的两个顶点都分别属于这两个互不相交的子集，两个子集内的顶点不相连。
二分图的最大匹配：

性质：

1. 二分图中的环长度都为偶数
2. 任何无回路的的图均是二分图
3. 最小边覆盖 = 图中点的个数 - 最大匹配数 = 最大独立集

······