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