可持久化并查集


  Orz hzwer & zyf

  呃学习了一下可持久化并查集的姿势……其实并查集就是一个fa数组(可能还要带一个size或rank数组),那么我们对并查集可持久化其实就是实现一个可持久化数组……

  那么我们用可持久化线段树实现一下可持久化数组就可以了- -

  一开始我比较傻逼,想着:中间的叶子节点不是没用嘛?什么信息也不存……然而如果不这样的话,难道你每次修改,新建N个指针吗?这样可以保证每次只新建O(logn)个节点出来……

  (是不是a+b problem也是类似的原因?并不知道诶……去做下看看好了)

  嘛那么这里维护一下fa和size就可以了。。。

 /**************************************************************
Problem: 3673
User: Tunix
Language: C++
Result: Accepted
Time:64 ms
Memory:7608 kb
****************************************************************/ //BZOJ 3673
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<iostream>
#include<algorithm>
#define rep(i,n) for(int i=0;i<n;++i)
#define F(i,j,n) for(int i=j;i<=n;++i)
#define D(i,j,n) for(int i=j;i>=n;--i)
#define pb push_back
using namespace std;
typedef long long LL;
inline int getint(){
int r=,v=; char ch=getchar();
for(;!isdigit(ch);ch=getchar()) if (ch=='-') r=-;
for(; isdigit(ch);ch=getchar()) v=v*-''+ch;
return r*v;
}
const int N=2e4+;
/*******************template********************/ int n,m,cnt,rt[N]; struct node{
int l,r,v,size;
}t[N*];
#define L t[o].l
#define R t[o].r
#define mid (l+r>>1)
#define lch L,l,mid
#define rch R,mid+1,r void build(int &o,int l,int r){
o=++cnt;
if (l==r) {t[o].v=l;t[o].size=;return;}
build(lch);
build(rch);
}
void update(int &o,int l,int r,int pos,int v){
t[++cnt]=t[o], o=cnt;
if (l==r) {t[o].v=v; return;}
if (pos<=mid) update(lch,pos,v);
else update(rch,pos,v);
}
void modify(int &o,int l,int r,int pos,int v){
t[++cnt]=t[o], o=cnt;
if (l==r) {t[o].size+=v; return;}
if (pos<=mid) modify(lch,pos,v);
else modify(rch,pos,v);
}
int queryv(int o,int l,int r,int pos){
if (l==r) return t[o].v;
if (pos<=mid) return queryv(lch,pos);
else return queryv(rch,pos);
}
int querysz(int o,int l,int r,int pos){
if (l==r) return t[o].size;
if (pos<=mid) return querysz(lch,pos);
else return querysz(rch,pos);
}
int getfa(int x,int y){
int now=y,nxt=queryv(rt[x],,n,y);
while(now!=nxt){
now=nxt;
nxt=queryv(rt[x],,n,now);
}
return now;
} int main(){
#ifndef ONLINE_JUDGE
freopen("3673.in","r",stdin);
freopen("3673.out","w",stdout);
#endif
n=getint(); m=getint();
build(rt[],,n);
int cmd,x,y,ans=;
F(i,,m){
rt[i]=rt[i-];
cmd=getint();
if (cmd==){
x=getint(); y=getint();
int f1=getfa(i,x),f2=getfa(i,y),
s1=querysz(rt[i],,n,f1),s2=querysz(rt[i],,n,f2);
if (s1<s2) swap(f1,f2);
modify(rt[i],,n,f1,s2);
update(rt[i],,n,f2,f1);
}else if (cmd==){
rt[i]=rt[getint()];
}else if (cmd==){
x=getint(); y=getint();
int f1=getfa(i,x),f2=getfa(i,y);
printf("%d\n",ans=(f1==f2));
}
}
return ;
}

