循环单向链表中删除一个节点
通过循环找到待删除的节点，完成删除操作。（验证时间约 20sec）
[Back to Index]
验证特点：循环单向链表，内置谓词 \c_list
标注说明：函数前条件：p指向长为n的循环单向链表；
函数后条件：返回值为悬空指针或者指向长为n-1的循环单向链表。
程序样例 
通过循环找到待删除的节点，完成删除操作。（验证时间约 20sec）
验证特点：循环单向链表，内置谓词 \c_list
标注说明：函数前条件：p指向长为n的循环单向链表；
函数后条件：返回值为悬空指针或者指向长为n-1的循环单向链表。
程序样例