92
правки
Изменения
м
→Однородный (комбинаторный) экспандер
(\cfrac{ne}{s})^{s} \cdot
(\cfrac{ne}{(1 + \epsilon)s})^{(1 + \epsilon)s} \cdot
(\cfrac{(1 + \epsilon)s}{n})^{sd/2} = </tex> <tex>\sum_{s = 1}^{n/2} \big[(s / n)^{d/2 - 2 - \epsilon} \cdot (1 + \epsilon)^{d/2} \cdot \cfrac{e^{1 + \epsilon} }{(1 + \epsilon)^{1 + \epsilon} }\big]^s</tex>. (2)
Заметим, что <tex>s \leq n/2</tex>, а <tex>1 + \epsilon < 2</tex>. Таким образом, можно подобрать такое
