Slightly Superexponential Parameterized Problems
Lokshtanov, D and Marx, Dániel and Saurabh, S (2018) Slightly Superexponential Parameterized Problems. SIAM JOURNAL ON COMPUTING, 47 (3). pp. 675702. ISSN 00975397 10.1137/16M1104834

Text
Lokshtanov_675_3424373_ny.pdf Download (777kB)  Preview 
Abstract
A central problem in parameterized algorithms is to obtain algorithms with running time f(k) center dot n(O(1)) such that f is as slow growing a function of the parameter k as possible. In particular, a large number of basic parameterized problems admit parameterized algorithms where f (k) is singleexponential, that is, c(k) for some constant c, which makes aiming for such a running time a natural goal for other problems as well. However, there are still plenty of problems where the f(k) appearing in the bestknown running time is worse than singleexponential and it remained "slightly superexponential" even after serious attempts to bring it down. A natural question to ask is whether the f (k) appearing in the running time of the bestknown algorithms is optimal for any of _ these problems. In this paper, we examine parameterized problems where f(k) is k(O(k)) = 2(O(k log k)) in the bestknown running time, and for a number of such problems we show that the dependence on k in the running time cannot be improved to singleexponential. More precisely we prove the following tight lower bounds, for four natural problems, arising from three different domains: (1) In the CLOSEST STRING problem, given strings S1,..., s(t) over an alphabet Sigma of length L each, and an integer d, the question is whether there exists a string s over E of length L, such that its hamming distance from each of the strings s,, 1 <= i <= t, is at most d. The pattern matching problem CLOSEST STRING is known to be solvable in times 2(O(d log d)) center dot n(O(1)) and 2(O(d log vertical bar Sigma vertical bar)) center dot n(O(1)). We show that there are no 2(O(d log d)) center dot n(O(1)) or 2(O(d log vertical bar Sigma vertical bar)) time algorithms, unless the Exponential Time Hypothesis (ETH) fails. (2) The graph embedding problem DISTORTION, that is, deciding whether a graph G has a metric embedding into the integers with distortion at most d can be solved in time 2(O(d log d)) center dot n(O(1)). We show that there is no 2(O(w log w)) center dot n(O(1)) time algorithm, unless the ETH fails. (3) The DISJOINT PATHS problem can be solved in time 2(O(w log w)) center dot n(O(1)) on graphs of treewidth at most w. We show that there is no 2(O(w log w)) center dot n(O(1)) time algorithm, unless the ETH fails. (4) The CHROMATIC NUMBER problem can be solved in time 2(O(w log w)) center dot n(O(1)) on graphs of treewidth at most w. We show that there is no 2(O(w log w)) center dot n(O(1)) time algorithm, unless the ETH fails. To obtain our results, we first prove the lower bound for variants of basic problems: finding cliques, independent sets, and hitting sets. These artificially constrained variants form a good starting point for proving lower bounds on natural problems without any technical restrictions and could be of independent interest. Several followup works have already obtained tight lower bounds by using our framework, and we believe it will prove useful in obtaining even more lower bounds in the future.
Item Type:  Article 

Uncontrolled Keywords:  TIME; BOUNDS; GRAPHS; COMPLEXITY; DISTORTION; Treewidth; Efficient algorithms; Parameterized complexity; lower bound; Closest string; Feedback vertex set; Exponential time hypothesis; SUBSTRING PROBLEMS; STRING SELECTIONPROBLEMS; 
Subjects:  Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány 
Divisions:  Informatics Laboratory 
SWORD Depositor:  MTMT Injector 
Depositing User:  MTMT Injector 
Date Deposited:  08 Jan 2019 16:24 
Last Modified:  21 Jul 2019 13:33 
URI:  http://eprints.sztaki.hu/id/eprint/9563 
Update Item 