二分图

总览

1.二分图最大匹配
2.二分图最小顶点覆盖
3.二分图最小边覆盖
4.二分图最大独立集
5.二分图最大团
6.二分图最大权匹配
7.有向无环图不可相交路径覆盖
8.有向无环图可相交路径覆盖
9.有向有环图不可相交最小路径覆盖
10.有向有环图可相交最小路径覆盖

1.二分图最大匹配都可以用匈牙利算法解决。

int dfs(int u){
    for(int i=head[u];i;i=e[i].next){
        int v=e[i].to;
        if(!vis[v]){
            vis[v]=1;
            if(!match[v] || dfs(match[v])==1){
                match[v]=u;
                match[u]=v;
                return 1;
            }
        }
    }
    return 0;
}

2.二分图最小点覆盖
最小点覆盖就是用最少的点覆盖所有的边。首先，最小点覆盖一定是大于等于最大匹配的。把所有的点分为在最大匹配中的和不在最大匹配中的。不在最大匹配中的点们之间肯定不能有边，不然最大匹配就要+1了。但是这个点既然在图里面，那么肯定至少跟另外一个点连了边，那这个点肯定在最大匹配里面，所以二分图最小点覆盖等于二分图最大匹配。

3.二分图最小边覆盖
用最小的边讲所有的点全部覆盖。对于最大匹配剩下的点是不可能之间有边的，所以最小边覆盖就是他们每个点与最大匹配中的点建一条边。就是n-最大匹配。

4.二分图最大独立集
每个集中的点两两不相连。
除去二分图中最大匹配覆盖的点。剩下的点之间两两之间不相连，所以它们就是最大独立集，就是n-最大匹配。

5.二分图最大团
每个集合中的点两两相连。
不就是补图的最大独立集吗。。

6.二分图最大权匹配
可以用网络流（dinic）最小费用最大流解决。

7.有向无环图不可相交路径覆盖
在一个有向图中，找出最少的路径，使得这些路径经过了所有的点。
这些路径之间不可相交。
对于原图（DAG）进行建立新图（二分图）
不可相交路径覆盖数等于原图点数-二分图最大覆盖数。
一开始每个点都是独立的为一条路径，总共有n条不相交路径。我们每次在二分图里找一条匹配边就相当于把两条路径合成了一条路径，也就相当于路径数减少了1。所以找到了几条匹配边，路径数就减少了多少。

8.有向有环图可相交路径覆盖
在一个有向图中，找出最少的路径，使得这些路径经过了所有的点。
这些路径之间可以相交。
对于可相交的，先用floyd或者dfs染色预处理。然后同7。

9.有向有环图不可相交最小路径覆盖
先进行tarjan缩点，然后同7.

10.有向有环图可相交最小路径覆盖
先进行tarjan缩点，然后同8.