On a Simple Connection Between -modular ILP and LP, and a New Bound on the Number of Integer Vertices
arXiv:2203.03907
Abstract
Let , , , and be an -dimensional polyhedron, induced by the system . It is a known fact that if is a -face of , then there exist at least linearly independent inequalities of the system that become equalities on . In other words, there exists a set of indices , such that , , and We show that a similar fact holds for the integer polyhedron if we additionally suppose that is -modular, for some . More precisely, if is a -face of , then there exists a set of indices , such that , , and where means that . In other words, there exist at least linearly independent inequalities of the system that almost become equalities on . When we say almost, we mean that the slacks are not greater than . Using this fact, we prove the inequality for the number of vertices of , which is better, than the state of the art bound for .