(3673)

 /**************************************************************
Problem: 3674
User: Tunix
Language: C++
Result: Accepted
Time:1336 ms
Memory:158308 kb
****************************************************************/ //BZOJ 3674
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<iostream>
#include<algorithm>
#define rep(i,n) for(int i=0;i<n;++i)
#define F(i,j,n) for(int i=j;i<=n;++i)
#define D(i,j,n) for(int i=j;i>=n;--i)
#define pb push_back
using namespace std;
typedef long long LL;
inline int getint(){
int r=,v=; char ch=getchar();
for(;!isdigit(ch);ch=getchar()) if (ch=='-') r=-;
for(; isdigit(ch);ch=getchar()) v=v*-''+ch;
return r*v;
}
const int N=2e5+;
/*******************template********************/ int n,m,cnt,rt[N]; struct node{
int l,r,v,size;
}t[];
#define L t[o].l
#define R t[o].r
#define mid (l+r>>1)
#define lch L,l,mid
#define rch R,mid+1,r void build(int &o,int l,int r){
o=++cnt;
if (l==r) {t[o].v=l;t[o].size=;return;}
build(lch);
build(rch);
}
void update(int &o,int l,int r,int pos,int v){
t[++cnt]=t[o], o=cnt;
if (l==r) {t[o].v=v; return;}
if (pos<=mid) update(lch,pos,v);
else update(rch,pos,v);
}
void modify(int &o,int l,int r,int pos,int v){
t[++cnt]=t[o], o=cnt;
if (l==r) {t[o].size+=v; return;}
if (pos<=mid) modify(lch,pos,v);
else modify(rch,pos,v);
}
int queryv(int o,int l,int r,int pos){
if (l==r) return t[o].v;
if (pos<=mid) return queryv(lch,pos);
else return queryv(rch,pos);
}
int querysz(int o,int l,int r,int pos){
if (l==r) return t[o].size;
if (pos<=mid) return querysz(lch,pos);
else return querysz(rch,pos);
}
int getfa(int x,int y){
int now=y,nxt=queryv(rt[x],,n,y);
while(now!=nxt){
now=nxt;
nxt=queryv(rt[x],,n,now);
}
return now;
} int main(){
#ifndef ONLINE_JUDGE
freopen("3674.in","r",stdin);
freopen("3674.out","w",stdout);
#endif
n=getint(); m=getint();
build(rt[],,n);
int cmd,x,y,ans=;
F(i,,m){
rt[i]=rt[i-];
cmd=getint();
if (cmd==){
x=getint()^ans; y=getint()^ans;
int f1=getfa(i,x),f2=getfa(i,y),
s1=querysz(rt[i],,n,f1),s2=querysz(rt[i],,n,f2);
if (s1<s2) swap(f1,f2);
modify(rt[i],,n,f1,s2);
update(rt[i],,n,f2,f1);
}else if (cmd==){
rt[i]=rt[getint()^ans];
}else if (cmd==){
x=getint()^ans; y=getint()^ans;
int f1=getfa(i,x),f2=getfa(i,y);
printf("%d\n",ans=(f1==f2));
}
}
return ;
}

(3674)

(3674为强制在线,且数据范围20W)

3673: 可持久化并查集 by zky

Time Limit: 5 Sec  Memory Limit: 128 MB
Submit: 757  Solved: 319
[Submit][Status][Discuss]

Description

n个集合 m个操作
操作:
1 a b 合并a,b所在集合
2 k 回到第k次操作之后的状态(查询算作操作)
3 a b 询问a,b是否属于同一集合,是则输出1否则输出0

0<n,m<=2*10^4

Input

Output

Sample Input

5 6
1 1 2
3 1 2
2 0
3 1 2
2 1
3 1 2

Sample Output

1
0
1

HINT

Source

[Submit][Status][Discuss]

