# On Counting Independent Sets in Sparse Graphs

@article{Dyer2002OnCI,
title={On Counting Independent Sets in Sparse Graphs},
author={M. Dyer and A. Frieze and M. Jerrum},
journal={SIAM J. Comput.},
year={2002},
volume={31},
pages={1527-1541}
}
• Published 2002
• Mathematics, Computer Science
• SIAM J. Comput.
We prove two results concerning approximate counting of independent sets in graphs with constant maximum degree $\Delta$. The first implies that the Markov chain Monte Carlo technique is likely to fail if $\Delta \geq 6$. The second shows that no fully polynomial randomized approximation scheme can exist for $\Delta \geq 25$, unless $\mathrm{RP}=\mathrm{NP}$.
166 Citations

#### Topics from this paper

Counting independent sets and colorings on random regular bipartite graphs
• Mathematics, Computer Science
• APPROX-RANDOM
• 2019
We give a fully polynomial-time approximation scheme (FPTAS) to count the number of independent sets on almost every $\Delta$-regular bipartite graph if $\Delta\ge 53$. In the weighted case, for allExpand
A Graph Polynomial for Independent Sets of Bipartite Graphs
• Mathematics, Computer Science
• Combinatorics, Probability and Computing
• 2012
We introduce a new graph polynomial that encodes interesting properties of graphs, for example, the number of matchings, the number of perfect matchings, and, for bipartite graphs, the number ofExpand
A general lower bound for mixing of single-site dynamics on graphs
• Mathematics, Physics
• 2005
We prove that any Markov chain that performs local, reversible updates on randomly chosen vertices of a bounded-degree graph necessarily has mixing time at least $\Omega(n\log n)$, where $n$ is theExpand
A graph polynomial for independent sets of bipartite graphs
• Mathematics, Computer Science
• FSTTCS
• 2010
The complexity of exact evaluation of the polynomial at rational points is analyzed and a dichotomy result is shown---for most points exact evaluation is #P-hard (assuming the generalized Riemann hypothesis) and for the rest of the points exactly evaluation is trivial. Expand
A Note on the Glauber Dynamics for Sampling Independent Sets
• Eric Vigoda
• Mathematics, Computer Science
• Electron. J. Comb.
• 2001
Luby and Vigoda proved that the Glauber dynamics, which only changes the configuration at a randomly chosen vertex in each step, has mixing time $O(n\log{n})$ when $\lambda$ is positive. Expand
Very rapidly mixing Markov Chains for 2D-colorings and for independent sets in a graph with maximum degree 4
We introduce a new technique for analyzing the mixing rate of Markov chains. We use it to prove that the Glauber dynamics on 2Δ-colorings of a graph with maximum degree Δ mixes in O(n log n) time. WeExpand
A Polynomial Time Algorithm for Counting the Number of Independent Sets of Cactus Graphs
• Mathematics, Computer Science
• 2016 Fifteenth Mexican International Conference on Artificial Intelligence (MICAI)
• 2016
This paper presents a polynomial time algorithm for counting the number of independent sets on a special class of graphs called cactus graphs, based on previous results on unicyclic graphs. Expand
A general lower bound for mixing of single-site dynamics on graphs
• Mathematics, Computer Science
• 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05)
• 2005
We prove that any Markov chain that performs local, reversible updates on randomly chosen vertices of a bounded-degree graph necessarily has mixing time at least /spl Omega/(n log n), where it is theExpand
On Counting Cliques, Clique-covers and Independent sets in Random Graphs
• 2018
We study the problem of counting the number of isomorphic copies of a given template graph, say H , in the input base graph, say G. In general, it is believed that polynomial time algorithms thatExpand
Approximately counting paths and cycles in a graph
An inapproximability result is shown: there is no FPRAS for approximately counting paths and cycles in a graph, respectively unless R P = N P , which is #P-hard. Expand

#### References

SHOWING 1-10 OF 13 REFERENCES
On counting independent sets in sparse graphs
• Mathematics, Computer Science
• 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039)
• 1999
It is shown that no fully polynomial randomized approximation scheme can exist for /spl Delta//spl ges/25, unless P=NP under randomized reductions. Expand
On Markov Chains for Independent Sets
• Mathematics, Computer Science
• J. Algorithms
• 2000
A new rapidly mixing Markov chain for independent sets is defined and a polynomial upper bound for the mixing time of the new chain is obtained for a certain range of values of the parameter ?, which is wider than the range for which the mixingTime of the Luby?Vigoda chain is known to be polynomially bounded. Expand
Large Cliques Elude the Metropolis Process
• M. Jerrum
• Mathematics, Computer Science
• Random Struct. Algorithms
• 1992
It is shown that the Metropolis process takes super-polynomial time to locate a clique that is only slightly bigger than that produced by the greedy heuristic, which is one step above the greedy one in its level of sophistication. Expand
Some optimal inapproximability results
We prove optimal, up to an arbitrary ε > 0, inapproximability results for Max-E k-Sat for k ≥ 3, maximizing the number of satisfied linear equations in an over-determined system of linear equationsExpand
On Some Tighter Inapproximability Results
• Computer Science, Mathematics
• Electron. Colloquium Comput. Complex.
• 1998
We give a number of improved inapproximability results, including the best up to date explicit approximation thresholds for bounded occurrence satisfiability problems like MAX-2SAT and E2-LIN-2, andExpand
Random Generation of Combinatorial Structures from a Uniform Distribution
• Computer Science, Mathematics
• Theor. Comput. Sci.
• 1986
It is shown that exactly uniform generation of ‘efficiently verifiable’ combinatorial structures is reducible to approximate counting (and hence, is within the third level of the polynomial hierarchy). Expand
The asymptotic number of non-negative integer matrices with given row and column sums
• E. Bender
• Computer Science, Mathematics
• Discret. Math.
• 1974
Asymptotics are obtained for the number of mxn non-negative integer matrices subject to the following constraints: each row and each column sum is specified and bounded, and a specified ''sparse'' set of entries must be zero. Expand
Approximation Algorithms for NP-Hard Problems
This book introduces unifying techniques in the analysis of approximation algorithms, intended for computer scientists and operations researchers interested in specific algorithm implementations, as well as design tools for algorithms. Expand
Graph Homomorphisms and Phase Transitions
• Computer Science, Mathematics
• J. Comb. Theory, Ser. B
• 1999
We model physical systems with “hard constraints” by the space Hom(G, H) of homomorphisms from a locally finite graph G to a fixed finite constraint graph H. For any assignment ? of positive realExpand
On Some Tighter Inapproximability Results, Further Improvements
• Computer Science, Mathematics
• Electron. Colloquium Comput. Complex.
• 1998
Improved inaproximability results are given, including the best up to date explicit approximation thresholds for bounded occurence sat-issability problems, and problems in bounded degree graphs, like MIS, Node Cover and MAX CUT. Expand