2,114 research outputs found
Homomorphisms are a good basis for counting small subgraphs
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\'asz show that many interesting quantities have this form, including, for
fixed graphs , the number of -copies (induced or not) in an input graph
, and the number of homomorphisms from to .
Using the framework of graph motif parameters, we obtain faster algorithms
for counting subgraph copies of fixed graphs in host graphs : For graphs
on edges, we show how to count subgraph copies of in time
by a surprisingly simple algorithm. This
improves upon previously known running times, such as time
for -edge matchings or time for -cycles.
Furthermore, we prove a general complexity dichotomy for evaluating graph
motif parameters: Given a class of such parameters, we consider
the problem of evaluating on input graphs , parameterized
by the number of induced subgraphs that depends upon. For every recursively
enumerable class , 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 and , where is from
a fixed class , we want to count color-preserving -copies in
. 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.Comment: An extended abstract of this paper appears at STOC 201
The Complexity of Counting Homomorphisms to Cactus Graphs Modulo 2
A homomorphism from a graph G to a graph H is a function from V(G) to V(H)
that preserves edges. Many combinatorial structures that arise in mathematics
and computer science can be represented naturally as graph homomorphisms and as
weighted sums of graph homomorphisms. In this paper, we study the complexity of
counting homomorphisms modulo 2. The complexity of modular counting was
introduced by Papadimitriou and Zachos and it has been pioneered by Valiant who
famously introduced a problem for which counting modulo 7 is easy but counting
modulo 2 is intractable. Modular counting provides a rich setting in which to
study the structure of homomorphism problems. In this case, the structure of
the graph H has a big influence on the complexity of the problem. Thus, our
approach is graph-theoretic. We give a complete solution for the class of
cactus graphs, which are connected graphs in which every edge belongs to at
most one cycle. Cactus graphs arise in many applications such as the modelling
of wireless sensor networks and the comparison of genomes. We show that, for
some cactus graphs H, counting homomorphisms to H modulo 2 can be done in
polynomial time. For every other fixed cactus graph H, the problem is complete
for the complexity class parity-P which is a wide complexity class to which
every problem in the polynomial hierarchy can be reduced (using randomised
reductions). Determining which H lead to tractable problems can be done in
polynomial time. Our result builds upon the work of Faben and Jerrum, who gave
a dichotomy for the case in which H is a tree.Comment: minor change
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)
The Logic of Counting Query Answers
We consider the problem of counting the number of answers to a first-order
formula on a finite structure. We present and study an extension of first-order
logic in which algorithms for this counting problem can be naturally and
conveniently expressed, in senses that are made precise and that are motivated
by the wish to understand tractable cases of the counting problem
- …