Lower bounds for DNF-refutations of a relativized weak pigeonhole principle
Visualitza/Obre
Cita com:
hdl:2117/23255
Tipus de documentText en actes de congrés
Data publicació2013
EditorInstitute of Electrical and Electronics Engineers (IEEE)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
The relativized weak pigeonhole principle states that if at least 2n out of n2 pigeons fly into n holes, then some hole must be doubly occupied. We prove that every DNF-refutation of the CNF encoding of this principle requires size 2((log n)3/2-ϵ) for every ε > 0 and every sufficiently large n. For its proof we need to discuss the existence of unbalanced low-degree bipartite expanders satisfying a certain robustness condition.
CitacióAtserias, A.; Müller, M.; Oliva, S. Lower bounds for DNF-refutations of a relativized weak pigeonhole principle. A: IEEE Conference on Computational Complexity. "2013 IEEE Conference on Computational Complexity, CCC 2013: 5-7 June 2013 Palo Alto, California, USA: proceedings". Palo Alto, California: Institute of Electrical and Electronics Engineers (IEEE), 2013, p. 109-120.
ISBN978-076954997-2
Versió de l'editorhttp://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6597754
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Atserias.pdf | 332,5Kb | Visualitza/Obre |