最大匹配 最小点覆盖 最小边覆盖 最大独立集

最大匹配：

匹配：在图论中，一个「匹配」（matching）是一个边的集合，其中任意两条边都没有公共顶点。

最大匹配：一个图所有匹配中，所含匹配边数最多的匹配，称为这个图的最大匹配。

 

最小点覆盖：

点覆盖的概念定义： 
对于图G=(V,E)中的一个点覆盖是一个集合S⊆V使得每一条边至少有一个端点在S中。

最小点覆盖：就是中点的个数最少的S集合。 

结论： 二分图的最小点覆盖数=该二分图的最大匹配数

 

最小边覆盖：

边覆盖的概念定义： 
边覆盖是图的一个边子集，使该图上每一节点都与这个边子集中的一条边关联，只有含孤立点的图没有边覆盖，边覆盖也称为边覆盖集，图G的最小边覆盖就是指边数最少的覆盖，图G的最小边覆盖的边数称为G的边覆盖数。

结论： 二分图的最小边覆盖数=图中的顶点数 - 该二分图的最大匹配数

              二分图的最小边覆盖数=图中的顶点数 - 最小点覆盖数

 

最大独立集：

最大独立集：在Ｎ个点的图G中选出m个点，使这m个点两两之间没有边的点中，m的最大值。 
结论： 二分图的最大点独立数=点的个数-最小点覆盖数（最大匹配）