我们知道当在一个搜索树上,存在一个x的子节点y,使
dfn[x] < low[y]
则得出(x,y)是原图的一个桥。在更新low[x]时,fa[x]的dfn必定小于x的,但是在没有重边的情况下,fa[x]不是x的子节点,所以不能用其来更新low[x],但是在用重边的时候是可以的。
所以最好的方法是记录入边的编号,而不是父节点的编号。我们又知道,在链式向前星的建图方式中,在习惯下,<x, y>与<y, x> 是编号相邻的一对, 我们不妨从2开始编号。对于一对边的编号a、b有以下关系:
a^1 = b
b^1 = a
所以我们可以通过异或的方式,对边进行“转向”。
下面是示例模板:
#include <iostream>
#include <cstring>
#include <string>
#include <cstdlib>
#include <cmath>
#include <algorithm>
#include <vector>
#include <queue>
#include <cstdio>
#define ll long long
using namespace std;
const int N = 50005;
int he[N], ver[N*2], ne[N*2];
int dfn[N], low[N], n, m, tot, num;
bool brid[N*2];
void add(int x, int y)
{
ver[++tot] = y;
ne[tot] = he[x];
he[x] = tot;
}
void tarjan(int x, int in_ed)
{
dfn[x] = low[x] = ++num;
for (int i = he[x]; i; i = ne[i])
{
int y = ver[i];
if (!dfn[y])
{
tarjan(y, i);
low[x] = min(low[x], low[y]);
if (low[y] > dfn[x])
brid[i] = brid[i^1] = 1;
}
else if (i != (in_ed ^ 1))
low[x] = min(low[x], dfn[y]);
}
}
int main()
{
cin >> n >> m;
tot = 1;
for (int i = 1; i <= m; i++)
{
int x, y;
scanf("%d%d", &x, &y);
add(x, y);
add(y, x);
}
for (int i = 1; i <= n; i++)
if (!dfn[i]) tarjan(i,0);
for (int i = 2; i < tot; i += 2)
if (brid[i])
printf("%d %d\n", ver[i^1], ver[i]);
return 0;
}