73 research outputs found
The parameterised complexity of counting connected subgraphs and graph motifs
We introduce a family of parameterised counting problems on graphs, p-#Induced Subgraph With Property(Φ), which generalises a number of problems which have previously been studied. This paper focuses on the case in which Φ defines a family of graphs whose edge-minimal elements all have bounded treewidth; this includes the special case in which Φ describes the property of being connected. We show that exactly counting the number of connected induced k-vertex subgraphs in an n-vertex graph is #W[1]-hard, but on the other hand there exists an FPTRAS for the problem; more generally, we show that there exists an FPTRAS for p-#Induced Subgraph With Property(Φ) whenever Φ is monotone and all the minimal graphs satisfying Φ have bounded treewidth. We then apply these results to a counting version of the Graph Motif problem
Some hard families of parameterised counting problems
We consider parameterised subgraph-counting problems of the following form:
given a graph G, how many k-tuples of its vertices have a given property? A
number of such problems are known to be #W[1]-complete; here we substantially
generalise some of these existing results by proving hardness for two large
families of such problems. We demonstrate that it is #W[1]-hard to count the
number of k-vertex subgraphs having any property where the number of distinct
edge-densities of labelled subgraphs that satisfy the property is o(k^2). In
the special case that the property in question depends only on the number of
edges in the subgraph, we give a strengthening of this result which leads to
our second family of hard problems.Comment: A few more minor changes. This version to appear in the ACM
Transactions on Computation Theor
The parameterised complexity of counting even and odd induced subgraphs
We consider the problem of counting, in a given graph, the number of induced k-vertex subgraphs which have an even number of edges, and also the complementary problem of counting the k-vertex induced subgraphs having an odd number of edges. We demonstrate that both problems are #W[1]-hard when parameterised by k, in fact proving a somewhat stronger result about counting subgraphs with a property that only holds for some subset of k-vertex subgraphs which have an even (respectively odd) number of edges. On the other hand, we show that each of the problems admits an FPTRAS. These approximation schemes are based on a surprising structural result, which exploits ideas from Ramsey theory
Parameterised and Fine-Grained Subgraph Counting, Modulo 2
Given a class of graphs ?, the problem ?Sub(?) is defined as follows. The input is a graph H ? ? together with an arbitrary graph G. The problem is to compute, modulo 2, the number of subgraphs of G that are isomorphic to H. The goal of this research is to determine for which classes ? the problem ?Sub(?) is fixed-parameter tractable (FPT), i.e., solvable in time f(|H|)?|G|^O(1).
Curticapean, Dell, and Husfeldt (ESA 2021) conjectured that ?Sub(?) is FPT if and only if the class of allowed patterns ? is matching splittable, which means that for some fixed B, every H ? ? can be turned into a matching (a graph in which every vertex has degree at most 1) by removing at most B vertices.
Assuming the randomised Exponential Time Hypothesis, we prove their conjecture for (I) all hereditary pattern classes ?, and (II) all tree pattern classes, i.e., all classes ? such that every H ? ? is a tree. We also establish almost tight fine-grained upper and lower bounds for the case of hereditary patterns (I)
Counting Subgraphs in Somewhere Dense Graphs
We study the problems of counting copies and induced copies of a small pattern graph H in a large host graph G. Recent work fully classified the complexity of those problems according to structural restrictions on the patterns H. In this work, we address the more challenging task of analysing the complexity for restricted patterns and restricted hosts. Specifically we ask which families of allowed patterns and hosts imply fixed-parameter tractability, i.e., the existence of an algorithm running in time f(H)?|G|^O(1) for some computable function f. Our main results present exhaustive and explicit complexity classifications for families that satisfy natural closure properties. Among others, we identify the problems of counting small matchings and independent sets in subgraph-closed graph classes ? as our central objects of study and establish the following crisp dichotomies as consequences of the Exponential Time Hypothesis:
- Counting k-matchings in a graph G ? ? is fixed-parameter tractable if and only if ? is nowhere dense.
- Counting k-independent sets in a graph G ? ? is fixed-parameter tractable if and only if ? is nowhere dense. Moreover, we obtain almost tight conditional lower bounds if ? is somewhere dense, i.e., not nowhere dense. These base cases of our classifications subsume a wide variety of previous results on the matching and independent set problem, such as counting k-matchings in bipartite graphs (Curticapean, Marx; FOCS 14), in F-colourable graphs (Roth, Wellnitz; SODA 20), and in degenerate graphs (Bressan, Roth; FOCS 21), as well as counting k-independent sets in bipartite graphs (Curticapean et al.; Algorithmica 19).
At the same time our proofs are much simpler: using structural characterisations of somewhere dense graphs, we show that a colourful version of a recent breakthrough technique for analysing pattern counting problems (Curticapean, Dell, Marx; STOC 17) applies to any subgraph-closed somewhere dense class of graphs, yielding a unified view of our current understanding of the complexity of subgraph counting
Detecting and counting small subgraphs, and evaluating a parameterized Tutte polynomial: lower bounds via toroidal grids and Cayley graph expanders
Given a graph property , we consider the problem , where the input is a pair of a graph and a positive integer , and the task is to decide whether contains a -edge subgraph that satisfies . Specifically, we study the parameterized complexity of and of its counting problem with respect to both approximate and exact counting. We obtain a complete picture for minor-closed properties : the decision problem always admits an FPT algorithm and the counting problem always admits an FPTRAS. For exact counting, we present an exhaustive and explicit criterion on the property which, if satisfied, yields fixed-parameter tractability and otherwise -hardness. Additionally, most of our hardness results come with an almost tight conditional lower bound under the so-called Exponential Time Hypothesis, ruling out algorithms for that run in time for any computable function . As a main technical result, we gain a complete understanding of the coefficients of toroidal grids and selected Cayley graph expanders in the homomorphism basis of . This allows us to establish hardness of exact counting using the Complexity Monotonicity framework due to Curticapean, Dell and Marx (STOC'17). Our methods can also be applied to a parameterized variant of the Tutte Polynomial of a graph , to which many known combinatorial interpretations of values of the (classical) Tutte Polynomial can be extended. As an example, corresponds to the number of -forests in the graph . Our techniques allow us to completely understand the parametrized complexity of computing the evaluation of at every pair of rational coordinates
Approximately counting and sampling small witnesses using a colourful decision oracle
In this paper, we prove "black box" results for turning algorithms which decide whether or not a witness exists into algorithms to approximately count the number of witnesses, or to sample from the set of witnesses approximately uniformly, with essentially the same running time. We do so by extending the framework of Dell and Lapinskas (STOC 2018), which covers decision problems that can be expressed as edge detection in bipartite graphs given limited oracle access; our framework covers problems which can be expressed as edge detection in arbitrary k-hypergraphs given limited oracle access. (Simulating this oracle generally corresponds to invoking a decision algorithm.) This includes many key problems in both the fine-grained setting (such as k-SUM, k-OV and weighted k-Clique) and the parameterised setting (such as induced subgraphs of size k or weight-k solutions to CSPs). From an algorithmic standpoint, our results will make the development of new approximate counting algorithms substantially easier; indeed, it already yields a new state-of-the-art algorithm for approximately counting graph motifs, improving on Jerrum and Meeks (JCSS 2015) unless the input graph is very dense and the desired motif very small. Our k-hypergraph reduction framework generalises and strengthens results in the graph oracle literature due to Beame et al. (ITCS 2018) and Bhattacharya et al. (CoRR abs/1808.00691)
Counting Subgraphs in Somewhere Dense Graphs
We study the problems of counting copies and induced copies of a small
pattern graph in a large host graph . Recent work fully classified the
complexity of those problems according to structural restrictions on the
patterns . In this work, we address the more challenging task of analysing
the complexity for restricted patterns and restricted hosts. Specifically we
ask which families of allowed patterns and hosts imply fixed-parameter
tractability, i.e., the existence of an algorithm running in time for some computable function . Our main results present
exhaustive and explicit complexity classifications for families that satisfy
natural closure properties. Among others, we identify the problems of counting
small matchings and independent sets in subgraph-closed graph classes
as our central objects of study and establish the following crisp
dichotomies as consequences of the Exponential Time Hypothesis: (1) Counting
-matchings in a graph is fixed-parameter tractable if and
only if is nowhere dense. (2) Counting -independent sets in a
graph is fixed-parameter tractable if and only if
is nowhere dense. Moreover, we obtain almost tight conditional
lower bounds if is somewhere dense, i.e., not nowhere dense.
These base cases of our classifications subsume a wide variety of previous
results on the matching and independent set problem, such as counting
-matchings in bipartite graphs (Curticapean, Marx; FOCS 14), in
-colourable graphs (Roth, Wellnitz; SODA 20), and in degenerate graphs
(Bressan, Roth; FOCS 21), as well as counting -independent sets in bipartite
graphs (Curticapean et al.; Algorithmica 19).Comment: 35 pages, 3 figures, 4 tables, abstract shortened due to ArXiv
requirement
- …