What is a Disjunction? - IEOR @IIT Bombay

What is a Disjunction?
Given a MIP of the form
min cx
(objective function)
such that Ax ≥ b (constraints)
x ∈ Z d × R n−d .
(integrality)
◮ Variable Disjunction: x i ≤ π 0 ∨ x i ≥ π 0 + 1, i ∈ {1, 2, . . .,d}
◮ General Disjunction: πx ≤ π 0 ∨ πx ≥ π 0 + 1,
(π, π 0 ) ∈ Z d × {0} n−d × Z.
* * * * * * *
* * * * * * *
S 1
S 2
S 1
S 2
*
*
*
* *
*
*
* *
*