Concepts de base
New linear inequalities generalize previous constraints for terminal cut functions.
Stats
For each pair t, t′ ∈ T, Dβ(t, t′) = X S βS · 1[S separates t, t′].
Chaudhuri et al. showed that if Dβ dominates Dγ and γ has non-zero values at singleton sets, then ⟨β, π⟩ ≥ ⟨γ, π⟩ always holds.