Test/AOJ/3079.test.cpp

View this file on GitHub
Last update: 2025-03-05 18:11:26+09:00
Problem: https://onlinejudge.u-aizu.ac.jp/problems/3079

Depends on

Code

#define PROBLEM "https://onlinejudge.u-aizu.ac.jp/problems/3079"

#include "../../Src/FPS/KthTerm.hpp"
#include "atcoder/modint"

#include <iostream>
using namespace zawa;
using mint = atcoder::modint1000000007;

int main() {
    long long N;
    std::cin >> N; 
    std::vector<mint> A{1, 0, 1};
    std::vector<mint> C{0, 1, 1};
    std::cout << KthTerm(N, A, C, [](const auto& L, const auto& R) {
                if (L.empty() or R.empty()) return std::vector<mint>{};
                std::vector<mint> res(L.size() + R.size() - 1);
                for (size_t i{} ; i < L.size() ; i++) for (size_t j{} ; j < R.size() ; j++) {
                    res[i + j] += L[i] * R[j];
                }
                return res;
            }).val() << '\n';
}

Traceback (most recent call last):
  File "/opt/hostedtoolcache/Python/3.13.5/x64/lib/python3.13/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.13.5/x64/lib/python3.13/site-packages/onlinejudge_verify/languages/cplusplus.py", line 187, in bundle
    bundler.update(path)
    ~~~~~~~~~~~~~~^^^^^^
  File "/opt/hostedtoolcache/Python/3.13.5/x64/lib/python3.13/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.13.5/x64/lib/python3.13/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