861 research outputs found
The complexity of approximately counting in 2-spin systems on -uniform bounded-degree hypergraphs
One of the most important recent developments in the complexity of
approximate counting is the classification of the complexity of approximating
the partition functions of antiferromagnetic 2-spin systems on bounded-degree
graphs. This classification is based on a beautiful connection to the so-called
uniqueness phase transition from statistical physics on the infinite
-regular tree. Our objective is to study the impact of this
classification on unweighted 2-spin models on -uniform hypergraphs. As has
already been indicated by Yin and Zhao, the connection between the uniqueness
phase transition and the complexity of approximate counting breaks down in the
hypergraph setting. Nevertheless, we show that for every non-trivial symmetric
-ary Boolean function there exists a degree bound so that for
all the following problem is NP-hard: given a
-uniform hypergraph with maximum degree at most , approximate the
partition function of the hypergraph 2-spin model associated with . It is
NP-hard to approximate this partition function even within an exponential
factor. By contrast, if is a trivial symmetric Boolean function (e.g., any
function that is excluded from our result), then the partition function of
the corresponding hypergraph 2-spin model can be computed exactly in polynomial
time
09441 Abstracts Collection -- The Constraint Satisfaction Problem: Complexity and Approximability
From 25th to 30th October 2009, the Dagstuhl Seminar 09441 ``The Constraint Satisfaction Problem: Complexity and Approximability\u27\u27 was held
in Schloss Dagstuhl~--~Leibniz Center for Informatics.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available
The Complexity of Approximately Counting Tree Homomorphisms
We study two computational problems, parameterised by a fixed tree H.
#HomsTo(H) is the problem of counting homomorphisms from an input graph G to H.
#WHomsTo(H) is the problem of counting weighted homomorphisms to H, given an
input graph G and a weight function for each vertex v of G. Even though H is a
tree, these problems turn out to be sufficiently rich to capture all of the
known approximation behaviour in #P. We give a complete trichotomy for
#WHomsTo(H). If H is a star then #WHomsTo(H) is in FP. If H is not a star but
it does not contain a certain induced subgraph J_3 then #WHomsTo(H) is
equivalent under approximation-preserving (AP) reductions to #BIS, the problem
of counting independent sets in a bipartite graph. This problem is complete for
the class #RHPi_1 under AP-reductions. Finally, if H contains an induced J_3
then #WHomsTo(H) is equivalent under AP-reductions to #SAT, the problem of
counting satisfying assignments to a CNF Boolean formula. Thus, #WHomsTo(H) is
complete for #P under AP-reductions. The results are similar for #HomsTo(H)
except that a rich structure emerges if H contains an induced J_3. We show that
there are trees H for which #HomsTo(H) is #SAT-equivalent (disproving a
plausible conjecture of Kelk). There is an interesting connection between these
homomorphism-counting problems and the problem of approximating the partition
function of the ferromagnetic Potts model. In particular, we show that for a
family of graphs J_q, parameterised by a positive integer q, the problem
#HomsTo(H) is AP-interreducible with the problem of approximating the partition
function of the q-state Potts model. It was not previously known that the Potts
model had a homomorphism-counting interpretation. We use this connection to
obtain some additional upper bounds for the approximation complexity of
#HomsTo(J_q)
Counting Constraint Satisfaction Problems
This chapter surveys counting Constraint Satisfaction Problems (counting CSPs, or #CSPs) and their computational complexity. It aims to provide an introduction to the main concepts and techniques, and present a representative selection of results and open problems. It does not cover holants, which are the subject of a separate chapter
Computing the partition function of a polynomial on the Boolean cube
For a polynomial f: {-1, 1}^n --> C, we define the partition function as the
average of e^{lambda f(x)} over all points x in {-1, 1}^n, where lambda in C is
a parameter. We present a quasi-polynomial algorithm, which, given such f,
lambda and epsilon >0 approximates the partition function within a relative
error of epsilon in N^{O(ln n -ln epsilon)} time provided |lambda| < 1/(2 L
sqrt{deg f}), where L=L(f) is a parameter bounding the Lipschitz constant of f
from above and N is the number of monomials in f. As a corollary, we obtain a
quasi-polynomial algorithm, which, given such an f with coefficients +1 and -1
and such that every variable enters not more than 4 monomials, approximates the
maximum of f on {-1, 1}^n within a factor of O(sqrt{deg f}/delta), provided the
maximum is N delta for some 0< delta <1. If every variable enters not more than
k monomials for some fixed k > 4, we are able to establish a similar result
when delta > (k-1)/k.Comment: The final version of this paper is due to be published in the
collection of papers "A Journey through Discrete Mathematics. A Tribute to
Jiri Matousek" edited by Martin Loebl, Jaroslav Nesetril and Robin Thomas, to
be published by Springe
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
FPTAS for Counting Monotone CNF
A monotone CNF formula is a Boolean formula in conjunctive normal form where
each variable appears positively. We design a deterministic fully
polynomial-time approximation scheme (FPTAS) for counting the number of
satisfying assignments for a given monotone CNF formula when each variable
appears in at most clauses. Equivalently, this is also an FPTAS for
counting set covers where each set contains at most elements. If we allow
variables to appear in a maximum of clauses (or sets to contain
elements), it is NP-hard to approximate it. Thus, this gives a complete
understanding of the approximability of counting for monotone CNF formulas. It
is also an important step towards a complete characterization of the
approximability for all bounded degree Boolean #CSP problems. In addition, we
study the hypergraph matching problem, which arises naturally towards a
complete classification of bounded degree Boolean #CSP problems, and show an
FPTAS for counting 3D matchings of hypergraphs with maximum degree .
Our main technique is correlation decay, a powerful tool to design
deterministic FPTAS for counting problems defined by local constraints among a
number of variables. All previous uses of this design technique fall into two
categories: each constraint involves at most two variables, such as independent
set, coloring, and spin systems in general; or each variable appears in at most
two constraints, such as matching, edge cover, and holant problem in general.
The CNF problems studied here have more complicated structures than these
problems and require new design and proof techniques. As it turns out, the
technique we developed for the CNF problem also works for the hypergraph
matching problem. We believe that it may also find applications in other CSP or
more general counting problems.Comment: 24 pages, 2 figures. version 1=>2: minor edits, highlighted the
picture of set cover/packing, and an implication of our previous result in 3D
matchin
The complexity of weighted and unweighted #CSP
We give some reductions among problems in (nonnegative) weighted #CSP which
restrict the class of functions that needs to be considered in computational
complexity studies. Our reductions can be applied to both exact and approximate
computation. In particular, we show that a recent dichotomy for unweighted #CSP
can be extended to rational-weighted #CSP.Comment: 11 page
- …