Определения однородного комбинаторного экспандера. Вероятностное доказательство существования.

Коэффиценты вершинного и рёберного расширения. Соотношние трёх определений: коэффиценты вершинного и рёберного расширения и определения однородного комбинаторного экспандера.

Пример применения экспандера: уменьшения ошибки в вероятностных алгоритмах (без увеличения числа случайных битов).