Horner’s rule for evaluating a polynomial

最新推荐文章于 2022-09-15 17:32:27 发布

韩明宇

最新推荐文章于 2022-09-15 17:32:27 发布

阅读量224

点赞数

分类专栏：算法分析与设计

算法分析与设计专栏收录该内容

15 篇文章 1 订阅

订阅专栏

A general polynomial of degree can be written as

$/begin{displaymath} P(x) = a_0 + a_1 x + a_2 x^2 + ... + a_n x^n = /sum_{i=0}^n a_i x^i /end{displaymath}$

(1)

If we use the Newton-Raphson method for finding roots of the polynomial we need to evaluate both and its derivative for any .

It is often important to write efficient algorithms to complete a project in a timely manner. So let us try to design the algorithm for evaluating a polynomial so it takes the fewest flops (floating point operations, counting both additions and multiplications). For concreteness, consider the polynomial

$/begin{displaymath} 7x^3 + 5x^2 - 4x + 2. /end{displaymath}$

The most direct evaluation computes each monomial one by one. It takes multiplications for each monomial and additions, resulting in flops for a polynomial of degree . That is, the example polynomial takes three flops for the first term, two for the second, one for the third, and three to add them together, for a total of nine. If we reuse from monomial to monomial we can reduce the effort. In the above example, working backwards, we can save from the second term and get for the first in one multiplication by . This strategy reduces the work to flops overall or eight flops for the example polynomial. For short polynomials, the difference is trivial, but for high degree polynomials it is huge. A still more economical approach regroups and nests the terms as follows:

$/begin{displaymath} 2 - 4x + 5x^2 + 7x^3 = 2 + x[-4 + x(5 + 7x)]. /end{displaymath}$

(Check the identity by multiplying it out.) This procedure can be generalized to an arbitrary polynomial. Computation starts with the innermost parentheses using the coefficients of the highest degree monomials and works outward, each time multiplying the previous result by and adding the coefficient of the monomial of the next lower degree. Now it takes flops or six for the above example. This is the efficient Horner's algorithm.