有一个带头结点的单链表L=(a1,b1,a2,b2...）设计一个算法将其拆分成两个带头结点的单链表L1和L2其中L1=(a1,a2,a3...)L2=(bn,bn-1,...）要求L1使用L的头结点

要实现这个算法，你需要遍历给定的单链表`L`，同时维护两个新的链表`L1`和`L2`。步骤如下：

1. **初始化**:
- 创建两个新链表`L1`和`L2`，它们都有一个指向第一个节点的指针，但初始值为`None`。
- 将原链表`L`的头节点赋值给`L1`的头节点，因为`L1`将从`L`的第一个元素开始。

2. **遍历过程**:
- 使用两个指针`p1`和`p2`，分别代表`L1`和`L2`的当前节点。开始时，`p1`指向`L1`的头节点，`p2`指向`L`的头节点。
- 当`p2`不为空时，进行循环：
- `p1.next = p2.next`：将`L2`的下一个节点连接到`L1`上，然后移动`p1`和`p2`各前进一位。
- 如果`p2.next`不为空，说明还有剩余元素可以分配给`L2`；如果`p2.next`为空，说明已经到达链表末尾，将`p2`指向的节点设为`L2`的最后一个节点，即`p2.next = None`。
- 继续循环直到`p2`到达`L`的末尾。

3. **结束处理**:
- 最后，`L1`会包含原始链表的所有偶数索引位置的元素，`L2`则包含奇数索引位置的元素（包括`L`的头节点）。

以下是这个算法的伪代码表示：

def split_list(L):
    L1_head = L.head
    L2_head = None

    while L2_head is None or L2_head.next is not None:
        if L2_head is None:
            L2_head = L.head
        else:
            L1_next = L1_head.next
            L1_head.next = L2_head.next
            L2_head.next = L1_next

        L1_head = L1_head.next
        L2_head = L2_head.next

    return L1_head, L2_head