結果
問題 | No.1757 Many Many Cards |
ユーザー | Ricky_pon |
提出日時 | 2022-03-19 10:00:57 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 59 ms / 2,000 ms |
コード長 | 2,609 bytes |
コンパイル時間 | 2,489 ms |
コンパイル使用メモリ | 208,272 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-10-04 03:40:17 |
合計ジャッジ時間 | 4,269 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,816 KB |
testcase_01 | AC | 2 ms
6,816 KB |
testcase_02 | AC | 2 ms
6,816 KB |
testcase_03 | AC | 2 ms
6,820 KB |
testcase_04 | AC | 2 ms
6,820 KB |
testcase_05 | AC | 2 ms
6,820 KB |
testcase_06 | AC | 2 ms
6,816 KB |
testcase_07 | AC | 2 ms
6,820 KB |
testcase_08 | AC | 2 ms
6,820 KB |
testcase_09 | AC | 2 ms
6,816 KB |
testcase_10 | AC | 2 ms
6,820 KB |
testcase_11 | AC | 2 ms
6,816 KB |
testcase_12 | AC | 2 ms
6,816 KB |
testcase_13 | AC | 2 ms
6,820 KB |
testcase_14 | AC | 2 ms
6,820 KB |
testcase_15 | AC | 2 ms
6,816 KB |
testcase_16 | AC | 2 ms
6,820 KB |
testcase_17 | AC | 2 ms
6,820 KB |
testcase_18 | AC | 2 ms
6,816 KB |
testcase_19 | AC | 2 ms
6,816 KB |
testcase_20 | AC | 2 ms
6,816 KB |
testcase_21 | AC | 12 ms
6,820 KB |
testcase_22 | AC | 40 ms
6,820 KB |
testcase_23 | AC | 43 ms
6,820 KB |
testcase_24 | AC | 26 ms
6,820 KB |
testcase_25 | AC | 35 ms
6,820 KB |
testcase_26 | AC | 4 ms
6,820 KB |
testcase_27 | AC | 15 ms
6,820 KB |
testcase_28 | AC | 45 ms
6,820 KB |
testcase_29 | AC | 34 ms
6,820 KB |
testcase_30 | AC | 5 ms
6,816 KB |
testcase_31 | AC | 4 ms
6,820 KB |
testcase_32 | AC | 21 ms
6,816 KB |
testcase_33 | AC | 12 ms
6,820 KB |
testcase_34 | AC | 11 ms
6,820 KB |
testcase_35 | AC | 13 ms
6,816 KB |
testcase_36 | AC | 59 ms
6,816 KB |
testcase_37 | AC | 59 ms
6,820 KB |
testcase_38 | AC | 2 ms
6,820 KB |
ソースコード
#include <bits/stdc++.h> #include <atcoder/modint> #include <vector> template <class T> struct Factorial { int n; std::vector<T> fact; std::vector<T> revfact; Factorial(int n) : n(n) { fact.resize(n + 1); revfact.resize(n + 1); fact[0] = 1; for (int i = 0; i < n; ++i) fact[i + 1] = fact[i] * (i + 1); revfact[n] = fact[n].inv(); for (int i = n - 1; i >= 0; --i) revfact[i] = revfact[i + 1] * (i + 1); } T comb(int n, int r) { if (n < r || r < 0) return 0; return fact[n] * revfact[r] * revfact[n - r]; } T perm(int n, int r) { if (n < r || r < 0) return 0; return fact[n] * revfact[n - r]; } }; #include <algorithm> #include <cassert> #include <vector> template <class T> bool chmax(T &a, const T &b) { if (a < b) { a = b; return true; } return false; } template <class T> bool chmin(T &a, const T &b) { if (a > b) { a = b; return true; } return false; } template <class T> T div_floor(T a, T b) { if (b < 0) a *= -1, b *= -1; return a >= 0 ? a / b : (a + 1) / b - 1; } template <class T> T div_ceil(T a, T b) { if (b < 0) a *= -1, b *= -1; return a > 0 ? (a - 1) / b + 1 : a / b; } template <typename T> struct CoordComp { std::vector<T> v; bool sorted; CoordComp() : sorted(false) {} int size() { return v.size(); } void add(T x) { v.push_back(x); } void build() { std::sort(v.begin(), v.end()); v.erase(std::unique(v.begin(), v.end()), v.end()); sorted = true; } int get_idx(T x) { assert(sorted); return lower_bound(v.begin(), v.end(), x) - v.begin(); } T &operator[](int i) { return v[i]; } }; #define For(i, a, b) for (int i = (int)(a); (i) < (int)(b); ++(i)) #define rFor(i, a, b) for (int i = (int)(a)-1; (i) >= (int)(b); --(i)) #define rep(i, n) For(i, 0, n) #define rrep(i, n) rFor(i, n, 0) #define fi first #define se second using namespace std; using lint = long long; using pii = pair<int, int>; using pll = pair<lint, lint>; using mint = atcoder::modint998244353; mint f(int k) { return k == 1 ? 1 : mint(k).pow(k - 2); } int main() { int n, m; scanf("%d%d", &n, &m); Factorial<mint> fc(max(n, m)); mint ans = mint(m).pow(2 * n) * m; For(k, 1, min(m, n + 1) + 1) { mint tmp = fc.comb(m, k) * f(k) * mint(2).pow(k - 1) * fc.fact[k - 1] * fc.comb(n, k - 1) * mint(m - k).pow(2 * (n - k + 1)); ans -= tmp; } printf("%u\n", ans.val()); }