Изменения

'''Однородный (комбинаторный) экспандер''' называется граф <tex>G = (V, E)</tex> с параметрами <tex>(n, d, \epsilon)</tex>, где <tex>n = |V|</tex>, степень любой вершины равно d, <tex>\epsilon</tex> < 1, если выполняется условие: для <tex>\forall S \subset subseteq V</tex> <tex>|S| \leq n/2</tex> <tex>\exists</tex> множество соседей <tex>S</tex> <tex>r(S) = {v: \exists w \in S, (v, w) \in E}</tex> достаточно велико, то есть <tex>|r(S)| > (1 + \epsilon)|S|</tex>.