ZOJ 2587 Unique Attack

ZOJ_2587

    这个题目本质上就是去判断最小割是否为1，在做完最大流之后的图上，我们从S出发沿非满流的边能走到的点一定是属于S集合的，其余能够沿非满流边走到T的点一定是属于T集合的，如果这时还没有覆盖所有的点，那么那些点就既可以看作是S集合的，也可以看作是T集合的，自然最小割就不唯一了。

#include<stdio.h>
#include<string.h>
#include<algorithm>
#define MAXD 810
#define MAXM 20010
#define INF 0x3f3f3f3f
int N, M, first[MAXD], e, next[MAXM], v[MAXM], flow[MAXM];
int S, T, d[MAXD], q[MAXD], work[MAXD], vis[MAXD];
void add(int x, int y, int z)
{
    v[e] = y, flow[e] = z;
    next[e] = first[x], first[x] = e ++;    
}
void init()
{
    int i, x, y, z;
    memset(first, -1, sizeof(first[0]) * (N + 1)), e = 0;
    for(i = 0; i < M; i ++)
    {
        scanf("%d%d%d", &x, &y, &z);
        add(x, y, z), add(y, x, z);    
    }
}
int bfs()
{
    int i, j, rear = 0;
    memset(d, -1, sizeof(d[0]) * (N + 1));
    d[S] = 0, q[rear ++] = S;
    for(i = 0; i < rear; i ++)
        for(j = first[q[i]]; j != -1; j = next[j])
            if(flow[j] && d[v[j]] == -1)
            {
                d[v[j]] = d[q[i]] + 1, q[rear ++] = v[j];
                if(v[j] == T) return 1;    
            }
    return 0;
}
int dfs(int cur, int a)
{
    if(cur == T) return a;
    for(int &i = work[cur]; i != -1; i = next[i])
        if(flow[i] && d[v[i]] == d[cur] + 1)
            if(int t = dfs(v[i], std::min(a, flow[i])))
            {
                flow[i] -= t, flow[i ^ 1] += t;
                return t;    
            }    
    return 0;
}
void DFS(int cur, int k)
{
    int i;
    vis[cur] = 1;
    for(i = first[cur]; i != -1; i = next[i])
        if(flow[i ^ k] != 0 && !vis[v[i]])
            DFS(v[i], k);
}
void dinic()
{
    while(bfs())
    {
        memcpy(work, first, sizeof(first[0]) * (N + 1));
        while(dfs(S, INF));    
    }    
}
int check()
{
    for(int i = 1; i <= N; i ++) if(!vis[i]) return 0;
    return 1;    
}
void solve()
{
    dinic();
    memset(vis, 0, sizeof(vis[0]) * (N + 1));
    DFS(S, 0), DFS(T, 1);
    printf("%s\n", check() ? "UNIQUE" : "AMBIGUOUS");
}
int main()
{
    while(scanf("%d%d%d%d", &N, &M, &S, &T), N)
    {
        init();
        solve();    
    }
    return 0;    
}