О числе независимых множеств в графах

Доказывается следующая
Теорема. Пусть граф $G$ на $n$ вершинах является регулярным степени $k$, а максимальный размер независимого множества графа $G$ равен $\mu$. Тогда
$$ i(G)\le 2^{\mu\log\left(1+\frac n{2\mu}\right) +O\Bigr(n\sqrt{k^{-1}\log k}\Bigr)}. $$

Это утверждение обобщается на случай квазирегулярных графов. Как следствие получена верхняя оценка для числа независимых множеств в расширителях.
Библиогр. 5.