Enum WClasses 

pub enum WClasses {
    FPT,
    W1,
    W2,
    WP,
    XP,
}

The W-hierarchy of parameterized complexity classes.

Variants

FPT

Fixed-parameter tractable (lowest complexity).

W1

W[1]: k-clique-hard problems.

W2

W[2]: k-dominating-set-hard problems.

WP

W[P]: W-hierarchy top (bounded above by XP).

XP

Slice-wise polynomial: polynomial for each fixed k.

Implementations

impl WClasses

pub fn containment_chain(&self) -> String

Returns a description of the containment chain FPT ⊆ W[1] ⊆ W[2] ⊆ … ⊆ XP.

pub fn is_tractable(&self) -> bool

Returns true if this class is considered tractable in the FPT sense.

Trait Implementations

impl Clone for WClasses

fn clone(&self) -> WClasses

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WClasses

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

Formats the value using the given formatter.

impl PartialEq for WClasses

fn eq(&self, other: &WClasses) -> 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 Eq for WClasses

impl StructuralPartialEq for WClasses