文章目录


每日一博 - 如何理解跳表(SkipList)_删除节点


什么是跳跃表SkipList

跳跃表(简称跳表)由美国计算机科学家William Pugh于1989年发明

论文: ​​Skip lists: a probabilistic alternative to balanced trees​


跳表(SkipList,全称跳跃表)是用于有序元素序列快速搜索查找的一个数据结构,跳表是一个随机化的数据结构,实质就是一种可以进行二分查找的有序链表



跳表在原有的有序链表上面增加了多级索引,通过索引来实现快速查找。



跳表不仅能提高搜索性能,同时也可以提高插入和删除操作的性能。它在性能上和红黑树,AVL树不相上下,但是跳表的原理非常简单,实现也比红黑树简单很多。


每日一博 - 如何理解跳表(SkipList)_链表_02


跳表关键字


  • 随机化
  • 有序链表
  • 索引
  • 二分查找
    每日一博 - 如何理解跳表(SkipList)_删除节点_03


Why Skip List

地球人都知道的事儿:


  • 顺序表(数组)是内存上一块连续的区域,基于下标,查找速度快。
  • 链表: 内存上不连续,通过指针相连, 插入和删除动作效率特别高,但是查询呢,时间复杂度o(n)

每日一博 - 如何理解跳表(SkipList)_删除节点_04

那么链表上查询的时间复杂度能优化一下吗?

每日一博 - 如何理解跳表(SkipList)_删除节点_05

我们知道有很多算法有个思想: 空间换时间 。 如果在链表的上面加一层索引,让部分节点在上层能够直接定位到,这样链表的查询时间近乎减少一半 。

每日一博 - 如何理解跳表(SkipList)_链表_06

那查询的时候,就会发生某些变化 -----------> 如果要查找某个节点, 首先需要从上一层快速定位到节点所在的一个范围 ,如果向下查找的有个向下的指针指向真实的数据,那理论上,以前有n, 现在就是 n/2 .

当然了,如果节点数据量超巨,一样很慢,可能就损耗在了,一层一层的查找上。 我们知道二分查找每次都能折半的去压缩查找范围, 那用上这个二分查找是不是就会快很多????

每日一博 - 如何理解跳表(SkipList)_链表_07

事实上,跳表就能让链表拥有近乎的接近二分查找的效率的一种数据结构,其原理依然是给上面加若干层索引,优化查找速度。

通过上图我们可以知道,这样的一个数据结构对有序链表进行查找都能近乎二分的性能。

究其原因就是在上面维护了多层的索引


首先在最高级索引上查找最后一个小于当前查找元素的位置,然后再跳到次高级索引继续查找,直到跳到最底层为止,这时候以及十分接近要查找的元素的位置了(如果查找元素存在的话)。



由于根据索引可以一次跳过多个元素,所以跳查找的查找速度也就变快了。


对于理想的跳表,每向上一层索引节点数量都是下一层的1/2.那么如果n个节点增加的节点数量(1/2+1/4+…)<n。并且层数较低,对查找效果影响不大。

但是对于这么一个结构,你可能会疑惑,这样完美的结构真的存在吗?大概率不存在的,因为作为一个链表,少不了增删该查的一些操作。而删除和插入可能会改变整个结构,所以上面的这些都是理想的结构,在插入的时候是否添加上层索引是个概率问题(1/2的概率)。


Code

在实现本跳表的过程为了便于操作,我们将跳表的头结点(head)的key设为int的最小值(一定满足左小右大方便比较)。

对于每个节点的设置,设置成SkipNode类,为了防止初学者将next向下还是向右搞混,直接设置right,down两个指针。

class SkipNode<T>
{
int key;
T value;
SkipNode right,down;//右下个方向的指针
public SkipNode (int key,T value) {
this.key=key;
this.value=value;
}
}

跳表的结构和初始化, 其主要参数和初始化方法为:

public class SkipList <T> {

SkipNode headNode;//头节点,入口
int highLevel;//当前跳表索引层数
Random random;// 用于投掷硬币
final int MAX_LEVEL = 32;//最大的层

SkipList(){
random=new Random();
headNode=new SkipNode(Integer.MIN_VALUE,null);
highLevel=0;
}
//其他方法
}

每日一博 - 如何理解跳表(SkipList)_list_08


跳表-查询

