The Exponential Time Hypothesis and the Parameterized Clique Problem

In parameterized complexity there are three natural definitions of fixed-parameter tractability called strongly uniform, weakly uniform and nonuniform fpt. Similarly, there are three notions of subexponential time, yielding three flavours of the exponential time hypothesis (ETH) stating that 3Sat is not solvable in subexponential time. It is known that ETH implies that p-Clique is not fixed-parameter tractable if both are taken to be strongly uniform or both are taken to be uniform, and we extend this to the nonuniform case. We also show that even the containment of weakly uniform subexponential time in nonuniform subexponential time is strict. Furthermore, we deduce from nonuniform ETH that no single exponent d allows for arbitrarily good fpt-approximations of clique.

[1]  Ge Xia,et al.  Linear FPT reductions and computational lower bounds , 2004, STOC '04.

[2]  Fedor V. Fomin,et al.  The Multivariate Algorithmic Revolution and Beyond , 2012, Lecture Notes in Computer Science.

[3]  Michael R. Fellows,et al.  Fixed-parameter tractability and completeness III: some structural aspects of the W hierarchy , 1993 .

[4]  Jörg Flum,et al.  Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series) , 2006 .

[5]  Jörg Flum,et al.  Parameterized Complexity Theory , 2006, Texts in Theoretical Computer Science. An EATCS Series.

[6]  Dániel Marx,et al.  The Multivariate Algorithmic Revolution and Beyond: essays dedicated to Michael R. Fellows on the occasion of His 60th birthday , 2012 .

[7]  Rodney G. Downey,et al.  The Birth and Early Years of Parameterized Complexity , 2012, The Multivariate Algorithmic Revolution and Beyond.

[8]  Dániel Marx,et al.  Parameterized Complexity and Approximation Algorithms , 2008, Comput. J..

[9]  Russell Impagliazzo,et al.  Which problems have strongly exponential complexity? , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[10]  Robert Ganian,et al.  Lower Bounds on the Complexity of MSO1 Model-Checking , 2011, STACS.

[11]  Jörg Flum,et al.  Parametrized Complexity and Subexponential Time (Column: Computational Complexity) , 2004, Bull. EATCS.

[12]  Yijia Chen,et al.  On Miniaturized Problems in Parameterized Complexity Theory , 2004, IWPEC.

[13]  Yijia Chen,et al.  On Parameterized Approximability , 2006, IWPEC.

[14]  Petr Hliněný,et al.  Lower bounds on the complexity of MSO1 model-checking , 2014, J. Comput. Syst. Sci..

[15]  Michael A. Langston,et al.  Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings , 2006, IWPEC.

[16]  Martin Grohe The complexity of homomorphism and constraint satisfaction problems seen from the other side , 2007, JACM.