Known Algorithms on Graphs of Bounded Treewidth Are Probably Optimal

Lokshtanov, D and Marx, Dániel and Saurabh, S (2018) Known Algorithms on Graphs of Bounded Treewidth Are Probably Optimal. ACM TRANSACTIONS ON ALGORITHMS, 14 (2). ISSN 1549-6325 10.1115/3170942

[img] Text
Lokshtanov_13_3424372_ny.pdf

Download (975kB)

Abstract

We obtain a number of lower bounds on the running time of algoritluns solving problems on graphs of bounded treewidth. We prove the results under the Strong Exponential Time Hypothesis of Impagliazzo and Paturi. In particular, assuming that n-variable m-clause SAT cannot be solved in time (2 - epsilon)(n) m(O(1)), we show that for any epsilon > 0: INDEPENDENT SET cannot be solved ill time (2 - epsilon)(tw(G))vertical bar V(G)vertical bar(O(1)), DOMINATING SET cannot be solved in time (3 - epsilon)(tw(G))vertical bar V(G)vertical bar(O(1)), MAX CUT cannot be solved in time (2 - epsilon)(tw(G))vertical bar V(G)vertical bar(O(1)), ODD CYCLE TRANSVERSAL cannot be solved in lime (3 - epsilon)(tw(G))vertical bar V(G)vertical bar(O(1)) For ally fixed q >= 3, q-COLORING cannot be solved in time (q - epsilon)(tw(G)) vertical bar V(G)vertical bar(O(1)), PARTITION INTO TRIANGLES cannot be solved in time (2 - epsilon)(tw(G))vertical bar V(G)vertical bar(O(1)). Our lower bounds match the running times for the best known algoritluns for the problems, up to the epsilon in the base.

Item Type: Article
Uncontrolled Keywords: COMPLEXITY; LOWER BOUNDS; WIDTH; Treewidth; Planar; SAT; SETH;
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 20:59
Last Modified: 08 Jan 2019 20:59
URI: http://eprints.sztaki.hu/id/eprint/9567

Update Item Update Item