library_checker/math/
subset_convolution.rs

1use competitive::prelude::*;
2#[doc(no_inline)]
3pub use competitive::{
4    algebra::AddMulOperation,
5    math::{ConvolveSteps, SubsetConvolve},
6    num::montgomery::MInt998244353,
7};
8
9#[verify::library_checker("subset_convolution")]
10pub fn subset_convolution(reader: impl Read, mut writer: impl Write) {
11    let s = read_all_unchecked(reader);
12    let mut scanner = Scanner::new(&s);
13    scan!(scanner, n, a: [MInt998244353; 1 << n], b: [MInt998244353; 1 << n]);
14    let c = SubsetConvolve::<AddMulOperation<_>>::convolve(a, b);
15    iter_print!(writer, @it c);
16}