結果
| 問題 | 
                            No.127 門松もどき
                             | 
                    
| コンテスト | |
| ユーザー | 
                             beet
                         | 
                    
| 提出日時 | 2019-03-30 20:50:03 | 
| 言語 | C++17  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 2,710 ms / 5,000 ms | 
| コード長 | 1,868 bytes | 
| コンパイル時間 | 2,669 ms | 
| コンパイル使用メモリ | 208,860 KB | 
| 最終ジャッジ日時 | 2025-01-07 00:41:15 | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 23 | 
ソースコード
#include<bits/stdc++.h>
using namespace std;
using Int = long long;
template<typename T1,typename T2> inline void chmin(T1 &a,T2 b){if(a>b) a=b;}
template<typename T1,typename T2> inline void chmax(T1 &a,T2 b){if(a<b) a=b;}
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_){    
    n=1;
    while(n<n_) n<<=1;
    dat.assign(n<<1,ti);
  }
  void build(const vector<T> &v){
    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){
    dat[k+=n]=x;
    while(k>>=1)
      dat[k]=f(dat[(k<<1)|0],dat[(k<<1)|1]);    
  }
  T query(Int a,Int b){
    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);
  }
};
//INSERT ABOVE HERE
signed main(){
  Int n;
  cin>>n;
  vector<Int> a(n);
  for(Int i=0;i<n;i++) cin>>a[i];
  auto f=[](Int a,Int b){return max(a,b);};
  const Int MAX = 1e5+100;
  vector< SegmentTree<Int> > vs;
  for(Int i=0;i<n;i++){
    vs.emplace_back(f,-MAX);
    vs.back().build(vector<Int>(n,-MAX));
  }
  
  vector<vector<Int> > G(MAX);
  for(Int i=0;i<n;i++) G[a[i]].emplace_back(i);
  Int ans=1;
  for(Int t=MAX-1;t>0;t--){
    if(G[t].empty()) continue;
    vector<vector<Int> > nvs;
    for(Int k:G[t]){
      vector<Int> nv(n,-MAX);
      for(Int i=0;i<k;i++)
        nv[i]=vs[i].query(i,k)+1;
      nv[k]=1;
      
      for(Int i=k+1;i<n;i++)
        nv[i]=vs[i].query(k,i+1)+1;
      chmax(ans,*max_element(nv.begin(),nv.end()));
      nvs.emplace_back(nv);
    }
    
    for(Int i=0;i<(Int)G[t].size();i++)
      vs[G[t][i]].build(nvs[i]);
  }
  cout<<ans<<endl;
  return 0;
}
            
            
            
        
            
beet