Проверка полиномиальной идентичности
- Проверка идентичности полиномов (PIT) является важной задачей в области алгебраической сложности вычислений.
- Вопрос о равенстве двух многочленов может быть преобразован в вопрос о равенстве определенного многочлена нулю.
- Временная сложность метода перебора возрастает экспоненциально с увеличением количества переменных и степени многочлена.
- PIT касается идентичности многочлена нулевому многочлену, а не всегда равенства функции, реализуемой этим многочленом.
- Определение вычислительной сложности для проверки полиномиальной идентичности является одной из наиболее важных нерешенных задач в области алгебраической вычислительной сложности.
- Изучение PIT является основой для многих других областей вычислительной сложности и имеет приложения для матриц Tutte и тестирования на простоту.
Полный текст статьи: