pub fn xp_algorithm_ty() -> Expr
XPAlgorithm : ParameterizedProblem → Type An XP algorithm runs in n^f(k) time for computable f.
XPAlgorithm : ParameterizedProblem → Type