Skip to main content

submodular_function_ty

oxilean_std::combinatorial_optimization::functions

Function submodular_function_ty 

Source 
pub fn submodular_function_ty() -> Expr
Expand description

SubmodularFunction : (List Nat → Real) → Prop f is submodular if f(A) + f(B) ≥ f(A∪B) + f(A∩B).