On Parameterized Exponential Time Complexity

نویسندگان

  • Jianer Chen
  • Iyad A. Kanj
  • Ge Xia
چکیده

In this paper we study the notion of parameterized exponential time complexity. We show that a parameterized problem can be solved in parameterized 2o(f (k))p(n) time if and only if it is solvable in time O(2δf (k)q(n)) for any constant δ > 0, where p and q are polynomials. We then illustrate how this equivalence can be used to show that special instances of parameterized NP-hard problems are as difficult as the general instances. For example, we show that the Planar Dominating Set problem on degree-3 graphs can be solved in 2o( √ k)p(n) parameterized time if and only if the general Planar Dominating Set problem can. Apart from their complexity theoretic implications, our results have some interesting algorithmic implications as well. © 2009 Elsevier B.V. All rights reserved.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A note on parameterized exponential time complexity

In this paper we define the notion of an f(k)-uniform parameterized exponential time scheme. We show that a problem can be solved in parameterized O(2p(n)) time if and only if it has an f(k)-uniform parameterized exponential time scheme (p is a polynomial). We then illustrate how our formulation can be used to show that special instances of parameterized NPhard problems are as difficult as the ...

متن کامل

Lower Bounds Based on the Exponential Time Hypothesis: Edge Clique Cover

In this article we survey algorithmic lower bound results that have been obtained in the field of exact exponential time algorithms and parameterized complexity under certain assumptions on the running time of algorithms solving CNF-Sat, namely Exponential time hypothesis (ETH) and Strong Exponential time hypothesis (SETH).

متن کامل

A tight lower bound for Vertex Planarization on graphs of bounded treewidth

In the Vertex Planarization problem one asks to delete the minimum possible number of vertices from an input graph to obtain a planar graph. The parameterized complexity of this problem, parameterized by the solution size (the number of deleted vertices) has recently attracted significant attention. The state-of-the-art algorithm of Jansen, Lokshtanov, and Saurabh [SODA 2014] runs in time 2O(k ...

متن کامل

Some Prospects for Efficient Fixed Parameter Algorithms

Recent time has seen quite some progress in the development of exponential time algorithms for NP-hard problems, where the base of the exponential term is fairly small. These developments are also tightly related to the theory of xed parameter tractability. In this incomplete survey, we explain some basic techniques in the design of eecient xed parameter algorithms, discuss deeciencies of param...

متن کامل

Intersection Non-Emptiness for Tree Shaped Finite Automata

In recent work on the Clique problem by Chen, Huang, Kanj, and Xia (2006) it was shown that if k-Clique is solvable in no(k) time, then the exponential time hypothesis is false. In this work, we focus on a related parameterized problem called intersection non-emptiness. We show that if intersection non-emptiness for two tree shaped DFA’s is solvable in O(n2− ) time, then the strong exponential ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 410  شماره 

صفحات  -

تاریخ انتشار 2009