Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/96459
Títol:
|
A Note on polynomial-size monotone proofs of the pigeon hole principle
|
Autor/a:
|
Atserias, Albert
|
Altres autors:
|
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 |
Matèries:
|
-Àrees temàtiques de la UPC::Informàtica -Pigeon-hole principle -Polynomial-size monotone proofs |
Drets:
|
|
Tipus de document:
|
Article - Versió publicada Informe |
Compartir:
|
|
Mostra el registre complet del document