题意:求出桥数,然后有Q次填边,每次填边后输出剩余的桥数。
一开始想的是先求解所有的桥,然后双连通缩点建树,再添边求解桥。。感觉很麻烦。。后来发现不用这么麻烦,Tarjan搜索一次后,记录到了所有的dfn值和fa值,即所有点的访问次序以及父亲值,那么借用LCA的思想,图中的边无非是树边与回退边,对每对Q填边操作的u和v,进行一次LCA,搜索树边与回退边。对树边的话,u和v的dfn值一大一小,对大的那个不断递归其父亲值,最终u,v一定会相等,即达到最小公共祖先。对这种情况,添边(u,v)后会形成环,那么环内原先所有是桥的树边都变为非桥,标记一下,从总数中减掉。对回退边,那就需要同时对u,v操作,但是检查的方式还是一样的,仍然是检测是否有桥,检测到后标记一下,从总桥数中减去。如果u,v本来就在一个双连通分量里呢?。。那显然是检测不到桥的。。所以没有什么影响。
代码:
// Header.
#include <algorithm>
#include <iostream>
#include <sstream>
#include <cstring>
#include <cstdio>
#include <vector>
#include <string>
#include <queue>
#include <stack>
#include <cmath>
#include <set>
#include <map>
using namespace std;
typedef long long LL;
#define mem(a, n) memset(a, n, sizeof(a))
#define rep(i, n) for(int i = 0; i < (n); i ++)
#define REP(i, t, n) for(int i = (t); i < (n); i ++)
#define FOR(i, t, n) for(int i = (t); i <= (n); i ++)
#define ALL(v) v.begin(), v.end()
#define si(a) scanf("%d", &a)
#define sii(a, b) scanf("%d%d", &a, &b)
#define siii(a, b, c) scanf("%d%d%d", &a, &b, &c)
#define pb push_back
const int inf = 0x3f3f3f3f, N = 1e5 + 5, MOD = 1e9 + 7;
int T, cas = 0;
int n, m, q;
int dfn[N], low[N], fa[N], head[N];
bool brige[N], vis[N];
struct edge {
int v, next;
}e[4 * N];
int brigeNum = 0, ne = 0, dfsNum = 0;
void addEdge(int u, int v) {
e[ne].v = v;
e[ne].next = head[u];
head[u] = ne ++;
}
// Imp
void init() {
mem(dfn, 0);
mem(low, 0);
mem(fa, -1);
mem(vis, 0);
mem(brige, 0);
mem(head, -1);
dfsNum = ne = brigeNum = 0;
}
void Tarjan(int u, int f) {
dfn[u] = low[u] = ++ dfsNum;
for(int i = head[u]; i != -1; i = e[i].next) {
int v = e[i].v;
if(!dfn[v]) {
vis[v] = 1;
fa[v] = u;
Tarjan(v, u);
low[u] = min(low[u], low[v]);
if(dfn[u] < low[v]) {
brigeNum ++;
brige[v] = 1;
}
} else if(v != f) low[u] = min(low[u], dfn[v]);
}
}
void work(int u) {
if(brige[u]) brigeNum --, brige[u] = 0;
}
void LCA(int u, int v) {
if(dfn[u] > dfn[v]) swap(u, v);
while(dfn[u] < dfn[v]) {
work(v);
v = fa[v];
}
while(v != u) {
work(u);
work(v);
u = fa[u], v = fa[v];
}
}
int main(){
#ifdef LOCAL
freopen("/Users/apple/input.txt", "r", stdin);
// freopen("/Users/apple/out.txt", "w", stdout);
#endif
while(sii(n, m) != EOF, n + m) {
init();
int u, v;
rep(i, m) {
sii(u, v);
addEdge(u, v), addEdge(v, u);
}
FOR(i, 1, n + 1) fa[i] = i;
Tarjan(1, -1);
printf("Case %d:\n", ++ cas);
si(q);
rep(i, q) {
sii(u, v);
LCA(u, v);
printf("%d\n", brigeNum);
} puts("");
}
return 0;
}