#515. 【UR #19】前进四
题意:
给定
1
e
6
1e6
1e6 的序列
a
a
a,和
1
e
6
1e6
1e6 的操作:
第一种操作,将
a
[
x
]
a[x]
a[x] 改为
b
b
b;
第二种操作,询问
x
到
n
x到n
x到n 有多少种后缀最小值。
思路:
本题有在线的
O
(
n
l
o
g
2
n
)
O(nlog^2n)
O(nlog2n) 的做法,即维护一种类似DP的东西,然后通过递归线段树 来获得答案,但本文讲的不是这种方法。
因为题目中询问的是 后缀最小值,不是区间最小值,所以考虑离线的做法:
我们用从序列尾到头的一条扫描线,用线段树来维护 不同的操作时间下的后缀最小值;即对于 在某个位置上进行修改,改变的是 一段时间内的 后缀最小值。那么操作就变成了 区间取 m i n min min ,这个操作是不是很熟悉,没错,就是 吉老师线段树~ 而对于询问的后缀最小值种数,也就是进行了多少次 取 m i n min min之后 值变小了,这个在取 m i n min min 的过程中,可以顺便统计。
代码:
#include<bits/stdc++.h>
using namespace std;
#define ll long long
inline int qread(){
int s=0,w=1;char ch=getchar();
for(;!isdigit(ch);ch=getchar())if(ch=='-')w=-1;
for (;ch>='0'&&ch<='9';ch=getchar())s=(s<<1)+(s<<3)+(ch^48);
return (w==-1?-s:s);}
const int INF=2e9;
int n,m;
int ans[1000050];
struct node{
int ti,w;
};
vector<node>v[1000050],q[1000050];
#define ls p<<1
#define rs p<<1|1
#define mid (l+r>>1)
struct no{
int mx,smx,val,tag;
}tr[4000040];
void pushup(int p){
if(tr[ls].mx==tr[rs].mx){
tr[p].mx=tr[ls].mx;
tr[p].smx=max(tr[ls].smx,tr[rs].smx);
}else if(tr[ls].mx>tr[rs].mx){
tr[p].mx=tr[ls].mx;
tr[p].smx=max(tr[ls].smx,tr[rs].mx);
}else {
tr[p].mx=tr[rs].mx;
tr[p].smx=max(tr[ls].mx,tr[rs].smx);
}
}
void update(int p,int k1,int k2){
if(k1<tr[p].mx){
tr[p].mx=tr[p].tag=k1;
tr[p].val+=k2;
}
}
void pushdown(int p){
if(tr[p].tag==-1)return;
update(ls,tr[p].tag,tr[p].val);
update(rs,tr[p].tag,tr[p].val);
tr[p].tag=-1;tr[p].val=0;
}
void build(int p,int l,int r){
tr[p].tag=-1;tr[p].val=0;
if(l==r){
tr[p].mx=INF;tr[p].smx=-1;
return;
}
build(ls,l,mid);
build(rs,mid+1,r);
pushup(p);
}
void update1(int p,int l,int r,int x,int y,int w){
if(tr[p].mx<=w)return;
if(x<=l&&r<=y&&tr[p].smx<w){
update(p,w,1);
return;
}
pushdown(p);
if(x<=mid)update1(ls,l,mid,x,y,w);
if(mid<y)update1(rs,mid+1,r,x,y,w);
pushup(p);
}
int query(int p,int l,int r,int x){
if(l==r)return tr[p].val;
pushdown(p);
if(x<=mid)return query(ls,l,mid,x);
else return query(rs,mid+1,r,x);
}
#undef ls
#undef rs
#undef mid
int main(){
n=qread(),m=qread();
for(int i=1;i<=n;i++){
int a=qread();
v[i].push_back({0,a});
}
int id=0;
for(int i=1;i<=m;i++){
int op=qread(),a=qread(),b;
if(op==1){
b=qread();
v[a].push_back({i,b});
}else{
id++;
q[a].push_back({i,id});
}
}
build(1,0,m);
for(int i=n;i>=1;i--){
for(int j=0;j<v[i].size();j++){
auto to=v[i][j];
if(j+1<v[i].size())update1(1,0,m,to.ti,v[i][j+1].ti-1,to.w);
else update1(1,0,m,to.ti,m,to.w);
}
for(int j=0;j<q[i].size();j++){
auto to=q[i][j];
ans[to.w]=query(1,0,m,to.ti);
}
}
for(int i=1;i<=id;i++)printf("%d\n",ans[i]);
return 0;
}