Results 1  10
of
70
On Markov chains for independent sets
 Journal of Algorithms
, 1997
"... Random independent sets in graphs arise, for example, in statistical physics, in the hardcore model of a gas. A new rapidly mixing Markov chain for independent sets is defined in this paper. We show that it is rapidly mixing for a wider range of values of the parameter than the LubyVigoda chain, ..."
Abstract

Cited by 67 (16 self)
 Add to MetaCart
Random independent sets in graphs arise, for example, in statistical physics, in the hardcore model of a gas. A new rapidly mixing Markov chain for independent sets is defined in this paper. We show that it is rapidly mixing for a wider range of values of the parameter than the LubyVigoda chain, the best previously known. Moreover the new chain is apparently more rapidly mixing than the LubyVigoda chain for larger values of (unless the maximum degree of the graph is 4). An extension of the chain to independent sets in hypergraphs is described. This chain gives an efficient method for approximately counting the number of independent sets of hypergraphs with maximum degree two, or with maximum degree three and maximum edge size three. Finally, we describe a method which allows one, under certain circumstances, to deduce the rapid mixing of one Markov chain from the rapid mixing of another, with the same state space and stationary distribution. This method is applied to two Markov ch...
Set partitioning via inclusionexclusion
 SIAM J. Comput
"... Abstract. Given a set N with n elements and a family F of subsets, we show how to partition N into k such subsets in 2nnO(1) time. We also consider variations of this problem where the subsets may overlap or are weighted, and we solve the decision, counting, summation, and optimisation versions of t ..."
Abstract

Cited by 29 (6 self)
 Add to MetaCart
(Show Context)
Abstract. Given a set N with n elements and a family F of subsets, we show how to partition N into k such subsets in 2nnO(1) time. We also consider variations of this problem where the subsets may overlap or are weighted, and we solve the decision, counting, summation, and optimisation versions of these problems. Our algorithms are based on the principle of inclusion–exclusion and the zeta transform. In effect we get exact algorithms in 2nnO(1) time for several wellstudied partition problems including Domatic Number, Chromatic Number, Maximum kCut, Bin Packing, List Colouring, and the Chromatic Polynomial. We also have applications to Bayesian learning with decision graphs and to modelbased data clustering. If only polynomial space is available, our algorithms run in time 3nnO(1) if membership in F can be decided in polynomial time. We solve Chromatic Number in O(2.2461n) time and Domatic Number in O(2.8718n) time. Finally, we present a family of polynomial space approximation algorithms that find a number between χ(G) and d(1 + )χ(G)e in time O(1.2209n + 2.2461e−n). 1. Introduction. Graph colouring, domatic partitioning, weighted kcut, and a
Random walks on combinatorial objects
 Surveys in Combinatorics 1999
, 1999
"... Summary Approximate sampling from combinatoriallydefined sets, using the Markov chain Monte Carlo method, is discussed from the perspective of combinatorial algorithms. We also examine the associated problem of discrete integration over such sets. Recent work is reviewed, and we reexamine the unde ..."
Abstract

Cited by 24 (9 self)
 Add to MetaCart
