結果
問題 | No.992 最長増加部分列の数え上げ |
ユーザー | Chanyuh |
提出日時 | 2020-02-17 23:45:46 |
言語 | C++11 (gcc 11.4.0) |
結果 |
AC
|
実行時間 | 356 ms / 2,000 ms |
コード長 | 5,994 bytes |
コンパイル時間 | 1,492 ms |
コンパイル使用メモリ | 129,580 KB |
実行使用メモリ | 43,904 KB |
最終ジャッジ日時 | 2024-04-16 04:00:36 |
合計ジャッジ時間 | 11,409 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 7 ms
9,472 KB |
testcase_01 | AC | 7 ms
9,600 KB |
testcase_02 | AC | 6 ms
9,600 KB |
testcase_03 | AC | 7 ms
9,600 KB |
testcase_04 | AC | 110 ms
22,784 KB |
testcase_05 | AC | 75 ms
19,200 KB |
testcase_06 | AC | 140 ms
25,472 KB |
testcase_07 | AC | 93 ms
21,632 KB |
testcase_08 | AC | 46 ms
15,872 KB |
testcase_09 | AC | 97 ms
22,016 KB |
testcase_10 | AC | 141 ms
25,472 KB |
testcase_11 | AC | 181 ms
29,312 KB |
testcase_12 | AC | 32 ms
13,568 KB |
testcase_13 | AC | 89 ms
21,120 KB |
testcase_14 | AC | 93 ms
21,120 KB |
testcase_15 | AC | 33 ms
13,696 KB |
testcase_16 | AC | 305 ms
40,960 KB |
testcase_17 | AC | 46 ms
15,872 KB |
testcase_18 | AC | 86 ms
20,992 KB |
testcase_19 | AC | 184 ms
29,184 KB |
testcase_20 | AC | 345 ms
43,904 KB |
testcase_21 | AC | 348 ms
43,776 KB |
testcase_22 | AC | 344 ms
43,776 KB |
testcase_23 | AC | 346 ms
43,776 KB |
testcase_24 | AC | 356 ms
43,648 KB |
testcase_25 | AC | 350 ms
43,776 KB |
testcase_26 | AC | 350 ms
43,776 KB |
testcase_27 | AC | 338 ms
43,648 KB |
testcase_28 | AC | 346 ms
43,776 KB |
testcase_29 | AC | 349 ms
43,904 KB |
testcase_30 | AC | 178 ms
40,060 KB |
testcase_31 | AC | 179 ms
40,036 KB |
testcase_32 | AC | 179 ms
40,252 KB |
testcase_33 | AC | 181 ms
40,260 KB |
testcase_34 | AC | 181 ms
40,172 KB |
testcase_35 | AC | 176 ms
40,052 KB |
testcase_36 | AC | 176 ms
40,068 KB |
testcase_37 | AC | 175 ms
40,068 KB |
testcase_38 | AC | 177 ms
40,076 KB |
testcase_39 | AC | 176 ms
40,076 KB |
testcase_40 | AC | 195 ms
42,472 KB |
testcase_41 | AC | 191 ms
42,076 KB |
testcase_42 | AC | 191 ms
42,064 KB |
testcase_43 | AC | 190 ms
42,124 KB |
testcase_44 | AC | 197 ms
42,128 KB |
ソースコード
#include<iostream> #include<string> #include<cstdio> #include<vector> #include<cmath> #include<algorithm> #include<functional> #include<iomanip> #include<queue> #include<ciso646> #include<random> #include<map> #include<set> #include<complex> #include<bitset> #include<stack> #include<unordered_map> #include<utility> #include<tuple> using namespace std; typedef long long ll; typedef unsigned int ui; const ll mod = 1000000007; const ll INF = (ll)1000000007 * 1000000007; typedef pair<int, int> P; #define stop char nyaa;cin>>nyaa; #define rep(i,n) for(int i=0;i<n;i++) #define per(i,n) for(int i=n-1;i>=0;i--) #define Rep(i,sta,n) for(int i=sta;i<n;i++) #define Per(i,sta,n) for(int i=n-1;i>=sta;i--) #define rep1(i,n) for(int i=1;i<=n;i++) #define per1(i,n) for(int i=n;i>=1;i--) #define Rep1(i,sta,n) for(int i=sta;i<=n;i++) typedef long double ld; typedef complex<ld> Point; const ld eps = 1e-8; const ld pi = acos(-1.0); typedef pair<ll, ll> LP; template<int mod> struct ModInt { long long x; ModInt() : x(0) {} ModInt(long long y) : x(y >= 0 ? y % mod : (mod - (-y) % mod) % mod) {} explicit operator int() const {return x;} ModInt &operator+=(const ModInt &p) { if((x += p.x) >= mod) x -= mod; return *this; } ModInt &operator-=(const ModInt &p) { if((x += mod - p.x) >= mod) x -= mod; return *this; } ModInt &operator*=(const ModInt &p) { x = (int)(1LL * x * p.x % mod); return *this; } ModInt &operator/=(const ModInt &p) { *this *= p.inverse(); return *this; } ModInt operator-() const { return ModInt(-x); } ModInt operator+(const ModInt &p) const { return ModInt(*this) += p; } ModInt operator-(const ModInt &p) const { return ModInt(*this) -= p; } ModInt operator*(const ModInt &p) const { return ModInt(*this) *= p; } ModInt operator/(const ModInt &p) const { return ModInt(*this) /= p; } bool operator==(const ModInt &p) const { return x == p.x; } bool operator!=(const ModInt &p) const { return x != p.x; } ModInt inverse() const{ int a = x, b = mod, u = 1, v = 0, t; while(b > 0) { t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v); } return ModInt(u); } ModInt power(long long p) const{ int a = x; if (p==0) return 1; if (p==1) return ModInt(a); if (p%2==1) return (ModInt(a)*ModInt(a)).power(p/2)*ModInt(a); else return (ModInt(a)*ModInt(a)).power(p/2); } ModInt power(const ModInt p) const{ return ((ModInt)x).power(p.x); } friend ostream &operator<<(ostream &os, const ModInt<mod> &p) { return os << p.x; } friend istream &operator>>(istream &is, ModInt<mod> &a) { long long x; is >> x; a = ModInt<mod>(x); return (is); } }; using modint = ModInt<mod>; template <typename T> struct SegmentTree{ using F = function<T(T,T)>; int n; F f;//二項演算 T ti;//単位元 vector<T> dat; SegmentTree(){} SegmentTree(F f,T ti):f(f),ti(ti){} void init(int n_){//sizeがn_のsegtreeを作る n=1; while(n<n_) n<<=1; dat.assign(n<<1,ti); } void build(const vector<T> &v){//vによってsegtreeをbuildする int n_=v.size(); init(n_); for(int i=0;i<n_;i++) dat[n+i]=v[i]; for(int i=n-1;i;i--) dat[i]=f(dat[(i<<1)|0],dat[(i<<1)|1]); } void set_val(int k,T x){//k番目をxにする dat[k+=n]=x; while(k>>=1) dat[k]=f(dat[(k<<1)|0],dat[(k<<1)|1]); } T query(int a,int b){//区間[a,b)に対しFを適応した値を返す if(a>=b) return ti; T vl=ti,vr=ti; for(int l=a+n,r=b+n;l<r;l>>=1,r>>=1) { if(l&1) vl=f(vl,dat[l++]); if(r&1) vr=f(dat[--r],vr); } return f(vl,vr); } template<typename C> int find(int st,C &check,T &acc,int k,int l,int r){// if(l+1==r){ acc=f(acc,dat[k]); return check(acc)?k-n:-1; } int m=(l+r)>>1; if(m<=st) return find(st,check,acc,(k<<1)|1,m,r); if(st<=l&&!check(f(acc,dat[k]))){ acc=f(acc,dat[k]); return -1; } int vl=find(st,check,acc,(k<<1)|0,l,m); if(~vl) return vl; return find(st,check,acc,(k<<1)|1,m,r); } template<typename C> int find(int st,C &check){ T acc=ti; return find(st,check,acc,1,0,n); } }; int n; int a[200010],b[200010],l[200010]; map<int,vector<int>> comp; vector<P> S[200010]; int idx[200010]; modint nu[200010]; void solve(){ cin >> n; rep(i,n){ cin >> a[i]; comp[a[i]].push_back(i); } int k=0; for(auto p:comp){ for(int s:p.second){ b[s]=k; } k+=1; } rep(i,n){ //cout << b[i] << " "; } //cout << "" << endl; auto f1=[](int a,int b){return max(a,b);}; SegmentTree<int> lis(f1,0); lis.init(k); int max_l=0; rep(i,n){ l[i]=lis.query(0,b[i])+1; lis.set_val(b[i],l[i]); S[l[i]].push_back(P(b[i],i)); max_l=max(max_l,l[i]); //cout << l[i] << " "; } //cout << "" << endl; rep(i,max_l+1){ sort(S[i].begin(),S[i].end()); int m=0; for(P s:S[i]){ idx[s.second]=m; m+=1; } } auto f2=[](modint a,modint b){return a+b;}; SegmentTree<modint> ss(f2,0); vector<SegmentTree<modint>> num; rep(i,max_l+1){ num.push_back(ss); num[i].init(S[i].size()); } rep(i,n){ if(l[i]==1){ num[l[i]].set_val(idx[i],1); nu[i]=1; //cout << i << " " << nu[i] << endl; continue; } auto p=upper_bound(S[l[i]-1].begin(),S[l[i]-1].end(),P(b[i],-1)); int s=p-S[l[i]-1].begin(); //cout << i << " " << l[i] << " " << s << endl; nu[i]=num[l[i]-1].query(0,s); //cout << i << " " << nu[i] << endl; num[l[i]].set_val(idx[i],nu[i]); } cout << num[max_l].query(0,S[max_l].size()) << endl; } int main(){ ios::sync_with_stdio(false); cin.tie(0); cout << fixed << setprecision(50); solve(); }