单向链表的排序
对单向链表进行冒泡排序，使其为有序递增单向链表。 （验证时间约130sec）
[Back to Index]
验证特点：冒泡排序，内置谓词 \list，有序单向链表
标注说明：函数前条件：head 指向长为m 的单向链表；
函数后条件：返回值 \result 指向长为m 的有序单向链表。
程序样例 
对单向链表进行冒泡排序，使其为有序递增单向链表。 （验证时间约130sec）
验证特点：冒泡排序，内置谓词 \list，有序单向链表
标注说明：函数前条件：head 指向长为m 的单向链表；
函数后条件：返回值 \result 指向长为m 的有序单向链表。
程序样例