Codeforces 题面传送门 & 洛谷题面传送门

深感自己线段树学得不扎实……

首先特判掉 \(d=0\) 的情况,显然这种情况下满足条件的区间 \([l,r]\) 中的数必须相同,双针扫一遍即可。

接下来考虑如何解决 \(d\ne 0\) 的情况。碰到这样的问题我们肯定首先要把区间合法的充要条件一一罗列出来,不难发现由于我们的过程只有加数,没有删数,因此原序列中两两数之差也必须是 \(d\) 的倍数,也即区间中所有数模 \(d\) 同余,又显然区间中两两数必须互不相同,因此我们考虑令 \(b_i=\lfloor\dfrac{a_i}{d}\rfloor,c_i=a_i\bmod d\),那么前面两个条件即可翻译为:

  • \(\forall i\in[l,r],c_i=c_l\)
  • \(b_l,b_{l+1},b_{l+2},\cdots,b_r\) 互不相同

接下来考虑最多加入 \(k\) 个数这个条件。显然经过我们这么一转化,最终形成的序列的 \(b\) 值必须形成公差恰好为 \(1\) 的等差数列。而如果我们记 \(L=\min\limits_{i=l}^rb_i,R=\max\limits_{i=l}^rb_i\),那么我们肯定不会加入 \(b\) 值在 \([L,R]\) 以外的数,因此我们加入数的个数的最小值就是 \((R-L+1)-(r-l+1)=(R-L)-(r-l)\),因此我们还可以得到条件:

  • \((R-L)-(r-l)\le k\)

考虑怎么维护这个东西,这东西显然不好分治对吧,那我们就扫描线求解,枚举右端点,维护可行的左端点的集合。假设右端点扫描到 \(r\),那么显然满足前两个条件的 \(l\) 肯定会形成一段区间 \([L_l,R_l]\),且显然有 \(R_l=r\)。那么对于第一个条件,如果我们扫描到某个 \(r\) 满足 \(c_r\ne c_{r-1}\),就令 \(L_l=r\),对于第二个条件,我们在扫描的过程中维护 \(pre_i\) 表示上一个 \(b_j=i\) 的位置,然后每扫到一个 \(r\) 就令 \(L_l\) 对 \(pre_{b_r}+1\) 取 \(\max\) 即可。比较棘手的是第三个条件,不过这东西是可以单调栈+线段树维护的,具体维护方法参加 CF997E,因此考虑单调栈维护一波这个东西,这样我们要求的就是 \([L_l,R_l]\) 中第一个 \(\le k\) 的位置,这显然可以线段树二分在 \(\log n\) 的时间内求出(而我甚至 \(\log^2n\) 的做法都没想到,说明 5448),总复杂度 \(n\log n\)。

