Struct SensitivityChecker 

pub struct SensitivityChecker {
    pub table: Vec<bool>,
    pub n: usize,
}

Compute sensitivity and block sensitivity of a Boolean function. The function is given as a truth table (index = bit string, value = output).

Fields

table: Vec<bool>

Truth table: table[x] = f(x). Length must be 2^n.

n: usize

Number of input bits n.

Implementations

impl SensitivityChecker

pub fn new(table: Vec<bool>) -> Self

Create from a truth table. Length must be 2^n.

pub fn sensitivity_at(&self, x: usize) -> usize

Sensitivity of f at input x: number of coordinates i where flipping bit i changes f(x).

pub fn max_sensitivity(&self) -> usize

Maximum sensitivity over all inputs.

pub fn block_sensitivity_at(&self, x: usize) -> usize

Block sensitivity at input x: max number of disjoint sensitive blocks.

pub fn max_block_sensitivity(&self) -> usize

Maximum block sensitivity over all inputs.

pub fn check_huang_theorem(&self) -> bool

Check Huang’s sensitivity theorem: s(f)^2 >= bs(f).