循环双向链表的插入
通过循环找到待插入节点的位置，完成插入操作。（验证时间约 20sec）
[Back to Index]
验证特点：循环双向链表，内置谓词 \c_dlist
标注说明：函数前条件：p为空或者指向长为n的循环双向链表；
函数后条件: 返回值指向长为n+1的循环双向链表。
程序样例 
通过循环找到待插入节点的位置，完成插入操作。（验证时间约 20sec）
验证特点：循环双向链表，内置谓词 \c_dlist
标注说明：函数前条件：p为空或者指向长为n的循环双向链表；
函数后条件: 返回值指向长为n+1的循环双向链表。
程序样例