Characteristic Polynomial (verify/linalg/characteristic.test.cpp)

• View this file on GitHub
• Last update: 2025-12-22 00:33:40+01:00
• Problem: https://judge.yosupo.jp/problem/characteristic_polynomial

Depends on

• cp-algo/linalg/frobenius.hpp
• cp-algo/linalg/matrix.hpp
• cp-algo/linalg/vector.hpp
• cp-algo/math/affine.hpp
• cp-algo/math/combinatorics.hpp
• cp-algo/math/common.hpp
• cp-algo/math/cvector.hpp
• cp-algo/math/fft.hpp
• cp-algo/math/poly.hpp
• cp-algo/math/poly/impl/div.hpp
• cp-algo/math/poly/impl/euclid.hpp
• cp-algo/number_theory/discrete_sqrt.hpp
• cp-algo/number_theory/modint.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 Characteristic Polynomial
#define PROBLEM "https://judge.yosupo.jp/problem/characteristic_polynomial"
#pragma GCC optimize("O3,unroll-loops")
#pragma GCC target("avx2")
#define CP_ALGO_MAXN 1 << 10
#include <bits/stdc++.h>
//#include "blazingio/blazingio.min.hpp"
#include "cp-algo/linalg/frobenius.hpp"

using namespace std;
using namespace cp_algo::math;
using namespace cp_algo::linalg;

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

void solve() {
    size_t n;
    cin >> n;
    matrix<base> A(n);
    A.read();
    auto blocks = frobenius_form(A);
    reduce(begin(blocks), end(blocks), polyn(1), multiplies{}).print();
}

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

Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj_resolve/resolver.py", line 181, 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 252, in bundle
    bundler.update(path)
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus_bundle.py", line 327, in update
    assert len(lines) == len(uncommented_lines)
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError

Test cases

Env	Name	Status	Elapsed	Memory
g++	example_00	AC	4 ms	4 MB
g++	example_01	AC	4 ms	4 MB
g++	example_02	AC	4 ms	4 MB
g++	max_det_zero_random_00	AC	72 ms	14 MB
g++	max_det_zero_random_01	AC	69 ms	14 MB
g++	max_det_zero_random_02	AC	68 ms	14 MB
g++	max_det_zero_random_03	AC	69 ms	14 MB
g++	max_random_00	AC	69 ms	14 MB
g++	max_random_01	AC	68 ms	14 MB
g++	max_random_02	AC	68 ms	14 MB
g++	max_random_03	AC	68 ms	14 MB
g++	max_zero_00	AC	70 ms	13 MB
g++	nontrivial_frobenius_form_00	AC	89 ms	13 MB
g++	nontrivial_frobenius_form_01	AC	88 ms	13 MB
g++	nontrivial_frobenius_form_02	AC	78 ms	13 MB
g++	nontrivial_frobenius_form_03	AC	74 ms	13 MB
g++	nontrivial_frobenius_form_04	AC	70 ms	13 MB
g++	nontrivial_frobenius_form_05	AC	68 ms	14 MB
g++	nontrivial_frobenius_form_06	AC	69 ms	13 MB
g++	nontrivial_frobenius_form_07	AC	68 ms	13 MB
g++	nontrivial_frobenius_form_08	AC	69 ms	13 MB
g++	nontrivial_frobenius_form_09	AC	70 ms	13 MB
g++	small_multiple_root_00	AC	4 ms	4 MB
g++	small_multiple_root_01	AC	4 ms	4 MB
g++	small_random_00	AC	4 ms	4 MB
g++	small_random_01	AC	4 ms	4 MB
g++	small_random_02	AC	4 ms	4 MB
g++	small_random_03	AC	4 ms	4 MB

Back to top page