码迷,mamicode.com
首页 > 其他好文 > 详细

HOROWITZ

时间:2020-01-17 00:12:22      阅读:60      评论:0      收藏:0      [点我收藏+]

标签:直接   display   rac   不难   case   border   渐进   需要   sky   

Horowitz-Ostrogradsky方法

Hermite方法避免了完全分解,但仍要求无平方分解和关于技术图片的部分分式分解。Horowitz-Ostrogradsky方法则不需要其他工具,通过待定系数法将问题归结为线性方程的求解问题。

技术图片其中技术图片为积分的有理部分,由部分分式的结果可知技术图片技术图片。求导得到技术图片从而问题归结为求技术图片技术图片满足技术图片技术图片技术图片。以技术图片技术图片的系数作为未知变量,这是一个至多技术图片维的线性方程组问题。

注1 设技术图片,则Hermite方法的时间复杂度为技术图片[3],其中技术图片为乘法的复杂度。而Horowitz-Ostrogradsky方法的复杂度为技术图片(解线性方程组),尽管渐进意义上后者要比前者慢将近两个量级,但在实践中还是要分析具体情况而定。

技术图片Rothstein-Trager方法

下面的问题是如何求出对数部分,因此我们设技术图片无平方因子的首一多项式,并可设技术图片其中技术图片为互不相同的常数,技术图片为无平方因子的首一多项式,两两互素(可以通过合并项来满足这些条件)。求导得到技术图片由于技术图片无平方因子且两两互素可知技术图片技术图片,则有技术图片技术图片于是对于技术图片技术图片最后一个等式成立是因为技术图片从而技术图片

由式(3)可以看出,当我们找出系数技术图片后即可通过最大公因子的计算求出技术图片。如何求出技术图片呢?同样的论证可以知道技术图片,而技术图片(此结式称为Rothstein-Trager结式),故求解关于技术图片的方程技术图片即可得到所有的系数技术图片

例2 设技术图片技术图片,则Rothstein-Trager结式技术图片。从而方程技术图片有唯一的根技术图片,最大公因子技术图片,故技术图片即为积分结果。 
注2 Rothstein-Trager方法的时间复杂度为技术图片[3]
注3 对于高次Rothstein-Trager结式,其根可能无法显式地表达出来。设技术图片无平方因子,技术图片个根为技术图片技术图片),不难求得(1)中的技术图片,此时可直接将积分表示为技术图片便于进一步的运算。

HOROWITZ

标签:直接   display   rac   不难   case   border   渐进   需要   sky   

原文地址:https://www.cnblogs.com/ARCONICsoftwares/p/12203497.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!