const int MAXN=2e5;
int n,k,d,a[MAXN+5],b[MAXN+5],c[MAXN+5];
map<int,int> pre;
int getmod(int x,int v){return (x%v+v)%v;}
int getdiv(int x,int v){return (x-getmod(x,v))/v;}
struct node{int l,r,mn,lz;} s[MAXN*4+5];
void pushup(int k){s[k].mn=min(s[k<<1].mn,s[k<<1|1].mn);}
void build(int k,int l,int r){
s[k].l=l;s[k].r=r;if(l==r) return;int mid=l+r>>1;
build(k<<1,l,mid);build(k<<1|1,mid+1,r);
}
void tag(int x,int v){s[x].mn+=v;s[x].lz+=v;}
void pushdown(int k){if(s[k].lz) tag(k<<1,s[k].lz),tag(k<<1|1,s[k].lz),s[k].lz=0;}
void modify(int k,int l,int r,int v){
if(l<=s[k].l&&s[k].r<=r) return tag(k,v),void();
pushdown(k);int mid=s[k].l+s[k].r>>1;
if(r<=mid) modify(k<<1,l,r,v);else if(l>mid) modify(k<<1|1,l,r,v);
else modify(k<<1,l,mid,v),modify(k<<1|1,mid+1,r,v);
pushup(k);
}
int findleq(int k,int l,int r,int v){
if(s[k].mn>v) return -1;
if(l<=s[k].l&&s[k].r<=r){
if(s[k].l==s[k].r) return s[k].l;
pushdown(k);int ps,mid=s[k].l+s[k].r>>1;
if(~(ps=findleq(k<<1,l,mid,v))) return ps;
return findleq(k<<1|1,mid+1,r,v);
} pushdown(k);int mid=s[k].l+s[k].r>>1;
if(r<=mid) return findleq(k<<1,l,r,v);
else if(l>mid) return findleq(k<<1|1,l,r,v);
else{
int ps;
if(~(ps=findleq(k<<1,l,mid,v))) return ps;
return findleq(k<<1|1,mid+1,r,v);
}
}
int main(){
scanf("%d%d%d",&n,&k,&d);
for(int i=1;i<=n;i++) scanf("%d",&a[i]);
if(!d){
pii res=mp(0,0);
for(int l=1,r;l<=n;l++){
r=l;while(r<=n&&a[l]==a[r]) ++r;
chkmax(res,mp(r-l,-l));
} printf("%d %d\n",-res.se,-res.se+res.fi-1);
return 0;
} build(1,1,n);pii res;
for(int i=1;i<=n;i++) b[i]=getdiv(a[i],d),c[i]=getmod(a[i],d);
stack<int> stk_mn,stk_mx;stk_mn.push(0);stk_mx.push(0);
for(int i=1,mnl=1;i<=n;i++){//(mx-mn)-(r-l)<=k
if(c[i]!=c[i-1]) chkmax(mnl,i);
chkmax(mnl,pre[b[i]]+1);pre[b[i]]=i;
while(stk_mn.size()>1&&b[i]<b[stk_mn.top()]){
int p=stk_mn.top();stk_mn.pop();
modify(1,stk_mn.top()+1,p,b[p]-b[i]);
// printf("modify %d %d %d\n",stk_mn.top()+1,p,b[p]-b[i]);
} while(stk_mx.size()>1&&b[i]>b[stk_mx.top()]){
int p=stk_mx.top();stk_mx.pop();
modify(1,stk_mx.top()+1,p,-b[p]+b[i]);
// printf("modify %d %d %d\n",stk_mx.top()+1,p,-b[p]+b[i]);
} if(i^1) modify(1,1,i-1,-1)/*,printf("modify %d %d %d\n",1,i-1,-1)*/;
stk_mn.push(i);stk_mx.push(i);
int ps=findleq(1,mnl,i,k);
if(~ps) chkmax(res,mp(i-ps+1,-ps));
} printf("%d %d\n",-res.se,-res.se+res.fi-1);
return 0;
}

