无向图
概念:
定义一个图无向图G
- 团:G的一个完全子图。
- 最大团:G中最大的团。
- 独立集:任意两点都不相连的顶点的集合。
- 最大独立集:G中两两顶点之间都不相连的最多个数的集合。
性质:
- 无向图的最大团 == 该无向图补图的最大独立集
二分图
概念:
顶点集V可分割为两个互不相交的子集,并且图中每条边依附的两个顶点都分别属于这两个互不相交的子集,两个子集内的顶点不相连。
二分图的最大匹配:
性质:
- 二分图中的环长度都为偶数
- 任何无回路的的图均是二分图
- 最小边覆盖 = 图中点的个数 - 最大匹配数 = 最大独立集
······