zoj 2587 Unique Attack

判断最下割集是否唯一

求一次最大流

源点汇点分别进行DFS，得到2个点集交集为空，并集为所有点集，则唯一

#include <iostream>
#include <cstdio>
#include <cstring>
using namespace std;


const int INF=1000000000;
const int N=100005;


struct Node
{
int v,cap,flow,next;
};




Node edges[N];
int n,m,s,t,head[N],e;
int num[N],h[N],curedge[N],pre[N];
bool visit1[1000];
bool visit2[1000];


void add(int u,int v,int cap)
{
    edges[e].v=v;
    edges[e].cap=cap;
    edges[e].flow=0;
    edges[e].next=head[u];
    head[u]=e++;
}


void Add(int u,int v,int cap)
{
    add(u,v,cap);//正向边初始化为cap
    add(v,u,0);//反向边初始化为0
}


int Maxflow(int s,int t,int n)
{
int ans=0,i,k,x,d,u;


memset(num,0,sizeof(num));
memset(h,0,sizeof(h));
for(i=0;i<=n;i++) curedge[i]=head[i];
num[n]=n;u=s;
while(h[u]<n)//每一个节点到汇点的距离小于等于n-1
{
if(u==t)
{
d=INF+1;
//获得最短路径上的最小流和流出最小流的节点
for(i=s;i!=t;i=edges[curedge[i]].v) if(d>edges[curedge[i]].cap)
k=i,d=edges[curedge[i]].cap;
//更新图
for(i=s;i!=t;i=edges[curedge[i]].v)
{
x=curedge[i];
edges[x].cap-=d;
edges[x].flow+=d;
edges[x^1].cap+=d;
edges[x^1].flow-=d;
}
ans+=d;u=k;
}
//找到一条允许的边，即最短路径上的边，并将该节点的当前边记录下来。
for(i=curedge[u];i!=-1;i=edges[i].next) if(edges[i].cap>0&&h[u]==h[edges[i].v]+1)
break;
if(i!=-1)
{
curedge[u]=i;
pre[edges[i].v]=u;
u=edges[i].v;
}
else    //更新u节点到汇点的最短路
{
//某一种路径出现断流
if(--num[h[u]]==0) break;
//更新u节点的当前边和最短路
curedge[u]=head[u];
for(x=n,i=head[u];i!=-1;i=edges[i].next) if(edges[i].cap>0&&h[edges[i].v]<x)
x=h[edges[i].v];
h[u]=x+1;num[h[u]]++;
if(u!=s) u=pre[u];
}
}
return ans;
}


void DFS(int source)
{
    visit1[source] = true;
    for(int i = head[source];i!=-1;i=edges[i].next)
    {
        int to = edges[i].v;
        if(!visit1[to]&&edges[i].cap>0)
        {
            DFS(to);
        }
    }
}


void DFS2(int source)
{
    visit2[source] = true;
    for(int i = head[source];i!=-1;i=edges[i].next)
    {
        int to = edges[i].v;
        if(!visit2[to]&&edges[i^1].cap>0)
        {
            DFS2(to);
        }
    }
}


int main()
{
    int u,v,w;
    while(scanf("%d %d %d %d",&n,&m,&s,&t)&&n&&m&&s&&t)
    {
        e = 0;
        memset(head,-1,sizeof(head));
        memset(visit1,false,sizeof(visit1));
        memset(visit2,false,sizeof(visit2));
        for(int i = 0;i<m;i++)
        {
            scanf("%d %d %d",&u,&v,&w);
            Add(u,v,w);
            Add(v,u,w);
        }
        Maxflow(s,t,n);
        DFS(s);
        DFS2(t);
        int ans = 0;
        for(int i = 1;i<=n;i++)
        {
            if((!visit1[i]&&!visit2[i])||(visit1[i]&&visit2[i]))
            {
                ans = 1;
                break;
            }
        }
        if(!ans)
            printf("UNIQUE\n");
        else
            printf("AMBIGUOUS\n");
    }
    return 0;
}