The exact complexity of the weak pigeonhole principle is an old and fundamental problem in proof complexity. Using a diagonalization argument, J. B. Paris et al. (J. Symbolic Logic 53 (1988), 1235-1244) showed how to prove the weak pigeonhole principle with bounded-depth, quasipolynomialsize proofs.
Monotone Proofs of the Pigeon Hole Principle
✍ Scribed by Albert Atserias; Nicola Galesi; Ricard Gavaldà
- Publisher
- John Wiley and Sons
- Year
- 2001
- Tongue
- English
- Weight
- 218 KB
- Volume
- 47
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
For free and interacting Hamiltonians, Ho and H = H,, + V(r) acting in L2(R3, dx) with V(r) a radial potential satisfying certain technical conditions, and for 9) a real function on R with v' > 0 except on a discrete set, we prove that the Moller wave operators Q\* = strong limit eiWHJ e-ifVtHo) t-?
## Abstract **Der** **__gauche__****‐Effekt**, der bei der reversiblen Bildung eines Iminiumions (siehe Struktur: F grün, N blau) auftritt, bietet eine nützliche Möglichkeit, die räumliche Ausrichtung von Intermediaten in durch sekundäre Amine katalysierten Reaktionen zu steuern. Dieses Phänomen wu