結果
| 問題 | No.711 競技レーティング単調増加 | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2018-07-03 15:24:55 | 
| 言語 | D (dmd 2.109.1) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 43 ms / 2,000 ms | 
| コード長 | 735 bytes | 
| コンパイル時間 | 1,037 ms | 
| コンパイル使用メモリ | 106,684 KB | 
| 実行使用メモリ | 6,912 KB | 
| 最終ジャッジ日時 | 2024-06-13 01:18:07 | 
| 合計ジャッジ時間 | 3,330 ms | 
| ジャッジサーバーID (参考情報) | judge1 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 41 | 
ソースコード
import std.algorithm, std.container, std.conv, std.math, std.range, std.typecons, std.stdio, std.string;
auto rdsp(){return readln.splitter;}
void pick(R,T)(ref R r,ref T t){t=r.front.to!T;r.popFront;}
void readV(T...)(ref T t){auto r=rdsp;foreach(ref v;t)pick(r,v);}
void readA(T)(size_t n,ref T[]t){t=new T[](n);auto r=rdsp;foreach(ref v;t)pick(r,v);}
const inf = 10^^9+1;
void main()
{
  int n; readV(n);
  int[] a; readA(n, a);
  foreach (i; 0..n) a[i] -= i;
  auto b = a.filter!"a>0".array;
  auto m = b.length.to!int;
  auto dp = new int[](m);
  dp[] = inf;
  foreach (i; 0..m) {
    auto bs = dp.assumeSorted.lowerBound(b[i]+1);
    dp[bs.length] = b[i];
  }
  writeln(n-dp.assumeSorted.lowerBound(inf).length.to!int);
}
            
            
            
        