On degeneracy and the parameterized complexity of subgraph counting

05/05/2018
by   Marco Bressan, et al.
0

We study the complexity of counting the (induced) occurrences of a k-node pattern graph in an n-node graph, parameterized by the degeneracy d of the latter. We introduce the piece decomposition of a pattern graph H together with its piecewidth p(H). These two notions capture the parameterized complexity of counting H: we give a dynamic programming algorithm based on the piece decomposition that counts the occurrences of H in time f(d,k) ·Õ(n^ p(H)), and prove that unless the Exponential Time Hypothesis fails, no algorithm exists with running time f(d,k) · n^o(p(H)/p(H)). By bounding p(H) we obtain novel complexity bounds. On the one hand we prove that cliques minus c edges can be counted in time f(d,k) ·Õ(n^ 1/2 + √(c/2)), which generalizes the well-known O(nd^k-1) upper bound for counting cliques, and shows that a lower degeneracy makes it easier to find and count dense patterns. Then we prove that any pattern on k nodes can be counted in time f(k) ·Õ(n^ k/4 +2 d^k- k/4 -2), beating the classic O(n^(ω k / 3)+2) bound for d < n^0.721 using the current matrix multiplication exponent ω≈ 2.37. On the other hand we show that algorithms with running time f(d,k) · n^o(k/k) are unlikely to exist, even for d=2.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/05/2018

On exploiting degeneracy to count subgraphs

Motivated by practical applications, we study the complexity of counting...
research
03/09/2021

Exact and Approximate Pattern Counting in Degenerate Graphs: New Algorithms, Hardness Results, and Complexity Dichotomies

We study the problems of counting the homomorphisms, counting the copies...
research
11/03/2022

The Complexity of Pattern Counting in Directed Graphs, Parameterised by the Outdegree

We study the fixed-parameter tractability of the following fundamental p...
research
08/13/2019

Finding and counting permutations via CSPs

Permutation patterns and pattern avoidance have been intensively studied...
research
04/07/2021

Polynomial Anonymous Dynamic Distributed Computing without a Unique Leader

Counting the number of nodes in Anonymous Dynamic Networks is enticing f...
research
03/29/2019

Stabilizer Circuits, Quadratic Forms, and Computing Matrix Rank

We show that a form of strong simulation for n-qubit quantum stabilizer ...
research
10/02/2020

Efficient Estimation of Graph Trussness

A k-truss is an edge-induced subgraph H such that each of its edges belo...

Please sign up or login with your details

Forgot password? Click here to reset