#966140 (C++17) No.2697 Range LIS Query

• 問題: No.2697 Range LIS Query
• ユーザー: 00 Sakuda
• 提出日時: 2024-03-31 02:24:13
• 言語: C++17 (gcc 12.3.0 + boost 1.83.0)
• 結果: AC
• 実行時間: 5,733 ms / 10,000 ms
• コード長: 1,256 bytes
• コンパイル時間: 3,212 ms
• コンパイル使用メモリ: 228,444 KB
• 実行使用メモリ: 100,116 KB
• 最終ジャッジ日時: 2024-03-31 02:25:15
• 合計ジャッジ時間: 56,879 ms
• ジャッジサーバーID （参考情報）: judge14 / judge11

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	2 ms; 6,676 KB
testcase_01	AC	3 ms; 6,676 KB
testcase_02	AC	2 ms; 6,676 KB
testcase_03	AC	99 ms; 6,676 KB
testcase_04	AC	95 ms; 6,676 KB
testcase_05	AC	97 ms; 6,676 KB
testcase_06	AC	4,794 ms; 100,116 KB
testcase_07	AC	4,803 ms; 100,116 KB
testcase_08	AC	4,837 ms; 100,116 KB
testcase_09	AC	2,879 ms; 100,116 KB
testcase_10	AC	2,861 ms; 100,116 KB
testcase_11	AC	2,889 ms; 100,116 KB
testcase_12	AC	2,984 ms; 96,512 KB
testcase_13	AC	3,425 ms; 91,368 KB
testcase_14	AC	4,765 ms; 92,008 KB
testcase_15	AC	5,733 ms; 100,116 KB
testcase_16	AC	5,697 ms; 100,116 KB
testcase_17	AC	5,708 ms; 100,116 KB

ソースコード

#include <bits/stdc++.h>
#include <atcoder/lazysegtree>
using namespace std;
using namespace atcoder;
vector<vector<int>> base(4, vector<int>(4, 0));
struct S{
	vector<vector<int>> lis;
	int size;
};
S op(S a, S b) {
	vector<vector<int>> lis = base;
	for (int i = 0;i < 4;i++) for (int j = i;j <  4;j++) for (int k = j;k < 4;k++) for (int l = k;l < 4;l++) {
		lis[i][l] = max(lis[i][l], a.lis[i][j] + b.lis[k][l]);
	}
	return {lis, a.size + b.size};
}
S e() {
	return {base, 0};
}
S mapping(int f, S x) {
	if (f == -1) return x;
	vector<vector<int>> lis = base;
	lis[f][f] = x.size;
	return S {lis, x.size};
}
int composition(int f, int g) {
	if (f == -1) return g;
	return f;
}
int id() {
	return -1;
}
int main() {
	int N;cin >> N;
	vector<S> A(N + 1, {base, 1});
	for (int i = 1;i <= N;i++) {
		int a;cin >> a;
		a--;
		A[i].lis[a][a] = 1;
	}
	lazy_segtree<S, op, e, int, mapping, composition, id> seg(A);
	int Q;cin >> Q;
	while (Q--) {
		int op;cin >> op;
		if (op == 2) {
			int l, r, x;cin >> l >> r >> x;
			seg.apply(l, r + 1, x - 1);
			continue;
		}
		int l,r;cin >> l >> r;
		int ans = 0;
		auto res = seg.prod(l, r + 1);
		for (int i = 0;i < 4;i++) for (int j = i;j < 4;j++) ans = max(ans, res.lis[i][j]);
	        cout << ans << endl;	
	}	
}