题解：P1196 [NOI2002] 银河英雄传说

洛谷阅读更佳

https://www.luogu.com.cn/article/k28a7zqg

题目描述

[NOI2002] 银河英雄传说

题目背景

公元 $5801$ 年，地球居民迁至金牛座 $\alpha$ 第二行星，在那里发表银河联邦创立宣言，同年改元为宇宙历元年，并开始向银河系深处拓展。

宇宙历 $799$ 年，银河系的两大军事集团在巴米利恩星域爆发战争。泰山压顶集团派宇宙舰队司令莱因哈特率领十万余艘战舰出征，气吞山河集团点名将杨威利组织麾下三万艘战舰迎敌。

题目描述

杨威利擅长排兵布阵，巧妙运用各种战术屡次以少胜多，难免恣生骄气。在这次决战中，他将巴米利恩星域战场划分成 $30000$ 列，每列依次编号为 $1,2,\dots ,30000$。之后，他把自己的战舰也依次编号为 $1,2,\dots ,30000$，让第 $i$ 号战舰处于第 $i$ 列，形成“一字长蛇阵”，诱敌深入。这是初始阵形。当进犯之敌到达时，杨威利会多次发布合并指令，将大部分战舰集中在某几列上，实施密集攻击。合并指令为 M i j，含义为第 $i$ 号战舰所在的整个战舰队列，作为一个整体（头在前尾在后）接至第 $j$ 号战舰所在的战舰队列的尾部。显然战舰队列是由处于同一列的一个或多个战舰组成的。合并指令的执行结果会使队列增大。

然而，老谋深算的莱因哈特早已在战略上取得了主动。在交战中，他可以通过庞大的情报网络随时监听杨威利的舰队调动指令。

在杨威利发布指令调动舰队的同时，莱因哈特为了及时了解当前杨威利的战舰分布情况，也会发出一些询问指令：C i j。该指令意思是，询问电脑，杨威利的第 $i$ 号战舰与第 $j$ 号战舰当前是否在同一列中，如果在同一列中，那么它们之间布置有多少战舰。

作为一个资深的高级程序设计员，你被要求编写程序分析杨威利的指令，以及回答莱因哈特的询问。

输入格式

第一行有一个整数 $T$（$1\le T\le 5\times 10^5$），表示总共有 $T$ 条指令。

以下有 $T$ 行，每行有一条指令。指令有两种格式：

1. M i j：$i$ 和 $j$ 是两个整数（$1\le i,j\le 30000$），表示指令涉及的战舰编号。该指令是莱因哈特窃听到的杨威利发布的舰队调动指令，并且保证第 $i$ 号战舰与第 $j$ 号战舰不在同一列。

2. C i j：$i$ 和 $j$ 是两个整数（$1\le i,j\le 30000$），表示指令涉及的战舰编号。该指令是莱因哈特发布的询问指令。

输出格式

依次对输入的每一条指令进行分析和处理：

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

样例 #1

样例输入 #1

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

样例输出 #1

-1
1

提示

样例解释

战舰位置图：表格中阿拉伯数字表示战舰编号。

---

个人题解

题意

给定一个操作序列，包含两种操作：

• M i j : 将 i 所在的队列合并到 j 的末尾
• C i j : 查询 i 与 j 间隙的长度

特别地，保证 M 操作时， i 与 j 不在同一个序列；C 操作时，若 i 与 j 不在同一个队列，输出 -1。

$1\le i,j\le 30000$ 且对于任意 $i$ 它们初始各自为一个队列。

思路

对于“A是否与B联通”的问题，显然可以使用并查集。但是维护联通关系还不行，我们还需要知道某两个已经联通的点 $i,j$ 它们之间间隙的大小。

稍加思索，我们只需要多维护一个信息就好了。定义 $dis[i]$ 含义为 $i$ 节点与祖先节点的距离；定义 $sz[i]$ 含义为以 $i$ 节点为根时整个集合的大小。

根据题意，在合并时，我们只需要关心两个节点的祖先节点即可。假设我们现在要将 $i$ 所在的集合合并到 $j$ 下面，那么对于 $i$ 的祖先节点来说，与 $j$ 的距离，就是 $sz[j]$，合并时先使 $dis[fa[i]]=sz[fa[j]]$ 然后 $sz[fa[j]]+=sz[fa[i]]$ 来维护 $sz$ 数组。

为了加快查询的效率，使用路径压缩，经过观察，节点 $i$ 与它的祖先节点的距离

$dis[i]=dis[i]+dis[fa[i]]$

所以我们可以在find过程中按照这个方式进行路径压缩。

代码

#include <iostream>
using namespace std;
#define MAX_N 30000
int color[MAX_N + 10] = { 0 },
sz[MAX_N + 10] = { 0 },
dis[MAX_N + 10] = { 0 };
//获取 i 的颜色
int find(int i) {
    int fa = color[i];
    if(fa == i) return fa;
    int ret = find(fa);
    dis[i] = dis[i] + dis[fa];
    return color[i] = ret;
}
//把 b 合并到 a 之下
void merge(int a, int b) {
    int aa = find(a), bb = find(b);
    if(aa == bb) return ;
    //bb一定是某个根结点
    dis[bb] = sz[aa];
    sz[aa] += sz[bb];
    color[bb] = aa;
}
int main() {
    for(int x = 1; x <= MAX_N; x++) color[x] = x, sz[x] = 1;
    cin.tie(0), cout.tie(0), ios::sync_with_stdio(false);
    int _;
    cin >> _;
    while(_--) {
        char op;
        int i, j;
        cin >> op >> i >> j;
        int aa = find(i), bb = find(j);
        if(op == 'M') merge(j, i);
        else {
            if(i == j) cout << 0 << "\n";
            else if(aa != bb) cout << -1 << "\n";
            else cout << max(dis[i], dis[j]) - min(dis[i], dis[j]) - 1 << "\n";
        }
    }
    return 0;
}