Codeforces 407E - k-d-sequence(单调栈+扫描线+线段树)的更多相关文章

  1. P3722 [AH2017/HNOI2017]影魔(单调栈+扫描线+线段树)

    题面传送门 首先我们把这两个贡献翻译成人话: 区间 \([l,r]\) 产生 \(p_1\) 的贡献当且仅当 \(a_l,a_r\) 分别为区间 \([l,r]\) 的最大值和次大值. 区间 \([l ...

  2. 51NOD 1962 区间计数 单调栈+二分 / 线段树+扫描线

     区间计数   基准时间限制:1.5 秒 空间限制:262144 KB 分值: 80   两个数列 {An} , {Bn} ,请求出Ans, Ans定义如下: Ans:=Σni=1Σnj=i[max{ ...

  3. 有趣的线段树模板合集(线段树,最短/长路,单调栈,线段树合并,线段树分裂,树上差分,Tarjan-LCA,势能线段树,李超线段树)

    线段树分裂 以某个键值为中点将线段树分裂成左右两部分,应该类似Treap的分裂吧(我菜不会Treap).一般应用于区间排序. 方法很简单,就是把分裂之后的两棵树的重复的\(\log\)个节点新建出来, ...

  4. 【XSY2720】区间第k小 整体二分 可持久化线段树

    题目描述 给你你个序列,每次求区间第\(k\)小的数. 本题中,如果一个数在询问区间中出现了超过\(w\)次,那么就把这个数视为\(n\). 强制在线. \(n\leq 100000,a_i<n ...

  5. HDU 3642 - Get The Treasury - [加强版扫描线+线段树]

    题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=3642 Time Limit: 10000/5000 MS (Java/Others) Memory L ...

  6. 【BZOJ3958】[WF2011]Mummy Madness 二分+扫描线+线段树

    [BZOJ3958][WF2011]Mummy Madness Description 在2011年ACM-ICPC World Finals上的一次游览中,你碰到了一个埃及古墓. 不幸的是,你打开了 ...

  7. HDU 3265/POJ 3832 Posters(扫描线+线段树)(2009 Asia Ningbo Regional)

    Description Ted has a new house with a huge window. In this big summer, Ted decides to decorate the ...

  8. 【bzoj4491】我也不知道题目名字是什么 离线扫描线+线段树

    题目描述 给定一个序列A[i],每次询问l,r,求[l,r]内最长子串,使得该子串为不上升子串或不下降子串 输入 第一行n,表示A数组有多少元素接下来一行为n个整数A[i]接下来一个整数Q,表示询问数 ...

  9. hdu1542 Atlantis(扫描线+线段树+离散)矩形相交面积

    题目链接:点击打开链接 题目描写叙述:给定一些矩形,求这些矩形的总面积.假设有重叠.仅仅算一次 解题思路:扫描线+线段树+离散(代码从上往下扫描) 代码: #include<cstdio> ...

随机推荐

  1. [no_code][Beta]事后分析

    设想和目标 我们的软件要解决什么问题?是否定义得很清楚?是否对典型用户和典型场景有清晰的描述? 我们要解决的目前的手写表单的电子化问题,办公电子化问题的一个key问题.定义十分清楚: 输入: 手写表单 ...

  2. [技术博客]WEB实现划词右键操作

    [技术博客]WEB实现划词右键操作 一.功能解释 简单地对题目中描述的功能进行解释:在浏览器中,通过拖动鼠标选中一个词(或一段文字),右键弹出菜单,且菜单为自定义菜单,而非浏览器本身的菜单.类似的功能 ...

  3. 无网络下,配置yum本地源

    1. 新建一个没有iso镜像文件的虚拟机: 2. 本地上传一个镜像文件(CentOS7的镜像),到虚拟机已创建的目录: 例如:上传一个镜像文件CentOS-7-x86_64-Everything-17 ...

  4. elf文件--基于《ctf竞赛权威指南pwn篇》

    1.ELF概念: ELF(Executable and Linkable Format),即"可执行可链接格式",最初由UNIX系统实验室作为应用程序二进制接口(Applicati ...

  5. stm32串口USART 硬件流控 --学习笔记

    流控的概念源于 RS232 这个标准,在 RS232 标准里面包含了串口.流控的定义.大家一定了解,RS232 中的"RS"是Recommend Standard 的缩写,即&qu ...

  6. poj 2724 Purifying Machine(二分图最大匹配)

    题意: 有2^N块奶酪,编号为00...0到11..1. 有一台机器,有N个开关.每个开关可以置0或置1,或者置*.但是规定N个开关中最多只能有一个开关置*. 一旦打开机器的开关,机器将根据N个开关的 ...

  7. 这一次,解决Flutter Dialog的各种痛点!

    前言 Q:你一生中闻过最臭的东西,是什么? A:我那早已腐烂的梦. 兄弟萌!!!我又来了! 这次,我能自信的对大家说:我终于给大家带了一个,能真正帮助大家解决诸多坑比场景的pub包! 将之前的flut ...

  8. sed 修改替换包含关键字的整行

    查找关键字 user10 所在的行,替换整行内容为aaaaaaaaaa #sed -i "s/^.*user10.*$/aaaaaaaaaa/" useradd.txt

  9. 【数据结构&算法】09-队列概念&参考源码

    目录 前言 队列的定义 队列的抽象数据类型 循环队列与链式队列对比 循环队列 特点 定义 循环队列相关计算 链式队列 定义 阻塞队列 并发队列 代码实现 循环队列代码 链式队列实现 前言 李柱明博客: ...

  10. git rebase 合并提交

    git rebase 合并提交 合并最近多次提交记录 语法 git rebase -i HEAD~n 1.进入合并模式 合并最近三次提交 git rebase -i HEAD~3 然后你会看到一个像下 ...