JDK源码阅读计划(Day13) ConcurrentSkipListMap & 跳表学习

跳表

上图可以看到，一个有序单链表，查找某元素的平均时间复杂度为O(n)

跳表本质上是在有序链表上建立多层索引，以实现二分查找。以空间换时间的思想，实现增删查改平均时间复杂度为O(lgn)

而skipList的结构可能有2种：

第一种是每个结点会指向向右和向下的结点,像ConcurrentSkipListMap就是这么设计的

  /**
     * Index nodes represent the levels of the skip list.
     */
    // 跳表索引，存储右侧跟下侧的索引，组成一个十字链表
    static final class Index<K,V> {
   
        final Node<K,V> node;  // currently, never detached
        
        final Index<K,V> down;
        Index<K,V> right;
        
        Index(Node<K,V> node, Index<K,V> down, Index<K,V> right) {
   
            this.node = node;
            this.down = down;
            this.right = right;
        }
    }

下图就是一个好例子:

我在面试阿里云的时候笔试题就是手写跳表，当时我也打算是这么设计结点的结构。但面试官提到，这么做的话其实会非常浪费空间。首先最底层的原始链表都是没有向下结点，最后一个结点也没有向右结点，虽然next和right都是引用，但是未免还是有点浪费…更重要的是，假设跳表有10层，那么假设要插入一个新的节点，可能要在10层(不一定10层，这个是随机的)中都添加这个节点，虽然每一层next和right可能不同，但还是会造成数据冗余对吧。

因此另外一种定义结点的方式是这样的:

class Node{
   
      int data;
      Node[] forward; //forward[i]表示处于第i层的结点Node的下一个结点
                      //随机高度数 k决定节点的高度 h，节点的高度 h决定节点中forword的长度；}

每一个结点有一个结点数组，可以指向其每一层指向的结点。假设这个Node分布在10层中，那么forward长度就是10，forward[0]是其在第一层的后继节点…以此类推

那么每次插入一个新节点只需要new 一个Node，forward本质上也是一个数组的引用。那么总比上面那种可能要new 10次要强吧？

那我们以第二种定义方式继续讨论:

假设要找元素15

1.从head结点开始,从最顶层的1开始找，下一个结点为8，跳到8
2.下一个节点为18，从8的下一层开始寻找
3.在最底层依次经过8,10,13最后找到15

可以把除了最底层链表的结点都看作是索引层，通过额外引入索引节点，达到查询时候忽略某些节点的效果，本质上是以空间换时间

这里参考跳表实现尝试以这种定义方式手写一个跳表轮子加深理解，源代码在这skipList

• find

与第一种定义的方法不同的是，这种方法必须要在原始链表中查找元素

public Node find(int val) {
   

        //begin with head node
        Node p = head;
        for (int l = levelCount - 1; l >= 0; l--) {
   
            while (p.forward[l] != null && p.forward[l].data < val) {
   
                p = p.forward[l];
            }
        }
        if(p.forward[0]!=null