ZJOI2017线段树
ZJOI2017线段树
题意:
给你一颗广义线段树,太长了,自己去看。
题解:
直接上zkw那一套,把闭区间换成开区间,就是把取\([l,r]\),变成取\([l-1,l-1],[r+1,r+1]\)两个端点,往跳,如果\([l-1,l-1]\)往上跳到某一层时,它是它父亲的左儿子,那它的兄弟就是区间中的点。
答案就是(\(u\)是询问的点,\(v\)是区间中的点):
\]
\(sum\)是\(u\)和\(\{v\}\)中点的\(lca\)的深度和。然后这有\(3\)种情况,我们把\([l-1,l-1]\)取到的点看做左半部分,\([r+1,r+1]\)取到的看做右半部分,只看左半部分。
\([l-1,l-1]\)和\(u\)的\(lca\)在所有左半部分点的上方,\(sum\)易得。
\([l-1,l-1]\)和\(u\)的\(lca\)在所有左半部分点的下方,\(sum\)易得。
\([l-1,l-1]\)和\(u\)的\(lca\)在一部分左半部分点的上方,相当于把所有点分成上下两个部分,按1、2做。
注意\(lca\)是区间中的点的情况和\(l=1\)或\(r=n\)的情况。
倍增实现。
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#define fo(i,l,r) for(int i=l;i<=r;i++)
#define of(i,l,r) for(int i=l;i>=r;i--)
#define fe(i,u) for(int i=head[u];i;i=e[i].next)
using namespace std;
typedef long long ll;
typedef pair<ll,ll> pii;
#define P(a,b) make_pair(a,b)
inline void open(const char *s)
{
#ifndef ONLINE_JUDGE
char str[20];
sprintf(str,"in%s.txt",s);
freopen(str,"r",stdin);
// sprintf(str,"out%s.txt",s);
// freopen(str,"w",stdout);
#endif
}
inline int rd()
{
static int x,f;
x=0;f=1;
char ch=getchar();
for(;ch<'0'||ch>'9';ch=getchar())if(ch=='-')f=-1;
for(;ch>='0'&&ch<='9';ch=getchar())x=x*10+ch-'0';
return f>0?x:-x;
}
const int N=200010,NN=N<<1;
int n,m,rt,dep[NN],id[N],ch[NN][2],tim=0;
int bin[20],fa[NN][20],siz[NN][2][20];
ll sum[NN][2][20],ans=0;
void pre(int &u,int l,int r,int fat)
{
u=++tim;dep[u]=dep[fat]+1;
if(l==r)return id[l]=u,void();
int mid=rd();
pre(ch[u][0],l,mid,u);
pre(ch[u][1],mid+1,r,u);
}
void dfs(int u,int fat)
{
if(!u)return;
fa[u][0]=fat;
siz[u][0][0]=u==ch[fat][1];
siz[u][1][0]=u==ch[fat][0];
sum[u][0][0]=u==ch[fat][1]?dep[ch[fat][0]]:0;
sum[u][1][0]=u==ch[fat][0]?dep[ch[fat][1]]:0;
fo(i,1,17){
fa[u][i]=fa[fa[u][i-1]][i-1];if(!fa[u][i])break;
siz[u][0][i]=siz[u][0][i-1]+siz[fa[u][i-1]][0][i-1];
siz[u][1][i]=siz[u][1][i-1]+siz[fa[u][i-1]][1][i-1];
sum[u][0][i]=sum[u][0][i-1]+sum[fa[u][i-1]][0][i-1];
sum[u][1][i]=sum[u][1][i-1]+sum[fa[u][i-1]][1][i-1];
}
dfs(ch[u][0],u);dfs(ch[u][1],u);
}
inline int getlca(int x,int y)
{
if(x==y)return x;
if(dep[x]<dep[y])swap(x,y);
int d=dep[x]-dep[y];
fo(i,0,17)if(bin[i]&d)x=fa[x][i];
if(x==y)return x;
of(i,17,0)if(fa[x][i]!=fa[y][i])x=fa[x][i],y=fa[y][i];
return fa[x][0];
}
inline pii get(int x,int lca,int t)
{
int d=dep[x]-dep[lca]-1,sz=0;
ll res=0;if(d<0)return P(0,0);
fo(i,0,17)if(d&bin[i]){
res+=sum[x][t][i];
sz+=siz[x][t][i];
x=fa[x][i];
}
return P(res,sz);
}
inline void gaogao(int u,int x,int L,int t)
{
static pii res;
int lca=getlca(u,x);
if(dep[lca]<=dep[L])ans-=2ll*get(x,L,t).second*dep[lca];
else{
res=get(x,lca,t);ans-=2ll*res.second*dep[lca];
if(u==lca&&ch[u][t]&&getlca(x,ch[u][t])==u)ans-=2ll*dep[u];
else if(ch[lca][t]&&getlca(u,ch[lca][t])!=lca)ans-=2ll*dep[lca]+2ll;
res=get(lca,L,t);ans-=2ll*res.first-2ll*res.second;
}
}
inline void gao()
{
static int u,ql,qr,lca;static pii res;
u=rd();ql=rd();qr=rd();ans=0;
if(ql==1&&qr==n)return void(printf("%d\n",dep[u]-1));
if(ql==1){
lca=getlca(id[1],id[qr+1]);
gaogao(u,id[qr+1],lca,0);
ans-=2ll*dep[getlca(ch[lca][0],u)];
res=get(id[qr+1],fa[lca][0],0);
ans+=res.first+(ll)dep[u]*res.second;
return void(printf("%lld\n",ans));
}
if(qr==n){
lca=getlca(id[n],id[ql-1]);
gaogao(u,id[ql-1],lca,1);
ans-=2ll*dep[getlca(ch[lca][1],u)];
res=get(id[ql-1],fa[lca][0],1);
ans+=res.first+(ll)dep[u]*res.second;
return void(printf("%lld\n",ans));
}
lca=getlca(id[ql-1],id[qr+1]);
gaogao(u,id[ql-1],lca,1);
gaogao(u,id[qr+1],lca,0);
res=get(id[ql-1],lca,1);
ans+=res.first+(ll)dep[u]*res.second;
res=get(id[qr+1],lca,0);
ans+=res.first+(ll)dep[u]*res.second;
printf("%lld\n",ans);
}
int main()
{
bin[0]=1;fo(i,1,17)bin[i]=bin[i-1]<<1;
n=rd();pre(rt,1,n,0);
dfs(rt,0);
for(m=rd();m--;)gao();
return 0;
}
ZJOI2017线段树的更多相关文章
- [BZOJ4876][ZJOI2017]线段树
没有用到任何算法,代码只有60+行,但是细节多如牛毛,各种分类讨论必须全部想清楚才行. https://www.cnblogs.com/xiejiadong/p/6811289.html #inclu ...
- 「ZJOI2017」树状数组(二维线段树)
「ZJOI2017」树状数组(二维线段树) 吉老师的题目真是难想... 代码中求的是 \(\sum_{i=l-1}^{r-1}a_i\),而实际求的是 \(\sum_{i=l}^{r}a_i\),所以 ...
- [BZOJ4785][ZJOI2017]树状数组(概率+二维线段树)
4785: [Zjoi2017]树状数组 Time Limit: 40 Sec Memory Limit: 512 MBSubmit: 297 Solved: 195[Submit][Status ...
- 【BZOJ4785】[Zjoi2017]树状数组 树套树(二维线段树)
[BZOJ4785][Zjoi2017]树状数组 Description 漆黑的晚上,九条可怜躺在床上辗转反侧.难以入眠的她想起了若干年前她的一次悲惨的OI 比赛经历.那是一道基础的树状数组题.给出一 ...
- Loj #2570. 「ZJOI2017」线段树
Loj #2570. 「ZJOI2017」线段树 题目描述 线段树是九条可怜很喜欢的一个数据结构,它拥有着简单的结构.优秀的复杂度与强大的功能,因此可怜曾经花了很长时间研究线段树的一些性质. 最近可怜 ...
- bzoj4785:[ZJOI2017]树状数组:二维线段树
分析: "如果你对树状数组比较熟悉,不难发现可怜求的是后缀和" 设数列为\(A\),那么可怜求的就是\(A_{l-1}\)到\(A_{r-1}\)的和(即\(l-1\)的后缀减\( ...
- 【UOJ295】【ZJOI2017】线段树 倍增
题目大意 http://uoj.ac/problem/295 题解 考虑像 zkw 线段树一样,从 \([l-1,l-1],[r+1,r+1]\) 这两个区间开始往上跳,直到两个指针碰到一起为止. 先 ...
- BZOJ4785 ZJOI2017树状数组(概率+二维线段树)
可以发现这个写挂的树状数组求的是后缀和.find(r)-find(l-1)在模2意义下实际上查询的是l-1~r-1的和,而本来要查询的是l~r的和.也就是说,若结果正确,则a[l-1]=a[r](mo ...
- BZOJ 4785 [Zjoi2017]树状数组 | 二维线段树
题目链接 BZOJ 4785 题解 这道题真是令人头秃 = = 可以看出题面中的九条可怜把求前缀和写成了求后缀和,然后他求的区间和却仍然是sum[r] ^ sum[l - 1],实际上求的是闭区间[l ...
随机推荐
- CMDB学习之六 --客户端请求测试,服务端api优化
客户端使用agent 请求测试,agent使用的POST 请求,使用requests模块 本地采集,汇报服务端 #!/usr/bin/env python # -*- coding:utf-8 -*- ...
- Git学习笔记 2,GitHub常用命令
廖雪峰Git教程 莫烦Git教程 莫烦Git视频教程 文件三个状态,add之后从工作区(原始状态)到暂存区,commit之后从暂存区到版本库 工作区 暂存区 版本库 unstage stage mas ...
- 【Codeforces Round #462 (Div. 1) A】 A Twisty Movement
[链接] 我是链接,点我呀:) [题意] 在这里输入题意 [题解] ans初值值为a[1..n]中1的个数. 接下来考虑以2为结尾的最长上升子序列的个数. 枚举中间点i. 计算1..i-1中1的个数c ...
- Qt 在圆形中贴图片
void Widget::paintEvent(QPaintEvent *) { QPainter p(this); QPixmap pix(":/images/a.jpg"); ...
- HotSpotVM的Java堆实现浅析#1:初始化
今天来看看HotSpotVM的Java堆初始化. Universe Java堆的初始化主要由Universe模块来完毕,来看下Universe模块初始化的代码,universe_init. jint ...
- vim使用(二):经常使用功能
1. vim经常使用功能 vim的经常使用功能.包含块的选择.复制,多文件的编辑.多窗体等功能. 2. vim块选择 块选择是将文档中的一块能够选择复制,粘贴,不用整行的处理. 按下 v , V . ...
- Iocomp控件之数字显示【图文】
Iocomp关于数字显示有自己的一套方案.并且效果非常棒哦 效果图: 插入控件: 默认效果: 随意改动属性后: 加入变量 调用函数: ); 效果图:
- DDR3内存技术原理
随着AMD AM2平台CPU的上市,目前两大处理器巨头均提供了对DDR2内存的支持.不过,DDR2远不是内存技术发展的终点,CPU和内存厂商已经在着手进行DDR3内存的相应准备.DDR2内存的好日子还 ...
- springMVC的一些配置解析
<mvc:annotation-driven /> <!-- 启动注解驱动的Spring MVC功能,注册请求url和注解POJO类方法的映射--> 是一种简写形式,完全可以手 ...
- POJ 1330 Nearest Common Ancestors 倍增算法的LCA
POJ 1330 Nearest Common Ancestors 题意:最近公共祖先的裸题 思路:LCA和ST我们已经很熟悉了,但是这里的f[i][j]却有相似却又不同的含义.f[i][j]表示i节 ...