Struct FactorialTable

pub struct FactorialTable<Modulo: FF> { /* private fields */ }

有限体上での階乗の計算を行う構造体。

Implementations

impl<Modulo: FF> FactorialTable<Modulo>

where Modulo::Element: FFElem + Copy,

pub fn new(n: usize, modulo: Modulo) -> Self

Time complexity $O(n)$

Space complexity $O(n)$

pub fn facto(&self, n: usize) -> Modulo::Element

nの階乗

Time complexity $O(1)$

pub fn inv_facto(&self, n: usize) -> Modulo::Element

nの階乗の逆元

Time complexity $O(1)$

pub fn perm(&self, n: usize, k: usize) -> Modulo::Element

n個からk個とりだす順列の個数 (${}_n \mathrm{ P }_k$)

Time complexity $O(1)$

pub fn comb(&self, n: usize, k: usize) -> Modulo::Element

n個からk個とりだす組み合わせの個数 (${}_n \mathrm{ C }_k$)

Time complexity $O(1)$

pub fn h(&self, n: usize, k: usize) -> Modulo::Element

n個から重複を許してk個選ぶ場合の数 (${}_n \mathrm{ H }_k$)

Time complexity $O(1)$

Trait Implementations

impl<Modulo: FF> BellNumber for FactorialTable<Modulo>

where Modulo::Element: FFElem + Copy,

type Output = <Modulo as FF>::Element

計算結果の型

fn bell_number(&self, n: usize, k: usize) -> Self::Output

ベル数$B(n, k)$を計算する。

impl<Modulo: FF> BernoulliNumber for FactorialTable<Modulo>

where Modulo::Element: FFElem + Copy,

type Output = <Modulo as FF>::Element

計算結果の型

fn bernoulli_number(&self, n: usize) -> Vec<Self::Output>

ベルヌーイ数$B_0 \ldots B_n$を計算する。

impl<Modulo: FF> CatalanNumber for FactorialTable<Modulo>

where Modulo::Element: FFElem + Copy,

type Output = <Modulo as FF>::Element

計算結果の型

fn catalan_number(&self, n: usize) -> Self::Output

カタラン数$C_n$を計算する。

impl<Modulo: Clone + FF> Clone for FactorialTable<Modulo>

where Modulo::Element: Clone,

fn clone(&self) -> FactorialTable<Modulo>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Modulo: Debug + FF> Debug for FactorialTable<Modulo>

where Modulo::Element: Debug,

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

Formats the value using the given formatter.

impl<Modulo: FF> StirlingSecond for FactorialTable<Modulo>

where Modulo::Element: FFElem + Copy,

type Output = <Modulo as FF>::Element

計算結果の型

fn stirling_second(&self, n: usize, k: usize) -> Self::Output

第二種スターリング数$S(n,k)$を計算する。