Skip to main content

pathwidth_ty

oxilean_std::parameterized_complexity::functions

Function pathwidth_ty 

Source 
pub fn pathwidth_ty() -> Expr
Expand description

Pathwidth : Graph → Nat The pathwidth of a graph: min over all path decompositions of (max bag size − 1).