Convolution GF(2^64) (verify/math/f2_64_convolution.test.cpp)

• View this file on GitHub
• Last update: 2026-02-05 14:33:30+01:00
• Problem: https://judge.yosupo.jp/problem/convolution_F_2_64

Depends on

• cp-algo/math/common.hpp
• cp-algo/math/karatsuba.hpp
• cp-algo/number_theory/modint.hpp
• cp-algo/number_theory/nimber.hpp
• cp-algo/util/big_alloc.hpp
• cp-algo/util/bit.hpp
• cp-algo/util/simd.hpp

Code

// @brief Convolution GF(2^64)
#define PROBLEM "https://judge.yosupo.jp/problem/convolution_F_2_64"
#pragma GCC optimize("O3,unroll-loops")
#include <bits/allocator.h>
#pragma GCC target("avx2,vpclmulqdq")
#include <iostream>
#include "blazingio/blazingio.min.hpp"
#define CP_ALGO_CHECKPOINT
#include "cp-algo/util/big_alloc.hpp"
#include "cp-algo/number_theory/nimber.hpp"
#include "cp-algo/math/karatsuba.hpp"
#include <bits/stdc++.h>

using namespace std;

using cp_algo::math::nimber::f2_64;

void solve() {
    size_t n, m;
    cin >> n >> m;
    cp_algo::big_vector<f2_64> a(n), b(m);
    for (auto &x : a) cin >> x.r;
    for (auto &x : b) cin >> x.r;
    auto c = cp_algo::math::karatsuba(a, b);
    for (auto x : c) cout << x.r << " ";
    cout << "\n";
}

signed main() {
    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_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++	all_ones_00	AC	2053 ms	70 MB
g++	all_same_00	AC	2002 ms	42 MB
g++	all_same_01	AC	2044 ms	69 MB
g++	example_00	AC	6 ms	6 MB
g++	example_01	AC	5 ms	6 MB
g++	gen_2_17_00	AC	240 ms	25 MB
g++	gen_2_17_01	AC	240 ms	23 MB
g++	gen_2_17_02	AC	683 ms	31 MB
g++	gen_2_18_00	AC	696 ms	47 MB
g++	gen_2_18_01	AC	697 ms	43 MB
g++	gen_2_18_02	AC	2012 ms	59 MB
g++	gen_2_x_3_11_00	AC	2030 ms	67 MB
g++	gen_2_x_3_11_01	AC	2037 ms	67 MB
g++	gen_2_x_3_11_02	AC	2034 ms	67 MB
g++	gen_3_11_00	AC	689 ms	36 MB
g++	gen_3_11_01	AC	688 ms	36 MB
g++	gen_3_11_02	AC	689 ms	36 MB
g++	gen_max_00	AC	2043 ms	79 MB
g++	gen_max_01	AC	2039 ms	80 MB
g++	many_ones_00	AC	2033 ms	80 MB
g++	many_ones_01	AC	2033 ms	75 MB
g++	medium_00	AC	15 ms	7 MB
g++	medium_01	AC	9 ms	6 MB
g++	medium_02	AC	8 ms	6 MB
g++	random_00	AC	2025 ms	73 MB
g++	random_01	AC	2032 ms	77 MB
g++	random_02	AC	2007 ms	57 MB
g++	random_03	AC	2010 ms	58 MB
g++	random_04	AC	1999 ms	52 MB
g++	small_00	AC	5 ms	6 MB
g++	small_01	AC	4 ms	6 MB
g++	small_02	AC	4 ms	6 MB
g++	small_03	AC	4 ms	6 MB
g++	small_04	AC	4 ms	6 MB
g++	small_05	AC	4 ms	6 MB
g++	small_06	AC	4 ms	6 MB
g++	small_07	AC	4 ms	6 MB
g++	small_08	AC	4 ms	6 MB
g++	small_09	AC	4 ms	6 MB
g++	small_10	AC	4 ms	6 MB
g++	small_11	AC	4 ms	6 MB
g++	small_12	AC	4 ms	6 MB
g++	small_13	AC	4 ms	6 MB
g++	small_14	AC	4 ms	6 MB
g++	small_15	AC	4 ms	6 MB
g++	small_16	AC	4 ms	6 MB
g++	small_and_large_00	AC	2010 ms	59 MB
g++	small_and_large_01	AC	2020 ms	59 MB
g++	small_and_large_02	AC	2002 ms	59 MB
g++	small_and_large_03	AC	2014 ms	59 MB
g++	small_values_00	AC	2007 ms	48 MB

Back to top page