A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Let A ∈ Z^m × n, rank(A) = n, b ∈ Z^m, 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(A_JC) = n-k, and A_J x - b_J = 0, for any x ∈ F. We show that a similar fact holds for the integer polyhedron P_I = conv(P ∩ Z^n) if we additionallyarXiv:2203.03907v1 fatcat:6vh7vbinzff6ti525r6keemd6m