有序单向链表的删除
删除有序单向链表中所有节点值与给定值相同的节点，保持删除后链表的有序性不变（验证时间约95sec）
[Back to Index]
验证特点：有序单向链表，内置谓词\list
标注说明：函数前条件：head指向长为m的有序单向链表；
函数后条件：返回值指向长为m-t的有序单向链表，t为删除的节点个数，且删除后的链表中不存在要删除的值。
程序样例 
删除有序单向链表中所有节点值与给定值相同的节点，保持删除后链表的有序性不变（验证时间约95sec）
验证特点：有序单向链表，内置谓词\list
标注说明：函数前条件：head指向长为m的有序单向链表；
函数后条件：返回值指向长为m-t的有序单向链表，t为删除的节点个数，且删除后的链表中不存在要删除的值。
程序样例