创建循环双向链表
通过从表头循环插入节点的方式创建一个具有n个节点的循环双向链表。（验证时间约 16sec）
[Back to Index]
验证特点：循环双向链表，内置谓词 \c_dlist
标注说明：函数前条件：待创建链表长度n的范围；
函数后条件：返回值指向长为n的循环双向链表。
程序样例 
通过从表头循环插入节点的方式创建一个具有n个节点的循环双向链表。（验证时间约 16sec）
验证特点：循环双向链表，内置谓词 \c_dlist
标注说明：函数前条件：待创建链表长度n的范围；
函数后条件：返回值指向长为n的循环双向链表。
程序样例