#include <iostream>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
#define maxn 100005
#define maxm 400005
using namespace std; int n,m,ans,vis[maxn],head,tot,now[maxn],prep[maxm],son_[maxm],fa[maxn],son[maxn][],size[maxn],add[maxn],list[maxn],tail;
bool rev[maxn]; bool which(int x){
return son[fa[x]][]==x;
} bool isroot(int x){
return son[fa[x]][]!=x&&son[fa[x]][]!=x;
} void insert_(int x,int y){
size[x]+=y,add[x]+=y;
} void pushdown(int x){
if (!x) return;
if (rev[x]){
rev[x]^=,swap(son[x][],son[x][]);
if (son[x][]) rev[son[x][]]^=;
if (son[x][]) rev[son[x][]]^=;
}
if (add[x]){
if (son[x][]) insert_(son[x][],add[x]);
if (son[x][]) insert_(son[x][],add[x]);
add[x]=;
}
} void relax(int x){
if (!isroot(x)) relax(fa[x]);
pushdown(x);
} void rotata(int x){
int y=fa[x],d=which(x),dd=which(y);
if (!isroot(y)) son[fa[y]][dd]=x; fa[x]=fa[y];
fa[son[x][d^]]=y,son[y][d]=son[x][d^];
fa[y]=x,son[x][d^]=y;
} void splay(int x){
relax(x);
while (!isroot(x)){
if (isroot(fa[x])) rotata(x);
else if (which(x)==which(fa[x])) rotata(fa[x]),rotata(x);
else rotata(x),rotata(x);
}
} void access(int x){
for (int p=;x;x=fa[x]){
splay(x);
son[x][]=p;
p=x;
}
} int succ(int x){
splay(x);
int y=son[x][];
for (pushdown(y);son[y][];y=son[y][],pushdown(y));
return y;
} int find_root(int x){
access(x);
splay(x);
while (son[x][]) x=son[x][];
return x;
} void insert(int x,int y){
tot++,prep[tot]=now[x],now[x]=tot,son_[tot]=y;
} void bfs(int x,int y){
int t;
head=,tail=,list[]=y,size[y]=,fa[y]=son[y][]=son[y][]=,vis[y]=m,add[y]=rev[y]=;
while (head<tail){
head++,t=list[head];
for (int i=now[t],so=son_[i];i;i=prep[i],so=son_[i]){
if (vis[so]!=m){
vis[so]=m,size[so]=,fa[so]=son[so][]=son[so][]=add[so]=rev[so]=,fa[so]=t;
list[++tail]=so;
}
}
}
for (int i=tail;i>=;i--){
t=list[i];
if (fa[t]) size[fa[t]]+=size[t];
}
} void make_root(int x){
access(x);
splay(x);
rev[x]^=;
} void merge(int x,int y){
int rx,ry,t;
rx=find_root(x),ry=find_root(y);
if (rx==ry) return;
if (size[rx]<size[ry]) swap(x,y),swap(rx,ry);
ans^=ry;
bfs(x,y),insert(x,y),insert(y,x),fa[y]=x;
access(x),splay(x),insert_(x,size[y]);
// access(ry),splay(rx),relax(ry);
access(ry);
for (;;){
t=succ(rx);
if (!t){
make_root(rx);
break;
}
if (size[t]*>size[rx]||(size[t]*==size[rx]&&t<rx)){
// son[t][0]=0;
swap(size[t],size[rx]),size[rx]=size[t]-size[rx];
ans^=rx,ans^=t,rx=t;
}else{
make_root(rx);
break;
}
}
} int main(){
freopen("capital.in","r",stdin);
freopen("capital.out","w",stdout);
char st[];
int u,v;
memset(vis,-,sizeof(vis));
scanf("%d%d",&n,&m),ans=;
tot=,memset(now,,sizeof(now));
memset(rev,,sizeof(rev));
memset(size,,sizeof(size));
for (int i=;i<=n;i++) add[i]=fa[i]=son[i][]=son[i][]=,size[i]=;
for (int i=;i<=n;i++) ans^=i;
while (m--){
scanf("%s",st+);
if (st[]=='X') printf("%d\n",ans);
else if (st[]=='Q') scanf("%d",&u),printf("%d\n",find_root(u));
else scanf("%d%d",&u,&v),merge(u,v);
}
return ;
}

