Struct EdgeSensitivity 

pub struct EdgeSensitivity {
    pub gap_delta: f64,
    pub nullity_before: usize,
    pub nullity_after: usize,
}

Both deltas for one candidate edge (Paper II Lemma 2).

Fields

gap_delta: f64

Change in the spectral gap λ⁺_min.

nullity_before: usize

dim ker(A) before and after: a shrink is Lemma 2’s second lever.

nullity_after: usize

Implementations

impl EdgeSensitivity

pub fn earns_cost(&self, tol: f64) -> bool

Whether the candidate verifier earns its cost by either lever.

Trait Implementations

impl Clone for EdgeSensitivity

fn clone(&self) -> EdgeSensitivity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EdgeSensitivity

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

Formats the value using the given formatter.

impl PartialEq for EdgeSensitivity

fn eq(&self, other: &EdgeSensitivity) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for EdgeSensitivity

impl StructuralPartialEq for EdgeSensitivity