Skip to main content

treewidth_le_pathwidth_ty

oxilean_std::parameterized_complexity::functions

Function treewidth_le_pathwidth_ty 

Source 
pub fn treewidth_le_pathwidth_ty() -> Expr
Expand description

TreewidthLePathwidth : ∀ G, treewidth G ≤ pathwidth G