ZOJ 2587 最小割

题意：

给出一个带权无向图，给出图中a,b两个点，已知切断一每条边都会产生与这条边权值相同的消耗，切断某些边可以使得a，b之间不连通，在已知一个切边方法消耗最小的方法，判断是否存在与此切割方法消耗相同的方法。

题解：

判断最小割的唯一性！

就是老样子从S沿着非满流的正向边遍历点的总数k1，从T沿着非满流的正向边遍历的点的总数k2，若k1+k2=n（总点数）时最小割唯一。

哎，成了结论了，不会证明。。

后来又想怎么求最小割的总方案数，也不会。。求大神解释！

#include <iostream>
#include <cstdlib>
#include <cstdio>
#include <algorithm>
#include <cstring>

#define N 1000
#define M 400000
#define INF 1e9

using namespace std;

int head[N],to[M],next[M],len[M];
int q[M*4],layer[N];
bool vis[N];
int n,m,S,T,cnt;

inline void add(int u,int v,int w)
{
    to[cnt]=v; len[cnt]=w; next[cnt]=head[u]; head[u]=cnt++;
    to[cnt]=u; len[cnt]=0; next[cnt]=head[v]; head[v]=cnt++;
}

inline void read()
{
    memset(head,-1,sizeof head); cnt=0;
    memset(vis,0,sizeof vis);
    for(int i=1,a,b,c;i<=m;i++)
    {
        scanf("%d%d%d",&a,&b,&c);
        add(a,b,c); add(b,a,c);
    }
}

inline bool bfs()
{
    memset(layer,-1,sizeof layer);
    int h=1,t=2,sta;
    q[1]=S; layer[S]=0;
    while(h<t)
    {
        sta=q[h++];
        for(int i=head[sta];~i;i=next[i])
            if(len[i]&&layer[to[i]]<0)
            {
                layer[to[i]]=layer[sta]+1;
                q[t++]=to[i];
            }
    }
    return layer[T]!=-1;
}

inline int find(int u,int cur_flow)
{
    if(u==T) return cur_flow;
    int res=0,tmp;
    for(int i=head[u];~i&&res<cur_flow;i=next[i])
        if(len[i]&&layer[to[i]]==layer[u]+1)
        {
            tmp=find(to[i],min(cur_flow-res,len[i]));
            len[i]-=tmp; len[i^1]+=tmp; res+=tmp;
        }
    if(!res) layer[u]=-1;
    return res;
}

inline void dfs1(int u)
{
    vis[u]=1;
    for(int i=head[u];~i;i=next[i])
        if(vis[to[i]]==0&&len[i]>0) dfs1(to[i]);
}

inline void dfs2(int u)
{
    vis[u]=1;
    for(int i=head[u];~i;i=next[i])
        if(vis[to[i]]==0&&len[i^1]>0) dfs2(to[i]);
}

inline void go()
{
    int ans=0;
    while(bfs()) ans+=find(S,INF);
    dfs1(S); dfs2(T);
    for(int i=1;i<=n;i++)
        if(!vis[i]) {puts("AMBIGUOUS");return;}
    puts("UNIQUE");
}

int main()
{
    while(scanf("%d%d%d%d",&n,&m,&S,&T)!=EOF)
    {
        if(n==0&&m==0&&S==0&&T==0) break;
        read(),go();
    }
    return 0;
}