Subexponential parameterized algorithms for graphs of polynomial growth

preprint2016arXivOpen access

Abstract

We show that for a number of parameterized problems for which only 2O(k)nO(1)2^{O(k)} n^{O(1)} time algorithms are known on general graphs, subexponential parameterized algorithms with running time 2O(k1−11+δlog⁡2k)nO(1)2^{O(k^{1-\frac{1}{1+δ}} \log^2 k)} n^{O(1)} are possible for graphs of polynomial growth with growth rate (degree) δδ, that is, if we assume that every ball of radius rr contains only O(rδ)O(r^δ) vertices. The algorithms use the technique of low-treewidth pattern covering, introduced by Fomin et al. [FOCS 2016] for planar graphs; here we show how this strategy can be made to work for graphs with polynomial growth. Formally, we prove that, given a graph GG of polynomial growth with growth rate δδ and an integer kk, one can in randomized polynomial time find a subset A⊆V(G)A \subseteq V(G) such that on one hand the treewidth of G[A]G[A] is O(k1−11+δlog⁡k)O(k^{1-\frac{1}{1+δ}} \log k), and on the other hand for every set X⊆V(G)X \subseteq V(G) of size at most kk, the probability that X⊆AX \subseteq A is 2−O(k1−11+δlog⁡2k)2^{-O(k^{1-\frac{1}{1+δ}} \log^2 k)}. Together with standard dynamic programming techniques on graphs of bounded treewidth, this statement gives subexponential parameterized algorithms for a number of subgraph search problems, such as Long Path or Steiner Tree, in graphs of polynomial growth. We complement the algorithm with an almost tight lower bound for Long Path: unless the Exponential Time Hypothesis fails, no parameterized algorithm with running time 2k1−1δ−εnO(1)2^{k^{1-\frac{1}δ-\varepsilon}}n^{O(1)} is possible for any ε>0\varepsilon > 0 and an integer δ≥3δ\geq 3.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.