很多时候链表也可能这样相连仅仅是某个元素或者key作为有序的标准。所以有可能链表内部存在一些value。不过修改和查询其实都是一个操作,找到关键数字(key)。并且查找的流程也很简单,设置一个临时节点team=head。当team不为null其流程大致如下:


  • (1) 从team节点出发,如果当前节点的key与查询的key相等,那么返回当前节点(如果是修改操作那么一直向下进行修改值即可)。
  • (2) 如果key不相等,且右侧为null,那么证明只能向下(结果可能出现在下右方向),此时team=team.down
  • (3) 如果key不相等,且右侧不为null,且右侧节点key小于待查询的key。那么说明同级还可向右,此时team=team.right
  • (4)(否则的情况)如果key不相等,且右侧不为null,且右侧节点key大于待查询的key 。那么说明如果有结果的话就在这个索引和下个索引之间,此时team=team.down。

最终将按照这个步骤返回正确的节点或者null(说明没查到)。

每日一博 - 如何理解跳表(SkipList)_链表_09

例如上图查询12节点.


  • 第一步从head出发发现右侧不为空,且7<12,向右;
  • 第二步右侧为null向下;
  • 第三步节点7的右侧10<12继续向右;
  • 第四步10右侧为null向下;
  • 第五步右侧12小于等于向右。
  • 第六步起始发现相等返回节点结束。

代码如下

public SkipNode search(int key) {
SkipNode team=headNode;
while (team!=null) {
if(team.key==key)
{
return team;
}
else if(team.right==null)//右侧没有了,只能下降
{
team=team.down;
}
else if(team.right.key>key)//需要下降去寻找
{
team=team.down;
}
else //右侧比较小向右
{
team=team.right;
}
}
return null;
}

每日一博 - 如何理解跳表(SkipList)_链表_10


跳表-删除

删除操作比起查询稍微复杂一丢丢,但是比插入简单。删除需要改变链表结构所以需要处理好节点之间的联系。对于删除操作需要谨记以下几点:


  • (1)删除当前节点和这个节点的前后节点都有关系
  • (2)删除当前层节点之后,下一层该key的节点也要删除,一直删除到最底层

根据这两点分析一下:如果找到当前节点了,它的前面一个节点怎么查找呢?这个总不能再遍历一遍吧!有的使用四个方向的指针(上下左右)用来找到左侧节点。是可以的,但是这里可以特殊处理一下 ,不直接判断和操作节点,先找到待删除节点的左侧节点。通过这个节点即可完成删除,然后这个节点直接向下去找下一层待删除的左侧节点。

设置一个临时节点team=head,当team不为null具体循环流程为:


  • (1)如果team右侧为null,那么team=team.down(之所以敢直接这么判断是因为左侧有头结点在左侧,不用担心特殊情况)
  • (2)如果team右侧不 为null,并且右侧的key等于待删除的key,那么先删除节点,再team向下team=team.down为了删除下层节点。
  • (3)如果team右侧不 为null,并且右侧key小于待删除的key,那么team向右team=team.right。
  • (4)如果team右侧不 为null,并且右侧key大于待删除的key,那么team向下team=team.down,在下层继续查找删除节点。

每日一博 - 如何理解跳表(SkipList)_数据结构_11

例如上图删除10节点,


  • 首先team=head从team出发,7<10向右(team=team.right后面省略);
  • 第二步右侧为null只能向下;
  • 第三部右侧为10在当前层删除10节点然后向下继续查找下一层10节点;
  • 第四步8<10向右;
  • 第五步右侧为10删除该节点并且team向下。
  • team为null说明删除完毕退出循环。

public void delete(int key)//删除不需要考虑层数
{
SkipNode team=headNode;
while (team!=null) {
if (team.right == null) {//右侧没有了,说明这一层找到,没有只能下降
team=team.down;
}
else if(team.right.key==key)//找到节点,右侧即为待删除节点
{
team.right=team.right.right;//删除右侧节点
team=team.down;//向下继续查找删除
}
else if(team.right.key>key)//右侧已经不可能了,向下
{
team=team.down;
}
else { //节点还在右侧
team=team.right;
}
}
}

每日一博 - 如何理解跳表(SkipList)_数据结构_12


跳表-插入

插入操作在实现起来是最麻烦的,需要的考虑的东西最多。

查询,不需要动索引;

删除,每层索引如果有删除就是了。

插入不一样了,插入需要考虑是否插入索引,插入几层等问题。

由于需要插入删除所以我们肯定无法维护一个完全理想的索引结构,因为它耗费的代价太高。但我们使用随机化的方法去判断是否向上层插入索引


即产生一个[0-1]的随机数如果小于0.5就向上插入索引,插入完毕后再次使用随机数判断是否向上插入索引。运气好这个值可能是多层索引,运气不好只插入最底层(这是100%插入的)。但是索引也不能不限制高度,我们一般会设置索引最高值如果大于这个值就不往上继续添加索引了。


