跳跃表(skiplist)是一种随机化的数据结构,是一种可以与平衡树媲美的层次化链表结构——查找、删除、添加等时间复杂度都是O(log n),许多知名的开源软件中的数据结构均采用了跳表这种数据结构,如Redis中的有序集合zset。
skiplist 它不要求上下相邻两层链表之间的节点个数有严格的对应关系,而是 为每个节点随机出一个层数(level)。比如,一个节点随机出的层数是 3,那么就把它链入到第 1 层到第 3 层这三层链表中。为了表达清楚,下图展示了如何通过一步步的插入操作从而形成一个 skiplist 的过程:
插入操作只需要修改节点前后的指针,而不需要对多个节点都进行调整
查找路径如下:
跳跃表的构造特征:
- 一个跳跃表应该有若干个层(Level)链表组成;
- 跳跃表中最底层的链表包含所有数据; 每一层链表中的数据都是有序的;
- 如果一个元素X出现在第i层,那么编号比 i 小的层都包含元素X;
- 第 i 层的元素通过一个指针指向下一层拥有相同值的元素;
- 在每一层中,-∞ 和 +∞两个元素都出现(分别表示INT_MIN 和 INT_MAX);
- 头指针(head)指向最高一层的第一个元素;
代码实现