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