For a new inference problem q ∼ [P ], we define ∆ as the maximum change in objective value that can be effected by an assignment that is not the solution.
∆ = max Before stating the theorem, we will provide an intuitive explanation for it.