【割点】P5058 [ZJOI2004]嗅探器

P5058 [ZJOI2004]嗅探器

此题除了要判断割点外还需要判断割点切割后AB中心分别在两不连通的部分中，因此根据割点的性质可以知道，如果dfs序中a<k<b则ab在不同连通块中这是a或者b为父节点，其他两个为子树的情况，但是当ab均为k的子树时，也有可能成立，此时只需要判断ab不在同一颗子树上即可。即子树的首节点v的序要大于a节点，小于b节点。

 

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<math.h>
#include <stack>
#include<map>
#include<stdlib.h>
#include<queue>
#define LL long long
#define re register
using namespace std;
const int N=5e5+10,M=1e4+10,inf=0x3f3f3f3f;
const LL INF=1e18,mod=998244353;
int dfn[N],low[N],tot;
int cut[N];
int head[N],nxt[N<<1],to[N<<1],cnt;
int n,A,B,ans=inf;
void add(int u,int v) {
	to[++cnt]=v;
	nxt[cnt]=head[u];
	head[u]=cnt;
}
int check(int v){
	if(dfn[v]<=dfn[A]&&dfn[v]>dfn[B])return 1;
	if(dfn[v]<=dfn[B]&&dfn[v]>dfn[A])return 1;
	return 0;
}
void Tarjan(int x,int fa) {
	dfn[x]=low[x]=++tot;
	int child=0;
	for(int i=head[x]; i; i=nxt[i]) {
		int y=to[i];
		if(!dfn[y]) {
			Tarjan(y,x);
			low[x]=min(low[x],low[y]);
			if(low[y]>=dfn[x]&&x!=A&&x!=B&&check(y)) {
				ans=min(ans,x);
			}
		} else if(y!=fa){
			low[x]=min(low[x],dfn[y]);
		}
	}
}
int main() {
	scanf("%d",&n);
	int x,y;
	scanf("%d%d",&x,&y);
	do {
		add(x,y);
		add(y,x);
		scanf("%d%d",&x,&y);
	}while(x||y);
	scanf("%d%d",&A,&B);
	Tarjan(1,0);
	if(ans==inf){
		cout<<"No solution"<<'\n';
	}else{
		cout<<ans<<'\n';
	}
	return 0;
}