论文部分内容阅读
规划搜索是从初始状态S。经过中间目标S_1,S_2……,S_1达到目标状态S_9=S_(f+1)的搜索方法,用于求n次代数方程的实根时S_0是根模上,下界所划的区间,S_0是宽度小于允许误差的有根区间。这样的有根区间上、下限的平均值是根的较准确的近似值。为了使搜索方法可靠,在预处理中用Sturm定理判断实根个数和正、负根的个数,当搜索出的根少于判断个数时将测点加密重新搜索。引入求根辅助函数g(x)=f(x)/f_m(x),f_m(x)是sturm序列最后非零函数。在f(x)=(x-α)~n时g(x)=x-