Struct InvarianceReduction 

pub struct InvarianceReduction {
    pub original_vars: usize,
    pub reduced_vars: usize,
    pub free_positions: Vec<usize>,
    pub reduced_truth: Vec<bool>,
}

The genuine domain compression from the INVARIANCE subspace V₀(f) = {a : f(x⊕a) = f(x) ∀x}: an (n − dim V₀)-variable truth table carrying all the information, over the surviving free_positions. A rotated junta collapses here even though the coordinate junta lens saw every variable as relevant.

Fields

original_vars: usize

reduced_vars: usize

free_positions: Vec<usize>

The surviving variable positions (a complement of the invariance pivots).

reduced_truth: Vec<bool>

The reduced function over free_positions, in the same LSB-first index order.

Implementations

impl InvarianceReduction

pub fn verify(&self, truth: &[bool], invariance_basis: &[usize]) -> bool

Re-check that the reduction reproduces the original: every corner maps to the reduced value of its coset representative.

Trait Implementations

impl Clone for InvarianceReduction

fn clone(&self) -> InvarianceReduction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InvarianceReduction

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

Formats the value using the given formatter.