n
nicefa.
Advanced Proof

Characterization of the Convex Hull of Integer Feasible Solutions

Distinguishing between the feasible region P P (continuous) and its integer hull PI P_I (discrete points and their convex cover) is key. It's easy to conflate PI P_I with PZn P \cap \mathbb{Z}^n (the set of integer points themselves, not their hull).
Institutional Reference: Linear and Integer Programming
View Full Proof →