题目链接:http://www.lydsy.com/JudgeOnline/problem.php?id=3510

题意:一个森林,要求维护每棵树的重心(多个重心取编号最小的那个),支持三个操作:

1.          连接两个节点(保证两个节点不在同一棵树中)。

2.          询问某个节点所在树的重心。

3.          询问所有树的重心编号的异或和。

关于重心有几个性质:

  1. 以重心为根,任意一个子树的节点个数<=总结点数/2,否则重心可向该子树方向转移。
  2. 设树中节点x的权值为该点到树中每个点的距离之和,则重心的权值最小。
  3. 两个树合并为一颗新树后,新树的重心一定在原来的两个重心之间唯一的路径上。

做法:考虑用lct动态维护树的重心,以原树中的重心做为原树根,

由于只有合并操作(合并节点x和y,sizex>sizey),可以考虑启发式合并,即把节点数少的那棵树(y所在树)暴力重建(一次BFS),接到另一棵树(x所在树)上,节点y所在树上的信息可在bfs过程中维护好,节点x所在的树的size信息会有什么变化呢,我们发现节点x到原x树重心的路径上size[i]会加上y树的总结点数,这就是用lct的缘故。接下来我们考虑如何维护新树的重心,并作为新树的根呢?根据重心的性质3,我们考虑暴力转移重心,由于是启发式合并,据说复杂度可靠,我们将原来的两个重心的路径放到同一棵splay中来,从x树中重心开始暴力转移,如果节点p的后继节点q,若(sizeq*2>sizep)or(sizeq*2=sizep&&q<p),则将重心从p转移至q点,最后将make_root(新重心),操作1得以解决。

对于操作2,用lct求该节点所在树的根即可,因为树根为重心。

对于操作3, 用ans维护即可,每次更新重心更新时更新ans。

Lct动态维护树的重心(Lct+启发式合并+暴力转移重心)。

Bzoj3510首都的更多相关文章

  1. BZOJ3510 首都(LCT)

    即动态维护树的重心.考虑合并后的新重心一定在两棵树的重心的连线上.于是对每个点维护其子树大小,合并时在这条链的splay上二分即可.至于如何维护子树大小,见https://blog.csdn.net/ ...

  2. BZOJ3510 首都

    题目描述 在X星球上有N个国家,每个国家占据着X星球的一座城市.由于国家之间是敌对关系,所以不同国家的两个城市是不会有公路相连的. X星球上战乱频发,如果A国打败了B国,那么B国将永远从这个星球消失, ...

  3. BZOJ3510首都(LCT)

    Description 在X星球上有N个国家,每个国家占据着X星球的一座城市.由于国家之间是敌对关系,所以不同国家的两个城市是不会有公路相连的. X星球上战乱频发,如果A国打败了B国,那么B国将永远从 ...

  4. bzoj3510 首都 LCT 维护子树信息+树的重心

    题目传送门 https://lydsy.com/JudgeOnline/problem.php?id=3510 题解 首先每一个连通块的首都根据定义,显然就是直径. 然后考虑直径的几个性质: 定义:删 ...

  5. Some Conclusions.

    目录 DP 四边形不等式 数论 & 数学 数据结构 树链剖分 左偏树的性质及\(O(n)\)的构造 图论 树 二分图 竞赛图 平面图 双连通分量 字符串 后缀自动机 复杂度分析 没什么好写的. ...

  6. LCT维护子树信息

    有些题目,在要求支持link-cut之外,还会在线询问某个子树的信息.LCT可以通过维护虚边信息完成这个操作. 对于LCT上每个节点,维护两个两sz和si,后者维护该点所有虚儿子的信息,前者维护该点的 ...

  7. 【BZOJ3510】首都 LCT维护子树信息+启发式合并

    [BZOJ3510]首都 Description 在X星球上有N个国家,每个国家占据着X星球的一座城市.由于国家之间是敌对关系,所以不同国家的两个城市是不会有公路相连的. X星球上战乱频发,如果A国打 ...

  8. 洛谷P4299 首都(BZOJ3510)(LCT,树的重心,二分查找)

    Update:原来的洛谷U21715已成坑qwq 已经被某位管理员巨佬放进公共题库啦!又可以多一个AC记录啦! 洛谷题目传送门 其实也可以到这里交啦 思路分析 动态维护树的重心 题目中说到国家的首都会 ...

  9. 【bzoj3510】首都 LCT维护子树信息(+启发式合并)

    题目描述 在X星球上有N个国家,每个国家占据着X星球的一座城市.由于国家之间是敌对关系,所以不同国家的两个城市是不会有公路相连的. X星球上战乱频发,如果A国打败了B国,那么B国将永远从这个星球消失, ...

