Test/AtCoder/abc439_g.test.cpp

• View this file on GitHub
• Last update: 2026-01-12 19:55:33+09:00
• Problem: https://onlinejudge.u-aizu.ac.jp/courses/lesson/2/ITP1/1/ITP1_1_A
• Link: https://atcoder.jp/contests/abc439/submissions/72425293
• Link: https://atcoder.jp/contests/abc439/tasks/abc439_g

Depends on

• Src/FPS/FPS.hpp
• Src/FPS/FPSNTTFriendly.hpp
• FPS Power Projection (Src/FPS/PowerProjection.hpp)
• 次数の総和が抑えられている有理式の総和 (Src/FPS/RationalSum.hpp)
• 標準データ型のエイリアス (Src/Template/TypeAlias.hpp)

Code

// #define PROBLEM "https://atcoder.jp/contests/abc439/tasks/abc439_g"
#define PROBLEM "https://onlinejudge.u-aizu.ac.jp/courses/lesson/2/ITP1/1/ITP1_1_A"

/*
 * AtCoder Beginner Contest 439 G - Sugoroku 6
 * https://atcoder.jp/contests/abc439/submissions/72425293
 */

#include "../../Src/FPS/PowerProjection.hpp"
#include "../../Src/FPS/RationalSum.hpp"
#include "../../Src/FPS/FPSNTTFriendly.hpp"
using namespace zawa;
#include "atcoder/modint"
using mint = atcoder::modint998244353;
using fps = FPSNTTFriendly<mint::mod()>;

#include <iostream>
using namespace std;

int main() {
#ifdef ATCODER
    cin.tie(0);
    cout.tie(0);
    ios::sync_with_stdio(0);
    int N, M, L;
    cin >> N >> M >> L;
    const mint inv = mint::raw(M).inv();
    fps dice(N + 1);
    for (int i = 0 ; i < M ; i++) {
        int a;
        cin >> a;
        dice[a] = inv;
    }
    fps q{PowerProjection(N + 1, fps(N, 1), dice)};
    fps p(N + 1);
    for (int i = 0 ; i <= N ; i++)
        p[i] = 1 - q[i];
    for (int i = N ; i >= 1 ; i--)
        p[i] -= p[i - 1];
    vector<fps> num, den;
    for (int j = 1 ; j <= N ; j++) {
        if (q[j - 1] == mint{})
            break;
        num.push_back({p[j] * q[j - 1].pow(L - 1)});
        den.push_back({1, -q[j] * q[j - 1].inv()});
    }
    auto [a, b] = RationalSum(num, den);
    auto ans = a * b.inv(L);
    for (int i = 0 ; i < L ; i++)
        cout << ans[i].val() << '\n';
#else
    std::cout << "Hello World\n";
#endif
}

Traceback (most recent call last):
  File "/opt/hostedtoolcache/Python/3.12.13/x64/lib/python3.12/site-packages/onlinejudge_verify/documentation/build.py", line 71, in _render_source_code_stat
    bundled_code = language.bundle(stat.path, basedir=basedir, options={'include_paths': [basedir]}).decode()
                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/opt/hostedtoolcache/Python/3.12.13/x64/lib/python3.12/site-packages/onlinejudge_verify/languages/cplusplus.py", line 187, in bundle
    bundler.update(path)
  File "/opt/hostedtoolcache/Python/3.12.13/x64/lib/python3.12/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 401, in update
    self.update(self._resolve(pathlib.Path(included), included_from=path))
  File "/opt/hostedtoolcache/Python/3.12.13/x64/lib/python3.12/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 401, in update
    self.update(self._resolve(pathlib.Path(included), included_from=path))
                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/opt/hostedtoolcache/Python/3.12.13/x64/lib/python3.12/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 260, in _resolve
    raise BundleErrorAt(path, -1, "no such header")
onlinejudge_verify.languages.cplusplus_bundle.BundleErrorAt: atcoder/modint: line -1: no such header

Back to top page