P2302 loidc，跑起来 题解

比较容易发现的是，由于图上不存在三元环，所以如果逃犯进了一个环，那么无论如何都抓不到了。

从 $a$ 和 $b$ 跑广搜，处理出到每个点的距离。接着找所有环即可。

不需要 Tarjan，平凡的，无向图 DFS 树上不存在横叉边，每一条返祖边对应一个简单环，全都搜出来就好了。

如果存在环上的点 $i$ 满足 $a$ 到 $i$ 距离严格小于 $b$ 到 $i$ 距离，那就抓不到。否则，输出所有 $d1_i < d2_i$ 的最大 $d2_i$ 即可。

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <vector>
#include <cmath>
#include <cassert>
#include <cstring>
#include <queue>
#include <string>
using namespace std;

const int N = 1e5 + 5;
int n, m, a, b;
bool incircle[N];
vector<int> G[N];
int d1[N], d2[N];

void bfs(int* d, int s)
{
	queue<int> q;
	q.push(s);
	d[s] = 0;
	while (q.size())
	{
		auto u = q.front();
		q.pop();
		for (auto& j : G[u])
		{
			if (d[j] == -1)
			{
				d[j] = d[u] + 1;
				q.push(j);
			}
		}
	}
}

bool vis[N];
int dep[N];
int f[N];
void dfs(int u, int fa)
{
	vis[u] = 1;
	dep[u] = dep[fa] + 1;
	f[u] = fa;
	for (auto& j : G[u])
	{
		if (j == fa) continue;
		if (vis[j])
		{
			if (dep[j] > dep[u]) continue;
			int p = u;
			do
			{
				incircle[p] = 1;
				p = f[p];
			} while (p != j);
			incircle[j] = 1;
		}
		else dfs(j, u);
	}
}

int main()
{
	scanf("%d%d%d%d", &n, &m, &a, &b);
	for (int i = 1; i <= m; i++)
	{
		int u, v;
		scanf("%d%d", &u, &v);
		G[u].emplace_back(v);
		G[v].emplace_back(u);
	}
	memset(d1, -1, sizeof d1);
	memset(d2, -1, sizeof d2);
	bfs(d1, a);
	bfs(d2, b);
	dfs(1, 0);
	int ans = 0;
	for (int i = 1; i <= n; i++)
	{
		//printf("%d %d\n", i, incircle[i]);
		if (incircle[i] && d1[i] < d2[i])
		{
			//printf("!!: %d %d\n", d1[i], d2[i]);
			printf("NO\n");
			return 0;
		}
		if (d1[i] < d2[i])
		{
			ans = max(ans, d2[i]);
		}
	}
	printf("%d\n", ans);
	return 0;
}