A Graphical Analysis of Integer Infeasibility in UTVPI Constraints
In this paper, we discuss a theorem of the alternative for integer feasibility in a class of constraints called Unit Two Variable Per Inequality (UTVPI) constraints. In general, a theorem of the alternative gives two systems of constraints such that exactly one system is feasible. Theorems of the alternative for linear feasibility have been discussed extensively in the literature. If a theorem of the alternative provides a “succinct” certificate of infeasibility, it is said to be compact. In general, theorems of the alternative for linear feasibility are compact (see Farkas’ lemma for instance). However, compact theorems of the alternative cannot exist for integer feasibility in linear programs unless NP\(\,=\,\)coNP. A second feature of a theorem of the alternative is its form. Typically, theorems of the alternative connect pairs of linear systems. A graphical theorem of the alternative, on the other hand, connects infeasibility in a linear system to the existence of particular paths in an appropriately constructed constraint network. Graphical theorems of the alternative are known to exist for selected classes of linear programs. In this paper, we detail a compact, graphical theorem of the alternative for integer feasibility in UTVPI constraints.
This research was supported in part by the Air-Force Office of Scientific Research through grant FA9550-19-1-017.
- 2.Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL, pp. 238–252 (1977)Google Scholar
- 17.Sitzmann, I., Stuckey, P.J.: O-trees: a constraint-based index structure. In: Australasian Database Conference, pp. 127–134 (2000)Google Scholar