#515. 【UR #19】前进四

#515. 【UR #19】前进四

题意：
给定 $1e6$ 的序列 $a$，和 $1e6$ 的操作：
第一种操作，将 $a[x]$ 改为 $b$；
第二种操作，询问 $x到n$ 有多少种后缀最小值。

思路：
本题有在线的 $O(nlo{g}^{2}n)$ 的做法，即维护一种类似DP的东西，然后通过递归线段树 来获得答案，但本文讲的不是这种方法。

因为题目中询问的是 后缀最小值，不是区间最小值，所以考虑离线的做法：

我们用从序列尾到头的一条扫描线，用线段树来维护 不同的操作时间下的后缀最小值；即对于 在某个位置上进行修改，改变的是 一段时间内的 后缀最小值。那么操作就变成了 区间取 $min$ ，这个操作是不是很熟悉，没错，就是 吉老师线段树~ 而对于询问的后缀最小值种数，也就是进行了多少次 取 $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;
}