最大匹配数：最大匹配的匹配边的数目post

最小点覆盖数：选取最少的点，使任意一条边至少有一个端点被选择spa

最大独立数：选取最多的点，使任意所选两点均不相连class

最小路径覆盖数：对于一个 DAG（有向无环图），选取最少条路径，使得每一个顶点属于且仅属于一条路径。路径长能够为 0（即单个点）。di

定理1：最大匹配数 = 最小点覆盖数（这是 Konig 定理）co

定理2：最大匹配数 = 最大独立数

定理3：最小路径覆盖数 = 顶点数 - 最大匹配数