結果
| 問題 | No.616 へんなソート | 
| コンテスト | |
| ユーザー |  ikd | 
| 提出日時 | 2017-12-16 12:56:19 | 
| 言語 | D (dmd 2.109.1) | 
| 結果 | 
                                WA
                                 
                             | 
| 実行時間 | - | 
| コード長 | 814 bytes | 
| コンパイル時間 | 816 ms | 
| コンパイル使用メモリ | 102,556 KB | 
| 実行使用メモリ | 110,256 KB | 
| 最終ジャッジ日時 | 2024-06-12 23:10:02 | 
| 合計ジャッジ時間 | 1,856 ms | 
| ジャッジサーバーID (参考情報) | judge1 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 17 WA * 10 | 
ソースコード
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)
      rec[i][j]-=rec[i-1][j-i],
      assert(rec[i][j]>=0),
      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();
}
            
            
            
        