1、什么是跳表?

简单理解跳表是基于链表实现的有序列表,跳表通过维护一个多层级的链表实现了快速查询效果将平均时间复杂度降到了O($log^n$),这是一个典型的异空间换时间数据结构。

2、为什么需要跳表?

在实际开发中经常遇到需要在数据集中查找一个指定数据的场景,而常用的支持高效查找算法的实现方式有以下几种:

  1. 有序数组。插入时可以先对数据排序,查询时可以采用二分查找算法降低查找操作的复杂度。缺点是插入和删除数据时,为了保持元素的有序性,需要进行大量数据的移动操作。

  2. 二叉查找树。既支持高效的二分查找算法,又能快速的进行插入和删除操作的数据结构,理想的时间复杂度为 O($log^n$),但是在某些极端情况下,二叉查找树有可能变成一个线性链表,即退化成链表结构。

  3. 平衡二叉树。基于二叉查找树的优点,对其缺点进行了优化改进,引入了平衡的概念。为了维持二叉树的平衡衍生出了多种平衡算法,根据平衡算法的不同具体实现有AVL树 /B树(B-Tree)/ B+树(B+Tree)/红黑树 等等。但是平衡算法的实现大多数比较复杂且较难理解。

跳表同样支持对数据进行高效的查找,插入和删除数据操作时间复杂度能与平衡二叉树媲美,最重要的是跳表的实现比平衡二叉树简单几个级别。缺点就是“以空间换时间”方式存在一定数据冗余。

3、跳表的实现原理

添加、删除操作都需要先查询出操作数据的位置,所以理解了跳表的查询原理后,剩下的只是对链表的操作。

3.1、查询数据

例设原始链表上的有序数据为【9,11,14,19,20,24,27】,如果我要查找的数据是20,只能从头结点沿着链表依次比较查找,如图所示:

跳表(SkipList)原理篇-LMLPHP

链表不能像数组那样通过索引快速访问数据,只能沿着指针方向依次访问,所以不能使用二分查找算法快速进行数据查询。但是可以借鉴创建索引的这种思路,就像图书的目录一样,如果我要查看第六章的内容,直接翻到通过目录查询到的第六章对应页码处就行。

这里的目录就相当于创建的索引,该索引能够缩小我们查询数据的范围减少查询次数。在原始链表的基础上,我们增加一层索引链表,假如原始链表的每两个结点就有一个结点也在索引链表当中,如图所示:

跳表(SkipList)原理篇-LMLPHP

当建立了索引后检索数据的方式就发生了变化,当我们想要定位到DataNode-20,我们不需要在原始链表中一个一个结点访问,而是首先访问索引链表:

跳表(SkipList)原理篇-LMLPHP

由于索引链表的结点个数是原始链表的一半,查找结点所需的访问次数也就相应减少了一半,经过两次查询我们便找到DataNode-20

正如图书的目录不止按照“章节”划分,还可以按照“第几部分”、“第几小节”进行划分,链表的索引也一样。我们可以继续为链表创建更多层索引,每层索引节点为前一层索引(对应图例的下一层)的一半,在数据量比较大时能够大大的提升我们的查询效率。

如图所示,我们基于原始链表的第1层索引,抽出了第2层更为稀疏的索引,结点数量是第1层索引的一半。这样的多层索引可以进一步提升查询效率,那么它是如何进行查询的呢?假如这次要查找DataNode-27,让我们来演示一下检索过程:

  1. 首先,我们从最上层(第二层)的HeadIndex-7开始查找,HeadIndex-7指向DataNode-7DataNode-27小,所以继续向右查询找到第二个索引节点IndexNode-20

跳表(SkipList)原理篇-LMLPHP

  1. IndexNode-20指向DataNode-20也比DataNode-27小,但是此时第二层已经没有后续的索引节点,所以我们需要顺着IndexNode-20访问下一层索引,即第一层的IndexNode-20

跳表(SkipList)原理篇-LMLPHP

  1. 通过第一层的IndexNode-20继续向右检索找到IndexNode-27便检索到了DataNode-27

跳表(SkipList)原理篇-LMLPHP

上面的查询例子中索引节点已经是创建好的,那么原始链表哪些数据节点需要创建索引节点、什么时候创建?这些问题的答案都要回归到往原始链表添加数据时。

3.2、插入数据

从上面的总结不难理解在向原始链表中插入数据时,当前插入的数据按照某个固定的概率$p$($\frac 12$ 或 $\frac 14$)在每层索引链表中创建索引节点。假设现在插入DataNode-18,我们来看看是如何插入和创建索引节点的:

3.2.1、找到插入数据的前置节点

首先我们按照跳表查找结点的方法,找到待插入结点的前置结点(仅小于待插入结点):

跳表(SkipList)原理篇-LMLPHP

3.2.2、插入原始链表

接下来按照一般链表的插入方式,把DataNode-18插入到结点DataNode-14的后续位置:

跳表(SkipList)原理篇-LMLPHP

这样数据就插入到了原始链表中,但是我们的插入操作并没有结束。按照定义我们需要让新插入的结点随机(抛硬币的方式)“晋升”,也就是为DataNode-18创建索引节点,正是采取这种简单的随机方式,跳表也被称为一种随机化的数据结构。

3.2.3、创建索引节点

假设第一、第二次随机的结果都是晋升成功,那么我们需要为DataNode-18创建索引节点,插入到第一层和第二层索引的对应位置,并且向下指向原始链表的DataNode-18

跳表(SkipList)原理篇-LMLPHP

3.2.4、添加索引层

如果在第二层(目前索引最大层级)创建索引节点后,下一次随机的结果仍然是晋升成功,这时候该怎么办呢?这个时候我们就需要添加一层索引层:

跳表(SkipList)原理篇-LMLPHP

可以看到此时第三层只有HeadIndex-7IndexNode-18,此时不会继续向上层创建索引,因为就算继续创建仍只有HeadIndex-7IndexNode-18,这显得毫无意义。至此跳表的插入操作包括索引的创建过程已经解析完,跳表的删除过程正好和插入是相反的思路。

3.3、删除数据

3.3.1、查找待删除节点

假设我们要删除刚才插入的DataNode-18,首先我们要按照跳表查找结点的方法找到待删除的DataNode-18,当然如果没有找到对应的数据直接返回进行。

跳表(SkipList)原理篇-LMLPHP

3.3.2、删除原始链表节点

接下来按照链表的删除方式,把DataNode-18从原始链表当中删除

跳表(SkipList)原理篇-LMLPHP

3.3.3、删除索引节点

同插入数据一样,删除工作并没有就此完成,我们需要将DataNode-18在索引层对应的IndexNode-18也一 一删除:

跳表(SkipList)原理篇-LMLPHP

3.3.4、删除索引层

同插入索引节点一样,删除索引节点时也需要维护前置节点的指向关系。这里需要特别注意最上层索引(第三层),当删除IndexNode-18后该层只剩下HeadIndex-7,这个时候需要将该索引层也一同删除。

跳表(SkipList)原理篇-LMLPHP

至此整个删除操作就算完成了,此时跳表的结构就和我们之前插入之前保持一致了:

跳表(SkipList)原理篇-LMLPHP

跳表的检索、插入、删除的原理篇就解析到这里,下篇将分析SkipList数据结构的代码实现,to be expected !!!

可耻的贴个个人Git地址:SkipList原理篇

12-04 21:52