Description
在遥远的S星系中一共有N个星球，编号为1…N。其中的一些星球决定组成联盟，以方便相互间的交流。但是，组成联盟的首要条件就是交通条件。初始时，在这N个星球间有M条太空隧道。每条太空隧道连接两个星球，使得它们能够相互到达。若两个星球属于同一个联盟，则必须存在一条环形线路经过这两个星球，即两个星球间存在两条没有公共隧道的路径。为了壮大联盟的队伍，这些星球将建设P条新的太空隧道。这P条新隧道将按顺序依次建成。一条新轨道建成后，可能会使一些星球属于同一个联盟。你的任务是计算出，在一条新隧道建设完毕后，判断这条新轨道连接的两个星球是否属于同一个联盟，如果属于同一个联盟就计算出这个联盟中有多少个星球。
Input
第1行三个整数N，M和P，分别表示总星球数，初始时太空隧道的数目和即将建设的轨道数目。
第2至第M+1行，每行两个整数，表示初始时的每条太空隧道连接的两个星球编号。
第M+2行至第M+P+1行，每行两个整数，表示新建的太空隧道连接的两个星球编号。
这些太空隧道按照输入的顺序依次建成。
1≤N,M,P≤200000
Output
输出共P行。
如果这条新的太空隧道连接的两个星球属于同一个联盟，就输出一个整数，表示这两个星球所在联盟的星球数。
如果这条新的太空隧道连接的两个星球不属于同一个联盟，就输出"No"（不含引号）。
Sample Input
5 3 4
1 2
4 3
4 5
2 3
1 3
4 5
2 4
Sample Output
No
3
2
5
HINT
.png)
Solution
又是一个LCT的特殊操作——维护边双
其实就是缩点
LCT里真正维护的是那些缩了点之后的联通块的信息，称之为天人交战，与原图中的单个节点毫无关系（除了本身是一个联通块的），它的层次高那么一层
所以每次调用LCT的函数之前，都要先找到它所属的联通块的编号，再用这个编号在LCT里进行操作。那么每次跳节点的时候，要保证操作的节点是在天人层次，每次就跳到那个节点指向的联通块上去
如何记录每个点所属的联通块？用一个类似并查集的东西，记录它指向的联通块
然后在LCT外用一个真正的并查集记录两点的连通性
对于维护联通块，如果 \(u\) ， \(v\) 已经联通，再要连上一条边，那肯定就有环了，也就有边双了，那这一个环里的联通块全都要缩起来，那就一个dfs，遍历环里的所有联通块，把他们都指向一个联通块就行了，同时维护题目要求的size
#include<bits/stdc++.h>
#define ll long long
#define db double
#define ld long double
const int MAXN=200000+10;
int n,m,p,fa[MAXN];
#define lc(x) ch[(x)][0]
#define rc(x) ch[(x)][1]
struct LCT{
int ch[MAXN][2],fa[MAXN],rev[MAXN],size[MAXN],stack[MAXN],cnt,bel[MAXN];
inline void init()
{
for(register int i=1;i<=n;++i)bel[i]=i,size[i]=1;
}
inline int find(int x)
{
return bel[x]==x?x:bel[x]=find(bel[x]);
}
inline bool nroot(int x)
{
return lc(find(fa[x]))==x||rc(find(fa[x]))==x;
}
inline void reverse(int x)
{
std::swap(lc(x),rc(x));
rev[x]^=1;
}
inline void dfs(int x,int rt)
{
if(lc(x))dfs(lc(x),rt);
if(rc(x))dfs(rc(x),rt);
if(x!=rt)bel[x]=rt,size[rt]+=size[x];
}
inline void pushdown(int x)
{
if(rev[x])
{
if(lc(x))reverse(lc(x));
if(rc(x))reverse(rc(x));
rev[x]=0;
}
}
inline void rotate(int x)
{
int f=find(fa[x]),p=find(fa[f]),c=(rc(f)==x);
if(nroot(f))ch[p][rc(p)==f]=x;
fa[ch[f][c]=ch[x][c^1]]=f;
fa[ch[x][c^1]=f]=x;
fa[x]=p;
}
inline void splay(int x)
{
cnt=0;
stack[++cnt]=x;
for(register int i=x;nroot(i);i=find(fa[i]))stack[++cnt]=find(fa[i]);
while(cnt)pushdown(stack[cnt--]);
for(register int y=find(fa[x]);nroot(x);rotate(x),y=find(fa[x]))
if(nroot(y))rotate((lc(y)==x)==(lc(find(fa[y]))==y)?y:x);
}
inline void access(int x)
{
for(register int y=0;x;x=find(fa[y=x]))splay(x),rc(x)=y;
}
inline void makeroot(int x)
{
access(x);splay(x);reverse(x);
}
inline void split(int x,int y)
{
makeroot(x);access(y);splay(y);
}
inline void link(int x,int y)
{
makeroot(x);fa[x]=y;
}
};
LCT T;
#undef lc
#undef rc
template<typename T> inline void read(T &x)
{
T data=0,w=1;
char ch=0;
while(ch!='-'&&(ch<'0'||ch>'9'))ch=getchar();
if(ch=='-')w=-1,ch=getchar();
while(ch>='0'&&ch<='9')data=((T)data<<3)+((T)data<<1)+(ch^'0'),ch=getchar();
x=data*w;
}
template<typename T> inline void write(T x,char c='\0')
{
if(x<0)putchar('-'),x=-x;
if(x>9)write(x/10);
putchar(x%10+'0');
if(c!='\0')putchar(c);
}
template<typename T> inline void chkmin(T &x,T y){x=(y<x?y:x);}
template<typename T> inline void chkmax(T &x,T y){x=(y>x?y:x);}
template<typename T> inline T min(T x,T y){return x<y?x:y;}
template<typename T> inline T max(T x,T y){return x>y?x:y;}
inline int found(int x)
{
if(fa[x]!=x)fa[x]=found(fa[x]);
return fa[x];
}
inline int add(int u,int v)
{
u=T.find(u),v=T.find(v);
int x=found(u),y=found(v);
if(u==v)return T.size[v];
if(x!=y)
{
fa[x]=y,T.link(u,v);
return -1;
}
T.split(u,v);T.dfs(T.ch[v][0],v);
return T.size[v];
}
int main()
{
read(n);read(m);read(p);
T.init();
for(register int i=1;i<=n;++i)fa[i]=i;
for(register int i=1;i<=m;++i)
{
int u,v;
read(u);read(v);
add(u,v);
}
while(p--)
{
int u,v,res;
read(u);read(v);
if(~(res=add(u,v)))write(res,'\n');
else puts("No");
}
return 0;
}