Skip to main content

algebraic_complexity

Function algebraic_complexity 

Source
pub fn algebraic_complexity(
    bits: &[bool],
    max_degree: usize,
) -> Option<(usize, usize)>
Expand description

The algebraic complexity of a bit sequence at maximal degree max_degree: the smallest order l for which detect_algebraic_recurrence recovers a degree-≤ max_degree feedback, together with the ANF coefficient count M (the true description size — O(lᵈ), not the 2^l truth table). None if no order ≤ bits.len()/2 admits such a feedback at that degree.