Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/96459
Título:
|
A Note on polynomial-size monotone proofs of the pigeon hole principle
|
Autor/a:
|
Atserias, Albert
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
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 |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica -Pigeon-hole principle -Polynomial-size monotone proofs |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión publicada Informe |
Compartir:
|
|
Mostrar el registro completo del ítem