实验内容
- 构造并实现跳表ADT,跳表ADT 中应包括初始化、查找、插入、删除指定关键字的元素、删除关键字最小的元素、删除关键字最大的元素等基本操作。
- 分析各基本操作的时间复杂性。
- 能对跳表维护动态数据集合的效率进行实验验证,获得一定量的实验数据,如给定随机产生1000 个数据并将其初始化为严格跳表,在此基础上进行一系列插入、删除、查找操作(操作序列也可以随机生成),获得各种操作的平均时间(或统计其基本操作个数);获得各操作执行时间的变化情况。
算法思路
先设置一个跳表节点的结构体,包含一个数对存储关键字和元素,以及一个指针数组next,next[i]表示i级链表指针。
struct skipNode {
typedef pair<const K, E> pairType;
pairType element;
skipNode<K, E>** next;//指针数组,next[i]表示i级链表指针
skipNode(const pairType& thePair, int size) :element(thePair) {
next = new skipNode<K, E>*[size];
}
};
构造一个跳表类,再构造函数中先确定关键字小于多少,最大的节点个数,还有概论p,通过确定允许的最大的级数。然后初始化头节点和尾节点,初始化级数和数对个数为0,将每一级的头节点的next指针数组都指向尾节点。
template<class K,class E>
class skipList {
private:
float cutoff;//用来确定层数
int levels;//当前最大的非空链表
int dSize;//字典的数对个数
int maxLevel;//允许的最大链表层数
K tailKey;//最大关键字
skipNode<K, E>* headerNode;//头节点指针
skipNode<K, E>* tailNode;//尾节点指针
skipNode<K, E>** last;//last[i]表示i层的最后节点,插入和删除时用
public:
skipList(K largeKey, int maxPairs, float prob);//构造函数
pair<const K, E>* find(const K& theKey)const;//找关键字为theKey的数对是否存在,返回该数对的指针
int level()const {//级的分配方法,返回链表级的随机数
int lev = 0;
while (rand() <= cutoff)lev++;
return (lev <= maxLevel) ? lev : maxLevel;
}
skipNode<K, E>* search1(const K& theKey)const;//搜索并把在每一级链表搜索时所遇到的最后一个节点指针存储起来,返回包含关键字theKey的节点
skipNode<K, E>* search2(const K& theKey)const;
void insert(const pair<const K, E>& thePair);//插入函数
void erase(const K& theKey);//删除函数
void erasemin() {//删除最小节点
erase(headerNode->next[0]->element.first);
}
void erasemax() {//删除最大节点
skipNode<K, E>* theNode = headerNode;
while (theNode->next[0] != tailNode) {
theNode = theNode->next[0];
}
erase(theNode->element.first);
}
void output() {
for (int i = 0; i <= levels; i++) {
skipNode<K, E>* theNode = headerNode->next[i];
cout << "第" <&l