并查集进阶版

并查集的进阶用法

-并查集基础算法-


- 关于压缩路径的距离问题

在并查集基础篇里说过,路径压缩后,你就无法知道你离另一个(同一个集中的)点的距离:你只知道你的祖宗是谁,其他的就不知道了

解决这个问题:我们需要用一个dis[]数组维护

先看一题

P1196 [NOI2002]银河英雄传说

题目描述

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

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

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

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

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

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

最终的决战已经展开,银河的历史又翻过了一页……

输入输出格式

输入格式:

输入文件galaxy.in的第一行有一个整数T(1<=T<=500,000),表示总共有T条指令。

以下有T行,每行有一条指令。指令有两种格式:

M i j :i和j是两个整数(1<=i , j<=30000),表示指令涉及的战舰编号。该指令是莱因哈特窃听到的杨威利发布的舰队调动指令,并且保证第i号战舰与第j号战舰不在同一列。

C i j :i和j是两个整数(1<=i , j<=30000),表示指令涉及的战舰编号。该指令是莱因哈特发布的询问指令。

输出格式:

输出文件为galaxy.out。你的程序应当依次对输入的每一条指令进行分析和处理:

如果是杨威利发布的舰队调动指令,则表示舰队排列发生了变化,你的程序要注意到这一点,但是不要输出任何信息;

如果是莱因哈特发布的询问指令,你的程序要输出一行,仅包含一个整数,表示在同一列上,第i 号战舰与第j 号战舰之间布置的战舰数目。如果第i 号战舰与第j号战舰当前不在同一列上,则输出-1。


乍一看就知道用并查集做:一次移动一整个集合(战舰队),归到另一个集合(另一战舰队)后面,经典的并查集操作

判断是否在一个集合很简单 可是怎么得到同一集中两点距离的问题呢?

这就是现在要讨论的问题了

由于一次总是把整列战队移到另一战舰队后,可以知道 在一个战舰队中,每只船到战舰头的距离是不变的 所以我们得在找爸爸路径压缩前(这时你的头还没改变),搞点事情,更新战舰头(祖宗)之前先更新到新战舰头距离(你是你新祖宗的第几代),由于在同一集合内,知道了两个点(两个人)的到祖先点的距离(就是这两个人的辈分),不就可以知道两点(两人)之间的距离(辈分差)了吗?

那么,怎么更新?

首先,你的老祖宗是你们家第几代?肯定是0(自己到自己的距离是0)由于到自己之前爸爸的距离是不变的,我们通过改变老祖宗的距离(你祖先认了爸爸了,也就不是最大祖宗了,也就有距离不是0了),来间接改变儿子们的距离(儿子到老祖宗的距离是不变的),也就实现认新祖宗的同时,更新了到祖宗的距离

总结一下,也就是路径压缩同时维护路径长的方法:

在找爸爸函数(递归)的每一步,记录你爸爸(是爸爸不是祖宗)的更新之后的路径,用这个数据来刷新自己(你爸爸增加的距离就是你增加的距离,你们在同一个战舰队里啊),再用自己的数据刷新你的儿子,从而实现路径压缩的同时维护路径了

实现代码(重点)

    int findfather(int v){
        if(father[v] == v) return v;//边界
        int pre = father[v];//目前点的爸爸
        int F = findfather(pre);//递归
        dis[v] += dis[pre];//先别来得及return,(后面会提到)因为爸爸(还有爸爸的爸爸的爸爸的爸爸...)被更新过了,那我们继续刷新儿子(还有儿子的儿子的...)
        father[v] = F;//压缩路径
        return F;//都弄完去刷新儿子去
        }

而合并代码,会因题目要求有一些不同,本题的合并代码如下(这不是重点,上面那段代码才是!!!)

    void Union(int a,int b){
        int faA = findfather(a);//分别找祖先
        int faB = findfather(b);
        if(faA != faB){//把faA接到faB后面
            dis[faA] += len[faB];//更新对头到对头头的距离,可以用这个算他所有儿子的距离(原有距离已知,对头距离已更新)
            len[faB] += len[faA];//所以faB变长了
            father[faA] = faB;//把faA接到faB后面
            }
        }

每次findfather,都实现了路径压缩,又实现了距离压缩(我起的名字QwQ),复杂度就大大降低了

未完待续

猜你喜欢

转载自www.cnblogs.com/Tony-Double-Sky/p/9283230.html
今日推荐