test/cpv/aizu-dpl/dpl_5_b.mintd-md64.poly_anymod-pmtt.factorial-factl_helper.cpp
| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | #define AUTO_GENERATED | ||
| 2 | // competitive-verifier: PROBLEM https://onlinejudge.u-aizu.ac.jp/courses/library/7/DPL/all/DPL_5_B | ||
| 3 | #include "../../../src/comb/ball_box/ddm/lib.hpp" | ||
| 4 | #include "../../../src/comb/binom/lib.hpp" | ||
| 5 | |||
| 6 | using namespace tifa_libs; | ||
| 7 | CEXP u32 MOD = 1000000000 + 7; | ||
| 8 | |||
| 9 | #include "../../../src/fps/ds/mtt/lib.hpp" | ||
| 10 | #include "../../../src/math/ds/mint/md64/lib.hpp" | ||
| 11 | #include "../../../src/math/fact/helper_l/lib.hpp" | ||
| 12 | |||
| 13 | using namespace tifa_libs; | ||
| 14 | using mint = mint_md64<__LINE__>; | ||
| 15 | using namespace tifa_libs; | ||
| 16 | using poly = polymtt<mint>; | ||
| 17 | using namespace tifa_libs; | ||
| 18 | using fact_t = factl_helper<poly>; | ||
| 19 | |||
| 20 | 30 | int main() { | |
| 21 | 30 | mint::set_mod(MOD); | |
| 22 |
1/2✓ Branch 2 taken 30 times.
✗ Branch 3 not taken.
|
30 | std::cin.tie(nullptr)->std::ios::sync_with_stdio(false); |
| 23 | u32 n, k; | ||
| 24 |
2/4✓ Branch 1 taken 30 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 30 times.
✗ Branch 5 not taken.
|
30 | std::cin >> n >> k; |
| 25 | 30 | tifa_libs::binom<mint, fact_t> binom(2001); | |
| 26 |
1/2✓ Branch 3 taken 30 times.
✗ Branch 4 not taken.
|
30 | std::cout << tifa_libs::ball_box_ddm<mint>(n, k, binom) << '\n'; |
| 27 | 30 | return 0; | |
| 28 | } | ||
| 29 |