結果
| 問題 | No.711 競技レーティング単調増加 | 
| コンテスト | |
| ユーザー |  しらっ亭 | 
| 提出日時 | 2017-05-23 00:47:53 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 36 ms / 2,000 ms | 
| コード長 | 896 bytes | 
| コンパイル時間 | 1,609 ms | 
| コンパイル使用メモリ | 169,700 KB | 
| 実行使用メモリ | 6,948 KB | 
| 最終ジャッジ日時 | 2024-09-19 10:29:37 | 
| 合計ジャッジ時間 | 5,037 ms | 
| ジャッジサーバーID (参考情報) | judge5 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 41 | 
ソースコード
// O(n log n) の想定解
#include <bits/stdc++.h>
using namespace std;
int solve() {
  int n;
  cin >> n;
  vector<int> A(n);
  for (int i = 0; i < n; i++) cin >> A[i];
  const int inf = 1e9+7;
  vector<int> dp(n+1, inf);
  dp[0] = 0;
  int inc = 0;
  for (int i = 0; i < n; i++) {
    int a = A[i];
    // インクリメントする前の配列で、j+1 を二分探索する
    int lo = -1;  // ok
    int hi = i + 1;
    while (hi - lo > 1) {
      int mid = (hi + lo) >> 1;
      if (dp[mid] + inc < a) lo = mid;
      else hi = mid;
    }
    inc++;  // インクリメント回数
    // 実際の置き換え
    if (lo >= 0) {
      dp[lo + 1] = a - inc;
    }
  }
  for (int j = n; j >= 0; j--) {
    if (dp[j] < inf) {
      return n - j;
    }
  }
  assert(false);
}
int main() {
  cin.tie(nullptr); ios::sync_with_stdio(false);
  cout << solve() << endl;
  return 0;
}
            
            
            
        