結果

問題 No.2697 Range LIS Query
コンテスト
ユーザー C
提出日時 2026-10-08 02:25:45
言語 C++23(gcc16)
(gcc 16.2.0 + boost 1.92.0 + ACL)
コンパイル:
g++-16 -O2 -lm -std=c++23 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
AC  
実行時間 676 ms / 10,000 ms
+ 295µs
コード長 1,879 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 5,404 ms
コンパイル使用メモリ 396,580 KB
実行使用メモリ 41,104 KB
最終ジャッジ日時 2026-10-21 16:26:17
合計ジャッジ時間 15,350 ms
ジャッジサーバーID
(参考情報)
judge2_0 / judge4_0
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 16
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code

#include <bits/stdc++.h>
#include <atcoder/all>
#include <boost/polygon/point_data.hpp>
#include <boost/polygon/voronoi.hpp>
#define rep(i,a,b) for(int i=(a);i<(b);i++)
#define rrep(i,a,b) for(int i=(b)-1;i>=(a);i--)
#define all(x) begin(x),end(x)
#define sz(x) (int)(x).size()
using namespace std;
using namespace atcoder;
using ll=long long;
using ld=long double;
using vll=vector<ll>;
using vvll=vector<vll>;
using vi=vector<int>;
using vvi=vector<vi>;
using pll=pair<ll,ll>;

// using mint=modint;

// using BoostPoint=boost::polygon::point_data<int>;
// using Voronoi=boost::polygon::voronoi_diagram<double>;

const int k=5;
const int neg=-INT_MAX;

struct Mat{
	int a[k][k];
};

Mat idmat(){
	Mat c;
	rep(i,0,k){
		rep(j,0,k){
			if(i==j)c.a[i][j]=0;
			else c.a[i][j]=neg;
		}
	}
	return c;
}

Mat mul(const Mat&a,const Mat&b){
	Mat c;
	rep(i,0,k){
		rep(j,0,k){
			c.a[i][j]=neg;
			rep(t,0,k){
				if(a.a[i][t]==neg||b.a[t][j]==neg)continue;
				c.a[i][j]=max(c.a[i][j],a.a[i][t]+b.a[t][j]);
			}

		}
	}
	return c;
}

Mat blockmat(int x,int len){
	Mat c=idmat();
	rep(i,0,x+1)c.a[i][x]=len;
	return c;
}

struct S{
	Mat m;
	int len;
};

S op(S l,S r){
	return {mul(l.m,r.m),l.len+r.len};
}

S e(){
	return {idmat(),0};
}

using F=int;

F id(){
	return -1;
}

S mapping(F f,S s){
	if(f==-1||s.len==0)return s;
	s.m=blockmat(f,s.len);
	return s;
}

F composition(F f,F g){
	if(f==-1)return g;
	return f;
}


int main()
{
  ios::sync_with_stdio(false);
	cin.tie(nullptr);

	int N;
	cin>>N;
	vi a(N);
	rep(i,0,N)cin>>a[i];
	vector<S>init(N);
	rep(i,0,N)init[i]={blockmat(a[i],1),1};
	lazy_segtree<S,op,e,F,mapping,composition,id>seg(init);
	int Q;
	cin>>Q;
	while(Q--){
		int q,l,r;
		cin>>q>>l>>r;
		--l;
		if(q==1){
			S s=seg.prod(l,r);
			int ans=1;
			rep(j,1,k)ans=max(ans,s.m.a[0][j]);
			cout<<ans<<'\n';
		}else{
			int x;
			cin>>x;
			seg.apply(l,r,x);
		}
	}

}
0