33 research outputs found
Holographic Algorithm with Matchgates Is Universal for Planar CSP Over Boolean Domain
We prove a complexity classification theorem that classifies all counting
constraint satisfaction problems (CSP) over Boolean variables into exactly
three categories: (1) Polynomial-time tractable; (2) P-hard for general
instances, but solvable in polynomial-time over planar graphs; and (3)
P-hard over planar graphs. The classification applies to all sets of local,
not necessarily symmetric, constraint functions on Boolean variables that take
complex values. It is shown that Valiant's holographic algorithm with
matchgates is a universal strategy for all problems in category (2).Comment: 94 page
Approximating Holant problems by winding
We give an FPRAS for Holant problems with parity constraints and
not-all-equal constraints, a generalisation of the problem of counting
sink-free-orientations. The approach combines a sampler for near-assignments of
"windable" functions -- using the cycle-unwinding canonical paths technique of
Jerrum and Sinclair -- with a bound on the weight of near-assignments. The
proof generalises to a larger class of Holant problems; we characterise this
class and show that it cannot be extended by expressibility reductions.
We then ask whether windability is equivalent to expressibility by matchings
circuits (an analogue of matchgates), and give a positive answer for functions
of arity three
New Planar P-time Computable Six-Vertex Models and a Complete Complexity Classification
We discover new P-time computable six-vertex models on planar graphs beyond
Kasteleyn's algorithm for counting planar perfect matchings. We further prove
that there are no more: Together, they exhaust all P-time computable six-vertex
models on planar graphs, assuming #P is not P. This leads to the following
exact complexity classification: For every parameter setting in
for the six-vertex model, the partition function is either (1) computable in
P-time for every graph, or (2) #P-hard for general graphs but computable in
P-time for planar graphs, or (3) #P-hard even for planar graphs. The
classification has an explicit criterion. The new P-time cases in (2) provably
cannot be subsumed by Kasteleyn's algorithm. They are obtained by a non-local
connection to #CSP, defined in terms of a "loop space".
This is the first substantive advance toward a planar Holant classification
with not necessarily symmetric constraints. We introduce M\"obius
transformation on as a powerful new tool in hardness proofs for
counting problems.Comment: 61 pages, 16 figures. An extended abstract appears in SODA 202
A Dichotomy Theorem for the Approximate Counting of Complex-Weighted Bounded-Degree Boolean CSPs
We determine the computational complexity of approximately counting the total
weight of variable assignments for every complex-weighted Boolean constraint
satisfaction problem (or CSP) with any number of additional unary (i.e., arity
1) constraints, particularly, when degrees of input instances are bounded from
above by a fixed constant. All degree-1 counting CSPs are obviously solvable in
polynomial time. When the instance's degree is more than two, we present a
dichotomy theorem that classifies all counting CSPs admitting free unary
constraints into exactly two categories. This classification theorem extends,
to complex-weighted problems, an earlier result on the approximation complexity
of unweighted counting Boolean CSPs of bounded degree. The framework of the
proof of our theorem is based on a theory of signature developed from Valiant's
holographic algorithms that can efficiently solve seemingly intractable
counting CSPs. Despite the use of arbitrary complex weight, our proof of the
classification theorem is rather elementary and intuitive due to an extensive
use of a novel notion of limited T-constructibility. For the remaining degree-2
problems, in contrast, they are as hard to approximate as Holant problems,
which are a generalization of counting CSPs.Comment: A4, 10pt, 20 pages. This revised version improves its preliminary
version published under a slightly different title in the Proceedings of the
4th International Conference on Combinatorial Optimization and Applications
(COCOA 2010), Lecture Notes in Computer Science, Springer, Vol.6508 (Part I),
pp.285--299, Kailua-Kona, Hawaii, USA, December 18--20, 201