【BZOJ】【3673】可持久化并查集 & 【3674】可持久化并查集加强版的更多相关文章

  1. bzoj 3673&3674 可持久化并查集&加强版(可持久化线段树+启发式合并)

    CCZ在2015年8月25日也就是初三暑假要结束的时候就已经能切这种题了%%% 学习了另一种启发式合并的方法,按秩合并,也就是按树的深度合并,实际上是和按树的大小一个道理,但是感觉(至少在这题上)更好 ...

  2. BZOJ.3673/3674.可持久化并查集(可持久化线段树 按秩合并/启发式合并)

    BZOJ 3673 BZOJ 3674(加强版) 如果每次操作最多只修改一个点的fa[],那么我们可以借助可持久化线段树来O(logn)做到.如果不考虑找fa[]的过程,时空复杂度都是O(logn). ...

  3. [bzoj] 3673 3674 可持久化并查集 || 可持久化数组

    原题 加强版 题意: 可持久化并查集模板-- 题解: 用可持久化线段树维护一个可持久化数组,来记录每一次操作后的状态. 不能用路径压缩,但是要按置合并,使复杂度保证在O(log) #include&l ...

  4. BZOJ 3673 可持久化并查集 by zky && BZOJ 3674 可持久化并查集加强版 可持久化线段树

    既然有了可持久化数组,就有可持久化并查集.. 由于上课讲过说是只能按秩合并(但是我也不确定...),所以就先写了按秩合并,相当于是维护fa[]和rk[] getf就是在这棵树中找,直到找到一个点的fa ...

  5. bzoj 3674: 可持久化并查集加强版 (启发式合并+主席树)

    Description Description:自从zkysb出了可持久化并查集后……hzwer:乱写能AC,暴力踩标程KuribohG:我不路径压缩就过了!ndsf:暴力就可以轻松虐!zky:…… ...

  6. BZOJ 3674 可持久化并查集加强版(路径压缩版本)

    /* bzoj 3674: 可持久化并查集加强版 http://www.lydsy.com/JudgeOnline/problem.php?id=3674 用可持久化线段树维护可持久化数组从而实现可持 ...

  7. BZOJ 3674 可持久化并查集加强版(按秩合并版本)

    /* bzoj 3674: 可持久化并查集加强版 http://www.lydsy.com/JudgeOnline/problem.php?id=3674 用可持久化线段树维护可持久化数组从而实现可持 ...

  8. Bzoj 3673: 可持久化并查集 by zky(主席树+启发式合并)

    3673: 可持久化并查集 by zky Time Limit: 5 Sec Memory Limit: 128 MB Description n个集合 m个操作 操作: 1 a b 合并a,b所在集 ...

  9. Redis的增删改查命令总结与持久化方式

    原文:Redis的增删改查命令总结与持久化方式 Redis是用C语言实现的,一般来说C语言实现的程序"距离"操作系统更近,执行速度相对会更快. Redis使用了单线程架构,预防了多 ...

  10. 05[掌握]高可用、集群、持久化、docker 等前置知识点

    高可用 24小时对外提供服务 高并发 同一时间段能处理的请求数 1,中心化和去中心化 1.1,中心化 意思是所有的节点都要有一个主节点 缺点:中心挂了,服务就挂了 中心处理数据的能力有限,不能把节点性 ...

随机推荐

  1. 树状数组解决LIS---O(nlogn)

    树状数组解决LIS---O(nlogn)之前写过二分查找的LIS,现在不怎么记得了,正好用Bit来搞一波.f[i]表示以a[i]结尾的LIS的长度.t[x]表示以数值x结尾的LIS的长度.即t[x]= ...

  2. 使用Maven搭建Struts2框架的开发环境

    一.创建基于Maven的Web项目

  3. python的异常处理及异常类定义

    python的异常处理语法和大多数语言相似: try: try块的语句... except exceptiontype1 as var:#使用as语句获得本次捕获到的异常的实例var except块语 ...

  4. 1038 一元三次方程求解 2001年NOIP全国联赛提高组

    题目描述 Description 有形如:ax3+bx2+cx+d=0  这样的一个一元三次方程.给出该方程中各项的系数(a,b,c,d  均为实数),并约定该方程存在三个不同实根(根的范围在-100 ...

  5. 【NOIP复习】最短路总结

    [模板] /*堆优化Dijkstra*/ void dijkstra() { priority_queue<pair<ll,int>,vector<pair<ll,int ...

  6. 【转载】EmptyWorkingSet 程序运行内存整清理

    网络上找了很多关于内存整理的文章,不外乎都是使用EmptyWorkingSet来实现.就如下面这段代码. #include "stdafx.h"#include <windo ...

  7. UVALive 6911 Double Swords 树状数组

    Double Swords 题目连接: https://icpcarchive.ecs.baylor.edu/index.php?option=com_onlinejudge&Itemid=8 ...

  8. Beyond Compare 4提示已经过了30天试用期,破解方式,亲测可用

    修改注册表 1)在搜索栏中输入 regedit ,打开注册表 2) 删除项目:计算机\HKEY_CURRENT_USER\Software\Scooter Software\Beyond Compar ...

  9. j.u.c系列(03)---之AQS:AQS简介

    写在前面 Java的内置锁一直都是备受争议的,在JDK 1.6之前,synchronized这个重量级锁其性能一直都是较为低下,虽然在1.6后,进行大量的锁优化策略,但是与Lock相比synchron ...

  10. HDU 4768 Flyer (2013长春网络赛1010题,二分)

    Flyer Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)Total Submi ...