English

Counting large patterns in degenerate graphs

Data Structures and Algorithms 2026-03-27 v2

Abstract

The problem of subgraph counting asks for the number of occurrences of a pattern graph HH as a subgraph of a host graph GG and is known to be computationally challenging: it is #W[1]\#W[1]-hard even when HH is restricted to simple structures such as cliques or paths. Curticapean and Marx (FOCS'14) show that if the graph HH has vertex cover number τ\tau, subgraph counting has time complexity O(H2O(τ)Gτ+O(1))O(|H|^{2^{O(\tau)}} |G|^{\tau + O(1)}). This raises the question of whether this upper bound can be improved for input graphs GG from a restricted family of graphs. Earlier work by Eppstein~(IPL'94) shows that this is indeed possible, by proving that when GG is a dd-degenerate graph and HH is a biclique of arbitrary size, subgraph counting has time complexity O(d3d/3G)O(d 3^{d/3} |G|). We show that if the input is restricted to dd-degenerate graphs, the upper bound of Curticapean and Marx can be improved for a family of graphs HH that includes all bicliques and satisfies a property we call (c,d)(c,d)-locatable. Importantly, our algorithm's running time only has a polynomial dependence on the size of~HH. A key feature of (c,d)(c,d)-locatable graphs HH is that they admit a vertex cover of size at most cdcd. We further characterize (1,d)(1,d)-locatable graphs, for which our algorithms achieve a linear running time dependence on G|G|, and we establish a lower bound showing that counting graphs which are barely not (1,d)(1,d)-locatable is already #W[1]\#\text{W}[1]-hard. We note that the restriction to dd-degenerate graphs has been a fruitful line of research leading to two very general results (FOCS'21, SODA'25) and this creates the impression that we largely understand the complexity of counting substructures in degenerate graphs. However, all aforementioned results have an exponential dependency on the size of the pattern graph HH.

Keywords

Cite

@article{arxiv.2511.20385,
  title  = {Counting large patterns in degenerate graphs},
  author = {Christine Awofeso and Patrick Greaves and Oded Lachish and Felix Reidl},
  journal= {arXiv preprint arXiv:2511.20385},
  year   = {2026}
}
R2 v1 2026-07-01T07:54:22.399Z