二分图的概念
二分图又称作二部图，是图论中的一种特殊模型。设G=(V,E)是一个无向图，如果顶点V可分割为两个互不相交的子集(A,B)，并且图中的每条边(i,j)所关联的两个顶点i和j分别属于这两个不同的顶点集(i in A,j in B)，则称图G为一个二分图。
最大匹配：二分图中边集的数目最大的那个匹配；
最小顶点覆盖：用最少的点，让每条边都至少和其中一个点关联；
最小边覆盖：用尽量少的不相交简单路径覆盖有向无环图(DAG)G的所有顶点；
最大独立集：在Ｎ个点的图G中选出m个点，使这m个点两两之间没有边的点中，m的最大值。