結果

問題 No.802 だいたい等差数列
ユーザー fumiphysfumiphys
提出日時 2019-03-19 23:13:43
言語 C++14
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 35 ms / 2,000 ms
コード長 2,285 bytes
コンパイル時間 1,003 ms
コンパイル使用メモリ 109,740 KB
実行使用メモリ 34,896 KB
最終ジャッジ日時 2023-10-12 14:20:00
合計ジャッジ時間 3,672 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge12
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 29 ms
34,672 KB
testcase_01 AC 30 ms
34,672 KB
testcase_02 AC 29 ms
34,776 KB
testcase_03 AC 30 ms
34,896 KB
testcase_04 AC 29 ms
34,664 KB
testcase_05 AC 31 ms
34,772 KB
testcase_06 AC 30 ms
34,620 KB
testcase_07 AC 30 ms
34,672 KB
testcase_08 AC 30 ms
34,716 KB
testcase_09 AC 29 ms
34,788 KB
testcase_10 AC 30 ms
34,664 KB
testcase_11 AC 30 ms
34,880 KB
testcase_12 AC 30 ms
34,604 KB
testcase_13 AC 29 ms
34,604 KB
testcase_14 AC 31 ms
34,732 KB
testcase_15 AC 30 ms
34,652 KB
testcase_16 AC 30 ms
34,612 KB
testcase_17 AC 30 ms
34,664 KB
testcase_18 AC 31 ms
34,612 KB
testcase_19 AC 31 ms
34,664 KB
testcase_20 AC 35 ms
34,628 KB
testcase_21 AC 34 ms
34,672 KB
testcase_22 AC 30 ms
34,676 KB
testcase_23 AC 32 ms
34,616 KB
testcase_24 AC 30 ms
34,788 KB
testcase_25 AC 30 ms
34,664 KB
testcase_26 AC 30 ms
34,720 KB
testcase_27 AC 30 ms
34,664 KB
testcase_28 AC 32 ms
34,720 KB
testcase_29 AC 34 ms
34,656 KB
testcase_30 AC 30 ms
34,604 KB
testcase_31 AC 30 ms
34,628 KB
testcase_32 AC 30 ms
34,660 KB
testcase_33 AC 30 ms
34,656 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

// includes
#include <cstdio>
#include <cstdint>
#include <iostream>
#include <iomanip>
#include <string>
#include <queue>
#include <stack>
#include <vector>
#include <set>
#include <map>
#include <unordered_map>
#include <algorithm>
#include <utility>
#include <functional>
#include <cmath>
#include <climits>
#include <bitset>
#include <list>
#include <random>

// macros
#define ll long long int
#define pb emplace_back
#define mk make_pair
#define pq priority_queue
#define FOR(i, a, b) for(int i=(a);i<(b);++i)
#define rep(i, n) FOR(i, 0, n)
#define rrep(i, n) for(int i=((int)(n)-1);i>=0;i--)
#define all(x) (x).begin(),(x).end()
#define sz(x) ((int)(x).size())
#define UNIQUE(v) v.erase(unique(v.begin(), v.end()), v.end())

using namespace std;

//  types
typedef pair<int, int> P;
typedef pair<ll, int> Pl;
typedef pair<ll, ll> Pll;
typedef pair<double, double> Pd;
 
// constants
const int inf = 1e9;
const ll linf = 1LL << 50;
const double EPS = 1e-10;
const int mod = 1e9 + 7;

// solve
template <class T>bool chmax(T &a, const T &b){if(a < b){a = b; return 1;} return 0;}
template <class T>bool chmin(T &a, const T &b){if(a > b){a = b; return 1;} return 0;}

ll fac[2000001], inv[2000001];
template <typename T>
T power(T a, T n, T mod) {
  T res = 1;
  T tmp = n;
  T curr = a;
  while(tmp){
    if(tmp % 2 == 1){
      res = (T)((ll)res * curr % mod);
    }
    curr = (T)((ll)curr * curr % mod);
    tmp >>= 1;
  }
  return res;
}

ll comb(ll n, ll k){
  ll res = 1;
  res = res * fac[n] % mod;
  res = res * inv[k] % mod;
  res = res * inv[n-k] % mod;
  return res;
}

ll h(ll n, ll k){
  return comb(n + k - 1, n);
}

int main(int argc, char const* argv[])
{
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  ll n, m, d1, d2;
  cin >> n >> m >> d1 >> d2;
  fac[0] = 1;
  for(int i = 1; i < 2000001; i++)fac[i] = i * fac[i-1] % mod;
  inv[2000000] = power<ll>(fac[2000000], mod - 2, mod);
  for(int i = 1999999; i >= 0; i--)inv[i] = (i + 1) * inv[i+1] % mod;
  ll res = 0;
  for(int p = 0; p < n; p++){
    ll M = m - (n - 1) * d1 - 1 - p * (d2 - d1 + 1);
    if(M < 0)continue;
    ll tmp = comb(n - 1, p) * h(M, n + 1);
    if(p % 2 == 0)res = (res + tmp) % mod;
    else res = (res - tmp) % mod;
    if(res < 0)res += mod;
  }
  cout << res << endl;
	return 0;
}
0