其流程为


  • (1)首先通过上面查找的方式,找到待插入的左节点。插入的话最底层肯定是需要插入的,所以通过链表插入节点(需要考虑是否为末尾节点)
  • (2)插入完这一层,需要考虑上一层是否插入,首先判断当前索引层级,如果大于最大值那么就停止(比如已经到最高索引层了)。否则设置一个随机数1/2的概率向上插入一层索引(因为理想状态下的就是每2个向上建一个索引节点)。
  • (3)继续(2)的操作,直到概率退出或者索引层数大于最大索引层。

具体向上插入的时候,实质上还有非常重要的细节需要考虑。首先如何找到上层的待插入节点 ?

这个各个实现方法可能不同,如果有左、上指向的指针那么可以向左向上找到上层需要插入的节点,但是如果只有右指向和下指向的我们也可以巧妙的借助查询过程中记录下降的节点。因为曾经下降的节点倒序就是需要插入的节点,最底层也不例外(因为没有匹配值会下降为null结束循环)。在这里我使用栈这个数据结构进行存储,当然使用List也可以。

下图就是给了一个插入示意图。

每日一博 - 如何理解跳表(SkipList)_数据结构_13

其次如果该层是目前的最高层索引,需要继续向上建立索引应该怎么办?

首先跳表最初肯定是没索引的,然后慢慢添加节点才有一层、二层索引,但是如果这个节点添加的索引突破当前最高层,该怎么办呢?

这时候需要注意了,跳表的head需要改变了,新建一个ListNode节点作为新的head,将它的down指向老head,将这个head节点加入栈中(也就是这个节点作为下次后面要插入的节点),就比如上面的9节点如果运气够好再往上建立一层节点,会是这样的。

每日一博 - 如何理解跳表(SkipList)_删除节点_14

插入上层的时候注意所有节点要新建(拷贝),除了right的指向down的指向也不能忘记,down指向上一个节点可以用一个临时节点作为前驱节点。如果层数突破当前最高层,头head节点(入口)需要改变。

代码如下

public void add(SkipNode node)
{

int key=node.key;
SkipNode findNode=search(key);
if(findNode!=null)//如果存在这个key的节点
{
findNode.value=node.value;
return;
}
Stack<SkipNode>stack=new Stack<SkipNode>();//存储向下的节点,这些节点可能在右侧插入节点
SkipNode team=headNode;//查找待插入的节点 找到最底层的哪个节点。
while (team!=null) {//进行查找操作
if(team.right==null)//右侧没有了,只能下降
{
stack.add(team);//将曾经向下的节点记录一下
team=team.down;
}
else if(team.right.key>key)//需要下降去寻找
{
stack.add(team);//将曾经向下的节点记录一下
team=team.down;
}
else //向右
{
team=team.right;
}
}
int level=1;//当前层数,从第一层添加(第一层必须添加,先添加再判断)
SkipNode downNode=null;//保持前驱节点(即down的指向,初始为null)
while (!stack.isEmpty()) {
//在该层插入node
team=stack.pop();//抛出待插入的左侧节点
SkipNode nodeTeam=new SkipNode(node.key, node.value);//节点需要重新创建
nodeTeam.down=downNode;//处理竖方向
downNode=nodeTeam;//标记新的节点下次使用
if(team.right==null) {//右侧为null 说明插入在末尾
team.right=nodeTeam;
}
//水平方向处理
else {//右侧还有节点,插入在两者之间
nodeTeam.right=team.right;
team.right=nodeTeam;
}
//考虑是否需要向上
if(level>MAX_LEVEL)//已经到达最高级的节点啦
break;
double num=random.nextDouble();//[0-1]随机数
if(num>0.5)//运气不好结束
break;
level++;
if(level>highLevel)//比当前最大高度要高但是依然在允许范围内 需要改变head节点
{
highLevel=level;
//需要创建一个新的节点
SkipNode highHeadNode=new SkipNode(Integer.MIN_VALUE, null);
highHeadNode.down=headNode;
headNode=highHeadNode;//改变head
stack.add(headNode);//下次抛出head
}
}
}

每日一博 - 如何理解跳表(SkipList)_链表_15


小结

对于上面,跳表完整分析就结束啦,当然,你可能看到不同品种跳表的实现,还有的用数组方式表示上下层的关系这样也可以,但本文只定义right和down两个方向的链表更纯正化的讲解跳表。

对于跳表以及跳表的