-1

谁能在下面的算法中向我解释“ISZERO”函数如何检查多项式是否为零。这里“REM(P,e)”函数删除了所有指数为“e”的值。我无法理解的是“如果COEF（P，e）= - c”的意义。还有这个“SMULT”功能是什么。

 structure POLYNOMIAL
    declare ZERO( ) poly; ISZERO(poly) Boolean
    COEF(poly,exp) coef;
    ATTACH(poly,coef,exp) poly
    REM(poly,exp) poly
    SMULT(poly,coef,exp) poly
    ADD(poly,poly) poly; MULT(poly,poly) poly;
    for all P,Q, poly c,d, coef e,f exp let
    REM(ZERO,f) :: = ZERO
    REM(ATTACH(P,c,e),f) :: =
    if e = f then REM(P,f) else ATTACH(REM(P,f),c,e)
    ***ISZERO(ZERO) :: = true
    ISZERO(ATTACH(P,c,e)):: =
    if COEF(P,e) = - c then ISZERO(REM(P,e)) else false***
    COEF(ZERO,e) :: = 0
    COEF(ATTACH(P,c,e),f) :: =
    if e = f then c + COEF(P,f) else COEF(P,f)
    SMULT(ZERO,d,f) :: = ZERO
    SMULT(ATTACH(P,c,e),d,f) :: =
    ATTACH(SMULT(P,d,f),c d,e + f)
    ADD(P,ZERO):: = P
    ADD(P,ATTACH(Q,d,f)) :: = ATTACH(ADD(P,Q),d,f)
    MULT(P,ZERO) :: = ZERO
    MULT(P,ATTACH(Q,d,f)) :: =
    ADD(MULT(P,Q),SMULT(P,d,f))
    end
    end POLYNOMIAL
4

1 回答 1

1

在不知道这是什么语言的情况下，它看起来像这条线

ISZERO(ATTACH(P,c,e)):: =
if COEF(P,e) = - c then ISZERO(REM(P,e)) else false

是ISZERO递归指定的。我们正在尝试确定 是否ATTACH(P, c, e)（也称为P(x) + cx^e）为零。它首先检查 的x^e系数是否P为-c。如果不是，那么P(x) + cx^e肯定不为零，可以立即返回false。否则，P(x) + cx^e = REM(P, e)，所以你必须检查ISZERO(REM(P, e))。

我相信SMULT是乘法，所以SMULT(P, a, b)相当于a * x^b * P(x).

于 2013-08-17T05:32:30.653 回答