pub fn bostan_mori<const P: u32, const PR: u32>(
a: Vec<ConstModInt<P>>,
c: Vec<ConstModInt<P>>,
k: u64,
ntt: &NTT<P, PR>,
) -> ConstModInt<P>
Expand description
$a_i = \sum_{j = 1}^d c_j a_{i-j}$を満たす数列$a$の初め$d$項と係数$c$から、数列の第k
項$a_k$を求める。