結果

問題 No.1095 Smallest Kadomatsu Subsequence
ユーザー ShibuyapShibuyap
提出日時 2020-08-05 04:43:21
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 518 ms / 2,000 ms
コード長 3,061 bytes
コンパイル時間 2,143 ms
コンパイル使用メモリ 208,784 KB
実行使用メモリ 19,996 KB
最終ジャッジ日時 2023-10-13 09:59:03
合計ジャッジ時間 8,813 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,348 KB
testcase_01 AC 2 ms
4,352 KB
testcase_02 AC 2 ms
4,348 KB
testcase_03 AC 2 ms
4,348 KB
testcase_04 AC 2 ms
4,348 KB
testcase_05 AC 2 ms
4,352 KB
testcase_06 AC 2 ms
4,352 KB
testcase_07 AC 2 ms
4,348 KB
testcase_08 AC 2 ms
4,352 KB
testcase_09 AC 2 ms
4,352 KB
testcase_10 AC 2 ms
4,348 KB
testcase_11 AC 2 ms
4,352 KB
testcase_12 AC 2 ms
4,352 KB
testcase_13 AC 16 ms
4,348 KB
testcase_14 AC 17 ms
4,352 KB
testcase_15 AC 16 ms
4,352 KB
testcase_16 AC 17 ms
4,352 KB
testcase_17 AC 17 ms
4,348 KB
testcase_18 AC 16 ms
4,352 KB
testcase_19 AC 16 ms
4,348 KB
testcase_20 AC 16 ms
4,348 KB
testcase_21 AC 16 ms
4,352 KB
testcase_22 AC 17 ms
4,348 KB
testcase_23 AC 518 ms
19,992 KB
testcase_24 AC 513 ms
19,932 KB
testcase_25 AC 504 ms
19,940 KB
testcase_26 AC 516 ms
19,968 KB
testcase_27 AC 512 ms
19,972 KB
testcase_28 AC 341 ms
19,996 KB
testcase_29 AC 335 ms
19,940 KB
testcase_30 AC 416 ms
19,928 KB
testcase_31 AC 422 ms
19,936 KB
testcase_32 AC 422 ms
19,984 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#define rep(i,n) for(int i = 0; i < (n); ++i)
#define rrep(i,n) for(int i = 1; i <= (n); ++i)
#define drep(i,n) for(int i = (n)-1; i >= 0; --i)
#define srep(i,s,t) for (int i = s; i < t; ++i)
using namespace std;
typedef pair<int,int> P;
typedef long long int ll;
#define dame { puts("-1"); return 0;}
#define yn {puts("Yes");}else{puts("No");}

const int MAX_N = 1 << 19;

// セグメント木を持つグローバル配列
int nn, dat[2 * MAX_N - 1];

// 初期化
void init(int n_){
    // n_が小さいときの変な挙動を防ぐ
    if(n_ < 10)n_ = 10;
    // 簡単のため要素数を2のべき乗に
    nn = 1;
    while(nn < n_)nn *= 2;

    // 全ての値をINT_MAXに
    for(int i = 0; i < 2 * nn - 1; i++)dat[i] = INT_MAX;
}

// k番目の値(0-indexed)をaに変更
void update(int k, int a){
    // 葉の接点
    k += nn - 1;
    dat[k] = a;
    // 登りながら更新
    while(k > 0){
        k = (k - 1) / 2;
        dat[k] = min(dat[k * 2 + 1], dat[k * 2 + 2]);
    }
}

// [a,b)の最小値を求める
// 後ろのほうの引数は、計算の簡単のための引数。
// kは節点の番号、l, rはその節点が[l, r)に対応づいていることを表す。
// したがって、外からはquery(a, b, 0, 0, nn)として呼ぶ。
int query(int a, int b, int k, int l, int r){
    // [a, b)と[l, r)が交差しなければ、INT_MAX
    if (r <= a || b <= l)return INT_MAX;

    // [a, b)が[l, r)を完全に含んでいれば、この節点の値
    if (a <= l && r <= b)return dat[k];
    else {
        // そうでなければ、2つの子の最小値
        int vl = query(a, b, k * 2 + 1, l, (l + r) / 2);
        int vr = query(a, b, k * 2 + 2, (l + r) / 2, r);
        return min(vl, vr);
    }
}


int main(){
    int n;
    cin >> n;
    init(n);

    int a[n], b[n];
    map<int,int> mp; 
    rep(i,n){
        cin >> a[i];
        b[i] = a[i];
        mp[a[i]] = i;
    }
    sort(b,b+n);

    int ma = 0;
    int INF = 1001001001;
    int mi = INF;

    rep(i,n){
        int ite = mp[b[i]];
        if(ite != 0 && ite != n-1){
            int l = -query(0,ite,0,0,nn);
            int r = -query(ite+1,nn,0,0,nn);
            if(l>-INF && r>-INF){
                mi = min(mi, l+b[i]+r);
                ma = max(ma, l+b[i]+r);
            } 
        }
        update(ite,-b[i]);
    }

    init(n);
    drep(i,n){
        int ite = mp[b[i]];
        if(ite != 0 && ite != n-1){
            int l = query(0,ite,0,0,nn);
            int r = query(ite+1,nn,0,0,nn);
            if(l<INF && r<INF){
                mi = min(mi, l+b[i]+r);
                ma = max(ma, l+b[i]+r);
            } 
        }
        update(ite,b[i]);
    }

    int mil[n], mir[n];
    mil[0] = INF;
    srep(i,1,n) mil[i] = min(mil[i-1],a[i-1]);
    mir[n-1] = INF;
    drep(i,n-1) mir[i] = min(mir[i+1],a[i+1]);

    srep(i,1,n-1){
        if(mil[i]>a[i]||mir[i]>a[i]) continue;
        mi = min(mi, mil[i]+a[i]+mir[i]);
    }

    if(mi == INF) mi = -1;
    cout << mi << endl;
    return 0;
}
0