On Super Strong ETH
Name
random_k_sat_lncs__source_clean.pdf
Size
404.73 KB
Format
Adobe PDF
Checksum (MD5)
213d63229c221a883ccae0d1d46884dc
Author(s)
Vyas, Nikhil
Williams, Ryan
Date Issued
January 2021
Journal
Journal of Artificial Intelligence Research
Publisher
AI Access Foundation
Citation
Vyas, Nikhil and Ryan Williams. "On Super Strong ETH." Journal of Artificial Intelligence Research 70 (January 2021): 473-495 © 2021 AI Access Foundation
Version
Final published version
Abstract
Multiple known algorithmic paradigms (backtracking, local search and the polynomial method) only yield a 2[superscript n(1-1/O(k))] time algorithm for k-SAT in the worst case. For this reason, it has been hypothesized that the worst-case k-SAT problem cannot be solved in 2[superscript n(1-f(k)/k)] time for any unbounded function f. This hypothesis has been called the "Super-Strong ETH", modelled after the ETH and the Strong ETH.
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Terms of Use
Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1613/jair.1.11859
