-
Counting Small Induced Subgraphs: Hardness via Fourier Analysis
Authors:
Radu Curticapean,
Daniel Neuen
Abstract:
For a fixed graph property $Φ$ and integer $k \geq 1$, the problem $\#\mathrm{IndSub}(Φ,k)$ asks to count the induced $k$-vertex subgraphs satisfying $Φ$ in an input graph $G$. If $Φ$ is trivial on $k$-vertex graphs (i.e., if $Φ$ contains either all or no $k$-vertex graphs), this problem is trivial. Otherwise we prove, among other results:
- If $Φ$ is edge-monotone (i.e., closed under deleting e…
▽ More
For a fixed graph property $Φ$ and integer $k \geq 1$, the problem $\#\mathrm{IndSub}(Φ,k)$ asks to count the induced $k$-vertex subgraphs satisfying $Φ$ in an input graph $G$. If $Φ$ is trivial on $k$-vertex graphs (i.e., if $Φ$ contains either all or no $k$-vertex graphs), this problem is trivial. Otherwise we prove, among other results:
- If $Φ$ is edge-monotone (i.e., closed under deleting edges), then $\#\mathrm{IndSub}(Φ,k)$ cannot be solved in time $n^{o(k)}$ assuming ETH. This strengthens a result by Döring, Marx and Wellnitz [STOC 2024] that only ruled out an exponent of $o(\sqrt{\log k}/ \log \log k)$. Our results also hold when counting modulo fixed primes.
- If there is some fixed $\varepsilon > 0$ such that at most $(2-\varepsilon)^{\binom{k}{2}}$ graphs on $k$ vertices satisfy $Φ$, then $\#\mathrm{IndSub}(Φ,k)$ cannot be solved in time $n^{o(k/\sqrt{\log k})}$ assuming ETH. Our results hold even when each of the graphs in $Φ$ may come with an arbitrary individual weight. This generalizes previous results for hereditary properties by Focke and Roth [SIAM J.\ Comput.\ 2024] up to a $\sqrt{\log k}$ factor in the exponent of the lower bound.
- If $Φ$ only depends on the number of edges, then $\#\mathrm{IndSub}(Φ,k)$ cannot be solved in time $n^{o(k)}$ assuming ETH. This improves on a lower bound by Roth, Schmitt and Wellnitz [FOCS 2020] that only ruled out an exponent of $o(k / \sqrt{\log k})$.
In all cases, we also obtain $\mathsf{\#W[1]}$-hardness if $k$ is part of the input and the problem is parameterized by $k$. We also obtain lower bounds on the Weisfeiler-Leman dimension. Our results follow from relatively straightforward Fourier analysis, and our paper subsumes most of the known $\mathsf{\#W[1]}$-hardness results known in the area, often with tighter lower bounds under ETH.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Chromatic number in $1.9999^n$ time? Fast deterministic set partitioning under the asymptotic rank conjecture
Authors:
Andreas Björklund,
Radu Curticapean,
Thore Husfeldt,
Petteri Kaski,
Kevin Pratt
Abstract:
In this paper we further explore the recently discovered connection by Björklund and Kaski [STOC 2024] and Pratt [STOC 2024] between the asymptotic rank conjecture of Strassen [Progr. Math. 1994] and the three-way partitioning problem. We show that under the asymptotic rank conjecture, the chromatic number of an $n$-vertex graph can be computed deterministically in $O(1.99982^n)$ time, thus giving…
▽ More
In this paper we further explore the recently discovered connection by Björklund and Kaski [STOC 2024] and Pratt [STOC 2024] between the asymptotic rank conjecture of Strassen [Progr. Math. 1994] and the three-way partitioning problem. We show that under the asymptotic rank conjecture, the chromatic number of an $n$-vertex graph can be computed deterministically in $O(1.99982^n)$ time, thus giving a conditional answer to a question of Zamir [ICALP 2021], and questioning the optimality of the $2^n\operatorname{poly}(n)$ time algorithm for chromatic number by Björklund, Husfeldt, and Koivisto [SICOMP 2009].
Our technique is a combination of earlier algorithms for detecting $k$-colorings for small $k$ and enumerating $k$-colorable subgraphs, with an extension and derandomisation of Pratt's tensor-based algorithm for balanced three-way partitioning to the unbalanced case.
△ Less
Submitted 7 April, 2024;
originally announced April 2024.
-
Count on CFI graphs for #P-hardness
Authors:
Radu Curticapean
Abstract:
Given graphs $H$ and $G$, possibly with vertex-colors, a homomorphism is a function $f:V(H)\to V(G)$ that preserves colors and edges. Many interesting counting problems (e.g., subgraph and induced subgraph counts) are finite linear combinations $p(\cdot)=\sum_{H}α_{H}\hom(H,\cdot)$ of homomorphism counts, and such linear combinations are known to be hard to evaluate iff they contain a large-treewi…
▽ More
Given graphs $H$ and $G$, possibly with vertex-colors, a homomorphism is a function $f:V(H)\to V(G)$ that preserves colors and edges. Many interesting counting problems (e.g., subgraph and induced subgraph counts) are finite linear combinations $p(\cdot)=\sum_{H}α_{H}\hom(H,\cdot)$ of homomorphism counts, and such linear combinations are known to be hard to evaluate iff they contain a large-treewidth graph $S$. The hardness can be shown in two steps: First, the problems $\hom(S,\cdot)$ for colorful (i.e., bijectively colored) large-treewidth graphs $S$ are shown to be hard. In a second step, these problems are reduced to finite linear combinations of homomorphism counts that contain the uncolored version $S^{\circ}$ of $S$. This step can be performed via inclusion-exclusion in $2^{|E(S)|}\mathrm{poly}(n,s)$ time, where $n$ is the size of the input graph and $s$ is the maximum number of vertices among all graphs in the linear combination.
We show that the second step can be performed even in time $4^{Δ(S)}\mathrm{poly}(n,s)$, where $Δ(S)$ is the maximum degree of $S$. Our reduction is based on graph products with Cai-Fürer-Immerman graphs, a novel technique that is likely of independent interest. For colorful graphs $S$ of constant maximum degree, this technique yields a polynomial-time reduction from $\hom(S,\cdot)$ to linear combinations of homomorphism counts involving $S^{\circ}$. Under certain conditions, it actually suffices that a supergraph $T$ of $S^{\circ}$ is contained in the target linear combination.
The new reduction yields $\mathsf{\#P}$-hardness results for several counting problems that could previously be studied only under parameterized complexity assumptions. This includes the problems of counting, on input a graph from a restricted graph class and a general graph $G$, the homomorphisms or (induced) subgraph copies from $H$ in $G$.
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
Determinants from homomorphisms
Authors:
Radu Curticapean
Abstract:
We give a new combinatorial explanation for well-known relations between determinants and traces of matrix powers. Such relations can be used to obtain polynomial-time and poly-logarithmic space algorithms for the determinant. Our new explanation avoids linear-algebraic arguments and instead exploits a classical connection between subgraph and homomorphism counts.
We give a new combinatorial explanation for well-known relations between determinants and traces of matrix powers. Such relations can be used to obtain polynomial-time and poly-logarithmic space algorithms for the determinant. Our new explanation avoids linear-algebraic arguments and instead exploits a classical connection between subgraph and homomorphism counts.
△ Less
Submitted 22 April, 2022;
originally announced April 2022.
-
Parameterizing the Permanent: Hardness for $K_8$-minor-free graphs
Authors:
Radu Curticapean,
Mingji Xia
Abstract:
In the 1960s, statistical physicists discovered a fascinating algorithm for counting perfect matchings in planar graphs. Valiant later showed that the same problem is #P-hard for general graphs. Since then, the algorithm for planar graphs was extended to bounded-genus graphs, to graphs excluding $K_{3,3}$ or $K_{5}$, and more generally, to any graph class excluding a fixed minor $H$ that can be dr…
▽ More
In the 1960s, statistical physicists discovered a fascinating algorithm for counting perfect matchings in planar graphs. Valiant later showed that the same problem is #P-hard for general graphs. Since then, the algorithm for planar graphs was extended to bounded-genus graphs, to graphs excluding $K_{3,3}$ or $K_{5}$, and more generally, to any graph class excluding a fixed minor $H$ that can be drawn in the plane with a single crossing. This stirred up hopes that counting perfect matchings might be polynomial-time solvable for graph classes excluding any fixed minor $H$. Alas, in this paper, we show #P-hardness for $K_{8}$-minor-free graphs by a simple and self-contained argument.
△ Less
Submitted 29 August, 2021;
originally announced August 2021.
-
Modular counting of subgraphs: Matchings, matching-splittable graphs, and paths
Authors:
Radu Curticapean,
Holger Dell,
Thore Husfeldt
Abstract:
We systematically investigate the complexity of counting subgraph patterns modulo fixed integers. For example, it is known that the parity of the number of $k$-matchings can be determined in polynomial time by a simple reduction to the determinant. We generalize this to an $n^{f(t,s)}$-time algorithm to compute modulo $2^t$ the number of subgraph occurrences of patterns that are $s$ vertices away…
▽ More
We systematically investigate the complexity of counting subgraph patterns modulo fixed integers. For example, it is known that the parity of the number of $k$-matchings can be determined in polynomial time by a simple reduction to the determinant. We generalize this to an $n^{f(t,s)}$-time algorithm to compute modulo $2^t$ the number of subgraph occurrences of patterns that are $s$ vertices away from being matchings. This shows that the known polynomial-time cases of subgraph detection (Jansen and Marx, SODA 2015) carry over into the setting of counting modulo $2^t$.
Complementing our algorithm, we also give a simple and self-contained proof that counting $k$-matchings modulo odd integers $q$ is Mod_q-W[1]-complete and prove that counting $k$-paths modulo $2$ is Parity-W[1]-complete, answering an open question by Björklund, Dell, and Husfeldt (ICALP 2015).
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
A full complexity dichotomy for immanant families
Authors:
Radu Curticapean
Abstract:
Given an integer $n\geq 1$ and an irreducible character $χ_λ$ of $S_{n}$ for some partition $λ$ of $n$, the immanant $\mathrm{imm}_λ:\mathbb{C}^{n\times n}\to\mathbb{C}$ maps matrices $A\in\mathbb{C}^{n\times n}$ to $\mathrm{imm}_λ(A)=\sum_{π\in S_{n}}χ_λ(π)\prod_{i=1}^{n}A_{i,π(i)}$. Important special cases include the determinant and permanent, which are the immanants associated with the sign an…
▽ More
Given an integer $n\geq 1$ and an irreducible character $χ_λ$ of $S_{n}$ for some partition $λ$ of $n$, the immanant $\mathrm{imm}_λ:\mathbb{C}^{n\times n}\to\mathbb{C}$ maps matrices $A\in\mathbb{C}^{n\times n}$ to $\mathrm{imm}_λ(A)=\sum_{π\in S_{n}}χ_λ(π)\prod_{i=1}^{n}A_{i,π(i)}$. Important special cases include the determinant and permanent, which are the immanants associated with the sign and trivial character, respectively.
It is known that immanants can be evaluated in polynomial time for characters that are close to the sign character: Given a partition $λ$ of $n$ with $s$ parts, let $b(λ):=n-s$ count the boxes to the right of the first column in the Young diagram of $λ$. For a family of partitions $Λ$, let $b(Λ):=\max_{λ\inΛ}b(λ)$ and write Imm$(Λ)$ for the problem of evaluating $\mathrm{imm}_λ(A)$ on input $A$ and $λ\inΛ$. If $b(Λ)<\infty$, then Imm$(Λ)$ is known to be polynomial-time computable. This subsumes the case of the determinant. On the other hand, if $b(Λ)=\infty$, then previously known hardness results suggest that Imm$(Λ)$ cannot be solved in polynomial time. However, these results only address certain restricted classes of families $Λ$.
In this paper, we show that the parameterized complexity assumption FPT $\neq$ #W[1] rules out polynomial-time algorithms for Imm$(Λ)$ for any computationally reasonable family of partitions $Λ$ with $b(Λ)=\infty$. We give an analogous result in algebraic complexity under the assumption VFPT $\neq$ VW[1]. Furthermore, if $b(λ)$ even grows polynomially in $Λ$, we show that Imm$(Λ)$ is hard for #P and VNP. This concludes a series of partial results on the complexity of immanants obtained over the last 35 years.
△ Less
Submitted 8 February, 2021;
originally announced February 2021.
-
A Tight Lower Bound for Counting Hamiltonian Cycles via Matrix Rank
Authors:
Radu Curticapean,
Nathan Lindzey,
Jesper Nederlof
Abstract:
For even $k$, the matchings connectivity matrix $\mathbf{M}_k$ encodes which pairs of perfect matchings on $k$ vertices form a single cycle. Cygan et al. (STOC 2013) showed that the rank of $\mathbf{M}_k$ over $\mathbb{Z}_2$ is $Θ(\sqrt 2^k)$ and used this to give an $O^*((2+\sqrt{2})^{\mathsf{pw}})$ time algorithm for counting Hamiltonian cycles modulo $2$ on graphs of pathwidth $\mathsf{pw}$. Th…
▽ More
For even $k$, the matchings connectivity matrix $\mathbf{M}_k$ encodes which pairs of perfect matchings on $k$ vertices form a single cycle. Cygan et al. (STOC 2013) showed that the rank of $\mathbf{M}_k$ over $\mathbb{Z}_2$ is $Θ(\sqrt 2^k)$ and used this to give an $O^*((2+\sqrt{2})^{\mathsf{pw}})$ time algorithm for counting Hamiltonian cycles modulo $2$ on graphs of pathwidth $\mathsf{pw}$. The same authors complemented their algorithm by an essentially tight lower bound under the Strong Exponential Time Hypothesis (SETH). This bound crucially relied on a large permutation submatrix within $\mathbf{M}_k$, which enabled a "pattern propagation" commonly used in previous related lower bounds, as initiated by Lokshtanov et al. (SODA 2011).
We present a new technique for a similar pattern propagation when only a black-box lower bound on the asymptotic rank of $\mathbf{M}_k$ is given; no stronger structural insights such as the existence of large permutation submatrices in $\mathbf{M}_k$ are needed. Given appropriate rank bounds, our technique yields lower bounds for counting Hamiltonian cycles (also modulo fixed primes $p$) parameterized by pathwidth.
To apply this technique, we prove that the rank of $\mathbf{M}_k$ over the rationals is $4^k / \mathrm{poly}(k)$. We also show that the rank of $\mathbf{M}_k$ over $\mathbb{Z}_p$ is $Ω(1.97^k)$ for any prime $p\neq 2$ and even $Ω(2.15^k)$ for some primes.
As a consequence, we obtain that Hamiltonian cycles cannot be counted in time $O^*((6-ε)^{\mathsf{pw}})$ for any $ε>0$ unless SETH fails. This bound is tight due to a $O^*(6^{\mathsf{pw}})$ time algorithm by Bodlaender et al. (ICALP 2013). Under SETH, we also obtain that Hamiltonian cycles cannot be counted modulo primes $p\neq 2$ in time $O^*(3.97^\mathsf{pw})$, indicating that the modulus can affect the complexity in intricate ways.
△ Less
Submitted 21 November, 2017; v1 submitted 7 September, 2017;
originally announced September 2017.
-
Homomorphisms Are a Good Basis for Counting Small Subgraphs
Authors:
Radu Curticapean,
Holger Dell,
Dániel Marx
Abstract:
We introduce graph motif parameters, a class of graph parameters that depend only on the frequencies of constant-size induced subgraphs. Classical works by Lovász show that many interesting quantities have this form, including, for fixed graphs $H$, the number of $H$-copies (induced or not) in an input graph $G$, and the number of homomorphisms from $H$ to $G$.
Using the framework of graph motif…
▽ More
We introduce graph motif parameters, a class of graph parameters that depend only on the frequencies of constant-size induced subgraphs. Classical works by Lovász show that many interesting quantities have this form, including, for fixed graphs $H$, the number of $H$-copies (induced or not) in an input graph $G$, and the number of homomorphisms from $H$ to $G$.
Using the framework of graph motif parameters, we obtain faster algorithms for counting subgraph copies of fixed graphs $H$ in host graphs $G$: For graphs $H$ on $k$ edges, we show how to count subgraph copies of $H$ in time $k^{O(k)}\cdot n^{0.174k + o(k)}$ by a surprisingly simple algorithm. This improves upon previously known running times, such as $O(n^{0.91k + c})$ time for $k$-edge matchings or $O(n^{0.46k + c})$ time for $k$-cycles.
Furthermore, we prove a general complexity dichotomy for evaluating graph motif parameters: Given a class $\mathcal C$ of such parameters, we consider the problem of evaluating $f\in \mathcal C$ on input graphs $G$, parameterized by the number of induced subgraphs that $f$ depends upon. For every recursively enumerable class $\mathcal C$, we prove the above problem to be either FPT or #W[1]-hard, with an explicit dichotomy criterion. This allows us to recover known dichotomies for counting subgraphs, induced subgraphs, and homomorphisms in a uniform and simplified way, together with improved lower bounds.
Finally, we extend graph motif parameters to colored subgraphs and prove a complexity trichotomy: For vertex-colored graphs $H$ and $G$, where $H$ is from a fixed class $\mathcal H$, we want to count color-preserving $H$-copies in $G$. We show that this problem is either polynomial-time solvable or FPT or #W[1]-hard, and that the FPT cases indeed need FPT time under reasonable assumptions.
△ Less
Submitted 3 May, 2017;
originally announced May 2017.
-
A Fixed-Parameter Perspective on #BIS
Authors:
Radu Curticapean,
Holger Dell,
Fedor Fomin,
Leslie Ann Goldberg,
John Lapinskas
Abstract:
The problem of (approximately) counting the independent sets of a bipartite graph (#BIS) is the canonical approximate counting problem that is complete in the intermediate complexity class #RHΠ_1. It is believed that #BIS does not have an efficient approximation algorithm but also that it is not NP-hard. We study the robustness of the intermediate complexity of #BIS by considering variants of the…
▽ More
The problem of (approximately) counting the independent sets of a bipartite graph (#BIS) is the canonical approximate counting problem that is complete in the intermediate complexity class #RHΠ_1. It is believed that #BIS does not have an efficient approximation algorithm but also that it is not NP-hard. We study the robustness of the intermediate complexity of #BIS by considering variants of the problem parameterised by the size of the independent set. We exhaustively map the complexity landscape for three problems, with respect to exact computation and approximation and with respect to conventional and parameterised complexity. The three problems are counting independent sets of a given size, counting independent sets with a given number of vertices in one vertex class and counting maximum independent sets amongst those with a given number of vertices in one vertex class. Among other things, we show that all of these problems are NP-hard to approximate within any polynomial ratio. (This is surprising because the corresponding problems without the size parameter are complete in #RHΠ_1, and hence are not believed to be NP-hard.) We also show that the first problem is #W[1]-hard to solve exactly but admits an FPTRAS, whereas the other two are W[1]-hard to approximate even within any polynomial ratio. Finally, we show that, when restricted to graphs of bounded degree, all three problems have efficient exact fixed-parameter algorithms.
△ Less
Submitted 14 July, 2019; v1 submitted 17 February, 2017;
originally announced February 2017.
-
Counting edge-injective homomorphisms and matchings on restricted graph classes
Authors:
Radu Curticapean,
Holger Dell,
Marc Roth
Abstract:
We consider the $\#\mathsf{W}[1]$-hard problem of counting all matchings with exactly $k$ edges in a given input graph $G$; we prove that it remains $\#\mathsf{W}[1]$-hard on graphs $G$ that are line graphs or bipartite graphs with degree $2$ on one side. In our proofs, we use that $k$-matchings in line graphs can be equivalently viewed as edge-injective homomorphisms from the disjoint union of…
▽ More
We consider the $\#\mathsf{W}[1]$-hard problem of counting all matchings with exactly $k$ edges in a given input graph $G$; we prove that it remains $\#\mathsf{W}[1]$-hard on graphs $G$ that are line graphs or bipartite graphs with degree $2$ on one side. In our proofs, we use that $k$-matchings in line graphs can be equivalently viewed as edge-injective homomorphisms from the disjoint union of $k$ length-$2$ paths into (arbitrary) host graphs. Here, a homomorphism from $H$ to $G$ is edge-injective if it maps any two distinct edges of $H$ to distinct edges in $G$. We show that edge-injective homomorphisms from a pattern graph $H$ can be counted in polynomial time if $H$ has bounded vertex-cover number after removing isolated edges. For hereditary classes $\mathcal{H}$ of pattern graphs, we complement this result: If the graphs in $\mathcal{H}$ have unbounded vertex-cover number even after deleting isolated edges, then counting edge-injective homomorphisms with patterns from $\mathcal{H}$ is $\#\mathsf{W}[1]$-hard. Our proofs rely on an edge-colored variant of Holant problems and a delicate interpolation argument; both may be of independent interest.
△ Less
Submitted 19 January, 2018; v1 submitted 17 February, 2017;
originally announced February 2017.
-
Counting matchings with k unmatched vertices in planar graphs
Authors:
Radu Curticapean
Abstract:
We consider the problem of counting matchings in planar graphs. While perfect matchings in planar graphs can be counted by a classical polynomial-time algorithm, the problem of counting all matchings (possibly containing unmatched vertices, also known as defects) is known to be #P-complete on planar graphs. To interpolate between the hard case of counting matchings and the easy case of counting pe…
▽ More
We consider the problem of counting matchings in planar graphs. While perfect matchings in planar graphs can be counted by a classical polynomial-time algorithm, the problem of counting all matchings (possibly containing unmatched vertices, also known as defects) is known to be #P-complete on planar graphs. To interpolate between the hard case of counting matchings and the easy case of counting perfect matchings, we study the parameterized problem of counting matchings with exactly k unmatched vertices in a planar graph G, on input G and k. This setting has a natural interpretation in statistical physics, and it is a special case of counting perfect matchings in k-apex graphs (graphs that can be turned planar by removing at most k vertices).
Starting from a recent #W[1]-hardness proof for counting perfect matchings on k-apex graphs, we obtain that counting matchings with k unmatched vertices in planar graphs is #W[1]-hard. In contrast, given a plane graph G with s distinguished faces, there is an $O(2^s \cdot n^3)$ time algorithm for counting those matchings with k unmatched vertices such that all unmatched vertices lie on the distinguished faces. This implies an $f(k,s)\cdot n^{O(1)}$ time algorithm for counting perfect matchings in k-apex graphs whose apex neighborhood is covered by s faces.
△ Less
Submitted 27 July, 2016;
originally announced July 2016.
-
Finding Detours is Fixed-parameter Tractable
Authors:
Ivona Bezáková,
Radu Curticapean,
Holger Dell,
Fedor V. Fomin
Abstract:
We consider the following natural "above guarantee" parameterization of the classical Longest Path problem: For given vertices s and t of a graph G, and an integer k, the problem Longest Detour asks for an (s,t)-path in G that is at least k longer than a shortest (s,t)-path. Using insights into structural graph theory, we prove that Longest Detour is fixed-parameter tractable (FPT) on undirected g…
▽ More
We consider the following natural "above guarantee" parameterization of the classical Longest Path problem: For given vertices s and t of a graph G, and an integer k, the problem Longest Detour asks for an (s,t)-path in G that is at least k longer than a shortest (s,t)-path. Using insights into structural graph theory, we prove that Longest Detour is fixed-parameter tractable (FPT) on undirected graphs and actually even admits a single-exponential algorithm, that is, one of running time exp(O(k)) poly(n). This matches (up to the base of the exponential) the best algorithms for finding a path of length at least k.
Furthermore, we study the related problem Exact Detour that asks whether a graph G contains an (s,t)-path that is exactly k longer than a shortest (s,t)-path. For this problem, we obtain a randomized algorithm with running time about 2.746^k, and a deterministic algorithm with running time about 6.745^k, showing that this problem is FPT as well. Our algorithms for Exact Detour apply to both undirected and directed graphs.
△ Less
Submitted 3 May, 2017; v1 submitted 26 July, 2016;
originally announced July 2016.
-
Parity Separation: A Scientifically Proven Method for Permanent Weight Loss
Authors:
Radu Curticapean
Abstract:
Given an edge-weighted graph G, let PerfMatch(G) denote the weighted sum over all perfect matchings M in G, weighting each matching M by the product of weights of edges in M. If G is unweighted, this plainly counts the perfect matchings of G.
In this paper, we introduce parity separation, a new method for reducing PerfMatch to unweighted instances: For graphs G with edge-weights -1 and 1, we con…
▽ More
Given an edge-weighted graph G, let PerfMatch(G) denote the weighted sum over all perfect matchings M in G, weighting each matching M by the product of weights of edges in M. If G is unweighted, this plainly counts the perfect matchings of G.
In this paper, we introduce parity separation, a new method for reducing PerfMatch to unweighted instances: For graphs G with edge-weights -1 and 1, we construct two unweighted graphs G1 and G2 such that PerfMatch(G) = PerfMatch(G1) - PerfMatch(G2). This yields a novel weight removal technique for counting perfect matchings, in addition to those known from classical #P-hardness proofs. We derive the following applications:
1. An alternative #P-completeness proof for counting unweighted perfect matchings.
2. C=P-completeness for deciding whether two given unweighted graphs have the same number of perfect matchings. To the best of our knowledge, this is the first C=P-completeness result for the "equality-testing version" of any natural counting problem that is not already #P-hard under parsimonious reductions.
3. An alternative tight lower bound for counting unweighted perfect matchings under the counting exponential-time hypothesis #ETH.
Our technique is based upon matchgates and the Holant framework. To make our #P-hardness proof self-contained, we also apply matchgates for an alternative #P-hardness proof of PerfMatch on graphs with edge-weights -1 and 1.
△ Less
Submitted 23 November, 2015;
originally announced November 2015.
-
Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity
Authors:
Radu Curticapean
Abstract:
We devise a framework for proving tight lower bounds under the counting exponential-time hypothesis #ETH introduced by Dell et al. (ACM Transactions on Algorithms, 2014). Our framework allows us to convert classical #P-hardness results for counting problems into tight lower bounds under #ETH, thus ruling out algorithms with running time $2^{o(n)}$ on graphs with $n$ vertices and $O(n)$ edges. As e…
▽ More
We devise a framework for proving tight lower bounds under the counting exponential-time hypothesis #ETH introduced by Dell et al. (ACM Transactions on Algorithms, 2014). Our framework allows us to convert classical #P-hardness results for counting problems into tight lower bounds under #ETH, thus ruling out algorithms with running time $2^{o(n)}$ on graphs with $n$ vertices and $O(n)$ edges. As exemplary applications of this framework, we obtain tight lower bounds under #ETH for the evaluation of the zero-one permanent, the matching polynomial, and the Tutte polynomial on all non-easy points except for one line. This remaining line was settled very recently by Brand et al. (IPEC 2016).
△ Less
Submitted 8 May, 2017; v1 submitted 9 November, 2015;
originally announced November 2015.
-
Parameterizing the Permanent: Genus, Apices, Minors, Evaluation mod 2^k
Authors:
Radu Curticapean,
Mingji Xia
Abstract:
We identify and study relevant structural parameters for the problem PerfMatch of counting perfect matchings in a given input graph $G$. These generalize the well-known tractable planar case, and they include the genus of $G$, its apex number (the minimum number of vertices whose removal renders $G$ planar), and its Hadwiger number (the size of a largest clique minor).
To study these parameters,…
▽ More
We identify and study relevant structural parameters for the problem PerfMatch of counting perfect matchings in a given input graph $G$. These generalize the well-known tractable planar case, and they include the genus of $G$, its apex number (the minimum number of vertices whose removal renders $G$ planar), and its Hadwiger number (the size of a largest clique minor).
To study these parameters, we first introduce the notion of combined matchgates, a general technique that bridges parameterized counting problems and the theory of so-called Holants and matchgates: Using combined matchgates, we can simulate certain non-existing gadgets $F$ as linear combinations of $t=O(1)$ existing gadgets. If a graph $G$ features $k$ occurrences of $F$, we can then reduce $G$ to $t^k$ graphs that feature only existing gadgets, thus enabling parameterized reductions.
As applications of this technique, we simplify known $4^g n^{O(1)}$ time algorithms for PerfMatch on graphs of genus $g$. Orthogonally to this, we show #W[1]-hardness of the permanent on $k$-apex graphs, implying its #W[1]-hardness under the Hadwiger number. Additionally, we rule out $n^{o(k/\log k)}$ time algorithms under the counting exponential-time hypothesis #ETH.
Finally, we use combined matchgates to prove parity-W[1]-hardness of evaluating the permanent modulo $2^k$, complementing an $O(n^{4k-3})$ time algorithm by Valiant and answering an open question of Björklund. We also obtain a lower bound of $n^{Ω(k/\log k)}$ under the parity version of the exponential-time hypothesis.
△ Less
Submitted 7 November, 2015;
originally announced November 2015.
-
Complexity of counting subgraphs: only the boundedness of the vertex-cover number counts
Authors:
Radu Curticapean,
Dániel Marx
Abstract:
For a class $\mathcal{H}$ of graphs, #Sub$(\mathcal{H})$ is the counting problem that, given a graph $H\in \mathcal{H}$ and an arbitrary graph $G$, asks for the number of subgraphs of $G$ isomorphic to $H$. It is known that if $\mathcal{H}$ has bounded vertex-cover number (equivalently, the size of the maximum matching in $\mathcal{H}$ is bounded), then #Sub$(\mathcal{H})$ is polynomial-time solva…
▽ More
For a class $\mathcal{H}$ of graphs, #Sub$(\mathcal{H})$ is the counting problem that, given a graph $H\in \mathcal{H}$ and an arbitrary graph $G$, asks for the number of subgraphs of $G$ isomorphic to $H$. It is known that if $\mathcal{H}$ has bounded vertex-cover number (equivalently, the size of the maximum matching in $\mathcal{H}$ is bounded), then #Sub$(\mathcal{H})$ is polynomial-time solvable. We complement this result with a corresponding lower bound: if $\mathcal{H}$ is any recursively enumerable class of graphs with unbounded vertex-cover number, then #Sub$(\mathcal{H})$ is #W[1]-hard parameterized by the size of $H$ and hence not polynomial-time solvable and not even fixed-parameter tractable, unless FPT = #W[1].
As a first step of the proof, we show that counting $k$-matchings in bipartite graphs is #W[1]-hard. Recently, Curticapean [ICALP 2013] proved the #W[1]-hardness of counting $k$-matchings in general graphs; our result strengthens this statement to bipartite graphs with a considerably simpler proof and even shows that, assuming the Exponential Time Hypothesis (ETH), there is no $f(k)n^{o(k/\log k)}$ time algorithm for counting $k$-matchings in bipartite graphs for any computable function $f(k)$. As a consequence, we obtain an independent and somewhat simpler proof of the classical result of Flum and Grohe [SICOMP 2004] stating that counting paths of length $k$ is #W[1]-hard, as well as a similar almost-tight ETH-based lower bound on the exponent.
△ Less
Submitted 10 July, 2014;
originally announced July 2014.
-
Counting perfect matchings in graphs that exclude a single-crossing minor
Authors:
Radu Curticapean
Abstract:
A graph $H$ is single-crossing if it can be drawn in the plane with at most one crossing. For any single-crossing graph $H$, we give an $O(n^4)$ time algorithm for counting perfect matchings in graphs excluding $H$ as a minor. The runtime can be lowered to $O(n^{1.5})$ when $G$ excludes $K_5$ or $K_{3,3}$ as a minor. This is the first generalization of an algorithm for counting perfect matchings i…
▽ More
A graph $H$ is single-crossing if it can be drawn in the plane with at most one crossing. For any single-crossing graph $H$, we give an $O(n^4)$ time algorithm for counting perfect matchings in graphs excluding $H$ as a minor. The runtime can be lowered to $O(n^{1.5})$ when $G$ excludes $K_5$ or $K_{3,3}$ as a minor. This is the first generalization of an algorithm for counting perfect matchings in $K_{3,3}$-free graphs (Little 1974, Vazirani 1989). Our algorithm uses black-boxes for counting perfect matchings in planar graphs and for computing certain graph decompositions. Together with an independent recent result (Straub et al. 2014) for graphs excluding $K_5$, it is one of the first nontrivial algorithms to not inherently rely on Pfaffian orientations.
△ Less
Submitted 16 June, 2014;
originally announced June 2014.
-
Counting Triangulations and other Crossing-free Structures via Onion Layers
Authors:
Victor Alvarez,
Karl Bringmann,
Radu Curticapean,
Saurabh Ray
Abstract:
Let $P$ be a set of $n$ points in the plane. A crossing-free structure on $P$ is a plane graph with vertex set $P$. Examples of crossing-free structures include triangulations of $P$, spanning cycles of $P$, also known as polygonalizations of $P$, among others. In this paper we develop a general technique for computing the number of crossing-free structures of an input set $P$. We apply the techni…
▽ More
Let $P$ be a set of $n$ points in the plane. A crossing-free structure on $P$ is a plane graph with vertex set $P$. Examples of crossing-free structures include triangulations of $P$, spanning cycles of $P$, also known as polygonalizations of $P$, among others. In this paper we develop a general technique for computing the number of crossing-free structures of an input set $P$. We apply the technique to obtain algorithms for computing the number of triangulations, matchings, and spanning cycles of $P$. The running time of our algorithms is upper bounded by $n^{O(k)}$, where $k$ is the number of onion layers of $P$. In particular, for $k = O(1)$ our algorithms run in polynomial time. In addition, we show that our algorithm for counting triangulations is never slower than $O^{*}(3.1414^{n})$, even when $k = Θ(n)$. Given that there are several well-studied configurations of points with at least $Ω(3.464^{n})$ triangulations, and some even with $Ω(8^{n})$ triangulations, our algorithm asymptotically outperforms any enumeration algorithm for such instances. In fact, it is widely believed that any set of $n$ points must have at least $Ω(3.464^{n})$ triangulations. If this is true, then our algorithm is strictly sub-linear in the number of triangulations counted. We also show that our techniques are general enough to solve the "Restricted-Triangulation-Counting-Problem", which we prove to be $W[2]$-hard in the parameter $k$. This implies a "no free lunch" result: In order to be fixed-parameter tractable, our general algorithm must rely on additional properties that are specific to the considered class of structures.
△ Less
Submitted 16 December, 2013;
originally announced December 2013.
