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