【codeforces】940F题解
CF Round #466的最后一题,颇有难度,正解是带修改莫队算法。
【题意】
给定一个长度为\(n\)的数组\(a\),并且要求执行\(q\)个操作,有两种不同的操作:
①询问一个区间\([l,r]\)中集合\(\left\{c_{0},c_{1},c_{2},\cdots,c_{10^9}\right\}\)的Mex,而\(c_i\)表示数值\(i\)在\([l,r]\)中的出现次数。
②把\(a_p\)修改成\(x\)。
对每一个询问输出答案。
【题解】
典型的区间问题,不要求在线,可以考虑莫队。
有时间轴影响,故使用带修改莫队,时间复杂度应为\(O(n^{\frac{5}{3}})\)。
先对区间的移动进行分析:
使用离散化技巧,把输入数据压缩至\(n+q\)的范围内。
维护两个数组\(count1,count2\),\(count1\)记录(离散后的)每个数的出现次数,\(count2\)记录\(count1\)中的数的出现次数。
那么所求为\(count2\)中第一个为0的下标位置。
对于\(count1,count2\),我们都可以\(O(1)\)维护每个操作对数组的影响,接下来考虑如何计算答案。
\(count2\)数组的变动,让第一个为0的下标位置可能会有很大的跳跃,不好维护,那么我们注意到一个性质:
答案不会超过\(O(\sqrt{n})\),为什么呢?
假如要将\(count2_1,count2_2,\cdots,count2_k\)填满的话,至少需要\(\frac{k(k+1)}{2}\)个元素,可是数组的总长只有\(n\),所以答案必然不能太大。
那么有了这个性质,可以暴力维护答案,维护答案的总的复杂度不会超过\(O(q\sqrt{n})\)。
关于莫队,还有几个需要注意的地方:
第一个是当维护区间变化时,先考虑"伸展",再考虑"压缩",要不然会出现区间\(r<l\)的情况。
一般的莫队不会太在意这个,因为后面会再加回来,但是这题中可能会导致中间结果多减了,导致\(count2\)数组越界。
第二个是在带修改莫队时间轴移动上,千万不要颠倒了时间顺序,这其实也是常识了,不过我被这个卡了一会儿。
#include<cstdio>
#include<algorithm>
using namespace std;
#define F(i,a,b) for(int i=(a);i<=(b);++i)
#include<cmath>
int n,q,tim,cnt,sig,S;
struct Qur{int x,y,t,i;}Qs[100001];
int a[100001],b[200001],blk[100001];
inline bool cmp(Qur p1,Qur p2){return blk[p1.x]==blk[p2.x]?(blk[p1.y]==blk[p2.y]?p1.t<p2.t:blk[p1.y]<blk[p2.y]):blk[p1.x]<blk[p2.x];}
int p[100001],k[100001],k_[100001],ans[100001];
int count1[200001],count2[100001];
inline void gx1(int i){--count2[count1[i]];++count2[++count1[i]];}
inline void gx2(int i){--count2[count1[i]];++count2[--count1[i]];}
int main(){
scanf("%d%d",&n,&q); S=(int)pow(n,2.0/3.0);
F(i,1,n) scanf("%d",a+i), b[i]=a[i], blk[i]=(i-1)/S+1;
F(i,1,q){
int opt,x,y; scanf("%d%d%d",&opt,&x,&y);
if(opt==1) Qs[++cnt]=(Qur){x,y,tim,cnt};
else ++tim, b[n+tim]=y, p[tim]=x, k_[tim]=a[x], k[tim]=a[x]=y;
} F(i,1,n) a[i]=b[i];
sort(Qs+1,Qs+cnt+1,cmp); sort(b+1,b+n+tim+1); sig=unique(b+1,b+n+tim+1)-b-1;
F(i,1,n) a[i]=lower_bound(b+1,b+sig+1,a[i])-b;
F(i,1,tim) k[i]=lower_bound(b+1,b+sig+1,k[i])-b, k_[i]=lower_bound(b+1,b+sig+1,k_[i])-b;
count2[0]=sig+10;
int l=1, r=0, t=0;
F(i,1,cnt){
while(Qs[i].x<l) gx1(a[--l]);
while(Qs[i].y>r) gx1(a[++r]);
while(Qs[i].x>l) gx2(a[l++]);
while(Qs[i].y<r) gx2(a[r--]);
while(Qs[i].t>t) ++t, (Qs[i].x<=p[t]&&p[t]<=Qs[i].y)?gx1(k[t]),gx2(k_[t]):void(0), a[p[t]]=k[t];
while(Qs[i].t<t) (Qs[i].x<=p[t]&&p[t]<=Qs[i].y)?gx1(k_[t]),gx2(k[t]):void(0), a[p[t]]=k_[t], --t;
for(ans[Qs[i].i]=1;count2[ans[Qs[i].i]];++ans[Qs[i].i]);
}
F(i,1,cnt) printf("%d\n",ans[i]);
return 0;
}
【codeforces】940F题解的更多相关文章
- codeforces#536题解
CodeForces#536 A. Lunar New Year and Cross Counting Description: Lunar New Year is approaching, and ...
- Machine Learning CodeForces - 940F(带修改的莫队)
题解原文地址:https://www.cnblogs.com/lujiaju6555/p/8468709.html 给数组a,有两种操作,1 l r查询[l,r]中每个数出现次数的mex,注意是出现次 ...
- codeforces 1093 题解
12.18 update:补充了 $ F $ 题的题解 A 题: 题目保证一定有解,就可以考虑用 $ 2 $ 和 $ 3 $ 来凑出这个数 $ n $ 如果 $ n $ 是偶数,我们用 $ n / 2 ...
- Codeforces 940F Machine Learning (带修改莫队)
题目链接 Codeforces Round #466 (Div. 2) Problem F 题意 给定一列数和若干个询问,每一次询问要求集合$\left\{c_{0}, c_{1}, c_{2}, ...
- codeforces 940F 带修改的莫队
F. Machine Learning time limit per test 4 seconds memory limit per test 512 megabytes input standard ...
- Codeforces Numbers 题解
这题只需要会10转P进制就行了. PS:答案需要约分,可以直接用c++自带函数__gcd(x,y). 洛谷网址 Codeforces网址 Code(C++): #include<bits/std ...
- Codeforces 691E题解 DP+矩阵快速幂
题面 传送门:http://codeforces.com/problemset/problem/691/E E. Xor-sequences time limit per test3 seconds ...
- Codeforces 833B 题解(DP+线段树)
题面 传送门:http://codeforces.com/problemset/problem/833/B B. The Bakery time limit per test2.5 seconds m ...
- Codeforces 840C 题解(DP+组合数学)
题面 传送门:http://codeforces.com/problemset/problem/840/C C. On the Bench time limit per test2 seconds m ...
随机推荐
- Python排序算法动态图形化演示(实现代码)
1.冒泡排序 冒泡排序是最简单也是最容易理解的排序方法,其原理就是重复地走访过要排序的数列,一次比较两个元素,如果他们的顺序错误就把他们交换过来.走访数列的工作是重复地进行直到没有再需要交换,也就是 ...
- BZOJ3439 Kpm的MC密码(可持久化trie)
将串反过来就变成查询前缀了.考虑建一棵可持久化trie,查询时二分答案,均摊一下复杂度即为O(mlogn). #include<iostream> #include<cstdio&g ...
- Java中,一切皆是对象!为何数据类型中还分为:基本类型和对象?
Java中一切皆是对象!这句话没错,因为八种基本类型都有对应的包装类(int的包装类是Integer),包装类自然就是对象了. 基本类型一直都是Java语言的一部分,这主要是基于程序性能的考量, 基本 ...
- Windows下python 3.0版本django的安装、配置、与启动
使用的环境是Windows操作系统,python的环境是3.6,django是官网上最新的版本1.10.6,本文介绍从安装python之后怎样用过pip管理工具安装django,以及django的项目 ...
- 【刷题】洛谷 P3768 简单的数学题
题目描述 由于出题人懒得写背景了,题目还是简单一点好. 输入一个整数n和一个整数p,你需要求出(\(\sum_{i=1}^n\sum_{j=1}^n ijgcd(i,j))~mod~p\),其中gcd ...
- 【spring】- springmvc 工作原理
原理 本质是将DispatcherServlet及关联的Spring上下文环境的初始化工作织入Servlet的生命周期内,将外部WEB请求转换为Spring Bean能处理的形式,然后将处理后的结果借 ...
- Chapter 6(树)
1.树的储存方式 //****************双亲表示法************************ #define Max_TREE_SIZE 100 typedef int TElem ...
- python lambda表达式与三元运算
1.三元运算 格式: 为真时的结果 if 判定条件 else 为假时的结果 #!/usr/bin/python # -*- coding: UTF-8 -*- def f(x, y): # 如果x大于 ...
- SpringBoot(十一):Spring boot 中 mongodb 的使用
原文出处: 纯洁的微笑 mongodb是最早热门非关系数据库的之一,使用也比较普遍,一般会用做离线数据分析来使用,放到内网的居多.由于很多公司使用了云服务,服务器默认都开放了外网地址,导致前一阵子大批 ...
- Oracle的基本语法,存储函数及触发器
1.PL/SQL PL/SQL是Oracle对 ql语言的过程化扩展,指在 SQL 命令语言中增加了过程处理语句,使SQL语言具有过程处理能力.把 SQL 语言的数据操纵能 力与过程语言的数据 ...