結果

問題 No.802 だいたい等差数列
ユーザー pekempeypekempey
提出日時 2019-03-17 22:24:21
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
RE  
実行時間 -
コード長 1,621 bytes
コンパイル時間 1,621 ms
コンパイル使用メモリ 93,400 KB
実行使用メモリ 18,944 KB
最終ジャッジ日時 2024-07-08 00:12:21
合計ジャッジ時間 4,106 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 18 ms
15,240 KB
testcase_01 AC 19 ms
15,104 KB
testcase_02 AC 18 ms
15,360 KB
testcase_03 AC 18 ms
15,104 KB
testcase_04 AC 18 ms
15,164 KB
testcase_05 AC 18 ms
15,232 KB
testcase_06 AC 17 ms
15,360 KB
testcase_07 AC 17 ms
15,232 KB
testcase_08 AC 17 ms
15,232 KB
testcase_09 AC 17 ms
15,104 KB
testcase_10 RE -
testcase_11 RE -
testcase_12 AC 23 ms
16,128 KB
testcase_13 RE -
testcase_14 AC 26 ms
17,280 KB
testcase_15 AC 22 ms
16,392 KB
testcase_16 AC 24 ms
17,408 KB
testcase_17 AC 18 ms
15,360 KB
testcase_18 AC 17 ms
15,360 KB
testcase_19 AC 23 ms
16,512 KB
testcase_20 AC 27 ms
17,664 KB
testcase_21 RE -
testcase_22 RE -
testcase_23 AC 22 ms
15,360 KB
testcase_24 AC 19 ms
15,232 KB
testcase_25 AC 19 ms
15,172 KB
testcase_26 AC 17 ms
15,232 KB
testcase_27 AC 18 ms
15,128 KB
testcase_28 AC 20 ms
16,128 KB
testcase_29 RE -
testcase_30 AC 19 ms
15,232 KB
testcase_31 AC 16 ms
15,104 KB
testcase_32 AC 17 ms
15,232 KB
testcase_33 AC 22 ms
16,640 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <algorithm>
#include <vector>
#include <complex>
#include <cmath>
#include <random>
#include <cassert>

using namespace std;

const int MOD = 1e9 + 7;
 
struct mint {
  int n;
  mint(int n_ = 0) : n(n_) {}
};
 
mint operator-(mint a) { return a.n == 0 ? 0 : MOD - a.n; }
mint operator+(mint a, mint b) { return (a.n += b.n) >= MOD ? a.n - MOD : a.n; }
mint operator-(mint a, mint b) { return (a.n -= b.n) < 0 ? a.n + MOD : a.n; }
mint operator*(mint a, mint b) { return 1LL * a.n * b.n % MOD; }
mint &operator+=(mint &a, mint b) { return a = a + b; }
mint &operator-=(mint &a, mint b) { return a = a - b; }
mint &operator*=(mint &a, mint b) { return a = a * b; }

mint F[1000001] = {1, 1};
mint R[1000001] = {1, 1};
mint I[1000001] = {0, 1};

mint C(int n, int r) {
  if (n < 0 || r < 0 || n < r) return 0;
  return F[n] * R[n - r] * R[r];
}

mint H(int n, int r) {
  if (n == 0 && r == 0) return 1;
  return C(n + r - 1, r);
}

void init() {
  for (int i = 2; i <= 1000000; i++) {
    I[i] = I[MOD % i] * (MOD - MOD / i);
    F[i] = F[i - 1] * i;
    R[i] = R[i - 1] * I[i];
  }
}

int main() {
  init();
  long long N, M, D1, D2;
  cin >> N >> M >> D1 >> D2;
  long long D = D2 - D1 + 1;
  if (1 + D1 * (N - 1) > M) {
    cout << 0 << endl;
    return 0;
  }
  M -= 1 + D1 * (N - 1);
  // (1-x^D)^{N-1} / (1-x)^{N+1}
  vector<mint> X(M + 1);
  for (int i = 0; i * D <= M; i++) {
    if (i % 2 == 0) {
      X[i * D] += C(N - 1, i);
    } else {
      X[i * D] -= C(N - 1, i);
    }
  }
  mint F;
  for (int i = 0; i <= M; i++) {
    F += X[i] * H(N + 1, M - i);
  }
  cout << F.n << endl;
}
0