Mostra el registre d'ítem simple

dc.contributor.authorAisenberg, James
dc.contributor.authorBonet Carbonell, M. Luisa
dc.contributor.authorBuss, Sam
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2017-02-13T11:15:11Z
dc.date.available2017-02-13T11:15:11Z
dc.date.issued2016-06-01
dc.identifier.citationAisenberg, 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.issn0022-4812
dc.identifier.urihttp://hdl.handle.net/2117/100899
dc.description.abstractWe 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.extent24 p.
dc.language.isoeng
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject.lcshPolynomials
dc.subject.lcshSet theory
dc.subject.otherFrege proofs
dc.subject.otherExtended Frege proofs
dc.subject.otherFrankl's theorem
dc.subject.otherTrace of sets
dc.subject.otherKruskal-Katona theorem
dc.subject.otherHereditary matrix
dc.titleQuasipolynomial size frege proofs of Frankl's Theorem on the trace of sets
dc.typeArticle
dc.subject.lemacPolinomis
dc.subject.lemacConjunts, Teoria de
dc.contributor.groupUniversitat Politècnica de Catalunya. LOGPROG - Lògica i Programació
dc.identifier.doi10.1017/jsl.2015.17
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=10382588&fileId=S0022481215000171
dc.rights.accessOpen Access
local.identifier.drac18821810
dc.description.versionPostprint (author's final draft)
local.citation.authorAisenberg, J.; Bonet, M.; Buss, S.
local.citation.publicationNameJournal of symbolic logic
local.citation.volume81
local.citation.number2
local.citation.startingPage687
local.citation.endingPage710


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple