单向链表节点的删除
删除单向链表中若干个节点。（验证时间约 59sec）
[Back to Index]
验证特点：单向链表，内置谓词\list
标注说明：函数前条件：head指向长为m的单向链表；
函数后条件：head指向单向链表，其长度小于m(存在若干节点，其data域值等于data)或者等于m(不存在一个节点，其data域值等于data)。
程序样例 
删除单向链表中若干个节点。（验证时间约 59sec）
验证特点：单向链表，内置谓词\list
标注说明：函数前条件：head指向长为m的单向链表；
函数后条件：head指向单向链表，其长度小于m(存在若干节点，其data域值等于data)或者等于m(不存在一个节点，其data域值等于data)。
程序样例