結果

問題 No.616 へんなソート
ユーザー ikdikd
提出日時 2017-12-17 09:53:47
言語 D
(dmd 2.109.1)
結果
RE  
実行時間 -
コード長 826 bytes
コンパイル時間 696 ms
コンパイル使用メモリ 100,276 KB
実行使用メモリ 57,280 KB
最終ジャッジ日時 2024-06-12 23:10:37
合計ジャッジ時間 1,569 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 6 RE * 21
権限があれば一括ダウンロードができます

ソースコード

diff # 

void main(){
  import std.stdio, std.string, std.conv, std.algorithm;
  import std.exception;

  int n, k; rd(n, k);
  auto a=readln.split.to!(int[]);

  const int mod=1_000_000_000+7;

  auto rec=new int[][](n+1, k+1);
  for(int i=1; i<=n; i++) rec[i][0]=1;
  for(int i=2; i<=n; i++)for(int j=1; j<=k && j<=i*(i-1)/2; j++){
    (rec[i][j]+=rec[i-1][j])%=mod;
    (rec[i][j]+=rec[i][j-1])%=mod;
    if(j-i>=0){
      enforce(rec[i][j]>=rec[i-1][j-i]);
      (rec[i][j]-=rec[i-1][j-i])%=mod;
    }
  }

  writeln(reduce!((r, e)=>(r+e)%mod)(rec[n]));
}
void rd(T...)(ref T x){
  import std.stdio, std.string, std.conv;
  auto l=readln.split;
  assert(l.length==x.length);
  foreach(i, ref e; x){
    e=l[i].to!(typeof(e));
  }
}
void wr(T...)(T x){
  import std.stdio;
  foreach(e; x) stderr.write(e, " ");
  stderr.writeln();
}
0