test/yosupo/polynomial/division_of_polynomials.test.cpp

• View this file on GitHub
• Last update: 2026-02-15 06:34:51+09:00
• Problem: https://judge.yosupo.jp/problem/division_of_polynomials

Depends on

• lib/fft/formal_power_series.hpp
• 畳み込み (lib/fft/ntt.hpp)
• lib/internal/internal_fft.hpp
• Montgomery modular multiplication (lib/internal/internal_math.hpp)
• lib/internal/internal_type_traits.hpp
• 二項係数 (lib/math/combination.hpp)
• lib/math/modint.hpp
• lib/template/template.hpp

Code

// competitive-verifier: PROBLEM https://judge.yosupo.jp/problem/division_of_polynomials
#include <iostream>
#include <vector>

#include "fft/formal_power_series.hpp"

using Mint = modint998;

int main(void) {
    int n, m;
    std::cin >> n >> m;
    std::vector<Mint> f(n), g(m);
    for (Mint &e : f) std::cin >> e;
    for (Mint &e : g) std::cin >> e;
    auto [q, r] = fps::div_mod(f, g);
    std::cout << q.size() << ' ' << r.size() << '\n';
    if (q.empty()) {
        std::cout << '\n';
    } else {
        for (int i = 0; i < (int)q.size(); ++i) {
            std::cout << q[i] << (i == (int)q.size() - 1 ? '\n' : ' ');
        }
    }
    if (r.empty()) {
        std::cout << '\n';
    } else {
        for (int i = 0; i < (int)r.size(); ++i) {
            std::cout << r[i] << (i == (int)r.size() - 1 ? '\n' : ' ');
        }
    }

    return 0;
}

Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/resolver.py", line 291, in resolve
    bundled_code = language.bundle(path, basedir=basedir)
                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus.py", line 242, in bundle
    bundler.update(path)
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus_bundle.py", line 479, in update
    self._resolve(pathlib.Path(included), included_from=path)
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus_bundle.py", line 286, in _resolve
    raise BundleErrorAt(path, -1, "no such header")
competitive_verifier.oj.verify.languages.cplusplus_bundle.BundleErrorAt: fft/formal_power_series.hpp: line -1: no such header

Test cases

Env	Name	Status	Elapsed	Memory
g++	example_00	AC	2 ms	3 MB
g++	example_01	AC	2 ms	4 MB
g++	example_02	AC	2 ms	4 MB
g++	example_03	AC	2 ms	3 MB
g++	max_random_00	AC	225 ms	15 MB
g++	max_random_01	AC	370 ms	19 MB
g++	max_random_02	AC	522 ms	20 MB
g++	max_random_03	AC	330 ms	20 MB
g++	max_random_04	AC	234 ms	13 MB
g++	n_max_00	AC	395 ms	20 MB
g++	n_max_01	AC	401 ms	23 MB
g++	n_max_02	AC	361 ms	21 MB
g++	n_max_03	AC	411 ms	21 MB
g++	n_max_04	AC	380 ms	19 MB
g++	q0_equals_zero_00	AC	2 ms	3 MB
g++	q0_equals_zero_01	AC	115 ms	17 MB
g++	q0_equals_zero_02	AC	315 ms	19 MB
g++	small_00	AC	2 ms	3 MB
g++	small_01	AC	2 ms	3 MB
g++	small_02	AC	2 ms	3 MB
g++	small_03	AC	2 ms	3 MB
g++	small_04	AC	2 ms	4 MB
g++	small_05	AC	2 ms	4 MB
g++	small_06	AC	2 ms	4 MB
g++	small_07	AC	2 ms	3 MB
g++	small_08	AC	2 ms	3 MB
g++	small_09	AC	2 ms	3 MB
g++	u_eq_0_00	AC	257 ms	11 MB
g++	v_eq_0_00	AC	213 ms	15 MB
g++	v_eq_0_01	AC	328 ms	17 MB
g++	v_random_00	AC	216 ms	14 MB
g++	v_random_01	AC	324 ms	18 MB
g++	v_random_02	AC	353 ms	20 MB
g++	v_random_03	AC	337 ms	20 MB
g++	v_random_04	AC	219 ms	13 MB

Back to top page