Skip to main content

kernel_ty

oxilean_std::parameterized_complexity::functions

Function kernel_ty 

Source 
pub fn kernel_ty() -> Expr
Expand description

Kernel : ParameterizedProblem → Nat → Type A kernelization of size f(k): reduces any instance (x,k) to (x’,k’) with |x’| ≤ f(k) and (x,k) ∈ L ↔ (x’,k’) ∈ L.