Integer Linear Programming

computation

Definition

Integer Linear Programming (Decision Version)

Given a set of variables $V$, set of linear inequalities $C$, a linear optimisation function $\mathrm{opt}$, and a target $t$, then integer linear programming asks whether there is an assignment $\alpha$ of the variables to integers which satisfies all constraints in $C$ and moreover $\mathrm{opt}(\alpha )\ge t$.