Участник:Zerogerc — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Задача)
(Алгоритм)
 
(не показано 48 промежуточных версий этого же участника)
Строка 1: Строка 1:
 
==Примеры рандомизированных алгоритмов==
 
==Примеры рандомизированных алгоритмов==
  
===Проверка числа на простот ===
+
===Позиция числа в массиве===
 +
====Задача====
 +
Задан массив <tex>A</tex> в котором половина чисел единицы, а половина нули. Найти позицию какой-нибудь единицы.
 +
 
 +
====Алгоритм====
 +
Выбираем случайную позицию и проверяем стоит ли на этой позиции единица. Если да то берем если нет про продолжаем пока не найдем. Ассимптотика {{---}} <tex>\lim\limits_{n \to \infty}\sum\limits_{i=1}^n \frac{i}{2^i} = 2</tex>
 +
 
 +
Хоть у этого алгоритма такая же ассимптотика как и у детерминированного алгоритма, который просто начиная с первой позиции перебирает все числа, у рандомизированного алгоритма есть приемущество. Для детерминированного алгоритма можно подобрать такой вход на котором он будет гарантированно работать плохо. А для рандомизированного нельзя.
 +
 
 +
===Проверка числа на простоту ===
 
====Задача====
 
====Задача====
 
Дано целое число <tex>N</tex>. Определить является ли оно простым.
 
Дано целое число <tex>N</tex>. Определить является ли оно простым.
 
====Алгоритм====
 
====Алгоритм====
Нам нужен детерминированный алгоритм работающий за <tex>p(\log|n|)</tex>, где <tex>p</tex> {{---}} полином. Однако не существует такого эффективного алгоритма. Однако существует эффективный рандомизированный алгоритм.
+
Существует эффективный рандомизированный алгоритм работающий за <tex>p(\log|n|)</tex>, где <tex>p</tex> {{---}} полином. В то время как не существует детерминированного алгоритма с такой же ассимптотикой.
Формально, нам нужно проверить принадлежит ли число языку <tex>PRIMES = \{ \llcorner N \lrcorner : N -</tex> простое <tex>\}</tex>. Для каждого <tex>N</tex> и <tex>A \in [N - 1]</tex>, определим:
+
 
 +
Формально, нам нужно проверить принадлежит ли число языку <tex>PRIMES = \{ \llcorner N \lrcorner : N -</tex> простое <tex>\}</tex>. Предоставим алгоритм который покажет что <tex>PRIMES \in BPP</tex>. Для каждого <tex>N</tex> и <tex>A \in [1 .. N - 1]</tex>, определим символ Лежандра:
  
  
Строка 12: Строка 22:
 
QR_N(A) =  
 
QR_N(A) =  
 
\begin{cases}
 
\begin{cases}
   0 & gcd(A, N) \ne 1\\     
+
   0 & A \equiv 0 \  (mod\ N) \\     
   +1 & A = B^2 (mod N), gcd(B, N) = 1\\
+
   +1 & A \not\equiv 0 \ ( mod \ N), \ \exists x: A \equiv x^2 \ (mod \ N) = 1\\
 
   - 1, & \text{otherwise}
 
   - 1, & \text{otherwise}
 
\end{cases}
 
\end{cases}
 
</tex>
 
</tex>
  
