結果
問題 | No.616 へんなソート |
ユーザー | ikd |
提出日時 | 2017-12-16 12:58:22 |
言語 | D (dmd 2.109.1) |
結果 |
WA
|
実行時間 | - |
コード長 | 821 bytes |
コンパイル時間 | 695 ms |
コンパイル使用メモリ | 101,284 KB |
実行使用メモリ | 109,068 KB |
最終ジャッジ日時 | 2024-06-12 23:10:08 |
合計ジャッジ時間 | 1,839 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
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) assert(rec[i][j]>=rec[i-1][j-i]), 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(); }