定义:
对于一个给定的多项式:
其中:
A(X):被除数多项式,次数界为n
B(X):除数多项式,次数界为m(m<n)
D(X):商多项式,次数界为n-m+1
R(X):余数多项式,次数界小于m(余数要小于除数,对于多项式来说就是余数的次数界要小于除数的次数界)
逆元
A(X)与互为逆元
mod :模就是去除掉多项式里n次的项
取模
了解了上述的知识后,我们就可以开始对多项是取模了
我们要求的有两个:商多项式(D(X)),余数多项式(R(X))
我们先考虑求商,因为求出商之后,余数自然而然的就可以得到了
先用1/x代x
两边在同时乘上
这里我们引入多项式系数的反转:
所以我们得到:
下面求Br(x)的逆元在乘上Ar(x)就得到了Dr(x),在求一次系数反转就得到了D(x)
之后就可以很容易得出Rx()
我们也可以模拟长除法,当余式为0,或者余式次数低于除式时为止,这是商就是D(x),余式就是R(X)