結果
| 問題 |
No.2433 Min Increasing Sequence
|
| コンテスト | |
| ユーザー |
momoyuu
|
| 提出日時 | 2023-08-18 22:33:59 |
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 429 ms / 2,000 ms |
| コード長 | 1,548 bytes |
| コンパイル時間 | 4,017 ms |
| コンパイル使用メモリ | 269,016 KB |
| 実行使用メモリ | 16,888 KB |
| 最終ジャッジ日時 | 2024-11-28 08:33:02 |
| 合計ジャッジ時間 | 11,212 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 32 |
ソースコード
#include<bits/stdc++.h>
using namespace std;
using ll = long long;
#include<atcoder/modint>
#include<atcoder/lazysegtree>
#include<atcoder/segtree>
using mint = atcoder::modint998244353;
int op1(int a,int b){
return max(a,b);
}
int e1(){
return -1;
}
int op2(int a,int b){
return min(a,b);
}
int e2(){
return 1e9;
}
using dat = pair<mint,mint>;
dat op(dat a,dat b){
a.first += b.first;
a.second += b.second;
return a;
}
dat e(){
return make_pair(0,0);
}
mint composition(mint a,mint b){
return a + b;
}
mint id(){
return 0;}
dat mapping(mint a,dat b){
b.first += a*b.second;
return b;
}
int main(){
cin.tie(nullptr);
ios::sync_with_stdio(false);
int n;
cin>>n;
vector<int> a(n);
for(int i = 0;i<n;i++) cin>>a[i];
atcoder::segtree<int,op1,e1> s1(n+1);
atcoder::lazy_segtree<dat,op,e,mint,mapping,composition,id> seg(n+1);
atcoder::segtree<int,op2,e2> s2(n+1);
for(int i = 0;i<=n;i++) seg.set(i,make_pair(0,1));
seg.apply(0,1,1);
vector<pair<int,int>> now;
for(int i = 0;i<n;i++) now.push_back(make_pair(a[i],i));
sort(now.begin(),now.end());
for(int i = 0;i<n;i++){
int ni = now[i].second;
int le = 0;
if(ni>0) le = s1.prod(0,ni) + 1;
s1.set(ni,ni);
mint can = seg.prod(le,ni+1).first;
int ri = s2.prod(ni+1,n+1);
if(ri==1e9) ri = n;
seg.apply(ni,ri+1,can);
s2.set(ni,ni);
//cout<<can.val()<<endl;
}
cout<<seg.get(n).first.val()<<endl;
}
momoyuu