二分图中的名词定义

二分图：

其所有顶点可以分成两个集合X和Y，其中X或Y中任意两个在同一集合中的点都不相连，所有的边关联在两个顶点中，恰好一个属于集合Ｘ，另一个属于集合Ｙ。

最大匹配数：

给定一个二分图G，M为G边集的一个子集，如果M满足当中的任意两条边都不依附于同一个顶点，则称M是一个匹配。图中包含边数最多的匹配称为图的最大匹配，其边数称为最大匹配数 ，可用匈牙利算法求解。

最小点覆盖：

二分图中，选取最少的点数，使这些点和所有的边都有关联（把所有的边的覆盖），叫做最小点覆盖。

最小路径覆盖数：

在有向图中找一些路径，使之覆盖了图中的所有顶点，就是任意一个顶点都跟那些路径中的某一条关联，且任何一个顶点有且只有一条路径与之关联；一个单独的顶点是一条路径，最小路径覆盖就是最少的路径覆盖数。

最大独立集：

二分图中，任意两个顶点都不相连的 顶点的集合，点数最多的集合是最大独立集。

3条结论：

（1）最少点覆盖数=最大匹配数

（2）DAG图中最小路径覆盖数=节点数-对应二分图的最大匹配数

（3）最大独立集=节点数-最大匹配数