lower bound; linear proofs; Helly Theorem
A well-known theorem of Rabin yields a dimensional lower bound on the width of complete polynomial proofs of a system of linear algebraic inequalities. In this note we investigate a practically motivated class of systems where the same lower bound can be obtained on the width of almost all (noncomplete) linear proofs. The proof of our result is based on the Helly Theorem.
 Joseph Stoer, Christoph Witzgall: Convexity and Optimization in Finite Dimensions I. Springer-Verlag, Berlin-Heidelberg-New York, J 970.
 Ky Fan: On systems of linear inequalities
. in 'Linear Inequalities and Related Systems' (H. W. Kuhn and A. W. Tucker, eds.). Princeton Univ. Press, 1956. MR 0087901
| Zbl 0072.37602
 David G. Luenberger: Introduction to Linear and Nonlinear Programming. Addison-Wesley Publishing Company, 1973.
 J. W. Jaromczyk: An extension of Rabin's complete proof concept
. MFCS 1981, Lecture Notes in Computer Science 118, Springer-Verlag 1981, 321 - 326. MR 0652765
| Zbl 0471.68026