随机推荐

  1. 通用权限管理系统组件3.9 的 Oracle 数据库创建脚本参考

    ---------------------------------------------------- -- Export file for user USERCENTER -- -- Create ...

  2. IE8中给HTML标签负值报错问题

    当通过JS给一个HTML标签设置高宽为负值的时候,会爆出一个“参数无效”的错误 chrome下不会报错,但是元素不会做任何关于负值的改变

  3. noi题库(noi.openjudge.cn) 1.7编程基础之字符串T31——T35

    T31 字符串P型编码 描述 给定一个完全由数字字符('0','1','2',-,'9')构成的字符串str,请写出str的p型编码串.例如:字符串122344111可被描述为"1个1.2个 ...

  4. web一周

      学习web有一周了,老师进度有点小快,但是我还是感觉挺不错的.   对于一开始什么都不认识到能看懂是什么意思,并且可以写一些内容,我感觉还是比较欣慰,老师还是比较负责的,我每次都去找更远的代码学习 ...

  5. node基础03:使用函数

    1.使用函数 //server.js var http = require("http"); var output = require("./output"); ...

  6. MVC-RedirectToAction跳转到其他Area

    mvc使用Area分区开发后,存在不同Area之间的跳转,需要为每个区间添加Area规则,如下: using System.Web.Mvc; namespace web.Areas.FrameSet ...

  7. 记 FineUI 官方论坛所遭受的一次真实网络攻击!做一个像 ice 有道德的黑客!

    在开始正文之前,请帮忙为当前 排名前 10 唯一的 .Net 开源软件 FineUI  投一票: 投票地址: https://code.csdn.net/2013OSSurvey/gitop/code ...

  8. (转) RSA算法原理(一)

    最近用到了RSA加密算法,虽然有现成的,但是想看看它的原理,翻到此文,感觉写得很好,通俗易懂,转了.   作者: 阮一峰 日期: 2013年6月27日 如果你问我,哪一种算法最重要? 我可能会回答&q ...

  9. Windjs应用

    一个异步的js类库,应用价值不大,所以代码也没在维护了.在做h5特效或者游戏动画方面有点用处. $await是Windjs的核心api.具体可以check 浅谈Jscex的$await语义及异步任务模 ...

  10. Web端PHP代码函数覆盖率测试解决方案

    1. 关于代码覆盖率 衡量代码覆盖率有很多种层次,比如行覆盖率,函数/方法覆盖率,类覆盖率,分支覆盖率等等.代码覆盖率也是衡量测试质量的一个重要标准,对于黑盒测试来说,如果你不确定自己的测试用例是否真 ...