假设有两个按元素值递增有序排列的有序表A和B，均以单链表作存储结构。请设计算法实现将A表和B表归并成一个按元素值非递增有序排列的有序表C。例如：A=（L, 2,3, 4, 6），B=（2, 3, 5, 7, 9），则C=（9, 7, 6, 5, 4,3,3,2,2, 1）。

这是一个经典的合并排序链表的问题，可以采用分治策略来解决。以下是步骤：

1. 初始化两个指针，分别指向A表和B表的头结点。
2. 创建一个新的链表C作为结果，初始化其头节点为null。
3. 比较当前A表和B表的头节点值，选择较大的那个添加到链表C，并移动相应的指针。如果两者相等，则先将A表的节点添加，因为题目要求非递减顺序。
4. 如果其中一个链表为空，将另一个链表剩余的部分添加到C。
5. 重复步骤3和4，直到两个链表都遍历完。

伪代码如下：

function mergeSortedLists(A, B):
    if A is None:
        return B
    elif B is None:
        return A
    elif A.value >= B.value:
        C.next = A
        A = A.next
    else:
        C.next = B
        B = B.next
    
    C = C.next
    while A is not None and B is not None:
        if A.value >= B.value:
            C.next = A
            A = A.next
        else:
            C.next = B
            B = B.next
        C = C.next

    # 如果A还有剩余，直接添加到结果C
    while A is not None:
        C.next = A
        A = A.next
        C = C.next

    # 如果B还有剩余，同样处理
    while B is not None:
        C.next = B
        B = B.next
        C = C.next

    return C.next  # 返回合并后的链表C的头节点