尚未整理完,请见谅。
先说一些概念:
最大匹配:二分图中边集的数目最大的那个匹配;
最小顶点覆盖:用最少的点,让每条边都至少和其中一个点关联;
最小边覆盖:用尽量少的不相交简单路径覆盖有向无环图(DAG)G的所有顶点;
最大独立集:在N个点的图G中选出m个点,使这m个点两两之间没有边的点中,m的最大值。
二分图匹配:
对于不存在孤立点的图,最大匹配+最小边覆盖=顶点数;
最大独立集+最小顶点覆盖=顶点数;
二分图中的最大匹配数等于这个图中的最小点覆盖数(最小点覆盖:假如选了一个点就相当于覆盖了以它为端点的所有边,你需要选择最少的点来覆盖所有的边)http://www.matrix67.com/blog/archives/116
连通分量:
有k个连通分量的平面图的区域数
欧拉示性数公式:
V:顶点数;
E:边数;
F:被划分区域数;