【BJOI2014】大融合【LCT】
闲着没事写篇题解
LCT维护子树的模板题
树链剖分中,子树可以用dfs序维护。但LCT你总不可能动态维护dfs序啊
LCT之所以不能直接维护子树,是因为LCT只能维护它的重儿子。我们把这棵子树称为重子树。
对于其他子树,我们称为轻子树。轻子树只会储存父节点,要不试试在跑fa的时候顺便维护轻子树?
以此题为例,设s[i]为整棵子树的大小,si[i]为虚子树大小
这里的虚子树指所有虚边连向它的儿子的大小(即s)的和
不难看出,我们询问x,y时

实际上是求(si[x]+1)(si[y]+1)
如何维护s和si?
我们发现,只有当改变了树的形态的时候,才会对s和si产生影响
access:会改变。直接在接头的时候顺便改一下
void access(int x)
{
for (int y=0;x;y=x,x=fa[x])
{
splay(x);
si[x]+=s[ch[x][1]];
si[x]-=s[ch[x][1]=y];
pushup(x);
}
}
makeroot:虽然改了,其实只是改了下顺序,access和splay里面会改
split:没有,下一个
link和cut:link把父亲的si加一下,cut把父亲的s和si都减一下
(实际上就是直接调用了fa或ch的函数)
#include <iostream>
#include <cstdio>
#include <cstring>
#include <cctype>
#define MAXN 100005
using namespace std;
namespace Splay
{
int ch[MAXN][2],fa[MAXN];
int rv[MAXN];
int si[MAXN],s[MAXN];
void pushup(int x)
{
s[x]=s[ch[x][0]]+s[ch[x][1]]+si[x]+1;
}
void pushr(int x)
{
swap(ch[x][0],ch[x][1]);
rv[x]^=1;
}
void pushdown(int x)
{
if (rv[x])
{
if (ch[x][0]) pushr(ch[x][0]);
if (ch[x][1]) pushr(ch[x][1]);
rv[x]=0;
}
}
bool isroot(int x)
{
return ch[fa[x]][0]!=x&&ch[fa[x]][1]!=x;
}
bool get(int x)
{
return ch[fa[x]][1]==x;
}
void rotate(int x)
{
int y=fa[x],z=fa[y];
int l=get(x),r=l^1;
int w=ch[x][r];
if (!isroot(y))
ch[z][get(y)]=x;
ch[x][r]=y;
ch[y][l]=w;
if (w)
fa[w]=y;
fa[y]=x;
fa[x]=z;
pushup(y);
pushup(x);
}
int q[MAXN],top;
void splay(int x)
{
q[top=1]=x;
for (int i=x;!isroot(i);i=fa[i])
q[++top]=fa[i];
for (int i=top;i>=1;i--)
pushdown(q[i]);
while (!isroot(x))
{
int y=fa[x];
if (!isroot(y))
{
if (get(x)==get(y))
rotate(y);
else
rotate(x);
}
rotate(x);
}
pushup(x);
}
}
using namespace Splay;
namespace LCT
{
void access(int x)
{
for (int y=0;x;y=x,x=fa[x])
{
splay(x);
si[x]+=s[ch[x][1]];
si[x]-=s[ch[x][1]=y];
pushup(x);
}
}
void evert(int x)
{
access(x);
splay(x);
pushr(x);
}
void split(int x,int y)
{
evert(x);
access(y);
splay(y);
}
void link(int x,int y)
{
split(x,y);
si[fa[x]=y]+=s[x];
pushup(y);
}
}
using namespace LCT;
inline int read()
{
int ans=0;
char c=getchar();
while (!isdigit(c))
c=getchar();
while (isdigit(c))
ans=(ans<<3)+(ans<<1)+(c^48),c=getchar();
return ans;
}
inline char getalpha()
{
char c=getchar();
while (!isalpha(c))
c=getchar();
return c;
}
int main()
{
int n,q;
n=read(),q=read();
for (int i=1;i<=n;i++)
s[i]=1;
while (q--)
{
char c=getalpha();
int x,y;
x=read(),y=read();
if (c=='A')
link(x,y);
else
{
split(x,y);
printf("%I64d\n",(long long)(si[x]+1)*(si[y]+1));
}
}
return 0;
}
【BJOI2014】大融合【LCT】的更多相关文章
- [BZOJ4530][Bjoi2014]大融合 LCT + 启发式合并
[BZOJ4530][Bjoi2014]大融合 试题描述 小强要在N个孤立的星球上建立起一套通信系统.这套通信系统就是连接N个点的一个树. 这个树的边是一条一条添加上去的.在某个时刻,一条边的负载就是 ...
- 【bzoj4530】[Bjoi2014]大融合 LCT维护子树信息
题目描述 小强要在N个孤立的星球上建立起一套通信系统.这套通信系统就是连接N个点的一个树. 这个树的边是一条一条添加上去的.在某个时刻,一条边的负载就是它所在的当前能够联通的树上路过它的简单路径的数量 ...
- Luogu4219 BJOI2014 大融合 LCT
传送门 题意:写一个数据结构,支持图上连边(保证图是森林)和询问一条边两端的连通块大小的乘积.$\text{点数.询问数} \leq 10^5$ 图上连边,$LCT$跑不掉 支持子树$size$有点麻 ...
- BZOJ4530[Bjoi2014]大融合——LCT维护子树信息
题目描述 小强要在N个孤立的星球上建立起一套通信系统.这套通信系统就是连接N个点的一个树. 这个树的边是一条一条添加上去的.在某个时刻,一条边的负载就是它所在的当前能够 联通的树上路过它的简单路径的数 ...
- BZOJ.4530.[BJOI2014]大融合(LCT)
题目链接 BZOJ 洛谷 详见这 很明显题目是要求去掉一条边后两边子树sz[]的乘积. LCT维护的是链的信息,那么子树呢? 我们用s_i[x]来记录轻边连向x的子树的和(记作虚儿子),那么sum[x ...
- [BJOI2014]大融合(LCT)
题面 luogu bzoj是权限题.. 题解 \(LCT\)维护子树信息 因为\(LCT\)中有一些虚子树,\(splay\)维护不了. 所以要新开一个数组来记录 然后注意\(link\)时 是先\( ...
- 【洛谷 P4219】 [BJOI2014]大融合(LCT)
题目链接 维护子树信息向来不是\(LCT\)所擅长的,所以我没搞懂qwq 权当背背模板吧.Flash巨佬的blog里面写了虽然我没看懂. #include <cstdio> #define ...
- bzoj 4530 [Bjoi2014]大融合——LCT维护子树信息
题目:https://www.lydsy.com/JudgeOnline/problem.php?id=4530 LCT维护子树 siz .设 sm[ ] 表示轻儿子的 siz 和+1(1是自己的si ...
- BZOJ4530:[BJOI2014]大融合(LCT)
Description 小强要在N个孤立的星球上建立起一套通信系统.这套通信系统就是连接N个点的一个树. 这个树的边是一条一条添加上去的.在某个时刻,一条边的负载就是它所在的当前能够 联通的树上路过它 ...
- P4219 [BJOI2014]大融合 LCT维护子树大小
\(\color{#0066ff}{ 题目描述 }\) 小强要在\(N\)个孤立的星球上建立起一套通信系统.这套通信系统就是连接\(N\)个点的一个树. 这个树的边是一条一条添加上去的.在某个时刻,一 ...
随机推荐
- 【CodeForces】704 C. Black Widow 动态规划+模拟
[题目]C. Black Widow [题意]给定一个表达式,形式为(...)^(...)^......^(...)=1(n个括号),括号中为1~2个值取或.有m个变量,给出表达式的值为xi或 !xi ...
- thinkphp 漂亮的分页样式
---恢复内容开始--- 首先:需要两个文件 page.class.php page.css 1.在TP原有的 page.class.php 文件稍作修改几条代码就可以了, 修改过的地方我会注释, 2 ...
- 无key值的json数组解析
[ [ { "cartId": 9223, "factoryId": 143, ...
- Mac最新系统bssdb BUG
这个bug在Mac OS更新到10.14时候出现,当前系统版本 ➜ git:(master) sw_vers ProductName: Mac OS X ProductVersion: 10.14 B ...
- C基础 如何让代码只执行一次
1.0 最简单, 最高效的方式 C 代码运行起点 main 就是个大单例函数. 如果把函数注册在其里面, 那么一定很可以 :) // 某个库需要初始化的函数 void log_init(void) { ...
- .Net Core 部署到 CentOS7 64 位系统中的步骤
建议使用 root 管理员账户操作 1.安装工具 1.apache 2..Net Core(dotnet-sdk-2.0) 3.Supervisor(进程管理工具,目的是服务器一开机就启动服务器 上发 ...
- 关于U3D中的移动和旋转
关于移动,其实很简单,就是移动: 第一个参数标识移动的距离,是一个矢量:第二个参数是因为游戏对象有自己的坐标系,还有一个世界坐标系,使用的坐标系不同将导致运动的结果不同: function Trans ...
- csu 1801(合数分解+排列组合)
1801: Mr. S’s Romance Time Limit: 1 Sec Memory Limit: 128 MBSubmit: 15 Solved: 5[Submit][Status][W ...
- 服务器或普通PC裸机安装 ESXI6.5
ESXI :安装包 http://pan.baidu.com/s/1c2gM0Xq (包含注册机和其他套件,驱动打包工具) ESXI 6.5 在服务器安装比较方便,一般intel 的网卡都没多大问题, ...
- html学习-js
1.js介绍 JavaScript是一门编程语言,浏览器内置了JavaScript语言的解释器,所以在浏览器上按照JavaScript语言的规则编写相应代码之,浏览器可以解释并做出相应的处理.js能使 ...