题目描述
在遥远的S星系中一共有N个星球,编号为1…N。其中的一些星球决定组成联盟,以方便相互间的交流。
但是,组成联盟的首要条件就是交通条件。初始时,在这N个星球间有M条太空隧道。每条太空隧道连接两个星球,使得它们能够相互到达。若两个星球属于同一个联盟,则必须存在一条环形线路经过这两个星球,即两个星球间存在两条没有公共隧道的路径。
为了壮大联盟的队伍,这些星球将建设P条新的太空隧道。这P条新隧道将按顺序依次建成。一条新轨道建成后,可能会使一些星球属于同一个联盟。你的任务是计算出,在一条新隧道建设完毕后,判断这条新轨道连接的两个星球是否属于同一个联盟,如果属于同一个联盟就计算出这个联盟中有多少个星球。
输入
第1行三个整数N,M和P,分别表示总星球数,初始时太空隧道的数目和即将建设的轨道数目。
第2至第M+1行,每行两个整数,表示初始时的每条太空隧道连接的两个星球编号。
第M+2行至第M+P+1行,每行两个整数,表示新建的太空隧道连接的两个星球编号。这些太空隧道按照输入的顺序依次建成。
输出
输出共P行。如果这条新的太空隧道连接的两个星球属于同一个联盟,就输出一个整数,表示这两个星球所在联盟的星球数。如果这条新的太空隧道连接的两个星球不属于同一个联盟,就输出”No”(不含引号)。
样例输入
3 2 1
1 2
1 3
2 3
样例输出
3
提示
【样例1说明】
新建成的隧道连接2、3两个星球。
这条隧道1和2,2和3,1和3之间都存在环形线路。1,2,3同属一个联盟,答案为3
【样例2】
alliance.in
alliance.out
5 3 4
1 2
4 3
4 5
2 3
1 3
4 5
2 4
No
3
2
5
【数据范围】
对于10%的数据有1≤N,M,P≤100;
对于40%的数据有1≤N,M,P≤2000;
对于100%的数据有1≤N,M,P≤200000。
我们考虑把原问题转换成树上加边的问题,如果加上这条边之前两个点不联通,那就必然不可能成为联盟,直接输出No。如果加边前为联通,那么我们可以采用并查集的方式维护联盟的个数(感觉写不清楚啊QaQ)。打个比方,在一棵树上给x,y两点之间加一条边,那么x到lca(x,y)与y到lca(x,y)之间这条路径就形成了一个环,然后我们根据深度维护一下并查集,就是把x,y都并到他们的祖先上就可以了(不懂就看一下代码吧)。
var
tot,i,n,m,p:longint;
f,g,c,u,v,dis,head,ret,next,h,d,pre:array[0..400044] of longint;
flag,fl:array[0..400044] of boolean;
procedure ins(u,v:longint);
begin
tot:=tot+1;
ret[tot]:=v;
next[tot]:=head[u];
head[u]:=tot;
end;
function find(i:longint):longint;
begin
if f[i]<>i then f[i]:=find(f[i]);
exit(f[i]);
end;
procedure build;
var
i,root1,root2:longint;
begin
for i:=1 to n do
f[i]:=i;
for i:=1 to m do
begin
root1:=find(u[i]);
root2:=find(v[i]);
if root1<>root2 then
begin
ins(u[i],v[i]);
ins(v[i],u[i]);
fl[i]:=true;
f[root1]:=root2;
end;
end;
for i:=1 to p do
begin
root1:=find(g[i]);
root2:=find(c[i]);
if root1<>root2 then
begin
ins(g[i],c[i]);
ins(c[i],g[i]);
flag[i]:=true;
f[root1]:=root2;
end;
end;
end;
procedure bfs;
var
i,u,v,st,ed,j:longint;
begin
for i:=1 to n do
if h[i]=0 then
begin
st:=0;
ed:=1;
d[1]:=i;
h[i]:=1;
pre[i]:=i;
while st<ed do
begin
st:=st+1;
u:=d[st];
j:=head[u];
while j<>0 do
begin
v:=ret[j];
if h[v]=0 then
begin
ed:=ed+1;
d[ed]:=v;
pre[v]:=u;
h[v]:=h[u]+1;
end;
j:=next[j];
end;
end;
end;
end;
function ansesstor(u,v:longint):longint;
var
root1,root2,t:longint;
begin
root1:=find(u);
root2:=find(v);
if root1=root2 then exit(root1);
if h[root1]<h[root2] then begin t:=ansesstor(root1,pre[root2]); f[root2]:=t; dis[t]:=dis[t]+dis[root2]; end
else begin t:=ansesstor(pre[root1],root2); f[root1]:=t; dis[t]:=dis[t]+dis[root1]; end;
exit(t);
end;
procedure solve;
var
i,fa:longint;
begin
for i:=1 to n do
begin
f[i]:=i;
dis[i]:=1;
end;
for i:=1 to m do
if fl[i]=false then ansesstor(u[i],v[i]);
for i:=1 to p do
begin
if flag[i] then begin writeln('No'); continue; end;
fa:=ansesstor(g[i],c[i]);
writeln(dis[fa]);
end;
end;
begin
readln(n,m,p);
for i:=1 to m do
readln(u[i],v[i]);
for i:=1 to p do
readln(g[i],c[i]);
build;
bfs;
solve;
end.