假设有两个按元素递增有序排列的线性表A和B，均以带头结点的单链表为存储结构， 编写算法将A表和B表归并成一个按元素值递减有序排列的线性表C，并要求利用原表的结点空间存放表C.

要合并两个已排序的单链表 A 和 B，形成一个新的逆序链表 C，并利用原链表节点空间，可以采用双指针法以及链表操作技巧。以下是算法步骤：

1. 初始化：创建一个新的空链表 C，头结点设为 NULL。定义两个指针 pa 和 pb 分别指向 A 和 B 的头结点。

2. 比较指针：开始循环直到其中有一个指针为空。

a. 如果 pa 指向的节点值小于 pb 指向的节点值，则交换 pa 和 pb 所指向的节点，并将 pa 指针向前移动一位。这一步实现了逆序排列。

b. 否则，如果 pa 指向的节点值大于或等于 pb 指向的节点值，则直接将 pa 向前移动一位。

3. 结束条件：当其中一个指针为空时，将另一个非空链表剩余部分连接到 C 的尾部。

4. 连接尾部：当循环结束时，如果 C 的头结点仍然是 NULL，说明 A 或 B 都为空，此时将另一个链表接到 C 的头部即可。若 C 的头结点已经存在，那么不需要额外的操作，因为最后剩下的链表已经是逆序的。

以下是伪代码形式：

def merge_sorted_lists(a, b):
    if not a:
        return b
    elif not b:
        return a

    if a.value > b.value:
        temp = a
        a = a.next
    else:
        temp = b
        b = b.next

    c_head = c_tail = temp

    while a and b:
        if a.value < b.value:
            c_tail.next = a
            c_tail = a
            a = a.next
        else:
            c_tail.next = b
            c_tail = b
            b = b.next

    # 将剩余的一个链表接到尾部
    if a:
        c_tail.next = a
    else:
        c_tail.next = b

    return c_head