[ZJOI2004]嗅探器

所求点一定是一个x，y以外的割点。

我们可以强制当前根为x，那么，若找到一个割点且该割点分割了x,y，那么该割点即为所求。

如何判断是否分割了x,y呢？

low[y]>=dfn[u]即可。

#include <bits/stdc++.h>
using namespace std;
const int N=2e5+5,M=5e5+5;
int n,u,v,x,y,ans;
int now,dfn[N],low[N];
int cnt,head[N];
struct edge{int next,to;}e[M<<1];

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

void tarjan(int u)
{
	dfn[u]=low[u]=++now;
	for (register int i=head[u]; i; i=e[i].next)
	{
		if (!dfn[e[i].to])
		{
			tarjan(e[i].to);
			low[u]=min(low[u],low[e[i].to]);
			if (u!=x && u!=y)
			{
				if (low[e[i].to]>=dfn[u] && low[y]>=dfn[u]) ans=min(ans,u);
			}
		}
		else low[u]=min(low[u],dfn[e[i].to]);
	}
}	

int main(){
	scanf("%d",&n);
	while (true)
	{
		scanf("%d%d",&u,&v);
		if (!u) break;
		add(u,v); add(v,u);
	}	
	scanf("%d%d",&x,&y);
	ans=n+1;
	tarjan(x);
	if (ans==n+1) puts("No solution");	
	else printf("%d\n",ans);
return 0;	
}