Skip to main content

has_polynomial_kernel_ty

oxilean_std::parameterized_complexity::functions

Function has_polynomial_kernel_ty 

Source 
pub fn has_polynomial_kernel_ty() -> Expr
Expand description

HasPolynomialKernel : ParameterizedProblem → Prop The problem has a polynomial kernel (|x’| ≤ k^c for some constant c).