結果

問題 No.940 ワープ　ε=ε=ε=ε=ε=│;p>д＜│
ユーザー pekempeypekempey
提出日時 2019-12-03 15:28:55
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 418 ms / 5,000 ms
コード長 3,225 bytes
コンパイル時間 1,707 ms
コンパイル使用メモリ 170,612 KB
実行使用メモリ 62,492 KB
最終ジャッジ日時 2023-08-19 01:06:46
合計ジャッジ時間 12,878 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 351 ms
52,772 KB
testcase_01 AC 345 ms
53,104 KB
testcase_02 AC 352 ms
52,856 KB
testcase_03 AC 346 ms
52,888 KB
testcase_04 AC 345 ms
53,068 KB
testcase_05 AC 337 ms
53,144 KB
testcase_06 AC 326 ms
53,212 KB
testcase_07 AC 334 ms
52,208 KB
testcase_08 AC 326 ms
53,276 KB
testcase_09 AC 333 ms
52,724 KB
testcase_10 AC 343 ms
55,780 KB
testcase_11 AC 345 ms
53,960 KB
testcase_12 AC 352 ms
52,560 KB
testcase_13 AC 350 ms
54,592 KB
testcase_14 AC 351 ms
52,760 KB
testcase_15 AC 349 ms
53,300 KB
testcase_16 AC 341 ms
53,768 KB
testcase_17 AC 374 ms
58,468 KB
testcase_18 AC 376 ms
59,188 KB
testcase_19 AC 381 ms
58,428 KB
testcase_20 AC 398 ms
62,492 KB
testcase_21 AC 356 ms
59,172 KB
testcase_22 AC 399 ms
61,448 KB
testcase_23 AC 346 ms
56,492 KB
testcase_24 AC 385 ms
59,892 KB
testcase_25 AC 399 ms
60,720 KB
testcase_26 AC 418 ms
61,868 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

using namespace std;
using ll = long long;
 
#define rep(i, n)      for (int i = 0; i < (n); i++)
#define repr(i, n)     for (int i = (n) - 1; i >= 0; i--)
#define repe(i, l, r)  for (int i = (l); i < (r); i++)
#define reper(i, l, r) for (int i = (r) - 1; i >= (l); i--)
#define repi(i, l, r)  for (int i = (l); i <= (r); i++)
#define repir(i, l, r) for (int i = (r); i >= (l); i--)
#define range(a) a.begin(), a.end()
void initio() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(15); }

constexpr int MOD = 1000000007;

class mint {
  int n;
public:
  mint(int n_ = 0) : n(n_) {}
  explicit operator int() { return n; }
  friend mint operator-(mint a) { return -a.n + MOD * (a.n != 0); }
  friend mint operator+(mint a, mint b) { int x = a.n + b.n; return x - (x >= MOD) * MOD; }
  friend mint operator-(mint a, mint b) { int x = a.n - b.n; return x + (x < 0) * MOD; }
  friend mint operator*(mint a, mint b) { return (long long)a.n * b.n % MOD; }
  friend mint &operator+=(mint &a, mint b) { return a = a + b; }
  friend mint &operator-=(mint &a, mint b) { return a = a - b; }
  friend mint &operator*=(mint &a, mint b) { return a = a * b; }
  friend bool operator==(mint a, mint b) { return a.n == b.n; }
  friend bool operator!=(mint a, mint b) { return a.n != b.n; }
  friend istream &operator>>(istream &i, mint &a) { return i >> a.n; }
  friend ostream &operator<<(ostream &o, mint a) { return o << a.n; }
};

vector<mint> F_{1, 1}, R_{1, 1}, I_{0, 1};

void check_fact(int n) {
  for (int i = I_.size(); i <= n; i++) {
    I_.push_back(I_[MOD % i] * (MOD - MOD / i));
    F_.push_back(F_[i - 1] * i);
    R_.push_back(R_[i - 1] * I_[i]);
  }
}

mint I(int n) { check_fact(n); return n < 0 ? 0 : I_[n]; }
mint F(int n) { check_fact(n); return n < 0 ? 0 : F_[n]; }
mint R(int n) { check_fact(n); return n < 0 ? 0 : R_[n]; }
mint C(int n, int r) { return F(n) * R(n - r) * R(r); }
mint RC(int n, int r) { return R(n) * F(n - r) * F(r); }
mint P(int n, int r) { return F(n) * R(n - r); }
mint H(int n, int r) { return n == 0 ? (r == 0) : C(n + r - 1, r); }

mint alt(int n) {
  return n % 2 == 0 ? 1 : MOD - 1;
}

// https://yukicoder.me/submissions/404203 の解説が冗長だったので修正。コードは変わらない。
// 
// f = 1/(1-x)(1-y)(1-z) と置く。
// 十分おおきな M をとると求めたい値は
// [x^X y^Y z^Z] \sum_{k=0}^{M-1} (f-1)^k
// となる。これを f の多項式だと思って高速に展開したい。
// 
// 等比数列の和の公式より
// \sum_{k=0}^{M-1} (f-1)^k
// = ((f-1)^M - 1)/((f-1)-1)
// である。二項定理より分母は O(M) で展開できる。また分母を一次式で割るのも O(M) でできる。よって全体で O(M) で展開できる。
// 
// [x^X y^Y z^Z] f^i = H(i,X) H(i,Y) H(i,Z)
// なので解けた。

int main() {
  int X, Y, Z; cin >> X >> Y >> Z;
  const int M = 3000000;
  vector<mint> f(M + 2);
  for (int i = 0; i <= M; i++) {
    f[i] = C(M, i) * alt(M - i);
  }
  f[0] -= 1;
  for (int i = 0; i <= M - 1; i++) {
    f[i] *= -I(2);
    f[i + 1] -= f[i];
  }
  mint ans;
  rep(i, M) {
    ans += H(i, X) * H(i, Y) * H(i, Z) * f[i];
  }
  cout << ans << endl;
}
0