[ZOJ2587]Unique Attack

vjudge

sol

最小割判定唯一性。

只要做完一个任意最小割后，判断一下是不是所有点都要么和\(S\)相连，要么和\(T\)相连。

只要两边各一次\(dfs\)就行了。

code

#include<cstdio>

#include<algorithm>

#include<cstring>

#include<queue>

using namespace std;

int gi()

{

	int x=0,w=1;char ch=getchar();

	while ((ch<'0'||ch>'9')&&ch!='-') ch=getchar();

	if (ch=='-') w=0,ch=getchar();

	while (ch>='0'&&ch<='9') x=(x<<3)+(x<<1)+ch-'0',ch=getchar();

	return w?x:-x;

}

const int N = 1005;

const int inf = 1e9;

struct edge{int to,nxt,w;}a[N*20];

int n,m,S,T,head[N],cnt,dep[N],cur[N],vis1[N],vis2[N],cnt1,cnt2;

queue<int>Q;

void init()

{

	memset(head,0,sizeof(head));

	memset(vis1,0,sizeof(vis1));

	memset(vis2,0,sizeof(vis2));

	cnt=1;cnt1=cnt2=0;

}

void link(int u,int v,int w)

{

	a[++cnt]=(edge){v,head[u],w};

	head[u]=cnt;

	a[++cnt]=(edge){u,head[v],w};

	head[v]=cnt;

}

bool bfs()

{

	memset(dep,0,sizeof(dep));

	dep[S]=1;Q.push(S);

	while (!Q.empty())

	{

		int u=Q.front();Q.pop();

		for (int e=head[u];e;e=a[e].nxt)

			if (a[e].w&&!dep[a[e].to])

				dep[a[e].to]=dep[u]+1,Q.push(a[e].to);

	}

	return dep[T];

}

int dfs(int u,int f)

{

	if (u==T) return f;

	for (int &e=cur[u];e;e=a[e].nxt)

		if (a[e].w&&dep[a[e].to]==dep[u]+1)

		{

			int tmp=dfs(a[e].to,min(a[e].w,f));

			if (tmp) {a[e].w-=tmp;a[e^1].w+=tmp;return tmp;}

		}

	return 0;

}

void Dinic()

{

	while (bfs())

	{

		for (int i=1;i<=n;++i) cur[i]=head[i];

		while (dfs(S,inf)) ;

	}

}

void dfs1(int u)

{

	++cnt1;

	for (int e=head[u];e;e=a[e].nxt)

		if (!vis1[a[e].to]&&a[e].w)

			vis1[a[e].to]=1,dfs1(a[e].to);

}

void dfs2(int u)

{

	++cnt2;

	for (int e=head[u];e;e=a[e].nxt)

		if (!vis2[a[e].to]&&a[e^1].w)

			vis2[a[e].to]=1,dfs2(a[e].to);

}

int main()

{

	while (scanf("%d%d%d%d",&n,&m,&S,&T),n+m+S+T)

	{

		init();

		for (int i=1;i<=m;++i)

		{

			int u=gi(),v=gi(),w=gi();

			link(u,v,w);

		}

		Dinic();

		vis1[S]=vis2[T]=1;

		dfs1(S);dfs2(T);

		puts(cnt1+cnt2==n?"UNIQUE":"AMBIGUOUS");

	}

	return 0;

}