On exploiting degeneracy to count subgraphs

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

Motivated by practical applications, we study the complexity of counting the copies of a k-node pattern graph H in an n-node graph G, parameterized by the degeneracy d of G. We develop the source tree decomposition of H, a tree decomposition designed to exploit the degeneracy of G algorithmically to count homomorphisms, and an associated measure of source-treewidth s(H). Combining a simple dynamic programming with inclusion-exclusion arguments, for any given H we can count the homomorphisms from H to G in time f(d,k) ·Õ(n^s(H)). This allows us to obtain fast algorithms by bounding s(H) for interesting classes of patterns. For instance, we can count the induced or non-induced copies of any pattern faster than the decades-old state-of-the-art O(n^ω k/3+2) algorithm of [Nešetřil et al., 1985] as long as d < n^0.721 or m < n^1.442, where m is the number of edges of G. We complement our upper bounds with almost-matching lower bounds based on the Exponential Time Hypothesis [Impagliazzo et al., 1998].

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/05/2018

On degeneracy and the parameterized complexity of subgraph counting

We study the complexity of counting the (induced) occurrences of a k-nod...
research
10/06/2021

Tight bounds for counting colorings and connected edge sets parameterized by cutwidth

We study the fine-grained complexity of counting the number of colorings...
research
12/23/2022

Tight Bounds for Connectivity Problems Parameterized by Cutwidth

In this work we start the investigation of tight complexity bounds for c...
research
08/29/2019

Efficient Implementation of Color Coding Algorithm for Subgraph Isomorphism Problem

We consider the subgraph isomorphism problem where, given two graphs G (...
research
04/25/2019

Detecting and Counting Small Patterns in Planar Graphs in Subexponential Parameterized Time

We present an algorithm that takes as input an n-vertex planar graph G a...
research
11/28/2018

Counting Complexity for Reasoning in Abstract Argumentation

In this paper, we consider counting and projected model counting of exte...
research
02/21/2022

Quantifying Uncertainty for Temporal Motif Estimation in Graph Streams under Sampling

Dynamic networks, a.k.a. graph streams, consist of a set of vertices and...

Please sign up or login with your details

Forgot password? Click here to reset