BZOJ4519 CQOI2016不同的最小割（最小割+分治）

　　最小割树：新建一个图，包含原图的所有点，初始没有边。任取两点跑最小割，给两点连上权值为最小割的边，之后对于两个割集分别做同样的操作。最后会形成一棵树，树上两点间路径的最小值即为两点最小割。证明一点都不会。

　　那么这个题就很好做了，连树都不用建。

#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstdlib>
#include<cstring>
#include<algorithm>
#include<map>
using namespace std;
int read()
{
    int x=,f=;char c=getchar();
    while (c<''||c>'') {if (c=='-') f=-;c=getchar();}
    while (c>=''&&c<='') x=(x<<)+(x<<)+(c^),c=getchar();
    return x*f;
}
#define N 900
#define M 9000
#define inf 1000000000
int n,m,p[N],v[N],u[N],tot=,t=-;
bool flag[N];
int d[N],cur[N],q[N];
struct data{int to,nxt,cap,flow;
}edge[M<<];
map<int,bool> f;
void addedge(int x,int y,int z)
{
    t++;edge[t].to=y,edge[t].nxt=p[x],edge[t].cap=z,edge[t].flow=,p[x]=t;
}
bool bfs(int S,int T)
{
    memset(d,,sizeof(d));d[S]=;
    int head=,tail=;q[]=S;
    do
    {
        int x=q[++head];
        for (int i=p[x];~i;i=edge[i].nxt)
        if (d[edge[i].to]==-&&edge[i].flow<edge[i].cap)
        {
            d[edge[i].to]=d[x]+;
            q[++tail]=edge[i].to;
        }
    }while (head<tail);
    return ~d[T];
}
int work(int k,int T,int f)
{
    if (k==T) return f;
    int used=;
    for (int i=cur[k];~i;i=edge[i].nxt)
    if (d[k]+==d[edge[i].to])
    {
        int w=work(edge[i].to,T,min(f-used,edge[i].cap-edge[i].flow));
        edge[i].flow+=w,edge[i^].flow-=w;
        if (edge[i].flow<edge[i].cap) cur[k]=i;
        used+=w;if (used==f) return f;
    }
    if (used==) d[k]=-;
    return used;
}
void dinic(int S,int T)
{
    for (int i=;i<=t;i++) edge[i].flow=;
    int ans=;
    while (bfs(S,T))
    {
        memcpy(cur,p,sizeof(p));
        ans+=work(S,T,inf);
    }
    if (!f[ans]) f[ans]=,tot++;
}
void dfs(int k)
{
    flag[k]=;
    for (int i=p[k];~i;i=edge[i].nxt)
    if (!flag[edge[i].to]&&edge[i].flow<edge[i].cap)
    dfs(edge[i].to);
}
void solve(int l,int r)
{
    if (l>=r) return;
    dinic(v[l],v[r]);
    memset(flag,,sizeof(flag));
    dfs(v[l]);
    int cnt=l-;
    for (int i=l;i<=r;i++)
    if (flag[v[i]]) u[++cnt]=v[i];
    cnt=r+;
    for (int i=l;i<=r;i++)
    if (!flag[v[i]]) u[--cnt]=v[i];
    for (int i=l;i<=r;i++) v[i]=u[i];
    solve(l,cnt-);
    solve(cnt,r);
}
int main()
{
#ifndef ONLINE_JUDGE
    freopen("bzoj4519.in","r",stdin);
    freopen("bzoj4519.out","w",stdout);
    const char LL[]="%I64d\n";
#else
    const char LL[]="%lld\n";
#endif
    n=read(),m=read();
    memset(p,,sizeof(p));
    for (int i=;i<=m;i++)
    {
        int x=read(),y=read(),z=read();
        addedge(x,y,z),addedge(y,x,z);
    }
    for (int i=;i<=n;i++) v[i]=i;
    solve(,n);
    cout<<tot;
    return ;
}