OI网络流简单学习笔记

最新推荐文章于 2022-08-28 11:07:35 发布

weixin_30437337

最新推荐文章于 2022-08-28 11:07:35 发布

阅读量227

点赞数

原文链接：http://www.cnblogs.com/fengxunling/p/10248928.html

版权

持续更新！

基本上只是整理了一下框架qwq。

。。怎么说呢，最基础的模板我就我不说了吧qwq，具体可以参考一下这位大佬写的博客：最大流，最小割，费用流

费用流

跑最大费用流的时候可以把边权都变成负的，然后按照原先的方法跑最小费用流即可。
每个点只能经过一次的时候，就拆点，然后两个点之间连容量为1费用为0的边。连路径的时候，强制从v'向u连边。

经典费用流模型

连续M个元素最多选K个
给你N个元素，每个元素都有一个权值ai（可正可负），要求从中你选出一些，满足对于任意相邻的M个元素当中最多只有K个元素被选出，使得总权值最大。
BZOJ1283 序列

二分图

设G=(V,E)是一个无向图，如果顶点V可分割为两个互不相交的子集(A,B)，并且图中的每条边（i，j）所关联的两个顶点i和j分别属于这两个不同的顶点集(i in A,j in B)，则称图G为一个二分图。

判定二分图：黑白染色，如果有矛盾，就不是二分图。

如果进行到最后都没有矛盾，那就是二分图。
或者说，如果一个图里面没有奇环，就是二分图。

树是一个二分图。

二分图最大匹配

就是一个二分图中最多能够匹配的对数。
建立一个源点S，一个汇点T，S点向左点集X连边，右点集Y向T点连边，两个点集间从左向右连边，容量都是1，求最大流即可。
很显然一个流就代表一个匹配
（求最大流的算法主要是KM（\(N*M^2\)），dinic算法（\(M*N^2\)）。dinic算法求二分图最大匹配的时间复杂度是\(M*\sqrt N\)）

KM算法求最小带权完美匹配的模板：

inline int match(int x)
{
    S[x]=true;
    for(int j=1;j<=n;j++)
        if(lx[x]+ly[j]==w[x][j]&&!T[j])
        {
            T[j]=true;
            if(!to[j]||match(to[j]))
            {
                to[j]=x;
                return true;
            }
        }
    return false;
}
//以上是寻找最大匹配的匈牙利算法
inline void update()
{
    int d=INF;
    for(int i=1;i<=n;i++)
        if(S[i])
            for(int j=1;j<=n;j++)
                if(!T[j])
                    d=min(d,lx[i]+ly[j]-w[i][j]);
    for(int i=1;i<=n;i++)
    {
        if(S[i]) lx[i]-=d;
        if(T[i]) ly[i]+=d;
    }
    //修改左右顶标的值
}
inline void KM()
{
    for(int i=1;i<=n;i++)
    {
        lx[i]=ly[i]=to[i]=0;
        for(int j=1;j<=n;j++) lx[i]=max(lx[i],w[i][j]);
    }
    //初始化，左边的顶标都等于该点连接的边中最大的边的权值
    for(int i=1;i<=n;i++)
    {
        while(233)
        {
            for(int j=1;j<=n;j++) S[j]=T[j]=0;
            if(match(i)) break；//若找到了当前点的增广路，就可以跳出寻找下一个点的了
            else update();//若未找到增广路，则修改顶标的值，这样子下次就可以找到增广路了
        }
    }
}

KM算法的顶标：
可行顶标十一个节点函数l，使得对于任意弧\((x,y)\)，有\(l(x)+l(y)\ge w(x,y)\)。相等子图是G的生成子图，包含所有点，但只包含满足\(l(x)+l(y)=w(x,y)\)的所有边\((x,y)\)。
定理：如果相等子图有完美匹配，则该匹配是原图的最大权匹配。

如何确认一条边/点是否一定在二分图最大匹配中

