SkipList

SkipList是链表的一种，是有序单向链表的一种改进，使用跳表可以将查询操作的复杂度控制到O(lg n)，而普通的链表只能通过顺序查找，复杂度为O(n)，如此跳表的优势就很明显了，虽然它是通过以空间换时间搞定的。

它实现起来简单，而且查找效率高，因此被一些数据库应用采纳为底层的数据结构，比如leveldb,redis等。

redis里面的sorted set就是使用skiplist作为支持，它的效率和rb-tree以及 AVL-tree不相上下，为啥不使用rb-tree而使用skiplist, 两种数据结构都保证有序数列，而且rb-tree应用及其广泛，herb sutter写的http://www.drdobbs.com/parallel/choose-concurrency-friendly-data-structu/208801371里做了很好解释。

在AES的索引设计部分，也考虑使用了skiplist作为倒排归并的加速利器；如今，这一功能还未应用起来，个人觉得加入良好设计的skiplist，检索延迟可能会下降不少，特别是对于拉链特别长的倒排部分。之后会跟进做一个评测。
先看一下普通的有序单链表：

要在里面查找一个值就需要顺序比较，如何降低复杂度，折半查找也却可以将复杂度降到O(lg N)，但不适应单链表，那就将折半的思想抽出来，隔一段位置就建立一个标签索引，根据标签索引缩短查找范围，就是跳表，如下图：

跳表通过对间隔的数据做一个标签索引，产生了多层单链表，在最高层依次确定查找数据的范围，最终将范围缩小到可接受值，我们看跳表其实就是一个二叉查找树的变形，只是所有的数据都在最左段，其他节点用来建立查找索引，如此跳表的插入删除就比二叉查找树方便多了。

查找过程：

查找元素 117

1. 比较 21， 比 21 大，往后面找
2. 比较 37,   比 37大，比链表最大值小，从 37 的下面一层开始找
3. 比较 71,  比 71 大，比链表最大值小，从 71 的下面一层开始找
4. 比较 85， 比 85 大，从后面找
5. 比较 117， 等于 117， 找到了节点。

跳表的构造过程是：
1、给定一个有序的链表。
2、选择连表中最大和最小的元素，然后从其他元素中按照一定算法随即选出一些元素，将这些元素组成有序链表。这个新的链表称为一层，原链表称为其下一层。
3、为刚选出的每个元素添加一个指针域，这个指针指向下一层中值同自己相等的元素。Top指针指向该层首元素
4、重复2、3步，直到不再能选择出除最大最小元素以外的元素。

在简化版的skiplist中，设定两层的结构可以对于某些应用场景就够用了，而且少了些许的内存消耗，一级减少了操作的复杂度。

 

跳表的插入

先确定该元素要占据的层数 K（采用丢硬币的方式，这完全是随机的）

然后在 Level 1 … Level K 各个层的链表都插入元素。

例子：插入 119， K = 2

 

如果 K 大于链表的层数，则要添加新的层。

例子：插入 119， K = 4

 

跳表的删除

在各个层中找到包含 x 的节点，使用标准的 delete from list 方法删除该节点。

例子：删除 71

转自：http://in.sdo.com/?p=711