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

下面是一种算法实现：

1. 定义三个指针：p1、p2、p3，分别指向A表、B表、C表的当前结点。
2. 如果p1所指结点的值大于等于p2所指结点的值，则将p1所指结点插入到C表中，并将p1指向下一个结点；否则将p2所指结点插入到C表中，并将p2指向下一个结点。
3. 如果A表或B表已经遍历完了其中一个，则将另一个表中剩下的结点全部插入到C表中。
4. 最后将C表的头结点返回即可。

具体实现可以参考下面的Python代码：

class ListNode:
    def __init__(self, val=0, next=None):
        self.val = val
        self.next = next
        
def merge_lists(A: ListNode, B: ListNode) -> ListNode:
    # 初始化三个指针
    p1, p2, p3 = A, B, None
    # 如果A表和B表都不为空
    while p1 and p2:
        # 如果p1所指结点的值大于等于p2所指结点的值
        if p1.val >= p2.val:
            # 将p1所指结点插入到C表中
            node = ListNode(p1.val)
            node.next = p3
            p3 = node
            # 将p1指向下一个结点
            p1 = p1.next
        else:
            # 将p2所指结点插入到C表中
            node = ListNode(p2.val)
            node.next = p3
            p3 = node
            # 将p2指向下一个结点
            p2 = p2.next
    # 如果A表还有剩余结点，则全部插入到C表中
    while p1:
        node = ListNode(p1.val)
        node.next = p3
        p3 = node
        p1 = p1.next
    # 如果B表还有剩余结点，则全部插入到C表中
    while p2:
        node = ListNode(p2.val)
        node.next = p3
        p3 = node
        p2 = p2.next
    # 返回C表的头结点
    return p3

时间复杂度为O(m+n)，其中m和n分别为A表和B表的长度。空间复杂度为O(1)，因为只利用了原表的结点空间。