Аннотация:
Мы улучшаем алгоритмы для факторизации многочленов в (и над) кольцами формальных степенных рядов от многих переменных, предложенные в первой части статьи. Для этого мы используем эффективную версию теоремы Бертини для полных локальных областей целостности. В результате теперь сложность каждого из построенных алгоритмов полиномиальна от длины записи входных данных (в естественном смысле). Библ. – 17 назв.
Ключевые слова:формальные степенные ряды, факторизация многочленов, многие переменные, сложность алгоритмов.
Полный текст:
PDF файл (600 kB)