Relating the Time Complexity of Optimization Problems in Light of the Exponential-Time Hypothesis
Number of Authors: 4
2014 (English)In: Mathematical Foundations of Computer Science 2014: 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II / [ed] Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik, Springer Berlin/Heidelberg, 2014, 408-419 p.Chapter in book (Refereed)
Obtaining lower bounds for NP-hard problems has for a long time been an active area of research. Recent algebraic techniques introduced by Jonsson et al. (SODA 2013) show that the time complexity of the parameterized SAT(·) problem correlates to the lattice of strong partial clones. With this ordering they isolated a relation R such that SAT(R) can be solved at least as fast as any other NP-hard SAT(·) problem. In this paper we extend this method and show that such languages also exist for the max ones problem (Max-Ones(Γ)) and the Boolean valued constraint satisfaction problem over finite-valued constraint languages (VCSP(Δ)). With the help of these languages we relate Max-Ones and VCSP to the exponential time hypothesis in several different ways.
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2014. 408-419 p.
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 8635
Computer and Information Science
IdentifiersURN: urn:nbn:se:liu:diva-112902DOI: 10.1007/978-3-662-44465-8_35ISI: 000358254600035ScopusID: 2-s2.0-84906261436ISBN: 978-3-662-44464-1 (print)ISBN: 978-3-662-44465-8 (Online)OAI: oai:DiVA.org:liu-112902DiVA: diva2:773656
39th International Symposium on Mathematical Foundations of Computer Science (MFCS-2014)