zoj 2587 Unique Attack【最小割】
拆点拆魔怔了
直接按照原图建就行,这里有个小技巧就是双向边的话不用按着板子建(u,v,c)(v,u,0)(v,u,c)(u,v,0),直接建(u,v,c)(v,u,c)会快十倍!800ms->80ms,建完之后跑一遍dinic,然后从s顺着有残余流量的正向边dfs打标记fr并且计数ss,从t顺着正向边有残余流量的反向边dfs打标记to并且计数st,最后如果st+ss==n则是惟一的,否则不是,因为最大流后,割边一定满流。
#include<iostream>
#include<cstdio>
#include<queue>
#include<cstring>
using namespace std;
const int N=805,inf=1e9,L=2005;
int n,m,h[N],cnt=1,le[N],s,t,ss,st;
bool fr[N],to[N];
struct qwe
{
int ne,no,to,v;
}e[N*N];
int read()
{
int r=0,f=1;
char p=getchar();
while(p>'9'||p<'0')
{
if(p=='-')
f=-1;
p=getchar();
}
while(p>='0'&&p<='9')
{
r=r*10+p-48;
p=getchar();
}
return r*f;
}
void add(int u,int v,int w)
{
cnt++;
e[cnt].ne=h[u];
e[cnt].no=u;
e[cnt].to=v;
e[cnt].v=w;
h[u]=cnt;
}
void ins(int u,int v,int w)
{
add(u,v,w);
add(v,u,0);
}
bool bfs()
{
queue<int>q;
memset(le,0,sizeof(le));
le[s]=1;
q.push(s);
while(!q.empty())
{
int u=q.front();
q.pop();
for(int i=h[u];i;i=e[i].ne)
if(e[i].v>0&&!le[e[i].to])
{
le[e[i].to]=le[u]+1;
q.push(e[i].to);
}
}
return le[t];
}
int dfs(int u,int f)
{
if(u==t||!f)
return f;
int us=0;
for(int i=h[u];i&&us<f;i=e[i].ne)
if(le[e[i].to]==le[u]+1&&e[i].v>0)
{
int d=dfs(e[i].to,min(e[i].v,f-us));
e[i].v-=d;
e[i^1].v+=d;
us+=d;
}
if(!us)
le[u]=0;
return us;
}
int dinic()
{
int re=0;
while(bfs())
re+=dfs(s,inf);
return re;
}
void dfs1(int u)
{
fr[u]=1;ss++;
for(int i=h[u];i;i=e[i].ne)
if(!fr[e[i].to]&&e[i].v!=0)
dfs1(e[i].to);
}
void dfs2(int u)
{
to[u]=1;st++;
for(int i=h[u];i;i=e[i].ne)
if(!to[e[i].to]&&e[i^1].v!=0)
dfs2(e[i].to);
}
int main()
{
while(1)
{
memset(h,0,sizeof(h));
memset(fr,0,sizeof(fr));
memset(to,0,sizeof(to));
cnt=1;ss=0,st=0;
n=read(),m=read();s=read(),t=read();
if(n==0)
break;
for(int i=1;i<=m;i++)
{
int x=read(),y=read(),z=read();
add(x,y,z);
add(y,x,z);
}
dinic();
dfs1(s);
dfs2(t);
if(ss+st==n)
puts("UNIQUE");
else
puts("AMBIGUOUS");
}
return 0;
}