{{---}} Для каждого нечетного простого <tex>N</tex> и <tex>A \in [N - 1], QR_N(A) = A^{(N - 1)/2} (mod N)</tex>
+
Для каждого нечетного <tex>N</tex> и <tex>A \in [0\,..\,N-1]</tex> определим симол Якоби <tex>(\frac{N}{A})</tex> как <tex>\prod\limits_{i=1}^k QR_{P(i)}(A)</tex>, где <tex>P_1, ... , P_k</tex> это простые делители (не обязательно различные) числа <tex>N (N = \prod\limits_{i=1}^k P_i)</tex>. Cуществует алгоритм для вычисления символа Якоби за <tex>O(logA \cdot logN)</tex>. Можно посмотреть на [https://en.wikipedia.org/wiki/Jacobi_symbol википедии]
 +
 
  
{{---}} Для каждого нечетного <tex>N, A</tex> определим симол Якоби <tex>(\frac{N}{A})</tex> как <tex>\prod\limits_{i=1}^k QR_{P(i)}(A)</tex>, где <tex>P_1, ... , P_k</tex> это простые делители (не обязательно различные) числа <tex>N (N = \prod\limits_{i=1}^k P_i)</tex>. Заметим что сивол Якоби вычислим за <tex>O(logA * logN)</tex>
+
{{---}} Для каждого нечетного простого <tex>N</tex> и <tex>A \in [1 .. N - 1]</tex> выполняется: <tex>QR_N(A) = A^{\frac{N - 1}{2}} (mod \ N)</tex> {{---}} формула Лежандра
  
{{---}} Для каждого нечетного составного <tex>N, |\{A \in [N - 1]: gcd(N, A) = 1 \,and\,(\frac{N}{A}) = A^{\frac{N - 1}{2}}\}| \le \frac{1}{2}</tex> <tex>\,| \{A \in [N - 1]: gcd(N, A) = 1\}|</tex>
+
{{---}} Также доказано что для каждого нечетного составного <tex>N, |\{A \in [1\,..\,N - 1]: gcd(N, A) = 1</tex> и <tex>(\frac{N}{A}) = A^{\frac{N - 1}{2}} (mod \ N)\}| \le \frac{N}{2}</tex>
  
  
Строка 31: Строка 42:
 
===Проверка двудольного графа на существование в нем полного паросочетания===
 
===Проверка двудольного графа на существование в нем полного паросочетания===
 
====Задача====
 
====Задача====
<tex>let  G = (V_1, V_2, E)</tex> {{---}} двудольный граф, где <tex>|V_1|=|V_2|</tex> и<tex>E \subseteq V_1 \times V_2</tex>, тогда полным паросочетанием называется <tex>E' \subseteq E</tex> такое что каждая вершина является концом ровно одного ребра из <tex>E'</tex>.
+
Пусть <tex>G = (V_1, V_2, E)</tex> {{---}} двудольный граф, где <tex>|V_1|=|V_2|</tex> и <tex>E \subseteq V_1 \times V_2</tex>, тогда полным паросочетанием называется <tex>E' \subseteq E</tex> такое что каждая вершина является концом ровно одного ребра из <tex>E'</tex>. Нужно проверить, существует ли в графе полное паросочетание.
 +
 
 
====Алгоритм====
 
====Алгоритм====
Пусть у нас есть матрица <tex>X</tex> размером <tex>n \times n</tex>, где <tex>n = |V_1| = |V_2|</tex>. Пусть <tex>X_{ij} = x_{ij}</tex> если <tex>(i,j) \in E</tex>, <tex>0</tex> иначе. Пусть детерминант матрицы <tex>det(X) = \sum\nolimits_{\sigma \in S_n} (-1)^{sign(\sigma)} \prod\limits_{i=1}^n X_{i,\sigma(i)}</tex>. Где <tex>S_n</tex> это множество всех перестановок <tex>{1, 2, ..., n}</tex>. Каждая такая перестановка это возможное полное паросочетание. Тогда ясно что если <tex>det(X) \ne 0 \iff</tex> когда в <tex>G \: \exists</tex> полное паросочетание. Таким образом: в графе <tex>\exists</tex> полное паросочетание <tex>\iff det(X) \ne 0</tex>
+
Пусть у нас есть матрица <tex>X</tex> размером <tex>n \times n</tex>, где <tex>n = |V_1| = |V_2|</tex>. Пусть <tex>X_{ij} = x_{ij}</tex> если <tex>(i,j) \in E</tex>, <tex>0</tex> иначе. Пусть детерминант матрицы <tex>det(X) = \sum\nolimits_{\sigma \in S_n} (-1)^{sign(\sigma)} \prod\limits_{i=1}^n X_{i,\sigma(i)}</tex>. Где <tex>S_n</tex> это множество всех перестановок <tex>{1, 2, ..., n}</tex>. Каждая такая перестановка это возможное полное паросочетание. Тогда ясно что <tex>det(X) \ne 0 \iff</tex> когда в <tex>G \: \exists</tex> полное паросочетание. Таким образом: в графе <tex>\exists</tex> полное паросочетание <tex>\iff det(X) \ne 0</tex>
  
Заметим две вещи. Первое: у полинома <tex>det(X)</tex> всего <tex>|E|</tex> переменных и общая??? степень не более <tex>n</tex>. Второе: хотя размер <tex>det(X)</tex> может быть экспоненциальным, для точно заданных значений <tex>x_{ij}</tex> cуществуют известные полиномиальные алгоритмы. (задача вычисления детерминанта <tex>\in NC^2</tex>)
+
Заметим две вещи. Первое: у полинома <tex>det(X)</tex> всего <tex>|E|</tex> переменных и общая степень не более <tex>n</tex>. Второе: хотя размер <tex>det(X)</tex> может быть экспоненциальным, для точно заданных значений <tex>x_{ij}</tex> cуществуют известные полиномиальные алгоритмы. (задача вычисления детерминанта <tex>\in NC^2</tex>)
  
 
Это ведет нас к алоритму, который называется рандомизированный алгоритм Ловаса. Сформулируем его: выберем случайные числа для <tex>x_{ij}</tex>. Если <tex>det(X) \ne 0</tex> значит говорим что в графе есть полное паросочетание, иначе говорим что нету. Основное преимущество этого алгоритма в том, что он может быть реализован с помощью рандомизированной <tex>NC</tex> схемы, а это значит что он может быть эффективно реализован используя параллельные вычисления.
 
Это ведет нас к алоритму, который называется рандомизированный алгоритм Ловаса. Сформулируем его: выберем случайные числа для <tex>x_{ij}</tex>. Если <tex>det(X) \ne 0</tex> значит говорим что в графе есть полное паросочетание, иначе говорим что нету. Основное преимущество этого алгоритма в том, что он может быть реализован с помощью рандомизированной <tex>NC</tex> схемы, а это значит что он может быть эффективно реализован используя параллельные вычисления.
  
 
===Проверка полиномов на равенство===
 
===Проверка полиномов на равенство===
 +
В предыдущих двух примерах мы обсуждали задачи для которых известен детерминированный алгоритм работающий за полиноминильное время. Сейчас мы опишем задачу для которой такого алгоритма пока не придумали.
 
====Задача====
 
====Задача====
Есть полином с целыми коэффициентами. Нужно проверить, является ли полином тождественным нулем. Будем считать что полином представлен в виде арифметической схемы. Арифметическая схема похожа на логическую только вместо операций <tex>{\land, \lor, \neg}</tex> она использует операции <tex>{+, -, \times}</tex>. Формально это ориентированный граф в котором есть <tex>n</tex> источников и каждая вершина не являющаяся источником имеет входа и один выход. Есть одна вершина являющаяся стоком. Каждая внутрення вершина помечена одной из трех aрифметических операций. Значение полинома считается путем помещения на источники целых чисел и применения всех операций в порядке заданном графом.
+
Есть полином с целыми коэффициентами. Нужно проверить, является ли полином тождественным нулем. Будем считать что полином представлен в виде арифметической схемы. Арифметическая схема похожа на логическую только вместо операций <tex>{\land, \lor, \neg}</tex> она использует операции <tex>{+, -, \times}</tex>. Формально это ориентированный граф в котором есть <tex>n</tex> источников и каждая вершина не являющаяся источником имеет два входа и один выход. Есть одна вершина являющаяся стоком. Каждая внутренняя вершина помечена одной из трех aрифметических операций. Значение полинома считается путем помещения на источники целых чисел и применения всех операций в порядке заданном графом.
 +
 
 +
Заметим что исходная задача звучала как проверка двух полиномов не равенство. Мы сведем ее к проверке полинома на равенство нулю путем такого преобразования: пусть у нас было две арифметические схемы <tex>C, C'</tex> которые нужно проверить на равенство. Мы строим новую схему <tex>D : D(x_1, ..., x_n) = C(x_1, ..., x_n) - C'(x_1, ..., x_n)</tex>. Определим класс <tex>ZEROP</tex> как класс всех схем которые обращаются в ноль на всех возможных входах. Тогда задача будет звучать как проверить принадлежит ли <tex>D</tex> классу <tex>ZEROP</tex>
 +
 
 +
====Алгоритм====
 +
Так как раскрытие всех скобок в полиноме может привести к экспоненциальному количеству мономов. То проверка на принадлежность классу <tex>ZEROP</tex> может оказаться довольно затратной по времени. Однако существует эффективный рандомизированный алгоритм основанный на лемме Шварца-Зиппеля, которую здесь мы оставим без доказательства.
 +
{{Лемма
 +
|statement= Пусть <tex>p(x_1, x_2, ..., x_m)</tex> полином с общей степенью не более <tex>d</tex>. <tex>S</tex> {{---}} конечный набор чисел. Тогда если <tex>a_1, a_2, ..., a_m</tex> случайно выбранные числа из <tex>S</tex> то:
 +
<tex>Pr[p(a_1, a_2, ..., a_m) \ne 0] \ge 1 - \frac{d}{|S|}</tex>. Где <tex>Pr[x]</tex> {{---}} вероятность события <tex>x</tex>
 +
}}
 +
Нетрудно видеть что у схемы <tex>C</tex> размера <tex>m</tex> с <tex>n</tex> переменными общая степень не больше <tex>2^m</tex>. Получаем следующий алгоритм: выбираем <tex>n</tex> чисел из набора  <tex>[1 .. 10 \cdot 2^m]</tex>. Вычисляем схему на этих числах. Если получился ноль то говорим что <tex>C \in ZEROP</tex>. Иначе говорим что <tex>C \notin ZEROP</tex>.
 +
 
 +
Если <tex>C \in ZEROP</tex>, то алгоритм всегда выдаст правильный ответ. Если <tex>C \notin ZEROP</tex> то алгоритм выдаст правильный ответ с вероятностью <tex>\ge \frac{9}{10}</tex>. Однако есть проблема. Числа которые получаются в результате вычисленний могут быть порядка <tex>(10 \cdot 2^m)^{2^m}</tex>. Такие числа требуют экспоненциальное число бит только для представления не говоря уже про операции над ними.
 +
 
 +
Мы решим эту проблему с помощью вычислений по модулю <tex>k</tex>, где <tex>k</tex> - слуйчайное число <tex>\le 2^{2^m}</tex>. Таким образом вместо вычисления <tex>y = C(x_1, x_2, ..., x_m)</tex>, мы считаем значение <tex>y \ (mod \ k)</tex>. Очевидно что если <tex>y = 0</tex>, то <tex>y \ mod \ k = 0</tex>. Утверждается что если <tex>y \ne 0</tex>, то с вероятностью хотя бы <tex>\delta = \frac{1}{10m}</tex>, <tex>k</tex> не делится на <tex>y</tex>. Действительно, пусть <tex>y \ne 0</tex> и пусть <tex>S = {p_1, ..., p_l}</tex> {{---}} множество простых делителей <tex>y</tex>. Достаточно показать что с вероятностью <tex>\ge \delta</tex>, <tex>k</tex> будет простым числов <tex>\notin S</tex>. По теореме о простых числах верятность того что <tex>k</tex> будет простым числом <tex>\ge \frac{1}{5m} = 2 \delta</tex>. А так как <tex>y</tex> может иметь максимум <tex>log(y) \le 5m2^m</tex> различных простых делителей, вероятность того что <tex>k \in S \le \frac{5m2^m}{2^{2^m}} << \frac{1}{[10m]} = \delta</tex>. Объединяя эти факты получаем что с вероятнотью хотя бы <tex>\delta</tex>, <tex>y</tex> не будет делиться на <tex>k</tex>.
 +
 
 +
== См. также ==
 +
<references/>
 +
* [[Вероятностные вычисления. Вероятностная машина Тьюринга]]
 +
*[[Лемма Шварца-Зиппеля]]
 +
 
 +
== Литература ==
 +
* [http://www.cs.princeton.edu/theory/complexity/ Sanjeev Arora, Boaz Barak. Computational Complexity: A Modern Approach]
 +
 
 +
== Ссылки ==
 +
* [https://ru.wikipedia.org/wiki/%D0%A1%D0%B8%D0%BC%D0%B2%D0%BE%D0%BB_%D0%AF%D0%BA%D0%BE%D0%B1%D0%B8 Символ Якоби]
 +
* [https://ru.wikipedia.org/wiki/%D0%A1%D0%B8%D0%BC%D0%B2%D0%BE%D0%BB_%D0%9B%D0%B5%D0%B6%D0%B0%D0%BD%D0%B4%D1%80%D0%B0 Символ Лежандра]
 +
* [https://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%BE_%D1%80%D0%B0%D1%81%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D0%B5%D0%BD%D0%B8%D0%B8_%D0%BF%D1%80%D0%BE%D1%81%D1%82%D1%8B%D1%85_%D1%87%D0%B8%D1%81%D0%B5%D0%BB Теорема о распределении простых чисел]
 +
* [https://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D1%81%D1%82_%D0%A1%D0%BE%D0%BB%D0%BE%D0%B2%D0%B5%D1%8F_%E2%80%94_%D0%A8%D1%82%D1%80%D0%B0%D1%81%D1%81%D0%B5%D0%BD%D0%B0 Тест Соловея — Штрассена]
  
Заметим что исходная задача звучала как проверка двух полиномов не равенство. Мы свели ее к проверке полинома на равенство нулю путем такого преобразования. Пусть у нас было две арифметические схемы <tex>C, C'</tex> которые нужно проверить на равенство. Мы строим новую схему <tex>D : D(x_1, ..., x_n) = C(x_1, ..., x_n) - C'(x_1, ..., x_n)</tex>.
+
[[Категория: Теория сложности]]

Текущая версия на 09:24, 16 мая 2017

Примеры рандомизированных алгоритмов

Позиция числа в массиве

Задача

Задан массив [math]A[/math] в котором половина чисел единицы, а половина нули. Найти позицию какой-нибудь единицы.

Алгоритм

Выбираем случайную позицию и проверяем стоит ли на этой позиции единица. Если да то берем если нет про продолжаем пока не найдем. Ассимптотика — [math]\lim\limits_{n \to \infty}\sum\limits_{i=1}^n \frac{i}{2^i} = 2[/math]

Хоть у этого алгоритма такая же ассимптотика как и у детерминированного алгоритма, который просто начиная с первой позиции перебирает все числа, у рандомизированного алгоритма есть приемущество. Для детерминированного алгоритма можно подобрать такой вход на котором он будет гарантированно работать плохо. А для рандомизированного нельзя.

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

Задача

Дано целое число [math]N[/math]. Определить является ли оно простым.

Алгоритм

Существует эффективный рандомизированный алгоритм работающий за [math]p(\log|n|)[/math], где [math]p[/math] — полином. В то время как не существует детерминированного алгоритма с такой же ассимптотикой.

Формально, нам нужно проверить принадлежит ли число языку [math]PRIMES = \{ \llcorner N \lrcorner : N -[/math] простое [math]\}[/math]. Предоставим алгоритм который покажет что [math]PRIMES \in BPP[/math]. Для каждого [math]N[/math] и [math]A \in [1 .. N - 1][/math], определим символ Лежандра:


[math] QR_N(A) = \begin{cases} 0 & A \equiv 0 \ (mod\ N) \\ +1 & A \not\equiv 0 \ ( mod \ N), \ \exists x: A \equiv x^2 \ (mod \ N) = 1\\ - 1, & \text{otherwise} \end{cases} [/math]

Для каждого нечетного [math]N[/math] и [math]A \in [0\,..\,N-1][/math] определим симол Якоби [math](\frac{N}{A})[/math] как [math]\prod\limits_{i=1}^k QR_{P(i)}(A)[/math], где [math]P_1, ... , P_k[/math] это простые делители (не обязательно различные) числа [math]N (N = \prod\limits_{i=1}^k P_i)[/math]. Cуществует алгоритм для вычисления символа Якоби за [math]O(logA \cdot logN)[/math]. Можно посмотреть на википедии


— Для каждого нечетного простого [math]N[/math] и [math]A \in [1 .. N - 1][/math] выполняется: [math]QR_N(A) = A^{\frac{N - 1}{2}} (mod \ N)[/math] — формула Лежандра

— Также доказано что для каждого нечетного составного [math]N, |\{A \in [1\,..\,N - 1]: gcd(N, A) = 1[/math] и [math](\frac{N}{A}) = A^{\frac{N - 1}{2}} (mod \ N)\}| \le \frac{N}{2}[/math]


Собирая эти факты вместе, получаем просто алгоритм. Для данного [math]N[/math] выбираем случайное число [math]A: 1 \le A \lt N[/math], если [math]gcd(N,A) \gt 1[/math] или [math](\frac{N}{A}) \ne A^{\frac{N - 1}{2}} (mod \, N)[/math] тогда говорим что число составное, иначе говорим что оно простое. Этот алгоритм всегда скажет что число простое, если оно действительно простое. Однако если число составное, то алгоритм скажет что оно составное с вероятностью [math] \ge \frac{1}{2}[/math].

Заметим что повторяя этот алгоритм несколько раз можно увеличить вероятность правильного ответа.

Проверка двудольного графа на существование в нем полного паросочетания

Задача

Пусть [math]G = (V_1, V_2, E)[/math] — двудольный граф, где [math]|V_1|=|V_2|[/math] и [math]E \subseteq V_1 \times V_2[/math], тогда полным паросочетанием называется [math]E' \subseteq E[/math] такое что каждая вершина является концом ровно одного ребра из [math]E'[/math]. Нужно проверить, существует ли в графе полное паросочетание.

Алгоритм

Пусть у нас есть матрица [math]X[/math] размером [math]n \times n[/math], где [math]n = |V_1| = |V_2|[/math]. Пусть [math]X_{ij} = x_{ij}[/math] если [math](i,j) \in E[/math], [math]0[/math] иначе. Пусть детерминант матрицы [math]det(X) = \sum\nolimits_{\sigma \in S_n} (-1)^{sign(\sigma)} \prod\limits_{i=1}^n X_{i,\sigma(i)}[/math]. Где [math]S_n[/math] это множество всех перестановок [math]{1, 2, ..., n}[/math]. Каждая такая перестановка это возможное полное паросочетание. Тогда ясно что [math]det(X) \ne 0 \iff[/math] когда в [math]G \: \exists[/math] полное паросочетание. Таким образом: в графе [math]\exists[/math] полное паросочетание [math]\iff det(X) \ne 0[/math]

Заметим две вещи. Первое: у полинома [math]det(X)[/math] всего [math]|E|[/math] переменных и общая степень не более [math]n[/math]. Второе: хотя размер [math]det(X)[/math] может быть экспоненциальным, для точно заданных значений [math]x_{ij}[/math] cуществуют известные полиномиальные алгоритмы. (задача вычисления детерминанта [math]\in NC^2[/math])

Это ведет нас к алоритму, который называется рандомизированный алгоритм Ловаса. Сформулируем его: выберем случайные числа для [math]x_{ij}[/math]. Если [math]det(X) \ne 0[/math] значит говорим что в графе есть полное паросочетание, иначе говорим что нету. Основное преимущество этого алгоритма в том, что он может быть реализован с помощью рандомизированной [math]NC[/math] схемы, а это значит что он может быть эффективно реализован используя параллельные вычисления.

Проверка полиномов на равенство

В предыдущих двух примерах мы обсуждали задачи для которых известен детерминированный алгоритм работающий за полиноминильное время. Сейчас мы опишем задачу для которой такого алгоритма пока не придумали.

Задача

Есть полином с целыми коэффициентами. Нужно проверить, является ли полином тождественным нулем. Будем считать что полином представлен в виде арифметической схемы. Арифметическая схема похожа на логическую только вместо операций [math]{\land, \lor, \neg}[/math] она использует операции [math]{+, -, \times}[/math]. Формально это ориентированный граф в котором есть [math]n[/math] источников и каждая вершина не являющаяся источником имеет два входа и один выход. Есть одна вершина являющаяся стоком. Каждая внутренняя вершина помечена одной из трех aрифметических операций. Значение полинома считается путем помещения на источники целых чисел и применения всех операций в порядке заданном графом.

Заметим что исходная задача звучала как проверка двух полиномов не равенство. Мы сведем ее к проверке полинома на равенство нулю путем такого преобразования: пусть у нас было две арифметические схемы [math]C, C'[/math] которые нужно проверить на равенство. Мы строим новую схему [math]D : D(x_1, ..., x_n) = C(x_1, ..., x_n) - C'(x_1, ..., x_n)[/math]. Определим класс [math]ZEROP[/math] как класс всех схем которые обращаются в ноль на всех возможных входах. Тогда задача будет звучать как проверить принадлежит ли [math]D[/math] классу [math]ZEROP[/math]

Алгоритм

Так как раскрытие всех скобок в полиноме может привести к экспоненциальному количеству мономов. То проверка на принадлежность классу [math]ZEROP[/math] может оказаться довольно затратной по времени. Однако существует эффективный рандомизированный алгоритм основанный на лемме Шварца-Зиппеля, которую здесь мы оставим без доказательства.

Лемма:
Пусть [math]p(x_1, x_2, ..., x_m)[/math] полином с общей степенью не более [math]d[/math]. [math]S[/math] — конечный набор чисел. Тогда если [math]a_1, a_2, ..., a_m[/math] случайно выбранные числа из [math]S[/math] то: [math]Pr[p(a_1, a_2, ..., a_m) \ne 0] \ge 1 - \frac{d}{|S|}[/math]. Где [math]Pr[x][/math] — вероятность события [math]x[/math]

Нетрудно видеть что у схемы [math]C[/math] размера [math]m[/math] с [math]n[/math] переменными общая степень не больше [math]2^m[/math]. Получаем следующий алгоритм: выбираем [math]n[/math] чисел из набора [math][1 .. 10 \cdot 2^m][/math]. Вычисляем схему на этих числах. Если получился ноль то говорим что [math]C \in ZEROP[/math]. Иначе говорим что [math]C \notin ZEROP[/math].

Если [math]C \in ZEROP[/math], то алгоритм всегда выдаст правильный ответ. Если [math]C \notin ZEROP[/math] то алгоритм выдаст правильный ответ с вероятностью [math]\ge \frac{9}{10}[/math]. Однако есть проблема. Числа которые получаются в результате вычисленний могут быть порядка [math](10 \cdot 2^m)^{2^m}[/math]. Такие числа требуют экспоненциальное число бит только для представления не говоря уже про операции над ними.

Мы решим эту проблему с помощью вычислений по модулю [math]k[/math], где [math]k[/math] - слуйчайное число [math]\le 2^{2^m}[/math]. Таким образом вместо вычисления [math]y = C(x_1, x_2, ..., x_m)[/math], мы считаем значение [math]y \ (mod \ k)[/math]. Очевидно что если [math]y = 0[/math], то [math]y \ mod \ k = 0[/math]. Утверждается что если [math]y \ne 0[/math], то с вероятностью хотя бы [math]\delta = \frac{1}{10m}[/math], [math]k[/math] не делится на [math]y[/math]. Действительно, пусть [math]y \ne 0[/math] и пусть [math]S = {p_1, ..., p_l}[/math] — множество простых делителей [math]y[/math]. Достаточно показать что с вероятностью [math]\ge \delta[/math], [math]k[/math] будет простым числов [math]\notin S[/math]. По теореме о простых числах верятность того что [math]k[/math] будет простым числом [math]\ge \frac{1}{5m} = 2 \delta[/math]. А так как [math]y[/math] может иметь максимум [math]log(y) \le 5m2^m[/math] различных простых делителей, вероятность того что [math]k \in S \le \frac{5m2^m}{2^{2^m}} \lt \lt \frac{1}{[10m]} = \delta[/math]. Объединяя эти факты получаем что с вероятнотью хотя бы [math]\delta[/math], [math]y[/math] не будет делиться на [math]k[/math].

См. также

Литература

Ссылки