Uniqueness of the extremal graph in the problem of maximizing the number of independent sets in regular graphs

Alexei Dmitriev, Alex Dainiak

The main purpose of this paper is to prove the uniqueness of a graph attaining the maximum of the number of independent sets over all $k$-regular graphs on $n$ vertices for $2k|n$.