有序循环单向链表节点的删除
删除有序循环单向链表中所有节点值与给定值相同的节点，保持有序性。 （验证时间约 103sec）
[Back to Index]
验证特点：有序循环单向链表，内置谓词\c_list
标注说明：函数前条件：head指向长为m的有序循环单向链表；
函数后条件：返回值为空或者指向长为m-j的有序循环单向链表，j为删除的节点数。
程序样例 
删除有序循环单向链表中所有节点值与给定值相同的节点，保持有序性。 （验证时间约 103sec）
验证特点：有序循环单向链表，内置谓词\c_list
标注说明：函数前条件：head指向长为m的有序循环单向链表；
函数后条件：返回值为空或者指向长为m-j的有序循环单向链表，j为删除的节点数。
程序样例