English

Subexponential parameterized algorithms for graphs of polynomial growth

Data Structures and Algorithms 2016-10-26 v1

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(k111+δlog2k)nO(1)2^{O(k^{1-\frac{1}{1+\delta}} \log^2 k)} n^{O(1)} are possible for graphs of polynomial growth with growth rate (degree) δ\delta, that is, if we assume that every ball of radius rr contains only O(rδ)O(r^\delta) 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 δ\delta and an integer kk, one can in randomized polynomial time find a subset AV(G)A \subseteq V(G) such that on one hand the treewidth of G[A]G[A] is O(k111+δlogk)O(k^{1-\frac{1}{1+\delta}} \log k), and on the other hand for every set XV(G)X \subseteq V(G) of size at most kk, the probability that XAX \subseteq A is 2O(k111+δlog2k)2^{-O(k^{1-\frac{1}{1+\delta}} \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 2k11δεnO(1)2^{k^{1-\frac{1}{\delta}-\varepsilon}}n^{O(1)} is possible for any ε>0\varepsilon > 0 and an integer δ3\delta \geq 3.

Keywords

Cite

@article{arxiv.1610.07778,
  title  = {Subexponential parameterized algorithms for graphs of polynomial growth},
  author = {Dániel Marx and Marcin Pilipczuk},
  journal= {arXiv preprint arXiv:1610.07778},
  year   = {2016}
}
R2 v1 2026-06-22T16:30:40.069Z