【数据结构】用链表实现多项式运算

一元多项式的运算包括加法减法和乘法，而多项式的加法和乘法都可以依靠多项式的加法来实现，所以本文仅仅讲解如何用链表实现一元多项式的加法。

数学上的一元多项式的表示是p(x) = p0 + p1 * x + p2 * x^2 + p3 * x^3 + … + pn * x^n;
用链表来表示就是p = (p0, p1, p2, … , pn);
所谓的多项式相加就是同类项的合并，也就是两条链表的合并。
采用单链表保存多项式，链表的每个结点表示多项式的每一非零项，链表应该按有序排列。

结点如下：

struct PolyNode {
    float coef;     //存放系数
    int exp;        //存放指数
    PolyNode * next;
};

类定义如下：

class PolyLinkList {
public:
    PolyLinkList(arguments);
    ~PolyLinkList();
    void show();
    void polyAdd(PolyLinkList & LB);
};

下面先就两个一元多项式链表LP和LQ相加为例说明：
如图所示，qa, qb分别指向两条链表的当前结点，pa, pb分别指向当前结点的前驱。
开始时四个指针分别指向两个单链表的头结点和开始结点：

两个多项式求和实际上是对结点qa的指数和结点qb的指数进行比较，这会出现一下三种情况：
(1)qa指数＜qb指数，则结点qa应为结果中的一个结点，将指针qa和pa向后移动一个结点，qb和pb不移动。如图：

(2)qa的指数＝qb的指数，则qa和qb所指向的是”同类项”。先将qb的系数加到qa上，再判断是否为零。若相加的结果不为零，则将指针qa和pa向后移，再将qb向后移，再删除原结点qb，如图：

若相加的结果为零，则表明结果中无此项，同时删除结点qa和结点qb，并个将4个指针分别后移，如图所示：

(3)qa指数＞qb指数，则结点qb应为结果中的一个结点，将qb插入到第一个单链表中结点qa之前，pa指向新插入的结点，再将指针pb和qb向后移。

上述情况是针对指针qa和qb均不为空的情况，在进行指数比较的过程中，如果qa已空而qb非空，此时直接将第二个链表中剩余的结点连接到第一个链表的后面。

下面是具体的代码：

void PolyLinkList::polyAdd(PolyLinkList & LB) {
    float sum;
    PolyNode *pa, *pb, *qa, *qb;
    //初始化
    pa = head;
    qa = pa->next;
    pb = LB.head;
    qb = pb->next;
    while (qa != NULL && qb != NULL) {
        if (qa->exp < qb->exp) {     //第一种情况
            pa = qa;
            qa = qa->next;
        } else if (qa->exp > qb->exp) {     //第三种情况
            pb->next = qb->next;
            qb->next = qa;
            pa->next = qb;
            pa = qb;
            qb = pb->next;
        } else {                            //第二种情况
            sum = qa->coef + qb->coef;
            if (sum == 0) {                 //系数和为0，删除结点qa和qb
                pa->next = qa->next;
                delete qa;
                qa = pa->next;
                pb->next = qb->next;
                delete qb;
                qb = pb->next;
            } else {                        //系数和不为0，只删除结点qb
                qa->coef = sum;
                pa = qa;
                qa = qa->next;
                pb->next = qb->next;
                delete qb;
                qb = pb->next;
            }
        }
    }
    if (qb != NULL) {
        qa->next = qb;          //插入剩余的部分
    }
}