Article ID Journal Published Year Pages File Type
438048 Theoretical Computer Science 2009 5 Pages PDF
Abstract

We demonstrate that the Cutting Plane (CP) rank, also known as the Chvátal rank, of the Pigeonhole Principle is Θ(logn). Our proof uses a novel technique which allows us to demonstrate rank lower bounds for fractional points with fewer restrictions than previous methods. We also demonstrate that the Pigeonhole Principle has a polynomially sized CP proof.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics