Quasipolynomial size frege proofs of Frankl's Theorem on the trace of sets

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/100899

Title:	Quasipolynomial size frege proofs of Frankl's Theorem on the trace of sets
Author:	Aisenberg, James; Bonet Carbonell, M. Luisa; Buss, Sam
Other authors:	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació
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.
Abstract:	Peer Reviewed
Subject(s):	-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica -Polynomials -Set theory -Frege proofs -Extended Frege proofs -Frankl's theorem -Trace of sets -Kruskal-Katona theorem -Hereditary matrix -Polinomis -Conjunts, Teoria de
Rights:
Document type:	Article - Submitted version Article
Share: