Inv of Polynomials (verify/poly/inv_mod.test.cpp)

• View this file on GitHub
• Last update: 2026-09-18 20:05:44+02:00
• Problem: https://judge.yosupo.jp/problem/inv_of_polynomials

Depends on

• cp-algo/math/affine.hpp
• cp-algo/math/common.hpp
• cp-algo/math/cvector.hpp
• cp-algo/math/fft.hpp
• cp-algo/math/poly/base.hpp
• cp-algo/math/poly/div.hpp
• cp-algo/math/poly/euclid.hpp
• cp-algo/math/poly/impl/div.hpp
• cp-algo/math/poly/impl/euclid.hpp
• cp-algo/math/poly/series/inv.hpp
• cp-algo/math/ring.hpp
• cp-algo/number_theory/discrete_sqrt.hpp
• cp-algo/number_theory/modint.hpp
• cp-algo/number_theory/primality.hpp
• cp-algo/random/rng.hpp
• cp-algo/util/big_alloc.hpp
• cp-algo/util/checkpoint.hpp
• cp-algo/util/complex.hpp
• cp-algo/util/simd.hpp

Code

// @brief Inv of Polynomials
#define PROBLEM "https://judge.yosupo.jp/problem/inv_of_polynomials"
#include <bits/stdc++.h>
#pragma GCC optimize("O3,unroll-loops")
//#include <bits/allocator.h>
#pragma GCC target("avx2")
#include <iostream>
#include "blazingio/blazingio.min.hpp"
#include "cp-algo/math/poly/euclid.hpp"

using namespace std;
using namespace cp_algo::math;

const int mod = 998244353;
using base = modint<mod>;
using polyn = poly_t<base>;

void solve() {
    int n, m;
    cin >> n >> m;
    polyn::Vector a(n), b(m);
    for(auto &it: a) {cin >> it;}
    for(auto &it: b) {cin >> it;}
    auto res = inv_mod(polyn(std::move(a)), polyn(b));
    if(res) {
        cout << res->deg() + 1 << endl;
        res->print();
    } else {
        cout << -1 << endl;
    }    
}

signed main() {
    //freopen("input.txt", "r", stdin);
    ios::sync_with_stdio(0);
    cin.tie(0);
    int t = 1;
    while(t--) {
        solve();
    }
}

Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/resolver.py", line 290, in resolve
    bundled_code = language.bundle(path, basedir=basedir)
                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/languages/cplusplus.py", line 243, in bundle
    bundler.update(path)
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/languages/cplusplus_bundle.py", line 322, in update
    assert len(lines) == len(uncommented_lines)
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError

Test cases

Env	Name	Status	Elapsed	Memory
g++	abnormal_random_00	AC	5 ms	6 MB
g++	abnormal_random_01	AC	5 ms	6 MB
g++	abnormal_random_02	AC	4 ms	6 MB
g++	abnormal_random_03	AC	5 ms	6 MB
g++	abnormal_random_04	AC	5 ms	6 MB
g++	example_00	AC	2 ms	6 MB
g++	example_01	AC	2 ms	6 MB
g++	example_02	AC	2 ms	6 MB
g++	max_random_00	AC	371 ms	11 MB
g++	max_random_01	AC	372 ms	11 MB
g++	max_random_02	AC	372 ms	11 MB
g++	max_random_03	AC	374 ms	11 MB
g++	max_random_04	AC	371 ms	11 MB
g++	random_00	AC	84 ms	7 MB
g++	random_01	AC	33 ms	7 MB
g++	random_02	AC	65 ms	7 MB
g++	random_03	AC	195 ms	9 MB
g++	random_04	AC	117 ms	8 MB

Back to top page