×
戴丽云;范哲;夏碧灿;张汉文

Logcf：用于真正的根隔离的有效工具。 （英语） Zbl 1494.68310号

J.系统。科学。复杂。 32，第6期，1767-1782（2019）.
摘要：计算某些多项式的正实根的上界是基于连分式展开和文森特定理的实根隔离算法的关键步骤。本文给出了一种计算正根上界的新算法。该算法的复杂度为（O（n\log（u+1））加法和乘法，其中（u）是满足本文定理3.1的最优上界，（n）是多项式的次数。该方法和一些技巧已作为软件包logcf使用C类语言。在许多基准上的实验表明，logcf与Mathematica的RootIntervals和Maple的函数realroot具有平均竞争性，并且在许多测试用例中比现有的开源实根求解器快得多。

MSC公司：

68瓦30 符号计算和代数计算
2005年12月 实域和复域中的多项式：因式分解

关键词：

计算机代数;连分数;实根隔离;一元多项式;文森特定理

软件：

国际实验室;枫树;对数cf;数学软件;SLV公司;新Dsc;隔离
PDF格式BibTeX公司 XML格式引用
\textit{L.Dai}等人，J.Syst。科学。复杂。32，第6号，1767--1782（2019年；Zbl 1494.68310）
全文： 内政部 arXiv公司

参考文献：

[1] 柯林斯，G。；Akritas，A.，使用笛卡尔符号规则分离多项式实根，第三届ACM符号和代数计算研讨会论文集（1976年）
[2] 科贝尔，A。；罗利尔，F。；Sagraloff，M.，《计算实数多项式的实数根…现在是实数》，美国计算机学会符号与代数计算国际研讨会论文集，303-310（2016）·Zbl 1365.65142号
[3] 罗利尔，F。；Zimmermann，P.，多项式实根的有效分离，计算。数学。申请。，162, 4, 33-50 (2004) ·Zbl 1040.65041号 ·doi:10.1016/j.cam.2003.08.015
[4] Tsigaridas，E.，Slv：一个真正的根隔离软件，ACM Commun。计算。代数，50，3117-120（2016）·Zbl 1365.68502号 ·doi:10.1145/3015306.3015317
[5] Eigenwillig，A.，使用笛卡尔符号规则对精确和近似多项式进行实根隔离（2008）
[6] 艾根威利，A。；Kettner，L。；Krandick，W.，比特流系数多项式的笛卡尔算法，CASC，138-149（2005）·Zbl 1169.65315号
[7] Mehlhorn，K。；Sagraloff，M.，《分离实多项式实根的确定性算法》，J.Symb。计算。，46, 70-90 (2011) ·Zbl 1207.65048号 ·doi:10.1016/j.jsc.2010.09.004
[8] Akritas，A。；Strzebonski，A。；Vigklas，P.，《改进连续分数的性能——正根的新界》，非线性分析：建模与控制，13，3365-279（2008）·Zbl 1178.65043号
[9] Sharma，V.，使用连分式分离实际根的复杂性，Theor。计算。科学。，409, 2, 292-310 (2008) ·Zbl 1158.68055号 ·doi:10.1016/j.tcs.2008.09.017
[10] 齐加里达斯，E.P。；Emiris，I.Z.，《关于使用连分式分离实根的复杂性》，Theor。计算。科学。，392, 158-173 (2008) ·Zbl 1134.68067号 ·doi:10.1016/j.tcs.2007.10.010
[11] Hemmer，M。；齐加里达斯，E。；Zafeirakopoulos，Z.，《单变量实数解算器的实验评估和交叉基准测试》，《2009年符号数字计算会议的进展》，45-54（2009）
[12] 夏，B。；Zhang，T.，使用区间算术的实解隔离，计算。数学。申请。，52, 853-860 (2006) ·Zbl 1131.65041号 ·doi:10.1016/j.camwa.2006.06.003
[13] 张，T。；Xia，B.，一元多项式实根分离的新方法，《计算机科学中的数学》，1，2，305-320（2007）·Zbl 1132.68074号 ·doi:10.1007/s11786-007-0022-6
[14] Hammer，R.，《验证科学计算的C++工具箱——理论、算法和程序：基本数值问题》（1995），Springer-Verlag New York，Inc.：美国新泽西州Secaucus，Springer-Verlag-New York，Inc·兹伯利0828.68041
[15] 臀部，S。；Csendes，T.，INTLAB-Interval Laboratory，Developments in Reliable Computing，77-104（1999），Dordrecht:Kluwer Academic Publishers，Dordecht·Zbl 0949.65046号
[16] ötefénescu，D.，多项式正根的新界，J.通用计算。科学。，11, 12, 2132-2141 (2005)
[17] Hong，H.，多元多项式绝对正性的界，J.Symb。计算。，25, 5, 571-585 (1998) ·Zbl 0913.65013号 ·doi:10.1006/jsco.1997.0189
[18] Gerhard，J.，符号求和和符号积分中的模块化算法，计算机科学讲义（2004）
[19] 约翰逊·J·R。；W.Krandick。；Ruslanov，A.D.，建筑软件经典泰勒位移1，ISSAC，200-207（2005）·Zbl 1360.68938号
[20] 约翰逊·J·R。；克拉迪克，W。；Richardson，D.，笛卡尔方法的高性能实现，ISSAC，154-161（2006）
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。