Struct cp_library_rs::algebraic_structure::extmonoid_mod::AffineUpdateComposite

pub struct AffineUpdateComposite<const MOD: u32>;

一次関数のupdate + 関数合成

• 区間を $ax + b$ で更新
• 区間を関数として合成

Trait Implementations

impl<const MOD: u32> Debug for AffineUpdateComposite<MOD>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<const MOD: u32> ExtMonoid for AffineUpdateComposite<MOD>

type X = (Modint<MOD>, Modint<MOD>)

要素のデータ型

type F = (Modint<MOD>, Modint<MOD>)

作用素のデータ型

fn id_x() -> Self::X

要素Xの単位元を返す

fn id_f() -> Self::F

作用素Fの単位元を返す

fn op(x: &Self::X, y: &Self::X) -> Self::X

要素同士の演算

fn composition(_x: &Self::F, y: &Self::F) -> Self::F

作用素同士の演算

fn mapping(_x: &Self::X, y: &Self::F) -> Self::X

要素に対する作用

fn aggregate(x: &Self::F, p: usize) -> Self::F

作用素の集約