結果

問題 No.802 だいたい等差数列
ユーザー pekempeypekempey
提出日時 2019-03-17 22:24:41
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 59 ms / 2,000 ms
コード長 1,621 bytes
コンパイル時間 856 ms
コンパイル使用メモリ 93,032 KB
実行使用メモリ 30,320 KB
最終ジャッジ日時 2023-09-22 07:44:04
合計ジャッジ時間 3,737 ms
ジャッジサーバーID
(参考情報)
judge12 / judge11
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 45 ms
26,804 KB
testcase_01 AC 43 ms
26,748 KB
testcase_02 AC 44 ms
26,788 KB
testcase_03 AC 44 ms
26,808 KB
testcase_04 AC 44 ms
26,812 KB
testcase_05 AC 45 ms
26,860 KB
testcase_06 AC 45 ms
26,752 KB
testcase_07 AC 45 ms
26,844 KB
testcase_08 AC 44 ms
26,788 KB
testcase_09 AC 44 ms
26,788 KB
testcase_10 AC 55 ms
30,008 KB
testcase_11 AC 54 ms
30,272 KB
testcase_12 AC 46 ms
27,692 KB
testcase_13 AC 53 ms
30,320 KB
testcase_14 AC 51 ms
28,748 KB
testcase_15 AC 51 ms
27,984 KB
testcase_16 AC 52 ms
28,968 KB
testcase_17 AC 44 ms
26,940 KB
testcase_18 AC 44 ms
27,080 KB
testcase_19 AC 49 ms
27,908 KB
testcase_20 AC 54 ms
29,228 KB
testcase_21 AC 58 ms
30,292 KB
testcase_22 AC 58 ms
30,228 KB
testcase_23 AC 47 ms
27,024 KB
testcase_24 AC 43 ms
26,804 KB
testcase_25 AC 43 ms
26,892 KB
testcase_26 AC 43 ms
26,804 KB
testcase_27 AC 43 ms
26,784 KB
testcase_28 AC 49 ms
27,660 KB
testcase_29 AC 59 ms
30,292 KB
testcase_30 AC 42 ms
26,780 KB
testcase_31 AC 45 ms
26,792 KB
testcase_32 AC 43 ms
26,804 KB
testcase_33 AC 50 ms
27,964 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[2000001] = {1, 1};
mint R[2000001] = {1, 1};
mint I[2000001] = {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 <= 2000000; 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