test/cpv/library-checker-convolution/multivariate_convolution.mints-ms.cpp
| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | #define AUTO_GENERATED | ||
| 2 | // competitive-verifier: PROBLEM https://judge.yosupo.jp/problem/multivariate_convolution | ||
| 3 | #include "../../../src/conv/add/mval_dft/lib.hpp" | ||
| 4 | #include "../../../src/conv/trans/ntt/lib.hpp" | ||
| 5 | #include "../../../src/io/container/lib.hpp" | ||
| 6 | #include "../../../src/io/fastin/lib.hpp" | ||
| 7 | #include "../../../src/io/fastout/lib.hpp" | ||
| 8 | |||
| 9 | using namespace tifa_libs; | ||
| 10 | CEXP u32 MOD = 998244353; | ||
| 11 | |||
| 12 | #include "../../../src/math/ds/mint/ms/lib.hpp" | ||
| 13 | |||
| 14 | using namespace tifa_libs; | ||
| 15 | using mint = mint_ms<MOD>; | ||
| 16 | |||
| 17 | using ntt_t = tifa_libs::ntt<mint>; | ||
| 18 | using vec_t = vec<mint>; | ||
| 19 | |||
| 20 | 17 | int main() { | |
| 21 | 17 | u32 k, n = 1; | |
| 22 | 17 | tifa_libs::fin_uint >> k; | |
| 23 |
1/2✓ Branch 1 taken 17 times.
✗ Branch 2 not taken.
|
17 | vecu base(k); |
| 24 |
2/2✓ Branch 6 taken 90 times.
✓ Branch 7 taken 17 times.
|
107 | for (auto& i : base) tifa_libs::fin_uint >> i, n *= i; |
| 25 |
2/4✓ Branch 1 taken 17 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 17 times.
✗ Branch 5 not taken.
|
51 | vec_t a(n), b(n); |
| 26 | 17 | tifa_libs::fin_uint >> a >> b; | |
| 27 | 17 | ntt_t ntt; | |
| 28 | 17 | tifa_libs::fout << tifa_libs::conv_mval_dft(ntt, a, b, base) << '\n'; | |
| 29 | 17 | return 0; | |
| 30 | 17 | } | |
| 31 |