|
|
|
|
|
## [$ZJOI$ $2004$ 嗅探器](https://www.luogu.org/problem/P5058)
|
|
|
|
|
|
|
|
|
|
|
|
### 一、题目大意
|
|
|
|
|
|
给出一张无向图以及两个点 $root$ 和 $ed$，找出一个编号最小的并且在所有$root$ 到 $ed$ 的路径上的点。
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
### 二、解题思路
|
|
|
|
|
|
考虑缩点时的过程，设$u$是$v$的祖先，我们通过找$v$为根的搜索子树是否能延伸到时间戳小于$u$的节点来判断$u$是否为割点。如果该子树不能延伸至$u$以上，则去掉$u$后该子树会与其余部分 **失去联系**。
|
|
|
|
|
|
|
|
|
|
|
|
由此我们这样想：如果我们以一个信息中心$root$为根开始搜索，找到一个非根的割点$u$；此时若对应的子树根$v$的时间戳小于等于$b$的时间戳，则说明$b$存在于$v$的子树内。
|
|
|
|
|
|
|
|
|
|
|
|
这很显然，由于$dfn$随$dfs$序更新，若还没搜到$b$，则其$dfn$为$0$；或者$dfn$不为$0$而小于$v$，则说明$b$在进入$v$以前已经被搜到了。
|
|
|
|
|
|
|
|
|
|
|
|
那么如果把$u$断掉，$v$的整棵子树都会与根$root$失去联系，$u$就是所求的点之一。
|
|
|
|
|
|
|
|
|
|
|
|
算法只对原$Tarjan$函数的判断条件略做了修改，因此效率得到了极大保留，时间复杂度
|
|
|
|
|
|
$O(n+m)$
|
|
|
|
|
|
|
|
|
|
|
|
### 三、实现代码
|
|
|
|
|
|
```cpp {.line-numbers}
|
|
|
|
|
|
#include <bits/stdc++.h>
|
|
|
|
|
|
using namespace std;
|
|
|
|
|
|
const int INF = 0x3f3f3f3f;
|
|
|
|
|
|
const int N = 200010, M = N << 1;
|
|
|
|
|
|
int n;
|
|
|
|
|
|
bool st[N];
|
|
|
|
|
|
// 链式前向星
|
|
|
|
|
|
int e[M], h[N], idx, w[M], ne[M];
|
|
|
|
|
|
void add(int a, int b, int c = 0) {
|
|
|
|
|
|
e[idx] = b, ne[idx] = h[a], w[idx] = c, h[a] = idx++;
|
|
|
|
|
|
}
|
|
|
|
|
|
int ans = INF;
|
|
|
|
|
|
int root, ed;
|
|
|
|
|
|
|
|
|
|
|
|
// Tarjan算法求割点
|
|
|
|
|
|
int dfn[N], low[N], ts;
|
|
|
|
|
|
void tarjan(int u, int fa) {
|
|
|
|
|
|
low[u] = dfn[u] = ++ts;
|
|
|
|
|
|
|
|
|
|
|
|
for (int i = h[u]; ~i; i = ne[i]) {
|
|
|
|
|
|
int v = e[i];
|
|
|
|
|
|
if (v == fa) continue;
|
|
|
|
|
|
if (!dfn[v]) {
|
|
|
|
|
|
tarjan(v, u);
|
|
|
|
|
|
low[u] = min(low[u], low[v]);
|
|
|
|
|
|
// u是割点
|
|
|
|
|
|
if (u != root && low[v] >= dfn[u]) {
|
|
|
|
|
|
if (u == ed) continue; // 根据题意，u必须在root和ed之间
|
|
|
|
|
|
if (dfn[ed] >= dfn[v]) ans = min(ans, u);
|
|
|
|
|
|
}
|
|
|
|
|
|
} else
|
|
|
|
|
|
low[u] = min(low[u], dfn[v]);
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
int main() {
|
|
|
|
|
|
// 初始化链式前向星
|
|
|
|
|
|
memset(h, -1, sizeof h);
|
|
|
|
|
|
|
|
|
|
|
|
scanf("%d", &n);
|
|
|
|
|
|
int x, y;
|
|
|
|
|
|
while (scanf("%d %d", &x, &y), x || y)
|
|
|
|
|
|
if (x != y) add(x, y), add(y, x);
|
|
|
|
|
|
|
|
|
|
|
|
scanf("%d %d", &root, &ed);
|
|
|
|
|
|
tarjan(root, -1); // 从其中一个信息中心开始遍历
|
|
|
|
|
|
|
|
|
|
|
|
if (ans == INF)
|
|
|
|
|
|
printf("No solution");
|
|
|
|
|
|
else
|
|
|
|
|
|
printf("%d", ans);
|
|
|
|
|
|
return 0;
|
|
|
|
|
|
}
|
|
|
|
|
|
```
|
