結果
| 問題 | No.616 へんなソート | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2017-12-16 06:58:48 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 76 ms / 2,000 ms | 
| コード長 | 707 bytes | 
| コンパイル時間 | 892 ms | 
| コンパイル使用メモリ | 74,196 KB | 
| 実行使用メモリ | 6,820 KB | 
| 最終ジャッジ日時 | 2024-12-14 17:25:09 | 
| 合計ジャッジ時間 | 1,997 ms | 
| ジャッジサーバーID (参考情報) | judge2 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 27 | 
ソースコード
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
const long long mod = 1e9 + 7;
void to(long long &x, long long y) {
  x += y;
  if (x >= mod) x -= mod;
}
int main() {
  int n, K;
  cin >> n >> K;
  vector<long long> dp0(K + 2);
  dp0[0] = 1;
  for (int i = 0; i < n; i++) {
    vector<long long> dp1(K + 2);
    for (int j = 0; j <= K; j++) {
      // k = 0 .. min(i, K - j)
      
      to(dp1[j], dp0[j]);
      to(dp1[j + min(i, K - j) + 1], mod - dp0[j]);
    }
    for (int i = 0; i <= K; i++) {
      to(dp1[i + 1], dp1[i]);
    }
    dp0 = dp1;
  }
  long long ans = 0;
  for (int i = 0; i <= K; i++) {
    (ans += dp0[i]) %= mod;
  }
  cout << ans << endl;
}
            
            
            
        