結果
問題 |
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); }