链表

链表中的各对象按线性顺序排列，顺序由各个对象里的指针决定。
双向链表（doubly linked list）L的每一个元素都是对象，每个对象有一个关键字key和两个指针：next，prev。x.next指向后继元素，x.prev指向前驱元素。L.head指向链表的第一个元素。
链表可以有很多种形式，可以是单链接（省略每个元素的prev指针），可以是双链接的，可以是已排序的（链表的线性顺序与链表元素中关键字的线性顺序一致），可以是未排序的(乱序出现)。在循环链表中，表头元素的prev指针指向表尾元素，表尾元素的next指针则指向表头元素。
链表操作——搜索

LIST_SEARCH(L,k)
{
    x = L.head;
    while(x != NIL && x.key != k)
        x = x.next;
    return x;
}

链表操作——插入

LIST_INSERT(L,k)
{
    x.next = L.head;
    if(L.head != NIL)
        L.head.prev = x;
    L.head = x;
    x.prev = NIL;
}

链表操作——删除

LIST_DELETE(L,k)
{
    if(L.prev != NIL)
        x.prev.next = x.next;
    else
        L.head = x.next;
    if(x.next != NIL)
        x.next.prev = x.prev;
}

哨兵(sentinel)是一个哑对象，其作用是简化边界条件的处理。
有哨兵的双向循环列表（circular,doubly linked list with a sentinel）,哨兵（L.nil）位于表头和表尾之间。属性L.nil.prev指向表尾，属性L.nil.next指向表头。
一个空的链表只由一个哨兵构成，L.nil.next和L.nil.prev 都指向L.nil。