题目链接<http://poj.org/problem?id=3694>
题意:
有一张无向图,在其中添边。问每次添边之后,还剩多少桥。
题解:
一开始我想首先Tarjan缩点,然后就形成了一棵树。每次添加一条边,就在树上形成了一个环,而这个环就是原来树上两点的路径,所以可以用LCA。然后对于树上形成了一个环的点再用并查集进行维护。对于答案的更新操作就是判断边上两点的并查集是否相同。
但是写TLE了。
其实可以不用这么麻烦。对于LCA来说,每条边的访问方向是固定的,每一个点它所要访问的方向也是固定的,一定是由深度较深的点访问较浅的父节点。所以可以开一个数组记录一下每个桥的起点就行了,访问到一个桥就更新一下,并把桥的标记删去,这样就不用缩点了。
这题的LCA因为要遍历链上所有的点,写成最朴素的就行了。对于深度的遍历也可以合并到Tarjan算法里面去。
#include<iostream>
#include<cstdio>
#include<string.h>
#include<string>
#include<algorithm>
#include<stack>
#include<queue>
#include<cmath>
using namespace std;
const int M=4e5+7;
const int N=1e5+7;
int n,m,ans,q,u,v,cs;
struct Edge{
int v,nxt;
Edge(int v=0,int nxt=0):v(v),nxt(nxt){}
}edge[M];
int p[N],edn;
void add(int u,int v){
edge[++edn]=Edge(v,p[u]);p[u]=edn;
edge[++edn]=Edge(u,p[v]);p[v]=edn;
}
int fa[N],d[N],dfn[N],low[N],bccnum,index;
bool mark[N],ef[M];
void tarjan(int u){
dfn[u]=low[u]=++index;
for(int i=p[u];~i;i=edge[i].nxt){
int v=edge[i].v;
if(ef[i]) continue;
ef[i]=ef[i^1]=1;
if(!dfn[v]){
fa[v]=u;d[v]=d[u]+1;
tarjan(v);
low[u]=min(low[u],low[v]);
if(dfn[u]<low[v]){
ans++;
mark[v]=true;
}
}
else low[u]=min(low[u],dfn[v]);
}
}
int lca(int a,int b){
while(d[a]>d[b]){
if(mark[a]) ans--,mark[a]=false;
a=fa[a];
}
while(d[b]>d[a]){
if(mark[b]) ans--,mark[b]=false;
b=fa[b];
}
while(a!=b){
if(mark[a]) ans--,mark[a]=false;
if(mark[b]) ans--,mark[b]=false;
a=fa[a];b=fa[b];
}
}
void init(){
memset(p,-1,sizeof(p));edn=-1;
memset(dfn,0,sizeof(dfn));
memset(d,0,sizeof(d));
memset(mark,false,sizeof(mark));
memset(ef,false,sizeof(ef));
index=ans=bccnum=0;
}
int main(){
while(scanf("%d%d",&n,&m)!=EOF){
if(n==0&&m==0) break;
printf("Case %d:\n",++cs);
init();
for(int i=1;i<=m;i++){
scanf("%d%d",&u,&v);
add(u,v);
}
tarjan(1);
scanf("%d",&q);
for(int cs=1;cs<=q;cs++){
scanf("%d%d",&u,&v);
lca(u,v);
printf("%d\n",ans);
}
printf("\n");
}
}