对两个元素递增有序的单链表A和B，编写算法将单链表A、B合并成一个按元素递减有序（允许有相同的值）的单链表c，要求算法使用单链表A、B中的原有节点，不允许增加新的节点

为了合并两个递增有序的单链表A和B，并得到一个递减有序的新链表C，我们可以采用双指针法，同时遍历A和B。具体步骤如下：

1. 初始化三个指针：p1 (指向A的第一个元素)，p2 (指向B的第一个元素)，以及结果链表C的头指针（初始化为null）。

2. 当p1 或 p2 中有一个为空或者另一个已到达列表末尾时，将非空的那个作为C的下一个元素并移动相应指针到下一个节点。如果它们都未达到末尾，则比较当前节点的值：

- 如果A的当前节点值小于等于B的当前节点值，将A的节点添加到C中并将p1向前移动；
- 否则，将B的节点添加到C中并将p2向前移动。

3. 重复上述步骤直到两个链表都被遍历完。

4. 如果A还有剩余节点，将其加到C的末尾；同样，如果B还有剩余节点，也加到C的末尾。

这个过程保证了新链表C会按照从大到小的顺序排列。下面是伪代码形式的描述：

def merge_sorted_lists(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

    current_C = C
    while A and B:
        if A.value >= B.value:
            current_C.next = A
            A = A.next
        else:
            current_C.next = B
            B = B.next
        current_C = current_C.next

    # 添加剩余链表
    if A:
        current_C.next = A
    if B:
        current_C.next = B

    return C