使用连分数改进实根隔离的复杂度界限

摘要:用(变体的)连分数算法(CF)隔离具有整系数的无平方项多项式的实根的问题。我们引入了一种计算一元多项式正实根的下界的新方法。这使得我们可以使用经典变体(cite{Akritas:implementation})的CF用整系数的多项式隔离实根的最坏情况界为$sOB(d^6 + d^4 au^2 + d^3 au^2)$,其中$d$为多项式的次数,$au$为其系数的最大位数。这比先前的界$cite{sharma-tcs-2008}$提高了一个因子$d^3$,与Mehlhorn和Ray(cite{mr-jsc-2009})推导出的CF的另一个变体的界相匹配;它也与基于子区间的求解器的最坏情况界相匹配。

作者:Elias Tsigaridas

论文ID:1010.2006

分类:Symbolic Computation

分类简称:cs.SC

提交时间:2011-06-08

PDF 下载: 英文版 中文版pdf翻译中