单链表存储多项式，并实现两个一元多项式A与B相加的函数。A，B刚开始是无序的，A与B之和按降序排列

在计算机科学中，单链表可以用来表示一元多项式的系数和指数。每个链表节点通常包含两部分：一个数据域用于存储系数，另一个指针域指向下一个节点。对于多项式，我们可以将零度项（常数项）作为链表的头节点，然后按照从高次到低次的顺序添加其他节点。

为了实现两个一元多项式A和B的相加，你可以按照以下步骤操作：

1. 创建一个新的空链表C，这将是结果多项式的表示。
2. 遍历A和B的链表，直到其中一个遍历完毕。
- 比较当前A和B的系数，取较大者并将其添加到C的头部，同时更新A或B的指针（如果有必要）。
- 如果其中一个已经遍历完，那么剩余的那个多项式的所有未处理的系数都将追加到结果链表C上，因为它们肯定比已遍历的部分小。
3. 最后检查A和B是否还有剩余的节点（即一个是奇数阶，另一个是偶数阶），如果是，则直接将剩下的那个链表的剩余节点添加到C的头部。
4. 结果链表C就是合并后的降序排列的一元多项式。

下面是一个简化的伪代码示例：

class ListNode:
    def __init__(self, coefficient=0, degree=0):
        self.coefficient = coefficient
        self.degree = degree
        self.next = None

def add_poly(A, B):
    C_head = ListNode(0)  # 初始化C的头节点
    current_C = C_head
    while A and B:
        if A.coefficient > B.coefficient:
            current_C.next = ListNode(A.coefficient)
            current_C = current_C.next
            A = A.next
        else:
            if B.coefficient != 0:  # 若B非零则添加
                current_C.next = ListNode(B.coefficient)
                current_C = current_C.next
            A, B = A.next, B.next
    # 将剩余的项添加至C
    while A:
        current_C.next = ListNode(A.coefficient)
        current_C = current_C.next
        A = A.next
    while B:
        current_C.next = ListNode(B.coefficient)
        current_C = current_C.next
        B = B.next
    
    return C_head.next  # 返回降序排列的结果链表头节点