"Записки научных семинаров ПОМИ"
Том 448, стр. 286-325
Эффективное разложение многочленов с параметрическими коэффициентами на абсолютно неприводимые множители
А. Л. Чистов
С.-Петербургское отделение
Математического института им. В. А. Стеклова РАН,
191023 С.-Петербург, Россия
alch@pdmi.ras.ru
- Аннотация:
Рассмотрим многочлен с параметрическими коэффициентами.
Мы показываем, что многообразие параметров может быть представлено как
объединение стратов.
Для значений параметров из каждого страта разложение многочлена на абсолютно
неприводимые множители
зада\"ется алгебраическими формулами, зависящими только от страта.
Каждый страт является квазипроективным алгебраическим многообразием. Это
многообразие и соответствующие ему выходные данные
задаются полиномами степени не выше
$D=d'd^{O(1)}$, где $d',d$ -- верхние границы на степени исходного
многочлена.
Число стратов полиномиально от размера входных данных.
Таким образом, мы избежали дважды
экспоненциальных оценок на степени и тем самым решили старую проблему.
Библ. -- 4 назв.
- Ключевые слова:
параметрические коэффициенты, стратификации,
абсолютно неприводимые множители, факторизация многочленов
[parametric coefficients, stratifications, absolutely irreducible
factors, factorization of polynomials]
Полный текст(.pdf)