最大匹配=最大边独立集=最小点覆盖
最大点独立集+最大匹配=顶点数
最小路径覆盖+最大匹配=顶点数
最小路径覆盖:在一个有向无环图中最少有几条路径使得所有的点被完全覆盖且只被覆盖一次
最大点独立集:一个图中最多不相邻的点的集合
最大边独立集:一个无环的图中最多不相邻的边的集合
最小点覆盖:一个图中所有的边都连上的最小点的集合
最大匹配=最大边独立集=最小点覆盖
最大点独立集+最大匹配=顶点数
最小路径覆盖+最大匹配=顶点数
最小路径覆盖:在一个有向无环图中最少有几条路径使得所有的点被完全覆盖且只被覆盖一次
最大点独立集:一个图中最多不相邻的点的集合
最大边独立集:一个无环的图中最多不相邻的边的集合
最小点覆盖:一个图中所有的边都连上的最小点的集合