結果
| 問題 | No.2697 Range LIS Query | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2024-02-13 20:38:54 | 
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 490 ms / 10,000 ms | 
| コード長 | 1,129 bytes | 
| コンパイル時間 | 5,501 ms | 
| コンパイル使用メモリ | 314,924 KB | 
| 実行使用メモリ | 28,380 KB | 
| 最終ジャッジ日時 | 2024-09-28 18:37:10 | 
| 合計ジャッジ時間 | 11,849 ms | 
| ジャッジサーバーID (参考情報) | judge2 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 15 | 
ソースコード
#include<bits/stdc++.h>
using namespace std;
#include<atcoder/all>
using namespace atcoder;
const int K=4;
struct S{
	int length=0;
	int d[K][K]={0};
};
S op(S x,S y){
	S z;
	for(int i=0;i<K;i++){
		for(int j=i;j<K;j++){
			for(int k=i;k<=j;k++){
                z.d[i][j]=max(z.d[i][j],x.d[i][k]+y.d[k][j]);
            }
		}
	}
	z.length=x.length+y.length;
	return z;
}
S e(){
	return S();
}
S mapping(int f,S x){
	if(f==-1)return x;
	for(int i=0;i<K;i++){
        for(int j=i;j<K;j++){
            if(i<=f&&f<=j)x.d[i][j]=x.length;
            else x.d[i][j]=0;
        }
    }
    return x;
}
int composition(int f,int g){return (f==-1)?g:f;}
int id(){return -1;}
int main(){
	int n;cin>>n;
	vector<int> a(n);for(auto &e:a){cin>>e;e--;}
	vector<S> s(n);
	for(int i=0;i<n;i++){
		s[i].length=1;
        s[i]=mapping(a[i],s[i]);
	}
	lazy_segtree<S,op,e,int,mapping,composition,id> seg(s);
	int q;cin>>q;
	while(q--){
		int type;cin>>type;
		if(type==1){
			int l,r;cin>>l>>r;l--;
			auto res=seg.prod(l,r);
			cout<<res.d[0][K-1]<<endl;
		}
		if(type==2){
			int l,r,x;cin>>l>>r>>x;l--;x--;
			seg.apply(l,r,x);
		}
	}
}
            
            
            
        