WikiDer > Лемма Шварца – Циппеля.

В математике Лемма Шварца – Циппеля. (также называемый Лемма Де Милло-Липтона-Шварца – Циппеля.) - инструмент, обычно используемый в вероятностных проверка полиномиальной идентичности, т.е. в задаче определения того, является ли данная многомерная многочлен является 0-полиномом^{[требуется разъяснение]} (или идентично 0). Это было независимо открыто Джек Шварц,^[1] Ричард Зиппель,^[2] и Ричард ДеМилло и Ричард Дж. Липтон, хотя версия ДеМилло и Липтона была показана за год до результата Шварца и Циппеля.^[3] Конечнопольная версия этой оценки была доказана Øystein Ore в 1922 г.^[4]

Утверждение леммы

Входом в проблему является п-переменный многочлен над поле F. Это может происходить в следующих формах:

Алгебраическая форма

Например, это

${ displaystyle (x_ {1} + 3x_ {2} -x_ {3}) (3x_ {1} + x_ {4} -1) cdots (x_ {7} -x_ {2}) Equiv 0 ? }$

Чтобы решить эту проблему, мы можем перемножить его и проверить, что все коэффициенты равны 0. Однако для этого требуется экспоненциальное время. В общем случае многочлен может быть алгебраически представлен как арифметическая формула или схема.

Определитель матрицы с полиномиальными элементами

Позволять

${ Displaystyle p (x_ {1}, x_ {2}, ldots, x_ {n})}$

быть детерминант из полиномиальная матрица.

В настоящее время нет известного субэкспоненциального времени. алгоритм которые могут решить эту проблему детерминированно. Однако существуют рандомизированные полиномиальные алгоритмы для проверки тождеств полиномов. Их анализ обычно требует ограничения вероятности того, что ненулевой многочлен будет иметь корни в случайно выбранных контрольных точках. Лемма Шварца – Циппеля обеспечивает это следующим образом.

Теорема 1. (Шварц, Циппель). Позволять

${ Displaystyle P in F [x_ {1}, x_ {2}, ldots, x_ {n}]}$

ненулевой многочлен от суммы степень d ≥ 0 через поле F. Пусть S - конечное подмножество F и пусть р₁, р₂, ..., р_п выбираться случайным образом независимо и равномерно из S. Тогда

${ displaystyle Pr [P (r_ {1}, r_ {2}, ldots, r_ {n}) = 0] leq { frac {d} {| S |}}.}$

В случае одной переменной это непосредственно следует из того факта, что многочлен от степень d не может быть больше, чем d корни. Таким образом, кажется логичным думать, что подобное утверждение справедливо для многочленов с несколькими переменными. На самом деле это так.

Доказательство. Доказательство проводится математическая индукция на п. Для п = 1, как упоминалось ранее, п может иметь самое большее d корни. Это дает нам базовый случай. Теперь предположим, что теорема верна для всех многочленов из п − 1 переменные. Затем мы можем рассмотреть п быть полиномом от Икс₁ написав это как

${ Displaystyle P (x_ {1}, dots, x_ {n}) = sum _ {i = 0} ^ {d} x_ {1} ^ {i} P_ {i} (x_ {2}, точки, x_ {n}).}$

поскольку п не тождественно 0, есть некоторые я такой, что ${ displaystyle P_ {i}}$ не тождественно 0. Возьмем наибольший такой я. потом ${ displaystyle deg P_ {i} leq d-i}$, поскольку степень ${ displaystyle x_ {1} ^ {i} P_ {i}}$ не больше d.

Теперь мы выбираем случайным образом ${ displaystyle r_ {2}, dots, r_ {n}}$ от S. По предположению индукции ${ displaystyle Pr [P_ {i} (r_ {2}, ldots, r_ {n}) = 0] leq { frac {d-i} {| S |}}.}$

Если ${ Displaystyle P_ {я} (r_ {2}, ldots, r_ {n}) neq 0}$, тогда ${ Displaystyle P (x_ {1}, r_ {2}, ldots, r_ {n})}$ имеет степень я (и, следовательно, не тождественно нулю), поэтому

${ Displaystyle Pr [P (r_ {1}, r_ {2}, ldots, r_ {n}) = 0 | P_ {i} (r_ {2}, ldots, r_ {n}) neq 0 ] leq { frac {i} {| S |}}.}$

Если обозначить событие ${ Displaystyle P (r_ {1}, r_ {2}, ldots, r_ {n}) = 0}$ от А, событие ${ Displaystyle P_ {я} (r_ {2}, ldots, r_ {n}) = 0}$ от B, и дополнение B от ${ displaystyle B ^ {c}}$, у нас есть

${ Displaystyle { begin {align} Pr [A] & = Pr [A cap B] + Pr [A cap B ^ {c}] & = Pr [B] Pr [A | B] + Pr [B ^ {c}] Pr [A | B ^ {c}] & leq Pr [B] + Pr [A | B ^ {c}] & leq { frac {di} {| S |}} + { frac {i} {| S |}} = { frac {d} {| S |}} end {align}}}$

Приложения

Важность теоремы Шварца – Циппеля и проверки полиномиальных тождеств вытекает из полученных алгоритмов к задачам, которые можно свести к проблеме проверка полиномиальной идентичности.

Сравнение двух многочленов

Дана пара многочленов ${ Displaystyle p_ {1} (х)}$ и ${ Displaystyle p_ {2} (х)}$, является

${ Displaystyle р_ {1} (х) эквив р_ {2} (х)}$?

