結果
| 問題 | No.616 へんなソート | 
| コンテスト | |
| ユーザー |  ikd | 
| 提出日時 | 2017-12-16 13:01:51 | 
| 言語 | D (dmd 2.109.1) | 
| 結果 | 
                                RE
                                 
                             | 
| 実行時間 | - | 
| コード長 | 832 bytes | 
| コンパイル時間 | 656 ms | 
| コンパイル使用メモリ | 100,836 KB | 
| 実行使用メモリ | 108,588 KB | 
| 最終ジャッジ日時 | 2024-06-12 23:10:18 | 
| 合計ジャッジ時間 | 4,686 ms | 
| ジャッジサーバーID (参考情報) | judge4 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 6 RE * 21 | 
ソースコード
void main(){
  import std.stdio, std.string, std.conv, std.algorithm;
  int n, k; rd(n, k);
  auto a=readln.split.to!(int[]);
  const long mod=1_000_000_000+7;
  auto rec=new long[][](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){
      if(rec[i][j]<rec[i-1][j-i]) assert(false);
      rec[i][j]-=rec[i-1][j-i];
      rec[i][j]%=mod;
    }
  }
  writeln(reduce!((r, e)=>(r+e)%mod)(0L, 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();
}
            
            
            
        