結果
| 問題 | No.711 競技レーティング単調増加 | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2018-06-29 23:39:57 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 91 ms / 2,000 ms | 
| コード長 | 2,966 bytes | 
| コンパイル時間 | 1,902 ms | 
| コンパイル使用メモリ | 180,144 KB | 
| 実行使用メモリ | 7,672 KB | 
| 最終ジャッジ日時 | 2024-07-01 00:22:29 | 
| 合計ジャッジ時間 | 5,268 ms | 
| ジャッジサーバーID (参考情報) | judge5 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 41 | 
ソースコード
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
const int INF = 1145141919;
template <typename T>
struct SegmentTree {
    int n;
    vector<T> data;
    T INITIAL_VALUE;
    //使うときは、この2つを適宜変更する
    static T merge(T x, T y);
    void updateNode(int k, T x);
    SegmentTree(int size, T initial_value) {
        n = 1;
        INITIAL_VALUE = initial_value;
        while (n < size) n *= 2;
        data.resize(2 * n - 1, INITIAL_VALUE);
    }
    T getLeaf(int k) {
        return data[k + n - 1];
    }
    void update(int k, T x) {
        k += n - 1; //葉の節点
        updateNode(k, x);
        while (k > 0) {
            k = (k - 1) / 2;
            data[k] = merge(data[k * 2 + 1], data[k * 2 + 2]);
        }
    }
    //区間[a, b)に対するクエリに答える
    //k:節点番号, [l, r):節点に対応する区間
    T query(int a, int b, int k, int l, int r) {
        //[a, b)と[l, r)が交差しない場合
        if (r <= a || b <= l) return INITIAL_VALUE;
        //[a, b)が[l, r)を含む場合、節点の値
        if (a <= l && r <= b) return data[k];
        else {
            //二つの子をマージ
            T vl = query(a, b, k * 2 + 1, l, (l + r) / 2);
            T vr = query(a, b, k * 2 + 2, (l + r) / 2, r);
            return merge(vl, vr);
        }
    }
    //外から呼ぶ用
    T query(int a, int b) {
        return query(a, b, 0, 0, n);
    }
};
//使うときは以下2つを変更
template <typename T>
T SegmentTree<T>::merge(T x, T y) {
    return min(x, y);
}
template <typename T>
void SegmentTree<T>::updateNode(int k, T x) {
    data[k] = x;
}
int main() {
    cin.tie(0);
    ios::sync_with_stdio(false);
    int n;
    cin >> n;
    vector<int> a(n), idx(n);
    for (int i = 0; i < n; i++) {
        cin >> a[i];
        idx[i] = i;
    }
    a.push_back(INF);
    idx.push_back(n);
    auto comp = [&](const int i1, const int i2){
        if (a[i1] - i1 != a[i2] - i2) {
            return (a[i1] - i1) < (a[i2] - i2);
        }
        return i1 < i2;
    };
    sort(idx.begin(), idx.end(), comp);
    SegmentTree<int> dp(n + 1, INF);
    
    vector<int> ans(n + 1, INF);
    queue<int> q;
    for (int i : idx) {
        if (a[i] > i) ans[i] = 0;
        while (!q.empty()) {
            int j = q.front();
            if (a[i] - a[j] >= i - j) {
                dp.update(j, ans[j]);
                q.pop();
            } else {
                break;
            }
        }
        int x = dp.query(0, i) - 1;
        ans[i] = min(ans[i], x);
        q.push(i);
    }
    cout << ans[n] + n << endl;
    /*
    vector<int> dp(n + 1, INF);
    for (int i = 0; i <= n; i++) {
        if (a[i] > i) dp[i] = i;
        for (int j = 0; j < i; j++) {
            if (a[i] - a[j] >= i - j) {
                dp[i] = min(dp[i], dp[j] + i - j - 1);
            }
        }
    }
    cout << dp[n] << endl;*/
    return 0;
}
            
            
            
        