Эту проблему можно решить, сведя ее к задаче проверки тождественности полиномов. Это эквивалентно проверке, если

${ Displaystyle [п_ {1} (х) -p_ {2} (х)] эквив 0.}$

Следовательно, если мы можем определить, что

${ Displaystyle р (х) эквив 0,}$

где

${ Displaystyle р (х) = р_ {1} (х) ; - ; р_ {2} (х),}$

тогда мы можем определить, эквивалентны ли два многочлена.

Сравнение многочленов имеет приложения для ветвящихся программ (также называемых диаграммы бинарных решений). Программа ветвления с однократным чтением может быть представлена полилинейный многочлен который вычисляет (по любому полю) на {0,1} -входах то же самое Логическая функция как программа ветвления, и две программы ветвления вычисляют одну и ту же функцию тогда и только тогда, когда соответствующие многочлены равны. Таким образом, идентичность булевых функций, вычисленных программами ветвления с однократным чтением, может быть сведена к полиномиальному тестированию идентичности.

Сравнение двух полиномов (и, следовательно, проверка полиномиальных тождеств) также имеет приложения в 2D-сжатии, где проблема нахождения равенства двух 2D-текстов А и B сводится к задаче сравнения равенства двух многочленов ${ Displaystyle p_ {A} (х, у)}$ и ${ Displaystyle p_ {B} (х, у)}$.

Проверка на первичность

Данный ${ Displaystyle п в mathbb {N}}$, является ${ displaystyle n}$ а простое число?

Простой рандомизированный алгоритм, разработанный Маниндра Агравал и Соменат Бисвас могут вероятностно определить, ${ displaystyle n}$ является простым и использует для этого проверку полиномиальной идентичности.

Они предлагают, чтобы все простые числа п (и только простые числа) удовлетворяют следующему полиномиальному тождеству:

${ displaystyle (1 + z) ^ {n} = 1 + z ^ {n} ({ mbox {mod}} ; n).}$

Это следствие Эндоморфизм Фробениуса.

Позволять

${ displaystyle { mathcal {P}} _ {n} (z) = (1 + z) ^ {n} -1-z ^ {n}.}$

потом ${ displaystyle { mathcal {P}} _ {n} (z) = 0 ; ({ mbox {mod}} ; n)}$ если только n простое. Доказательство можно найти в [4]. Однако, поскольку этот многочлен имеет степень ${ displaystyle n}$, и с тех пор ${ displaystyle n}$ может быть, а может и не быть простым, метод Шварца – Циппеля не сработает. Агравал и Бисвас используют более сложную технику, которая разделяет ${ displaystyle { mathcal {P}} _ {n}}$ случайным моническим многочленом малой степени.

Простые числа используются в ряде приложений, таких как определение размера хеш-таблицы, псевдослучайный генераторы чисел и в генерации ключей для криптография. Следовательно, нахождение очень больших простых чисел (порядка (как минимум) ${ displaystyle 10 ^ {350} приблизительно 2 ^ {1024}}$) становится очень важным, и требуются эффективные алгоритмы проверки простоты.

Идеальное соответствие

Позволять ${ Displaystyle G = (V, E)}$ быть график из п вершины, где п даже. Делает г содержать идеальное соответствие?

Теорема 2. (Тутт 1947): А Матрица Тутте детерминант не 0-полином если и только если существует идеальное соответствие.

Подмножество D из E называется паросочетанием, если каждая вершина в V инцидентен не более чем с одним ребром в D. Совпадение является идеальным, если каждая вершина в V имеет ровно одно ребро, инцидентное ему в D. Создать Матрица Тутте А следующим образом:

${ displaystyle A = { begin {bmatrix} a_ {11} & a_ {12} & cdots & a_ {1 { mathit {n}}} a_ {21} & a_ {22} & cdots & a_ {2 { mathit {n}}} vdots & vdots & ddots & vdots a _ {{ mathit {n}} 1} и a _ {{ mathit {n}} 2} & ldots & a _ { mathit {nn}} end {bmatrix}}}$

где

${ displaystyle a_ {ij} = { begin {case} x_ {ij} ; ; { mbox {if}} ; (i, j) in E { mbox {and}} i j 0 ; ; ; ; { mbox {иначе}}. end {case}}}$

Определитель матрицы Тутте (в переменных Икс_ij, ${ displaystyle i$ ) тогда определяется как детерминант этого кососимметричная матрица что совпадает с квадратом пфаффианец матрицы А и отличен от нуля (как полином) тогда и только тогда, когда существует идеальное соответствие. Затем можно использовать проверку полиномиальной идентичности, чтобы определить, г содержит идеальное соответствие. Существует детерминированный алгоритм черного ящика для графов с полиномиально ограниченными перманентами (Григорьев и Карпинский, 1987).^[5]

В частном случае сбалансированного двудольный граф на ${ Displaystyle п = м + м}$ вершин эта матрица принимает вид блочная матрица

${ displaystyle A = { begin {pmatrix} 0 & X - X ^ {t} & 0 end {pmatrix}}}$

если первый м строки (соответственно столбцы) индексируются первым подмножеством двудольного и последним м строки с дополнительным подмножеством. В этом случае пфаффиан совпадает с обычным определителем м × м матрица Икс (до подписи). Вот Икс это Матрица Эдмондса.

Заметки

использованная литература

внешние ссылки

• Любопытная история леммы Шварца – Циппеля., от Ричард Дж. Липтон