An Entropy Approach to the Hard-Core Model on Bipartite Graphs
Combinatorics, Probability and Computing
Note: Matchings and independent sets of a fixed size in regular graphs
Journal of Combinatorial Theory Series A
Information inequalities for joint distributions, with interpretations and applications
IEEE Transactions on Information Theory
Variable ordering for the application of BDDs to the maximum independent set problem
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
The maximum number of complete subgraphs in a graph with given maximum degree
Journal of Combinatorial Theory Series B
Hi-index | 0.00 |
We show that the number of independent sets in an N-vertex, d-regular graph is at most (2d+1 − 1)N/2d, where the bound is sharp for a disjoint union of complete d-regular bipartite graphs. This settles a conjecture of Alon in 1991 and Kahn in 2001. Kahn proved the bound when the graph is assumed to be bipartite. We give a short proof that reduces the general case to the bipartite case. Our method also works for a weighted generalization, i.e., an upper bound for the independence polynomial of a regular graph.