WikiDer > Отбор проб на эспандере

в математический дисциплина теория графов, то теорема выборки обхода расширителя утверждает, что отбор проб вершины в график расширителя делая случайная прогулка почти так же хорош, как выборка вершин независимо из равномерное распределение.Самая ранняя версия этой теоремы принадлежит Айтай, Комлос и Семереди (1987), а более общая версия обычно приписывается Гиллман (1998).

Заявление

Позволять ${displaystyle G = (V, E)}$ быть расширительным графом с нормализованное второе по величине собственное значение ${displaystyle lambda}$. Позволять ${displaystyle n}$ обозначим количество вершин в ${displaystyle G}$. Позволять ${displaystyle f: Vightarrow [0,1]}$ - функция на вершинах ${displaystyle G}$. Позволять ${displaystyle mu = E [f]}$ обозначают среднее значение ${displaystyle f}$, т.е. ${displaystyle mu = {frac {1} {n}} sum _ {vin V} f (v)}$. Тогда, если мы позволим ${displaystyle Y_ {0}, Y_ {1}, ldots, Y_ {k}}$ обозначим вершины, встречающиеся в ${displaystyle k}$-шаговое случайное блуждание по ${displaystyle G}$ начиная со случайной вершины ${displaystyle Y_ {0}}$, имеем для всех ${displaystyle gamma> 0}$:

${displaystyle Pr left [{frac {1} {k}} sum _ {i = 0} ^ {k} f (Y_ {i}) - mu> gamma ight] leq e ^ {- Omega (gamma ^ {2}) (1-лямбда) k)}.}$

Здесь ${displaystyle Omega}$ скрывает абсолютную константу ${displaystyle geq 1/10}$. Аналогичная оценка сохраняется и в другом направлении:

${displaystyle Pr left [{frac {1} {k}} sum _ {i = 0} ^ {k} f (Y_ {i}) - mu <-gamma ight] leq e ^ {- Omega (gamma ^ {2 } (1-лямбда) k)}.}$

Использует

Эта теорема полезна для уменьшения случайности при изучении дерандомизация. Выборка из обхода расширителя является примером эффективного пробоотборник. Обратите внимание, что количество биты используется при отборе проб ${displaystyle k}$ независимые образцы из ${displaystyle f}$ является ${displaystyle klog n}$, тогда как если мы выбираем из бесконечного семейства расширителей постоянной степени, это стоит только ${displaystyle log n + O (k)}$. Такие семейства существуют и могут быть эффективно построены, например в Графики Рамануджана из Любоцкий-Филлипс-Сарнак.

Примечания

Рекомендации

внешняя ссылка

• Доказательства теоремы об отсчете блуждания расширителя. [1] [2]