如何设计一个算法，将两个已知头节点的单链表LA和LB（假设LA是第一个链表）合并成一个新的单循环链表，其中LA作为新链表的头节点？请详细说明步骤和伪代码实现。

设计一个将两个已知头节点的单链表LA和LB合并成一个循环链表，其中LA作为新链表的头节点的算法，可以按照以下步骤进行：

1. **初始化**：
- 新链表头 `newHead` 设定为 LA 的头节点 `LA->head`。
- `prevNode` 设为 `newHead`，表示新链表的前一个节点。
- 初始化两个临时变量 `tailA` 和 `tailB` 分别指向 LA 和 LB 的尾节点（如果没有尾节点，初始值为 NULL）。

2. **合并链表**：
- 循环直到其中一条链表到达尾部：
- 检查当前节点：
- 如果 LA 的当前节点不为空 (`LA->next != NULL`)：
- 将 LA 的当前节点连接到 `prevNode` 的后面，同时将 `LA->next` 更新为 `prevNode`。
- 更新 `LA` 的指针 (`LA = LA->next`)。
- 更新 `prevNode` 为刚刚添加的节点。
- 否则，LA 到达了尾部，将 LB 的剩余部分连接到 LA 的原尾部 (`LA->next = tailB`)，然后将 LA 设置为 LB 的头(`LA = LB->head`)。
- 对于 LB 同样的处理。

3. **创建循环**：
- 将 LA 的新尾部（可能是 LB 的头）连接回 LA 的头节点，完成循环链表的构建：`LA->next = newHead`。

4. **结束**：
- 返回新的循环链表头节点 `LA`。

以下是伪代码实现：

function mergeCircularLists(LA, LB):
    if LA is None or LB is None:
        return LA

    newHead = LA.head
    prevNode = newHead
    tailA = LA.tail
    tailB = LB.tail

    while True:
        if LA.next is not None:
            prevNode.next = LA
            LA.next = prevNode
            LA = LA.next
            prevNode = prevNode.next
        else:
            if LB.next is not None:
                LA.next = tailB
                tailB.next = LA
                LA = LB
                LB = LB.next
            else:
                break  # Both lists are empty, LA remains as the head and loop back to itself.

    LA.next = newHead  # Create the cycle by connecting LA's tail back to its head
    return LA