带权并查集——【NOI2002 Day1 T1】银河英雄传说

问题描述

公元五八○一年，地球居民迁移至金牛座α第二行星，在那里发表银河联邦创立宣言，同年改元为宇宙历元年，并开始向银河系深处拓展。
宇宙历七九九年，银河系的两大军事集团在巴米利恩星域爆发战争。泰山压顶集团派宇宙舰队司令莱因哈特率领十万余艘战舰出征，气吞山河集团点名将杨威利组织麾下三万艘战舰迎敌。
杨威利擅长排兵布阵，巧妙运用各种战术屡次以少胜多，难免恣生骄气。在这次决战中，他将巴米利恩星域战场划分成30000列，每列依次编号为1, 2, …, 30000。之后，他把自己的战舰也依次编号为1, 2, …, 30000，让第i号战舰处于第i列(i = 1, 2, …, 30000)，形成“一字长蛇阵”，诱敌深入。这是初始阵形。当进犯之敌到达时，杨威利会多次发布合并指令，将大部分战舰集中在某几列上，实施密集攻击。合并指令为M i j，含义为让第i号战舰所在的整个战舰队列，作为一个整体（头在前尾在后）接至第j号战舰所在的战舰队列的尾部。显然战舰队列是由处于同一列的一个或多个战舰组成的。合并指令的执行结果会使队列增大。
然而，老谋深算的莱因哈特早已在战略上取得了主动。在交战中，他可以通过庞大的情报网络随时监听杨威利的舰队调动指令。
在杨威利发布指令调动舰队的同时，莱因哈特为了及时了解当前杨威利的战舰分布情况，也会发出一些询问指令：C i j。该指令意思是，询问电脑，杨威利的第i号战舰与第j号战舰当前是否在同一列中，如果在同一列中，那么它们之间布置有多少战舰。
作为一个资深的高级程序设计员，你被要求编写程序分析杨威利的指令，以及回答莱因哈特的询问。
最终的决战已经展开，银河的历史又翻过了一页……

输入格式

输入的第一行有一个整数T（1<=T<=500,000），表示总共有T条指令。
以下有T行，每行有一条指令。指令有两种格式：
1.M i j ：i和j是两个整数（1<=i , j<=30000），表示指令涉及的战舰编号。该指令是莱因哈特窃听到的杨威利发布的舰队调动指令，并且保证第i号战舰与第j号战舰不在同一列。
2.C i j ：i和j是两个整数（1<=i , j<=30000），表示指令涉及的战舰编号。该指令是莱因哈特发布的询问指令。

输出格式

你的程序应当依次对输入的每一条指令进行分析和处理：
如果是杨威利发布的舰队调动指令，则表示舰队排列发生了变化，你的程序要注意到这一点，但是不要输出任何信息；
　如果是莱因哈特发布的询问指令，你的程序要输出一行，仅包含一个整数，表示在同一列上，第i号战舰与第j号战舰之间布置的战舰数目。如果第i号战舰与第j号战舰当前不在同一列上，则输出-1。

样例输入

4
M 2 3
C 1 2
M 2 4
C 4 2

样例输出

-1
1

这道题是带权并查集的经典例子，很适合新手学习。

先介绍一下并查集。并查集是用来合并和查询集合的一种高级数据结构，可以达到接近O(1)的时间效率，常用于图论的连通性判断。

并查集很重要的一点就是路径压缩。就是将一条路径上的所有子节点全部压缩至一层，让其拥有一个共同的父亲，这样在查询的过程中只需要判断两者是否有同一个父亲，就能推断出是否连通。

这道题需要两个变量：dis和size。dis是用来判断现在这个战舰属于本列的第几个。这样在求两者之间的战舰数量时就可以直接用后者的dis减前者的dis再-1；size是用来判断当前列一共有几艘战舰。

初始化：一开始一个战舰自成一列，所以每列战舰的size为1；同时，每个战舰的father为自己，f[i]=i；

对于每一组输入数据，如果是合并指令，solve（x，y）。在函数里，先找两人的祖先（l,r），如果两人不属于同一列（l!=r，没有公共祖先），就将x并入y那一列（f[l]=r），再让l的dis加上r那一列的长度（更新战舰在本列的第几个）。最后更新r的长度。

如果是询问指令，顺着节点往上找，同时进行路径压缩，将每一个战舰的dis赋值。最终找到两者的祖先，看是否相等。

#include<bits/stdc++.h>
#define ll long long
using namespace std;
ll n,size[30001],dis[30001],f[30001],x,y,t;
char c[2];
ll find(ll i)
{
	if (f[i]!=i)
	{
	   t=find(f[i]);
	   dis[i]+=dis[f[i]]; 
	   f[i]=t;
    }
	return f[i];
}
void solve (ll x,ll y)
{
	ll l=find(x);
	ll r=find(y);
	if (l!=r)
	{
	   f[l]=r;
	   dis[l]=size[r];
	   size[r]+=size[l]; 
	}
}
int main()
{
   scanf("%lld",&n);
   for (ll i=1;i<30001;i++)
   {
   	   size[i]=1;
   	   f[i]=i;
   }
   for (ll i=1;i<=n;i++)
   {
   	   scanf("%s%lld%lld",&c,&x,&y);
   	   if (*c=='M')
   	   {
   	   	  solve(x,y);
   	   }
   	   else
   	   {
   	   	  ll l=find(x);
   	   	  ll r=find(y);
   	   	  if (l!=r)
   	   	  cout<<"-1"<<endl;
   	   	  else
   	   	  cout<<abs(dis[y]-dis[x])-1<<endl;
   	   }
   }
}