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