Y Zhao - Combinatorics, Probability and Computing, 2010 - cambridge.org
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 …