Mostra el registre d'ítem simple
Quasipolynomial size frege proofs of Frankl's Theorem on the trace of sets
dc.contributor.author | Aisenberg, James |
dc.contributor.author | Bonet Carbonell, M. Luisa |
dc.contributor.author | Buss, Sam |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2017-02-13T11:15:11Z |
dc.date.available | 2017-02-13T11:15:11Z |
dc.date.issued | 2016-06-01 |
dc.identifier.citation | Aisenberg, J., Bonet, M., Buss, S. Quasipolynomial size frege proofs of Frankl's Theorem on the trace of sets. "Journal of symbolic logic", 1 Juny 2016, vol. 81, núm. 2, p. 687-710. |
dc.identifier.issn | 0022-4812 |
dc.identifier.uri | http://hdl.handle.net/2117/100899 |
dc.description.abstract | We extend results of Bonet, Buss and Pitassi on Bondy's Theorem and of Nozaki, Arai and Arai on Bollobas' Theorem by proving that Frankl's Theorem on the trace of sets has quasipolynomial size Frege proofs. For constant values of the parameter t, we prove that Frankl's Theorem has polynomial size AC(0)-Frege proofs from instances of the pigeonhole principle. |
dc.format.extent | 24 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.lcsh | Polynomials |
dc.subject.lcsh | Set theory |
dc.subject.other | Frege proofs |
dc.subject.other | Extended Frege proofs |
dc.subject.other | Frankl's theorem |
dc.subject.other | Trace of sets |
dc.subject.other | Kruskal-Katona theorem |
dc.subject.other | Hereditary matrix |
dc.title | Quasipolynomial size frege proofs of Frankl's Theorem on the trace of sets |
dc.type | Article |
dc.subject.lemac | Polinomis |
dc.subject.lemac | Conjunts, Teoria de |
dc.contributor.group | Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació |
dc.identifier.doi | 10.1017/jsl.2015.17 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=10382588&fileId=S0022481215000171 |
dc.rights.access | Open Access |
local.identifier.drac | 18821810 |
dc.description.version | Postprint (author's final draft) |
local.citation.author | Aisenberg, J.; Bonet, M.; Buss, S. |
local.citation.publicationName | Journal of symbolic logic |
local.citation.volume | 81 |
local.citation.number | 2 |
local.citation.startingPage | 687 |
local.citation.endingPage | 710 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Articles de revista [1.046]
-
Articles de revista [16]