Изменения

Перейти к: навигация, поиск

Лемма Шварца-Зиппеля

13 байт добавлено, 21:43, 13 апреля 2010
Нет описания правки
== Применение ==
С помощью этой леммы можно, например, показать принадлежность задачи проверки эквивалентности двух полиномов классу <tex> [[Классы RP и coRP </tex>.|coRP]]
=== Формулировка задачи ===
Пусть даны два полинома — <tex> p(x_1, ..., x_n) </tex> и <tex> q(x_1, ..., x_n) </tex>, Нужно проверить, верно ли, что <tex> p \equiv q </tex>.
45
правок

Навигация