FIELDS OF ALGEBRAIC NUMBERS COMPUTABLE IN POLYNOMIAL TIME. I

被引:9
作者
Alaev, P. E. [1 ,2 ]
Selivanov, V. L. [3 ,4 ]
机构
[1] Sobolev Inst Math, Pr Akad Koptyuga 4, Novosibirsk 630090, Russia
[2] Novosibirsk State Univ, Ul Pirogova 1, Novosibirsk 630090, Russia
[3] Ershov Inst Informat Syst, Pr Akad Lavrenteva 6, Novosibirsk 630090, Russia
[4] Kazan Volga Reg Fed Univ, Ul Kremlevskaya 18, Kazan 420008, Russia
关键词
field of complex algebraic numbers; ordered field of real algebraic numbers; polynomially computable presentation;
D O I
10.1007/s10469-020-09565-0
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
It is proved that the field of complex algebraic numbers has an isomorphic presentation computable in polynomial time. A similar fact is proved for the ordered field of real algebraic numbers. The constructed polynomially computable presentations are based on a natural presentation of algebraic numbers by rational polynomials. Also new algorithms for computing values of polynomials on algebraic numbers and for solving equations in one variable with algebraic coefficients are presented.
引用
收藏
页码:447 / 469
页数:23
相关论文
共 18 条
[1]  
Aho A. V., 1974, The Design and Analysis of Computer Algorithms
[2]  
Akritas A. G., 1989, ELEMENTS COMPUTER AL
[3]   STRUCTURES COMPUTABLE IN POLYNOMIAL TIME. I [J].
Alaev, P. E. .
ALGEBRA AND LOGIC, 2017, 55 (06) :421-435
[4]   Existence and Uniqueness of Structures Computable in Polynomial Time [J].
Alaev, P. E. .
ALGEBRA AND LOGIC, 2016, 55 (01) :72-76
[5]  
[Anonymous], 1998, Theory of Linear and Integer Programming
[6]  
Cenzer D, 1998, STUD LOGIC, V138, P381
[7]  
Cohen H., 1993, GRAD TEXTS MATH, V138
[8]  
Collins G. E., 1982, Computing (Supplementum), P83
[9]  
Collins G. E., 1998, LNCS, P85, DOI [DOI 10.1007/3-540-07407-4_17, 10.1007/978-3-7091-9459-1_4]
[10]   CALCULATION OF MULTIVARIATE POLYNOMIAL RESULTANTS [J].
COLLINS, GE .
JOURNAL OF THE ACM, 1971, 18 (04) :515-&