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