树堆（Treap）的插入和删除操作
树堆是一棵二叉排序树，但与二叉排序树不同的是树堆的每个节点都含有一个额外的数据--优先级。
当对树堆进行插入或删除操作后，根据节点的优先级需要对树进行旋转操作，以使其保持平衡。 （验证时间约 614sec）
[Back to Index]
验证特点：树堆，自定义谓词，幽灵变量，多协议
标注说明：函数前条件：通过自定义谓词heap_BST描述树堆的性质；
函数后条件：描述完成简单操作后的树堆的性质。
程序样例 
树堆是一棵二叉排序树，但与二叉排序树不同的是树堆的每个节点都含有一个额外的数据--优先级。
当对树堆进行插入或删除操作后，根据节点的优先级需要对树进行旋转操作，以使其保持平衡。 （验证时间约 614sec）
验证特点：树堆，自定义谓词，幽灵变量，多协议
标注说明：函数前条件：通过自定义谓词heap_BST描述树堆的性质；
函数后条件：描述完成简单操作后的树堆的性质。
程序样例