Struct SubpolyConfig 

pub struct SubpolyConfig {
    pub phi: f64,
    pub lambda_max: u64,
    pub epsilon: f64,
    pub target_levels: usize,
    pub track_recourse: bool,
    pub certify_cuts: bool,
    pub parallel: bool,
}

Configuration for the subpolynomial algorithm

Fields

phi: f64

Expansion parameter φ = 2^{-Θ(log^{3/4} n)} For n < 10^6, we use a practical approximation

lambda_max: u64

Maximum cut size to support exactly λ_max = 2^{Θ(log^{3/4-c} n)}

epsilon: f64

Approximation parameter ε for (1+ε)-approximate internal operations

target_levels: usize

Target number of hierarchy levels: O(log^{1/4} n)

track_recourse: bool

Enable recourse tracking for complexity verification

certify_cuts: bool

Enable mirror cut certification

parallel: bool

Enable parallel processing

Implementations

impl SubpolyConfig

pub fn for_size(n: usize) -> Self

Create config optimized for graph of size n

Trait Implementations

impl Clone for SubpolyConfig

fn clone(&self) -> SubpolyConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SubpolyConfig

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

Formats the value using the given formatter.

impl Default for SubpolyConfig

fn default() -> Self

Returns the “default value” for a type.