Search citation statements
Paper Sections
Citation Types
Year Published
Publication Types
Relationship
Authors
Journals
Given a class of graphs $${\mathcal {H}}$$ H , the problem $$\oplus \text {{Sub}}({\mathcal {H}})$$ ⊕ Sub ( H ) is defined as follows. The input is a graph $$H\in {\mathcal {H}}$$ H ∈ 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 $${\mathcal {H}}$$ H the problem $$\oplus \text {{Sub}}({\mathcal {H}})$$ ⊕ Sub ( H ) is fixed-parameter tractable (FPT), i.e., solvable in time $$f(|H|)\cdot |G|^{O(1)}$$ f ( | H | ) · | G | O ( 1 ) . Curticapean, Dell, and Husfeldt (ESA 2021) conjectured that $$\oplus \text {{Sub}}({\mathcal {H}})$$ ⊕ Sub ( H ) is FPT if and only if the class of allowed patterns $${\mathcal {H}}$$ H is matching splittable, which means that for some fixed B, every $$H \in {\mathcal {H}}$$ H ∈ 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 $${\mathcal {H}}$$ H , and (II) all tree pattern classes, i.e., all classes $${\mathcal {H}}$$ H such that every $$H\in {\mathcal {H}}$$ H ∈ H is a tree. We also establish almost tight fine-grained upper and lower bounds for the case of hereditary patterns (I).
Given a class of graphs $${\mathcal {H}}$$ H , the problem $$\oplus \text {{Sub}}({\mathcal {H}})$$ ⊕ Sub ( H ) is defined as follows. The input is a graph $$H\in {\mathcal {H}}$$ H ∈ 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 $${\mathcal {H}}$$ H the problem $$\oplus \text {{Sub}}({\mathcal {H}})$$ ⊕ Sub ( H ) is fixed-parameter tractable (FPT), i.e., solvable in time $$f(|H|)\cdot |G|^{O(1)}$$ f ( | H | ) · | G | O ( 1 ) . Curticapean, Dell, and Husfeldt (ESA 2021) conjectured that $$\oplus \text {{Sub}}({\mathcal {H}})$$ ⊕ Sub ( H ) is FPT if and only if the class of allowed patterns $${\mathcal {H}}$$ H is matching splittable, which means that for some fixed B, every $$H \in {\mathcal {H}}$$ H ∈ 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 $${\mathcal {H}}$$ H , and (II) all tree pattern classes, i.e., all classes $${\mathcal {H}}$$ H such that every $$H\in {\mathcal {H}}$$ H ∈ H is a tree. We also establish almost tight fine-grained upper and lower bounds for the case of hereditary patterns (I).
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 G 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 ∈ G is fixed-parameter tractable if and only if G is nowhere dense.Counting k-independent sets in a graph G ∈ G is fixed-parameter tractable if and only if G is nowhere dense. Moreover, we obtain almost tight conditional lower bounds if G 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.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.