Clique is hard on average for regular resolution
Visualitza/Obre
Cita com:
hdl:2117/123124
Tipus de documentText en actes de congrés
Data publicació2018
EditorAssociation for Computing Machinery (ACM)
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
We prove that for k ≪4√n regular resolution requires length nΩ(k) to establish that an Erdős–Rényi graph with appropriately chosen edge density does not contain a k-clique. This lower bound is optimal up to the multiplicative constant in the exponent, and also implies unconditional nΩ(k) lower bounds on running time for several state-of-the-art algorithms for finding maximum cliques in graphs.
CitacióAtserias, A., Bonacina, I., Rezende, S., Lauria, M., Nordström, J., Razborov, A. Clique is hard on average for regular resolution. A: ACM Symposium on Theory of Computing. "Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing". New York: Association for Computing Machinery (ACM), 2018, p. 866-877.
ISBN978-1-4503-5559-9
Versió de l'editorhttps://dl.acm.org/citation.cfm?doid=3188745.3188856
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
clique-regular-resolution-STOC2018.pdf | 768,5Kb | Visualitza/Obre |