On a Simple Connection Between -modular ILP and LP, and a New Bound on the Number of Integer Vertices
Abstract
Let A ∈ Zm × n, rank(A) = n, b ∈ Zm, and P be an n-dimensional polyhedron, induced by the system A x ≤ b. It is a known fact that if F is a k-face of P, then there exist at least n-k linearly independent inequalities of the system A x ≤ b that become equalities on F. In other words, there exists a set of indices J, such that |J| ≥ n-k, rank(AJ) = n-k, and AJ x - bJ = 0, for any x ∈ F. We show that a similar fact holds for the integer polyhedron PI = conv.hull(P Zn), if we additionally suppose that P is -modular, for some ∈ \1,2,…\. More precisely, if F is a k-face of PI, then there exists a set of indices J, such that |J| ≥ n-k, rank(AJ) = n-k, and AJ x - bJ = 0, for any x ∈ F Zn, where x = y means that \|x - y\|∞ < . In other words, there exist at least n-k linearly independent inequalities of the system A x ≤ b that almost become equalities on F Zn. When we say almost, we mean that the slacks are not greater than -1. Using this fact, we prove the inequality |vert(PI)| ≤ 2 · mn · n-1, for the number of vertices of PI, which is better, than the state of the art bound for = O(n2).
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.