A new proof of the maximum principle
โ Scribed by Ngo Van Long; Koji Shimomura
- Publisher
- Springer
- Year
- 2003
- Tongue
- English
- Weight
- 58 KB
- Volume
- 22
- Category
- Article
- ISSN
- 0938-2259
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
It has been suggested that molecules arrange their electronic structure to be such that they have the maximum hardness, this being referred to as the principle of maximum hardness. This principle has been claimed to have been proved rigorously. We show that the proof is in error.
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.