（dinic+tarjan）在跑完dinic的残量网络上面SCC缩点，对于一条边，如果它满流，且左右端点不在一个SCC中，那么它一定在二分图最大匹配上。
yy的证明：如果在一个SCC中，一定能找到其他的替代边。
（匈牙利算法，确认一个点）先ban掉当前点，再增广的时候强行不选，然后再对它的匹配点进行增广，如果有其他的匹配，那么它不一定在二分图最大匹配上，反之则一定。

二分图最大权匹配

别的和最大匹配一样，但是给X到Y的边加费用为对应的边权，然后求S到T的最大费用流（注意这里不是最大费用最大流，因为那个是要求在最大流基础上的最大费用，可能就不是全局最大费用了）

二分图最小点覆盖

就是选出来最少数量的点，使得这些点所连接的边的并集覆盖掉所有的边。
定理：最小点覆盖=最大匹配
证明：首先，对于flow个最大匹配，每个匹配都需要一个点，也就是最少需要flow个点。实际上最多也是只需要flow个点。一条边只需要一个点就可以了；选了flow个点后，还有一条边两端的点都不在这个点集中说明还可以增广，这就和最大流的假设违背了。
一般适用于：

两种选择，至少要选择一个，每个选择有代价的最优化问题（比如说BZOJ1741 asteroids )

二分图最小点权覆盖集

定理：最小点权覆盖=最小割=最大流
证明：S-X和Y-T的连对应点权容量的边， X-Y的连容量inf的边，然后求最小割，首先中间的边不会被割，也就是左右边的边选一些割掉（左右选一些点作为覆盖点）。
证明即是建图方式。

二分图最大独立集

在二分图中选出来一些点，使得这些点两两之间都没有边相连。
定理：最大独立集=点数-最小点覆盖
yy的证明：一条边只有两个点，如果排除这些最小点覆盖的集合，显然每条边只剩下剩下的那个点。这些点只有通过边才能与其他点相连，但是它们相连的边上的另外一点都已经被排除，所以相当于它们“与世隔绝”，所以这些点集就是最大独立集的数量。

二分图最大点权独立集

定理：总点权-最小割
yy的证明：正难则反，这个东西肯定是总点权减去一个什么值，然后这个值还要尽可能小，而且减去这个东西后还要保证留下来的点两两之间互不到达。将这个图断开的最小代价就是最小割了，所以自然减去的东西就是最小割（最小点权覆盖集）了qwqwq

小结：

二分图最大匹配=二分图最小点覆盖=最小割=最大流=n-最大独立集。

二分图最小权覆盖和二分图最大权独立集互补。

DAG最小路径覆盖（不相交）

