Аннотация:
Доказывается, что у поля комплексных алгебраических чисел есть изоморфное представление, вычислимое за полиномиальное время. Аналогичный факт доказывается и для упорядоченного поля вещественных алгебраических чисел. Построенные полиномиально вычислимые представления основаны на естественном представлении алгебраических чисел через рациональные полиномы. Кроме того, приводятся новые алгоритмы вычисления значений полиномов от алгебраических чисел и решения уравнений от одной переменной с алгебраическими коэффициентами.
Ключевые слова:
поле комплексных алгебраических чисел, упорядоченное поле вещественных алгебраических чисел, полиномиально вычислимое представление.
Работа первого из авторов выполнена при финансовой поддержке РФФИ, проект № 17-01-00247, и Министерства науки и высшего образования, гос. задание Ин-та матем. им. С.Л. Соболева СО РАН, проект № 0314-2019-0002, второго из авторов — за счёт средств субсидии, выделенной Казанскому федерал. ун-ту для выполнения гос. задания в сфере научной деятельности, проект № 1.13556.2019/13.1.
Образец цитирования:
П. Е. Алаев, В. Л. Селиванов, “Поля алгебраических чисел, вычислимые за полиномиальное время. I”, Алгебра и логика, 58:6 (2019), 673–705; Algebra and Logic, 58:6 (2020), 447–469