(Show Context)
Summary Approximate sampling from combinatoriallydefined sets, using the Markov chain Monte Carlo method, is discussed from the perspective of combinatorial algorithms. We also examine the associated problem of discrete integration over such sets. Recent work is reviewed, and we reexamine the underlying formal foundational framework in the light of this. We give a detailed treatment of the coupling technique, a classical method for analysing the convergence rates of Markov chains. The related topic of perfect sampling is examined. In perfect sampling, the goal is to sample exactly from the target set. We conclude with a discussion of negative results in this area. These are results which imply that there are no polynomial time algorithms of a particular type for a particular problem. 1
The complexity of the counting constraint satisfaction problem
 In ICALP (1
, 2008
"... The Counting Constraint Satisfaction Problem (#CSP(H)) over a finite relational structureH can be expressed as follows: given a relational structure G over the same vocabulary, determine the number of homomorphisms from G toH. In this paper we characterize relational structuresH for which#CSP(H) can ..."
Abstract

Cited by 22 (5 self)
 Add to MetaCart
(Show Context)
The Counting Constraint Satisfaction Problem (#CSP(H)) over a finite relational structureH can be expressed as follows: given a relational structure G over the same vocabulary, determine the number of homomorphisms from G toH. In this paper we characterize relational structuresH for which#CSP(H) can be solved in polynomial time and prove that for all other structures the problem is #Pcomplete. 1
Holographic Algorithms: From Art to Science
 Electronic Colloquium on Computational Complexity Report
, 2007
"... We develop the theory of holographic algorithms. We give characterizations of algebraic varieties of realizable symmetric generators and recognizers on the basis manifold, and a polynomial time decision algorithm for the simultaneous realizability problem. Using the general machinery we are able to ..."
Abstract

Cited by 20 (11 self)
 Add to MetaCart
(Show Context)
We develop the theory of holographic algorithms. We give characterizations of algebraic varieties of realizable symmetric generators and recognizers on the basis manifold, and a polynomial time decision algorithm for the simultaneous realizability problem. Using the general machinery we are able to give unexpected holographic algorithms for some counting problems, modulo certain Mersenne type integers. These counting problems are #Pcomplete without the moduli. Going beyond symmetric signatures, we define dadmissibility and drealizability for general signatures, and give a characterization of 2admissibility and some general constructions of admissible and realizable families. 1
Algorithms for counting 2SAT solutions and colorings with applications
 TR05033, Electronic Colloquium on Computational Complexity
, 2005
"... An algorithm is presented for exactly solving (in fact, counting) the number of maximum weight satisfying assignments of a 2Cnf formula. The worst case running time of ..."
Abstract

Cited by 19 (2 self)
 Add to MetaCart
(Show Context)
An algorithm is presented for exactly solving (in fact, counting) the number of maximum weight satisfying assignments of a 2Cnf formula. The worst case running time of
An Algorithm for Counting Maximum Weighted Independent Sets and its Applications
 IN 13TH ANNUAL ACMSIAM SYMPOSIUM ON DISCRETE ALGORITHMS (SODA 2002), ACM AND SIAM, 2002
, 2002
"... We present an O(1.3247^n) algorithm for counting the number of independent sets with maximum weight in graphs. We show how this algorithm can be used for solving a number of different counting problems: counting exact covers, exact hitting sets, weighted set packing and satisfying assignments in 1i ..."
Abstract

Cited by 18 (3 self)
 Add to MetaCart
We present an O(1.3247^n) algorithm for counting the number of independent sets with maximum weight in graphs. We show how this algorithm can be used for solving a number of different counting problems: counting exact covers, exact hitting sets, weighted set packing and satisfying assignments in 1ink SAT.
The Complexity of Counting Graph Homomorphisms
 In 11th ACM/SIAM Symposium on Discrete Algorithms
, 1999
"... The problem of counting graph homomorphisms is considered. We show that the counting problem corresponding to a given graph is #Pcomplete unless every connected component of the graph is an isolated vertex without a loop, a complete graph with all loops present, or a complete unlooped bipartite gra ..."
Abstract

Cited by 15 (4 self)
 Add to MetaCart
(Show Context)
The problem of counting graph homomorphisms is considered. We show that the counting problem corresponding to a given graph is #Pcomplete unless every connected component of the graph is an isolated vertex without a loop, a complete graph with all loops present, or a complete unlooped bipartite graph. 1 Introduction Many combinatorial counting problems on graphs can be restated as the problem of counting the number of homomorphisms to a particular graph H. The vertices of H correspond to colours, and the edges show which colours may be adjacent. The graph H may contain loops. Specifically, let C be a set of k colours, where k is a constant. Let H = (C; EH ) be a graph with vertex set C. Given a graph G = (V; E) with vertex set V , a map X : V 7! C is called a Hcolouring if fX(v); X(w)g 2 EH for all fv; wg 2 E: In other words, X is a homomorphism from G to H. Let\Omega H (G) denote the set of all Hcolourings of G. Two wellknown combinatorial counting problems which can be c...
Complexity of Inference in Graphical Models
"... It is wellknown that inference in graphical models is hard in the worst case, but tractable for models with bounded treewidth. We ask whether treewidth is the only structural criterion of the underlying graph that enables tractable inference. In other words, is there some class of structures with u ..."
Abstract

Cited by 14 (0 self)
 Add to MetaCart
(Show Context)
It is wellknown that inference in graphical models is hard in the worst case, but tractable for models with bounded treewidth. We ask whether treewidth is the only structural criterion of the underlying graph that enables tractable inference. In other words, is there some class of structures with unbounded treewidth in which inference is tractable? Subject to a combinatorial hypothesis due to Robertson et al. (1994), we show that low treewidth is indeed the only structural restriction that can ensure tractability. Thus, even for the “best case” graph structure, there is no inference algorithm with complexity polynomial in the treewidth. 1
Power and stability in connectivity games
 In AAMAS (2
, 2008
"... We consider computational aspects of a game theoretic approach to network reliability. Consider a network where failure of one node may disrupt communication between two other nodes. We model this network as a simple coalitional game, called the vertex Connectivity Game (CG). In this game, each agen ..."
Abstract

Cited by 13 (5 self)
 Add to MetaCart
(Show Context)
We consider computational aspects of a game theoretic approach to network reliability. Consider a network where failure of one node may disrupt communication between two other nodes. We model this network as a simple coalitional game, called the vertex Connectivity Game (CG). In this game, each agent owns a vertex, and controls all the edges going to and from that vertex. A coalition of agents wins if it fully connects a certain subset of vertices in the graph, called the primary vertices. We show that power indices, which express an agent’s ability to affect the outcome of the vertex connectivity game, can be used to identify significant possible points of failure in the communication network, and can thus be used to increase network reliability. We show that in general graphs, calculating the Banzhaf power index is #Pcomplete, but suggest a polynomial algorithm for calculating this index in trees. We also show a polynomial algorithm for computing the core of a CG, which allows a stable division of payments to coalition agents.