結果

問題 No.391 CODING WAR
ユーザー kusaf_kusaf_
提出日時 2024-10-03 14:34:54
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 20 ms / 2,000 ms
コード長 3,013 bytes
コンパイル時間 3,525 ms
コンパイル使用メモリ 251,444 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-10-03 14:34:59
合計ジャッジ時間 4,334 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
6,820 KB
testcase_01 AC 3 ms
6,820 KB
testcase_02 AC 4 ms
6,820 KB
testcase_03 AC 4 ms
6,820 KB
testcase_04 AC 4 ms
6,816 KB
testcase_05 AC 3 ms
6,816 KB
testcase_06 AC 3 ms
6,820 KB
testcase_07 AC 3 ms
6,820 KB
testcase_08 AC 3 ms
6,816 KB
testcase_09 AC 20 ms
6,820 KB
testcase_10 AC 19 ms
6,820 KB
testcase_11 AC 3 ms
6,816 KB
testcase_12 AC 3 ms
6,816 KB
testcase_13 AC 17 ms
6,820 KB
testcase_14 AC 17 ms
6,816 KB
testcase_15 AC 17 ms
6,816 KB
testcase_16 AC 11 ms
6,820 KB
testcase_17 AC 13 ms
6,816 KB
testcase_18 AC 11 ms
6,816 KB
testcase_19 AC 11 ms
6,820 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/modint>
using namespace std;
using namespace atcoder;
using ll = long long;
using mint = modint1000000007;

struct Bimomial {
 private:
  void extend(int m) {
    int n = fac.size();
    m = min(m, mint::mod() - 1);
    if(n > m) { return; }
    fac.resize(m + 1);
    finv.resize(m + 1);
    inv.resize(m + 1);
    for(int i = n; i <= m; i++) { fac[i] = fac[i - 1] * i; }
    finv[m] = fac[m].inv();
    for(int i = m - 1; i >= n; i--) { finv[i] = finv[i + 1] * (i + 1); }
    for(int i = n; i <= m; i++) { inv[i] = finv[i] * fac[i - 1]; }
  }

 public:
  vector<mint> fac, finv, inv;
  Bimomial(int n = 0): fac(1, 1), finv(1, 1), inv(1, 1) { extend(n); }
  mint operator()(int n) {
    extend(abs(n));
    return n >= 0 ? fac[n] : finv[-n];
  }
  mint operator[](int n) {
    extend(abs(n));
    return n >= 0 ? inv[n] : -inv[-n];
  }
  mint C(int n, int k) {
    if(n < 0 || k < 0 || n < k) { return 0; }
    extend(n);
    return fac[n] * finv[n - k] * finv[k];
  }
  inline mint operator()(int n, int k) { return C(n, k); }
  mint C_(ll n, ll k) {
    if(n < 0 || k < 0 || n < k) { return 0; }
    k = min(k, n - k);
    extend(k);
    mint r = 1;
    for(ll i = 0; i < k; i++) { r *= n - i; }
    return r * finv[k];
  }
  mint P(int n, int k) {
    if(n < 0 || k < 0 || n < k) { return 0; }
    extend(n);
    return fac[n] * finv[n - k];
  }
  mint P_(ll n, ll k) {
    if(n < 0 || k < 0 || n < k) { return 0; }
    k = min(k, n - k);
    mint r = 1;
    for(ll i = 0; i < k; i++) { r *= n - i; }
    return r;
  }
  mint H(int n, int k) {
    if(n < 0 || k < 0) { return 0; }
    if(n == 0 && k == 0) { return 1; }
    return C(n + k - 1, k);
  }
  mint multi(const vector<ll> &v) {
    int n = 0;
    for(auto &i : v) {
      if(i < 0) { return 0; }
      n += i;
    }
    extend(n);
    mint r = fac[n];
    for(auto &i : v) { r *= finv[i]; }
    return r;
  }
  mint operator()(const vector<ll> &v) { return multi(v); }
  mint Catalan(int n) {
    if(n < 0) { return 0; }
    extend(n * 2);
    return fac[n * 2] * finv[n] * finv[n + 1];
  }
  mint Bell(int n, int k) {
    if(n < 0 || k < 0) { return 0; }
    if(n == 0) { return 1; }
    k = min(n, k);
    extend(k);
    mint r = 0;
    vector<mint> v(k + 1);
    v[0] = 1;
    for(ll i = 1; i <= k; i++) { v[i] = v[i - 1] + (i & 1 ? -finv[i] : finv[i]); }
    for(ll i = 1; i <= k; i++) { r += (mint(i).pow(n)) * finv[i] * v[k - i]; }
    return r;
  }
  mint Stirling(ll n, ll k) {
    if(n < 0 || k < 0 || n < k) { return 0; }
    mint r = 0;
    for(ll i = 0; i <= k; i++) {
      mint t = C(k, i) * (mint(i).pow(n));
      r += (k - i) & 1 ? -t : t;
    }
    return r * finv[k];
  }
} C(1e5);

int main() {
  ios::sync_with_stdio(false);
  cin.tie(nullptr);

  ll N, M;
  cin >> N >> M;

  if(N < M) {
    cout << 0 << "\n";
    return 0;
  }

  mint ans = 0;
  for(ll i = 0; i <= M; i++) {
    mint t = C(M, i) * mint(M - i).pow(N);
    ans += (i & 1 ? -t : t);
  }

  cout << ans.val() << "\n";
}
0