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

这个问题描述的是合并两个升序链表的问题，并要求结果链表按照降序排列，同时要在原有的节点空间内完成操作。我们可以采用双指针法以及一些链表操作技巧来解决。以下是基本步骤：

1. 初始化三个指针，分别指向A、B和C的头结点（假设C为空）。

2. 比较A和B的当前结点的值，选择较大的一个节点作为C的新头部，并将其连接到C链表上。然后移动指向较大值结点的指针，使其指向下一个结点。

3. 如果有一个链表遍历完了，说明另一个链表还有剩余元素，那么直接将剩下的链表接到C的尾部。

4. 重复步骤2和3，直到A和B的链表都遍历完。

5. 最后的C链表就是按照降序排序的结果。

下面是伪代码形式的实现：

function merge_sorted_lists(A, B):
    C = None
    A_ptr = A
    B_ptr = B
    while A_ptr is not None and B_ptr is not None:
        if A_ptr.value > B_ptr.value:
            if C is None:
                C = A_ptr
            else:
                C.next = A_ptr
            A_ptr = A_ptr.next
        else:
            if C is None:
                C = B_ptr
            else:
                C.next = B_ptr
            B_ptr = B_ptr.next

    # 将剩余的链表连接到C的尾部
    if A_ptr is not None:
        C.next = A_ptr
    elif B_ptr is not None:
        C.next = B_ptr

    return C