×

缺元多元多项式的有界因子。 (英语) Zbl 1338.11042号

摘要:本文提出了一种计算缺元多元多项式有界因子的新方法。特别是对于数域上的多项式,我们给出了一种新的算法,该算法以缺项表示中的多元多项式(f)和度界(d)为输入,计算出缺项大小为(f)、(d)的时间多项式中至多(d)个度的不可约因子。我们的算法基于一个新的间隙定理,可以将问题简化为(a)单变量情况和(b)低阶多元因式分解的几个实例,该算法适用于任何零特征字段。我们提出的约简算法是基本的,因为它们只处理输入多项式的指数向量。正确性和复杂度边界的证明依赖于多项式的牛顿多面体,其中基础值域由单个变量中的Puiseux级数组成。

MSC公司:

2016年11月 数字理论算法;复杂性
11二氧化碳 数论中的多项式
65年第68季度 算法和问题复杂性分析
68瓦30 符号计算和代数计算

软件:

腔隙动物
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Avendaño,M.,直线上缺元二元多项式的根数,J.Symb。计算。,44, 9, 1280-1284 (2009) ·Zbl 1170.12003号
[2] 阿文达尼奥,M。;Krick,T。;Sombra,M.,因子分解二元稀疏(缺项)多项式,J.Complex。,23, 2, 193-216 (2007) ·Zbl 1170.12004号
[3] Berlekamp,E.R.,有限域上的因式分解多项式,Bell系统。《技术期刊》,46,8,1853-1859(1967)·Zbl 0166.04901号
[4] Berthomieu,J。;Lecerf,G.,二元多项式从凸稠密到稠密的约化,及其在因式分解中的应用,数学。计算。,81, 279, 1799-1821 (2012) ·Zbl 1271.12006年
[5] Bi,J。;Cheng,Q。;Rojas,J.M.,有限域上稀疏多项式的次线性根检测和新硬度结果(Proc.ISSAC’13(2013),ACM)·Zbl 1360.68916号
[6] Bostan,A。;Chyzak,F。;Lecerf,G。;Salvy,B。;Schost,E.,代数函数微分方程,(Proc.ISSAC’07(2007),ACM),25-32·Zbl 1190.68085号
[7] Bostan,A。;Dumas,P.,Wronskians和线性独立,美国数学。周一。,117,722-727(2010年)·Zbl 1202.00030号
[8] Chattopadhyay,A。;格蕾特,B。;Koiran,P.等人。;Portier,N。;Strozecki,Y.,《计算无高度缺项多项式的多线性因子》,J.Symb。计算(2015)
[9] Chattopadhyay,A。;格蕾特,B。;科伊兰,P。;Portier,N。;Strozecki,Y.,《无高度的二元缺项分解多项式》,(ISSAC学报,2013年),第141-158页·Zbl 1360.68926号
[10] Chèze,G。;Galligo,A.,关于多项式绝对因子分解的四堂课,(Dickenstein,A.;Emiris,I.Z.,求解多项式方程,算法计算数学,第14卷(2005)),339-392·Zbl 1152.13302号
[11] Cucker,F。;科伊兰,P。;Smale,S.,一个变量中丢番图方程的多项式时间算法,J.Symb。计算。,27, 1, 21-30 (1999) ·Zbl 0920.11085号
[12] 德伯格,M。;Cheong,O。;van Kreveld,M。;Overmars,M.,《计算几何:算法和应用》(2008),施普林格出版社·Zbl 1140.68069号
[13] Fröhlich,A。;Shepherdson,J.,《有限步多项式因式分解》,数学。Z.,62,1,331-334(1955)·Zbl 0064.24902号
[14] Fürer,M.,《更快的整数乘法》,SIAM J.Compute。,39, 3, 979-1005 (2009) ·Zbl 1192.68926号
[15] Grenet,B.,《计算缺项多项式的低阶因子:Newton-Puseux方法》(Proc.ISSAC’14(2014),ACM),224-231·Zbl 1325.68284号
[16] 格蕾特,B。,腔隙动物:计算缺项多项式的有界因子,ACM Commun。计算。代数(2015),“ISSAC 2015软件演示”一节
[17] 哈维,D。;van der Hoeven,J。;Lecerf,G.,《更快的整数乘法》(2014)·兹比尔1350.68145
[18] Kaltoffen,E.,直线程序给出的多项式的因式分解,(Micali,S.,《随机性与计算》,《随机与计算》(Randomness and Computation),高级计算研究,第5卷(1989)),375-412
[19] Kaltoffen,E。;Koiran,P.,关于分解二元超解析(缺项)多项式的复杂性,(Proc.ISSAC’05(2005),ACM),208-215·兹比尔1356.11092
[20] Kaltoffen,E。;Koiran,P.,《寻找代数数域上多元超解析(缺失)多项式的小阶因子》,(Proc.ISSAC’06(2006),ACM),162-168·Zbl 1356.11093号
[21] Kaltoffen,E。;May,J.P。;杨,Z。;Zhi,L.,使用奇异值分解的多元多项式的近似因式分解,J.Symb。计算。,43, 5, 359-376 (2008) ·Zbl 1135.12003年
[22] 卡宾斯基,M。;Shparlinski,I.,《关于测试稀疏多项式平方自由度的计算难度》(Proc.AAECC-13)。程序。AAECC-13,勒克特。注释计算。科学。,第1719卷(1999),施普林格),492-497·Zbl 0973.11105号
[23] 科伊兰,P。;Portier,N。;Tavenas,S.,《关于稀疏曲线和低度曲线的交点:丢失定理的多项式版本,离散计算》。几何。,53, 1, 48-63 (2015) ·Zbl 1325.14074号
[24] Landau,S.,代数数域上的因式分解多项式,SIAM J.Comput。,14, 1, 184-195 (1985) ·Zbl 0565.12002号
[25] Lenstra,A。;Lenstra,H。;Lovász,L.,有理系数因式分解多项式,数学。《年鉴》,261,4,515-534(1982)·Zbl 0488.12001号
[26] Lenstra,A.K.,代数数域上的因式分解多项式,(计算机代数(1983),Springer),245-254·Zbl 0539.68030号
[27] Lenstra,A.K.,代数数域上的多元多项式因子分解,SIAM J.Comput。,16, 3, 591-598 (1987) ·Zbl 0636.12005号
[28] Lenstra,H.,《关于缺项多项式的因式分解》,(《数论进展》(1999),德格鲁伊特),277-291·Zbl 0943.11047号
[29] Pan,V.Y.,《单变量多项式:数值分解和寻根的近似最优算法》,J.Symb。计算。,33, 5, 701-733 (2002) ·Zbl 1004.65061号
[30] Plaisted,D.,《稀疏复多项式与多项式可约性》,J.Compute。系统。科学。,14, 2, 210-221 (1977) ·兹比尔0359.65043
[31] Sagraloff,M.,《计算稀疏多项式实根的近最优算法》(Proc.ISSAC’14(2014),ACM),359-366·Zbl 1325.65068号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。