BZOJ-2561-最小生成树 题解（最小割）

2561: 最小生成树（题解）

Time Limit: 10 Sec  Memory Limit: 128 MB
Submit: 1628  Solved: 786

传送门：http://www.lydsy.com/JudgeOnline/problem.php?id=2561

Description

　给定一个边带正权的连通无向图G=(V,E)，其中N=|V|，M=|E|，N个点从1到N依次编号，给定三个正整数u，v，和L (u≠v)，假设现在加入一条边权为L的边(u,v)，那么需要删掉最少多少条边，才能够使得这条边既可能出现在最小生成树上，也可能出现在最大生成树上？

Input

第一行包含用空格隔开的两个整数，分别为N和M；
接下来M行，每行包含三个正整数u，v和w表示图G存在一条边权为w的边(u,v)。
最后一行包含用空格隔开的三个整数，分别为u，v，和 L；
数据保证图中没有自环。

Output

输出一行一个整数表示最少需要删掉的边的数量。

Sample Input

3 2
3 2 1
1 2 3
1 2 2

Sample Output

1

HINT

对于20%的数据满足N ≤ 10，M ≤ 20，L ≤ 20；

对于50%的数据满足N ≤ 300，M ≤ 3000，L ≤ 200；

对于100%的数据满足N ≤ 20000，M ≤ 200000，L ≤ 20000。

 

【解析】

我们首先回忆一下kruskal算法求MST。。。

然后反过来想：如果一条边在MST上，那么权值小于它的边肯定做不出一个生成树。

之后就简单了：对于在最小生成树上，肯定是要在权值小于它的边中删掉一些使得剩下的不能做成一个生成树，也就是使要加入的边的两个端点在图中不连通。

我们想到了最小割！

要加入的边的两个端点分别是源与汇，然后每条小于其的边（注意：这是在MST上，在最大生成树上也同理，即处理大于它的边）的两个端点在图中连一条权值为1的无向边。然后最小割即可。

最终将在最小生成树与最大生成树上的处理的最小割的值相加即为所求。

我的程序452 MS，目前进排行榜前15啦～

 

ISAP~

#include<iostream>
#include<fstream>
#include<cstdio>
#include<algorithm>
#include<string>
#include<vector>
#include<queue>
#include<deque>
#include<utility>
#include<map>
#include<set>
#include<cmath>
#include<cstdlib>
#include<ctime>
#include<functional>
#include<sstream>
#include<cstring>
#include<bitset>
#include<stack>
using namespace std;
 
int n,m,s,t,cnt,x,y,z,ansx,l;
struct sdt
{
    int cap,flow,u,v;
}e[400005];
struct bdq
{
	int a,b,c;
}edge[200005];
int nxt[400005],fir[20005],d[20005],par[20005],num[20005],cur[20005];
bool vis[20005];
 
int read()
{
	int x=0;char c=getchar();
	while(c<48||c>57)c=getchar();
	while(c>47&&c<58)x*=10,x+=c-48,c=getchar();
	return x;
}
 
void bfs()
{
    memset(vis,0,sizeof(vis));
    memset(d,0,sizeof(d));
    queue<int>q;
    d[t]=0;
    vis[t]=1;
    q.push(t);
    while(!q.empty())
    {
        int k=q.front();
        q.pop();
        for(int i=fir[k];i;i=nxt[i])
        {
            if(!vis[e[i].v])
            {
                vis[e[i].v]=1;
                d[e[i].v]=d[k]+1;
                q.push(e[i].v);
            }
        }
    }
}
 
int agument()
{
    int p=t;
    int ans=2147483647;
    while(p!=s)
    {
        ans=min(ans,e[par[p]].cap-e[par[p]].flow);
        p=e[par[p]].u;
    }
    p=t;
    while(p!=s)
    {
    	e[par[p]].flow+=ans;
        e[par[p]^1].flow-=ans;
        p=e[par[p]].u;
    }
    return ans;
}
 
int isap()
{
    memset(num,0,sizeof(num));
    int flow=0;
    for(int i=1;i<=n;i++)
	{
		num[d[i]]++;
		cur[i]=fir[i];
	}
    int p=s;
    while(d[s]<n)
    {
        if(p==t)
        {
            flow+=agument();
            p=s;
        }
        bool ok=0;
        for(int i=cur[p];i;i=nxt[i])
        {
            if(e[i].cap>e[i].flow && d[p]==d[e[i].v]+1)
            {
                ok=1;
                par[e[i].v]=i;
                cur[p]=i;
                p=e[i].v;
                break;
            }
        }
        if(!ok)
        {
            int mn=n-1;
            for(int i=fir[p];i;i=nxt[i])
            {
                if(e[i].cap>e[i].flow)mn=min(mn,d[e[i].v]);
            }
			if(--num[d[p]]==0)break;
            num[d[p]=mn+1]++;
            cur[p]=fir[p];
            if(p!=s)p=e[par[p]].u;
        }
    }
    return flow;
}
 
int main()
{
	memset(nxt,0,sizeof(nxt));
    memset(fir,0,sizeof(fir));
    n=read();m=read();
    cnt=1;
    for(int i=1;i<=m;i++)
    {
    	edge[i].a=read();edge[i].b=read();edge[i].c=read();
    }
	s=read();t=read();l=read();
	for(int i=1;i<=m;i++)
	{
		if(edge[i].c<l)
		{
			x=edge[i].a;
			y=edge[i].b;
			e[++cnt].u=x;e[cnt].v=y;e[cnt].cap=1;e[cnt].flow=0;
		    nxt[cnt]=fir[x];fir[x]=cnt;
		    e[++cnt].u=y;e[cnt].v=x;e[cnt].cap=1;e[cnt].flow=0;
		    nxt[cnt]=fir[y];fir[y]=cnt;
		}
	}
    bfs();
    ansx+=isap();
    cnt=1;
    memset(nxt,0,sizeof(nxt));
    memset(fir,0,sizeof(fir));
    memset(e,0,sizeof(e));
    for(int i=1;i<=m;i++)
	{
		if(edge[i].c>l)
		{
			x=edge[i].a;
			y=edge[i].b;
			e[++cnt].u=x;e[cnt].v=y;e[cnt].cap=1;e[cnt].flow=0;
		    nxt[cnt]=fir[x];fir[x]=cnt;
		    e[++cnt].u=y;e[cnt].v=x;e[cnt].cap=1;e[cnt].flow=0;
		    nxt[cnt]=fir[y];fir[y]=cnt;
		}
	}
    bfs();
    ansx+=isap();
    printf("%d\n",ansx);
    return 0;
}