CF 997E 解题报告
CF997E Good Subsegments
给你一个长度为\(n\)的排列 \(P\),定义一段子区间是好的,当且仅当这个子区间内的值构成了连续的一段。例如对于排列\(\{1,3,2\}\),\([1,1],[2,2],[3,3],[2,3],[1,3]\)是好的区间。
共\(q\)次询问,每次询问\(L,R\), 求有多少\(L≤l≤r≤R\),满足\([l,r]\)是好的区间。\(1≤n,q≤1.2×10^5\).
积累一个套路:对于询问区间子序列的信息,可以离线移动右指针,类似扫描线一样计算贡献。
注意到若区间\([l,r]\)满足\(max-min=r-l\),则这个区间是好的区间。
于是在当前指针\(r\)下维护一个\((max-min)-(r-l)\)的最小值以及最小值个数。
然后维护一个答案\(sum\),代表某个区间最小值的贡献(注意这时候不需要维护是不是\(0\),我们只需要在最后累计答案的时候在树根判断就可以了,这个题根一定为\(0\),所以没有判)
但是发现这样不行,我们只是维护了一个右端点为\(r\)的区间的贡献,于是维护一个\(dev\)贡献数组,维护历史出现的最小值出现的贡献。
具体点说,\(dev\)也相当于一个\(tag\),表示这个区间当前的答案需要被贡献到\(sum\),不管它之后怎么样。
然后区间\(max,min\)的相关东西用单调栈额外维护,复杂度是均摊的\(\log n\)
一次操作的大体流程:
- 对整个区间打一个右移标记,即区间最小值减\(1\)
- 维护单调栈并更新一下\(max,min\)
- 打上历史更新\(tag\)
- 进行询问
一些细节:初始时每个区间的\(mi\)是它自己的左端点,因为每次是对整颗树的区间打的标记,会减去很多次\(1\),下放标记的时候更新答案看是不是跟自己一样,如果子区间最小值跟自己一样才进行更新。
Code:
#include <cstdio>
#include <algorithm>
#define ll long long
const int N=120010;
using std::min;
int mi[N<<2],ct[N<<2],mitg[N<<2],dev[N<<2];
//最小值,最小值次数,最小值tag,历史贡献tag
ll ans[N],sum[N<<2];
int sta1[N],tot1,sta2[N],tot2;
int n,m,p[N];
struct node
{
int id,l,r;
bool friend operator <(node n1,node n2){return n1.r<n2.r;}
}q[N];
#define ls id<<1
#define rs id<<1|1
void build(int id,int l,int r)
{
mi[id]=l,ct[id]=1;int mid=l+r>>1;
if(l^r) build(ls,l,mid),build(rs,mid+1,r);
}
void addmi(int id,int d){mi[id]+=d,mitg[id]+=d;}
void addde(int id,int d){sum[id]+=1ll*ct[id]*d,dev[id]+=d;}
void updata(int id)
{
mi[id]=min(mi[ls],mi[rs]),ct[id]=0;
ct[id]=mi[id]==mi[ls]?ct[id]+ct[ls]:ct[id];
ct[id]=mi[id]==mi[rs]?ct[id]+ct[rs]:ct[id];
sum[id]=sum[ls]+sum[rs];
}
void pushdown(int id)
{
if(mitg[id]) addmi(ls,mitg[id]),addmi(rs,mitg[id]),mitg[id]=0;
if(dev[id])
{
if(mi[id]==mi[ls]) addde(ls,dev[id]);
if(mi[id]==mi[rs]) addde(rs,dev[id]);
dev[id]=0;
}
}
void change(int id,int L,int R,int l,int r,int d)
{
if(l==L&&r==R){addmi(id,d);return;}
int Mid=L+R>>1;pushdown(id);
if(r<=Mid) change(ls,L,Mid,l,r,d);
else if(l>Mid) change(rs,Mid+1,R,l,r,d);
else change(ls,L,Mid,l,Mid,d),change(rs,Mid+1,R,Mid+1,r,d);
updata(id);
}
ll query(int id,int L,int R,int l,int r)
{
if(l==L&&r==R)return sum[id];
int Mid=L+R>>1;pushdown(id);
if(r<=Mid) return query(ls,L,Mid,l,r);
else if(l>Mid) return query(rs,Mid+1,R,l,r);
else return query(ls,L,Mid,l,Mid)+query(rs,Mid+1,R,Mid+1,r);
}
int main()
{
scanf("%d",&n);
for(int i=1;i<=n;i++) scanf("%d",p+i);
scanf("%d",&m);
for(int i=1;i<=m;i++) scanf("%d%d",&q[i].l,&q[i].r),q[i].id=i;
std::sort(q+1,q+1+m);
build(1,1,n);
for(int j=1,i=1;i<=n;i++)
{
addmi(1,-1);
while(tot1&&p[sta1[tot1]]<=p[i])
{
change(1,1,n,sta1[tot1-1]+1,sta1[tot1],p[i]-p[sta1[tot1]]);
--tot1;
}
sta1[++tot1]=i;
while(tot2&&p[sta2[tot2]]>=p[i])
{
change(1,1,n,sta2[tot2-1]+1,sta2[tot2],p[sta2[tot2]]-p[i]);
--tot2;
}
sta2[++tot2]=i;
addde(1,1);
while(q[j].r==i) ans[q[j].id]=query(1,1,n,q[j].l,q[j].r),++j;
}
for(int i=1;i<=m;i++) printf("%lld\n",ans[i]);
return 0;
}
2018.12.25
CF 997E 解题报告的更多相关文章
- 12.27 cf div3 解题报告
12.27 cf div3 解题报告 wxy.wxy,带上分拉,全场做了个无脑小白 比赛场地 A: T1,跟着模拟就好了 B: sort一遍之后 去除的数一定是a[1]或者a[n] 比较去除谁小就输出 ...
- CF 1087解题报告
cf解题报告 记录一下吧 做出:T1 rating :-97 想起几个月前做不出T1还是有点小搞笑呀2333 T1 双指针+特判 T2 发现k特别小,枚举剩余系 还要判断是否是能被n整除 移项发现可以 ...
- CF 1215解题报告
T1 偶数输出n/2 奇数输出(n-1)/2即可 T2 判断是不是回文 不是直接输出子串 是回文继续判断 如果他前(len+1)/2内没有相同 输出-1 其他的 交换不同字符,输出子串 T3 贪心+二 ...
- 冲刺Noip2017模拟赛3 解题报告——五十岚芒果酱
题1 素数 [问题描述] 给定一个正整数N,询问1到N中有多少个素数. [输入格式]primenum.in 一个正整数N. [输出格式]primenum.out 一个数Ans,表示1到N中有多少个素 ...
- CF Round #600 (Div 2) 解题报告(A~E)
CF Round #600 (Div 2) 解题报告(A~E) A:Single Push 采用差分的思想,让\(b-a=c\),然后观察\(c\)序列是不是一个满足要求的序列 #include< ...
- Codeforces Round #382 (Div. 2) 解题报告
CF一如既往在深夜举行,我也一如既往在周三上午的C++课上进行了virtual participation.这次div2的题目除了E题都水的一塌糊涂,参赛时的E题最后也没有几个参赛者AC,排名又成为了 ...
- Mutual Training for Wannafly Union #1解题报告
---恢复内容开始--- q神等人组织的vjudge上的多校训练,题目基本上都来自于CF,#1是上周进行的,参加后感觉收获很多,因为上周准备期中比较忙,解题报告现在补上. 比赛地址(兼题目地址) A题 ...
- Codeforces Round #378 (Div. 2) D题(data structure)解题报告
题目地址 先简单的总结一下这次CF,前两道题非常的水,可是第一题又是因为自己想的不够周到而被Hack了一次(或许也应该感谢这个hack我的人,使我没有最后在赛后测试中WA).做到C题时看到题目情况非常 ...
- Codeforces Round #277.5 解题报告
又熬夜刷了cf,今天比正常多一题.比赛还没完但我知道F过不了了,一个半小时贡献给F还是没过--应该也没人Hack.写写解题报告吧= =. 解题报告例如以下: A题:选择排序直接搞,由于不要求最优交换次 ...
随机推荐
- 企业服务总线ESB
# 企业服务总线ESB 由中间件技术实现并支持SOA的一组基础架构,支持异构环境中的服务.消息以及基于事件的交互,并且具有适当的服务级别和可管理性. 通过使用ESB,可以在几乎不更改代码的情况下,以一 ...
- Oracle VM VirtualBox 无法卸载 更新 和修复
好久没更新Oracle VM VirtualBox 突然发现不能更新了 提示要某个msi文件,回想起来好像是被某个清理垃圾的软件清理掉了. 于是根据提示的版本号网上搜了种子又把安装包下载回来 在命令行 ...
- MegaCli64/MegaCli命令详解
基础命令学习目录首页 MegaCli64 -LDInfo -Lall -aALL这个命令能看到RAID的状态MegaCli64 -LDSetProp ForcedWB -L0 -a0MegaCli64 ...
- 苹果针对on sale 的APP发的问题邮件
2017年3月8日 上午8:07 发件人 Apple Dear Developer, Your app, extension, and/or linked framework appears to c ...
- css3 transform属性多值的顺序问题
对于transform属性的多值的顺序问题,我自己就被困扰过.后来知道了跟顺序有关,但是不知道为什么.我想应该很多人跟我以前一样,知其然不知其所以然.如果不知道的,也许这篇文章会对大家有所帮助. 先来 ...
- Daily Scrum (2015/11/7)
今晚谢金洛同学的UI工作完成,我们进行了UI和后端的拼接,准备开始规范化地进行系统测试. 成员 今日任务及成果 时间 明日任务 符美潇 1.把之前PM分配的编码任务及其说明准备好发给PM 1h 待定 ...
- Daily Scrum (2015/10/21)
今天可以说是项目正式开始的第一天,由于大家缺乏做团队项目的经验,对TFS的使用都还不太熟悉,所以今天大家的主要工作是熟悉TFS的使用和对代码进行初步的理解.我们预计需要2-3天时间来理解透彻源代码.以 ...
- "1001. A+B Format (20)" 解题报告
Github : git@github.com:Circlecos/object-oriented.git PDF Of Markdown : "1001. A+B Format (20)& ...
- Leetcode题库——7.反转整数
@author: ZZQ @software: PyCharm @file: IntReverse.py @time: 2018/9/16 16:36 要求:整数反转(给定一个 32 位有符号整数,将 ...
- Python对list去重
Python对list去重 方法一 新建新的列表,利用not in命令去重.这种方法看起来不够简便,但是保留了原列表中的顺序.代码如下: list1 = [1,2,3,4,1,1,2,5,4,3] l ...