有序循环单向链表的插入
插入新节点到有序循环单向链表中，同时保持链表的有序性。 （验证时间约 61sec）
[Back to Index]
验证特点：有序循环单向链表，内置谓词\c_list
标注说明：函数前条件：p指向长为n的有序循环单向链表；
函数后条件：返回值指向长为n+1的有序循环单向链表。
程序样例 
插入新节点到有序循环单向链表中，同时保持链表的有序性。 （验证时间约 61sec）
验证特点：有序循环单向链表，内置谓词\c_list
标注说明：函数前条件：p指向长为n的有序循环单向链表；
函数后条件：返回值指向长为n+1的有序循环单向链表。
程序样例