什么是最小路径覆盖呢？就是选出若干个路径，使得这些路径的并经过所有的点。
把原图的每个点V拆成Vx和Vy两个点，如果有一条有向边A->B，那么就加边Ax−>By。这样就得到了一个二分图。那么(定理）最小路径覆盖=原图的结点数-新图的最大匹配数。
yy的证明：把原先的每一个点都看成一条路径，每连一条边就是等于将两个点合并起来，路径数量-1。
例题：BZOJ2150部落战争题解

DAG最小路径覆盖（可相交）

和上面的大概相同，先用floyd求出原图的传递闭包，即如果a到b有路径，那么就加边a->b。然后就转化成了最小不相交路径覆盖问题。
例题：POJ2594 题解

霍尔定理（hall定理）

二分图G中的两部分顶点组合成的集合分别为X,Y。G中有一组无公共点的边，一端恰好为组成X的点（完美匹配）的充分必要条件是：X中的任意K个点至少与Y中的K个点相邻。
对于X中的一个点集W，令\(N_G(W)\)为W的所有邻居，霍尔定理即对于任意W，\(|W|<=|N_G(W)|\)
证明：（来自wzd dalao的博客）

必要性证明
假如一个二分图G存在完美匹配，且不满足Hall定理。那么对于某k个点，它们连向的都不足k个点。那么它们是怎么都被匹配上的？？？很显然必要性正确。
充分性证明
假如一个二分图G不存在完美匹配，且满足Hall定理。那么假如有一种最大匹配的方案，既然不存在完美匹配，可以找到至少一个未被匹配的点。因为这个二分图满足Hall定理，所以这个点一定连向了至少一个点。假如这个点不在最大匹配中，它们就匹配了，怎么可能呢？？？那么这个点在最大匹配中！所以一定有一个点和它匹配了。因为这个二分图满足Hall定理，所以这个点又一定连向了除它匹配的点外的至少一个点。假如这个点不在最大匹配中，一条增广路找到了，怎么可能呢？？？那么这个点在最大匹配中！所以…… 看懂了吧！我们一定能推出矛盾！所以充分性正确。

霍尔定理（hall定理）拓展

对于X,Y二分图最大匹配数=\(|S|-max{|W|-|N(W)|}\)，其中S是X全集的个数，W是S的子集。
这个结论可以让我们不通过建图，就可以知道最大匹配数量。

最小割

最小割，图中所有的割中，边权值和最小的割为最小割。

最小割是解决利益冲突情况下的利益最大化问题

可能割边

就是有可能在最小割中的边。
定理：当且仅当该边满流且残余网络（包括反向边）中该边两端点处于不同SCC时，该边可能在最小割中。

关键割边

一定在最小割中的边。
将可能割边的容量加一，如果求得的最小割增大，证明该边一定是关键割边。

1.跑一遍网络流之后，对残量网络做SCC，满流且边的两个端点不在同一个SCC中的边是可能割边。

2.跑一遍网络流之后，对残量网络做SCC，满流，边的两个端点分别和S和T在同一个SCC里，这个边是关键割边。

证明1：考虑如果减少一条边的容量之后，最小割变小了，证明这条边可能存在于最小割之中。那么反过来，如果(u,v)在同一个SCC中，我们把u→v这条边的容量减小d，那么我们把这个环上的所有边的容量都减少d，仍然满足流量平衡，意味着最大流即最小割不变。反之最大流即最小割改变，那么这条边可能存在于最小割中。
证明2：增加一条边的容量，如果最小割增加，意味着这条边必定在最小割中。因为u→是满流的边，所以沿反边u可达S，T可达v 。如果S,u在同一个SCC，T,v在同一个SCC中，说明S到u上还有增广路，v到T上还有增广路，那么u→v的流量增加最小割也会增加，此时u→v必定在最小割中。

输出任意最小割方案

（如果只输出左右端点，不考虑中间连边——即INF时）跑一遍dinic，然后在残量网络上记录done数组，最后一遍bfs左边没有访问到的点和右边访问到的点就是最小割。

无向图最小割树。（分治最小割）

一些性质：
对于两个点(s,t)的最小割。这个最小割将将所有点分成左右两个集合X、Y。对于X中任意一点a与Y中任意一点b， (a,b)的最小割小于等于(s,t)的最小割。因此，每次递归计算分成的两个集合的最小割，更新答案。
也就是说明，每求一次最小割，都可以把一个大点集分成两个小点集，显然最后能分的次数是n-1次，也就是无向图不同的最小割最多n-1个。
例题：BZOJ2229/ZJOI2011 最小割题解

最大权闭合子图

什么是闭合子图：给定一个有向图，从中选择一些点组成一个点集V。对于V中任意一个点，其后续节点都仍然在V中。
入门的话建议大家先去看这篇博客戳我

定理：最大权闭合子图=总点权-最小割

最大权闭合子图建模方式：先把答案加上所有的正权值，然后从源点向所有的正权点连一条流量为权值的边，所有的负权值的点向汇点连一条流量为权值相反数的边。原图中的所有的限制关系(i,j)均建立一条从i到j的流量为inf的边，最终的答案减去这个图的最小割就可以了。

最大密度子图

和分数规划有关，蒟蒻还不会。。。。回来再补。

平面图与对偶图

参考来自这位dalao的博客，在此表示感谢！
什么是平面图？任意两边之间的交点只能是顶点。
什么是对偶图？设有平面图G=(V,E)，满足下列条件的图G'= (V',E') 称为图G的对偶图：G的任一面Ri内有且仅有一点Vi'；对G的域Ri和Rj的共同边界Ek，画一条边Ek'=(Vi',Vj')且只与Ek交于一点；若Ek完全处于Ri中，则Vi'有一自环Ek'。