[基于归纳的算法设计][1] 秦九韶算法

问题描述

给定一串实数 $a_n,a_{n-1},...,a_1,a_0$ 以及一个实数 $x$，计算多项式 $P_n(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+...+a_{1}x+a_0$的值。

归纳假设

令 $P_k^{\prime }(x)$ 为由数组 $[a_n,a_{n-1},...,a_1,a_0]$ 前 $k$ 项表示的多项式。
假设已知如何计算 $P_{n-1}^{\prime }(x)=a_n{x}^{n-1}+a_{n-1}{x}^{n-2}+...+a_1$

归纳证明

1. $P_1^{\prime }(x)=a_n$
2. 根据归纳假设，$P_n^{\prime }(x)=x{P}_{n-1}^{\prime }(x)+a_0$

由1，2得：$P_n^{\prime }(x)$ 可计算，而 $P_n^{\prime }(x)$ 也等于 $P_n(x)$。证毕。

算法实现

def Polynomial_Evaluation(a, x):
    """ 输出P (多项式在x上的值)
    
    Args:
        a (list): 多项式的系数, a = [a0, a1, ... , an]
        x (float): 实数
    """
    P = a[-1]
    for i in range(len(a), 0, -1):
        P = x * P + a[i-1]
    return P