A Note on polynomial-size monotone proofs of the pigeon hole principle
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/96459
Tipus de documentReport de recerca
Data publicació2000-09
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
We see that the version of the pigeon-hole
principle in which every hole is forced to receive a pigeon (called
onto) and the version in which every pigeon is mapped into exactly
one hole (called functional) have polynomial-size proofs in the
tree-like monotone sequent calculus. The proofs are surprisingly
simple reductions to the non-monotone case
CitacióAtserias, A. "A Note on polynomial-size monotone proofs of the pigeon hole principle". 2000.
Forma partLSI-00-54-R
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R00-54.ps | 119,1Kb | Postscript | Visualitza/Obre |