結果
問題 | No.2697 Range LIS Query |
ユーザー | hato336 |
提出日時 | 2024-03-22 22:34:45 |
言語 | C++23 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 2,285 ms / 10,000 ms |
コード長 | 7,685 bytes |
コンパイル時間 | 6,233 ms |
コンパイル使用メモリ | 331,944 KB |
実行使用メモリ | 82,060 KB |
最終ジャッジ日時 | 2024-09-30 12:01:47 |
合計ジャッジ時間 | 28,832 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,820 KB |
testcase_01 | AC | 2 ms
6,820 KB |
testcase_02 | AC | 2 ms
6,816 KB |
testcase_03 | AC | 43 ms
6,820 KB |
testcase_04 | AC | 41 ms
6,816 KB |
testcase_05 | AC | 43 ms
6,816 KB |
testcase_06 | AC | 2,019 ms
81,836 KB |
testcase_07 | AC | 1,955 ms
81,912 KB |
testcase_08 | AC | 1,957 ms
81,976 KB |
testcase_09 | AC | 1,421 ms
81,948 KB |
testcase_10 | AC | 1,359 ms
82,060 KB |
testcase_11 | AC | 1,369 ms
81,828 KB |
testcase_12 | AC | 1,220 ms
79,608 KB |
testcase_13 | AC | 1,380 ms
76,232 KB |
testcase_14 | AC | 1,878 ms
76,648 KB |
testcase_15 | AC | 2,251 ms
82,000 KB |
testcase_16 | AC | 2,285 ms
81,956 KB |
testcase_17 | AC | 2,272 ms
81,932 KB |
ソースコード
#include <bits/stdc++.h> #include <atcoder/all> using namespace std; using namespace atcoder; #define all(...) std::begin(__VA_ARGS__), std::end(__VA_ARGS__) #define rall(...) std::rbegin(__VA_ARGS__), std::rend(__VA_ARGS__) #define OVERLOAD_REP(_1, _2, _3, _4, name, ...) name #define REP1(n) for(ll i=0;i<n;i++) #define REP2(i, n) for (ll i=0;i<n;i++) #define REP3(i, a, n) for (ll i=a;i<n;i++) #define REP4(i, a, b, n) for(ll i=a;i<n;i+=b) #define rep(...) OVERLOAD_REP(__VA_ARGS__, REP4, REP3, REP2, REP1)(__VA_ARGS__) #define OVERLOAD_RREP(_1, _2, _3, _4, name, ...) name #define RREP1(n) for(ll i=n-1;i>=0;i--) #define RREP2(i, n) for(ll i=n-1;i>=0;i--) #define RREP3(i, a, n) for(ll i=n-1;i>=a;i--) #define RREP4(i, a, b, n) for(ll i=n-1;i>=a;i-=b) #define rrep(...) OVERLOAD_RREP(__VA_ARGS__, RREP4, RREP3, RREP2, RREP1)(__VA_ARGS__) #define foa(a,v) (auto& a : (v)) #define uniq(a) sort(all(a));a.erase(unique(all(a)),end(a)) #define len(n) (long long)(n).size() #define pb push_back using ll = long long; using ld = long double; using ull = unsigned long long; using vi = vector<int>; using vvi = vector<vi>; using vvvi = vector<vvi>; using vll = vector<ll>; using vvll = vector<vll>; using vvvll = vector<vvll>; using vs = vector<string>; using vvs = vector<vs>; using vvvs = vector<vvs>; using vld = vector<ld>; using vvld = vector<vld>; using vvvld = vector<vvld>; using vc = vector<char>; using vvc = vector<vc>; using vvvc = vector<vvc>; using pll = pair<ll,ll>; using vpll = vector<pll>; template<class... T> constexpr auto min(T... a){ return min(initializer_list<common_type_t<T...>>{a...}); } template<class... T> constexpr auto max(T... a){ return max(initializer_list<common_type_t<T...>>{a...}); } template<class... T> void input(T&... a){ (cin >> ... >> a); } ll POW(ll a,ll b){ ll ans = 1; while (b){ if (b & 1){ ans *= a; } a *= a; b /= 2; } return ans; } ll MODPOW(ll a,ll b,ll c){ ll ans = 1; while (b){ if (b & 1){ ans *= a; ans %= c; } a *= a; a %= c; b /= 2; } return ans; } #define OVERLOAD_POW(_1, _2, _3, name, ...) name #define pow(...) OVERLOAD_POW(__VA_ARGS__, MODPOW, POW)(__VA_ARGS__) #define INT(...) int __VA_ARGS__; input(__VA_ARGS__) #define LL(...) ll __VA_ARGS__; input(__VA_ARGS__) #define ULL(...) ull __VA_ARGS__; input(__VA_ARGS__) #define LD(...) ld __VA_ARGS__; input(__VA_ARGS__) #define STR(...) string __VA_ARGS__; input(__VA_ARGS__) #define CHA(...) char __VA_ARGS__; input(__VA_ARGS__) #define VLL(name,length) vll name(length);rep(i,length){cin >> name[i];} #define VVLL(name,h,w) vvll name(h,vll(w));rep(i,h)rep(j,w){cin >> name[i][j];} #define VVVLL(name,a,b,c) vvvll name(a,vvll(b,vll(c)));rep(i,a)rep(j,b)rep(k,c){cin >> name[i][j][k];} #define VI(name,length) vi name(length);rep(i,length){cin >> name[i];} #define VVI(name,h,w) vvi name(h,vi(w));rep(i,h)rep(j,w){cin >> name[i][j];} #define VVVI(name,a,b,c) vvvi name(a,vvll(b,vi(c)));rep(i,a)rep(j,b)rep(k,c){cin >> name[i][j][k];} #define VLD(name,length) vld name(length);rep(i,length){cin >> name[i];} #define VVLD(name,h,w) vvld name(h,vld(w));rep(i,h)rep(j,w){cin >> name[i][j];} #define VVVLD(name,a,b,c) vvvld name(a,vvld(b,vld(c)));rep(i,a)rep(j,b)rep(k,c){cin >> name[i][j][k];} #define VC(name,length) vc name(length);rep(i,length){cin >> name[i];} #define VVC(name,h,w) vvc name(h,vc(w));rep(i,h)rep(j,w){cin >> name[i][j];} #define VVVC(name,a,b,c) vvvc name(a,vvc(b,vc(c)));rep(i,a)rep(j,b)rep(k,c){cin >> name[i][j][k];} #define VS(name,length) vs name(length);rep(i,length){cin >> name[i];} #define VVS(name,h,w) vvs name(h,vs(w));rep(i,h)rep(j,w){cin >> name[i][j];} #define VVVS(name,a,b,c) vvvs name(a,vvs(b,vs(c)));rep(i,a)rep(j,b)rep(k,c){cin >> name[i][j][k];} #define PLL(name) pll name;cin>>name.first>>name.second; #define VPLL(name,length) vpll name(length);rep(i,length){cin>>name[i].first>>name[i].second;} void print(){cout << "\n";} template<class T, class... Ts> void print(const T& a, const Ts&... b){cout << a;(cout << ... << (cout << ' ', b));cout << '\n';} void print(vll x){rep(i,len(x)){cout << x[i];if(i!=len(x)-1){cout << " ";}else{cout << '\n';}}} void print(vvll x){rep(i,len(x))rep(j,len(x[i])){cout << x[i][j];if(j!=len(x[i])-1){cout << " ";}else{cout << '\n';}}} void print(vi x){rep(i,len(x)){cout << x[i];if(i!=len(x)-1){cout << " ";}else{cout << '\n';}}} void print(vvi x){rep(i,len(x))rep(j,len(x[i])){cout << x[i][j];if(j!=len(x[i])-1){cout << " ";}else{cout << '\n';}}} void print(vvvi x){rep(i,len(x))rep(j,len(x[i]))rep(k,len(x[i][j])){cout << x[i][j][k];if(k!=len(x[i][j])-1){cout << " ";}else if(j!=len(x[i])-1){cout << " | ";}else{cout << '\n';}}} void print(vld x){rep(i,len(x)){cout << x[i];if(i!=len(x)-1){cout << " ";}else{cout << '\n';}}} void print(vvld x){rep(i,len(x))rep(j,len(x[i])){cout << x[i][j];if(j!=len(x[i])-1){cout << " ";}else{cout << '\n';}}} void print(vvvld x){rep(i,len(x))rep(j,len(x[i]))rep(k,len(x[i][j])){cout << x[i][j][k];if(k!=len(x[i][j])-1){cout << " ";}else if(j!=len(x[i])-1){cout << " | ";}else{cout << '\n';}}} void print(vc x){rep(i,len(x)){cout << x[i];if(i!=len(x)-1){cout << " ";}else{cout << '\n';}}} void print(vvc x){rep(i,len(x))rep(j,len(x[i])){cout << x[i][j];if(j!=len(x[i])-1){cout << " ";}else{cout << '\n';}}} void print(vvvc x){rep(i,len(x))rep(j,len(x[i]))rep(k,len(x[i][j])){cout << x[i][j][k];if(k!=len(x[i][j])-1){cout << " ";}else if(j!=len(x[i])-1){cout << " | ";}else{cout << '\n';}}} void print(vs x){rep(i,len(x)){cout << x[i];if(i!=len(x)-1){cout << " ";}else{cout << '\n';}}} void print(vvs x){rep(i,len(x))rep(j,len(x[i])){cout << x[i][j];if(j!=len(x[i])-1){cout << " ";}else{cout << '\n';}}} void print(vvvs x){rep(i,len(x))rep(j,len(x[i]))rep(k,len(x[i][j])){cout << x[i][j][k];if(k!=len(x[i][j])-1){cout << " ";}else if(j!=len(x[i])-1){cout << " | ";}else{cout << '\n';}}} void print(pll x){cout << x.first << x.second << '\n';} void print(vpll x){rep(i,len(x)){cout << x[i].first << x[i].second << '\n';}} using S = vll; using F = ll; S op(S x,S y){ S z; rep(i,16){ z.push_back(max(x[i],y[i])); } z.push_back(x[16]+y[16]); rep(i,4){ rep(j,i,4){ rep(k,j,4){ rep(l,k,4){ if(x[i*4+j] == 0 || y[k*4+l] == 0){ continue; } z[i*4+l] = max(z[i*4+l],x[i*4+j] + y[k*4+l]); } } } } return z; } S mapping(F x,S y){ if(x == 1000000000000000000){ return y; } S z = vll(17,0); z[16] = y[16]; x--; z[x*4+x] = z[16]; return z; } F composition(F x, F y){ if(x == 1000000000000000000){ return y; } else{ return x; } } S e(){ S z = vll(17,0); return z; } F id(){ return 1000000000000000000; } int main(){ LL(n); VLL(a,n); vector<S> v; rep(i,n){ S z = vll(17,0); z[16] = 1; a[i]--; z[a[i]*4+a[i]] = 1; v.push_back(z); } lazy_segtree<S,op,e,F,mapping,composition,id> lst(v); LL(q); //print(lst.prod(0,1)); rep(i,q){ ll t; cin >> t; if(t == 1){ ll l,r; cin >> l >> r; l--; r--; auto ans = lst.prod(l,r+1); ll res = 0; rep(j,16){ res = max(res,ans[j]); } print(res); } else{ ll l,r,x; cin >> l >> r >>x; l--; r--; lst.apply(l,r+1,x); } } }