{"id":480,"date":"2022-02-21T20:06:07","date_gmt":"2022-02-21T12:06:07","guid":{"rendered":"http:\/\/120.55.184.7\/?p=480"},"modified":"2025-04-16T00:44:23","modified_gmt":"2025-04-15T16:44:23","slug":"%e8%b7%b3%e8%a1%a8skip-list%e5%ae%9e%e7%8e%b0%e8%af%a6%e8%a7%a3%ef%bc%9a%e5%8e%9f%e7%90%86%e3%80%81%e4%bc%98%e5%8c%96%e4%b8%8e%e5%ae%9e%e6%88%98%e5%ba%94%e7%94%a8","status":"publish","type":"post","link":"https:\/\/beijian99.top\/?p=480","title":{"rendered":"\u8df3\u8868(Skip List)"},"content":{"rendered":"\n

\u8df3\u8868(Skip List)\u662f\u4e00\u79cd\u6982\u7387\u6027\u7684\u6709\u5e8f\u6570\u636e\u7ed3\u6784\uff0c\u5b83\u901a\u8fc7\u591a\u5c42\u94fe\u8868\u6765\u5b9e\u73b0\u5feb\u901f\u67e5\u627e\u3001\u63d2\u5165\u548c\u5220\u9664\u64cd\u4f5c\uff0c\u65f6\u95f4\u590d\u6742\u5ea6\u5e73\u5747\u4e3aO(log n)\u3002\u672c\u6587\u5c06\u8be6\u7ec6\u4ecb\u7ecd\u8df3\u8868\u539f\u7406\u3001Golang\u5b9e\u73b0\u4ee5\u53ca\u6027\u80fd\u4f18\u5316\u6280\u5de7\uff0c\u5e76\u5206\u6790\u51e0\u4e2a\u4f18\u79c0\u7684\u5f00\u6e90\u5b9e\u73b0\u3002<\/p>\n\n\n\n

\u8df3\u8868\u57fa\u7840\u539f\u7406<\/h2>\n\n\n\n

\u4ece\u6709\u5e8f\u94fe\u8868\u5230\u8df3\u8868<\/h3>\n\n\n\n

\u8df3\u8868\u7684\u672c\u8d28\u662f\u5bf9\u6709\u5e8f\u94fe\u8868\u7684\u6539\u9020\uff0c\u4e3a\u5355\u94fe\u8868\u52a0\u591a\u5c42\u7d22\u5f15\uff0c\u4ee5\u7a7a\u95f4\u6362\u65f6\u95f4\u7684\u7b56\u7565\uff0c\u89e3\u51b3\u4e86\u5355\u94fe\u8868\u4e2d\u67e5\u8be2\u901f\u5ea6\u7684\u95ee\u9898\u3002<\/p>\n\n\n\n

\u8003\u8651\u4e00\u4e2a\u6709\u5e8f\u94fe\u8868\uff1a1\u21922\u21923\u21924\u21925\u21926\u21927\u21928\u21929\u219210\u3002\u67e5\u627e\u5143\u7d209\u9700\u8981\u904d\u53869\u6b21\u3002\u5982\u679c\u6211\u4eec\u5728\u6bcf\u4e24\u4e2a\u8282\u70b9\u4e2d\u5efa\u7acb\u4e00\u4e2a”\u5feb\u901f\u901a\u9053”\uff08\u4e00\u7ea7\u7d22\u5f15\uff09\uff1a1\u21923\u21925\u21927\u219210\uff0c\u67e5\u627e\u8def\u5f84\u53d8\u4e3a\uff1a1\u21923\u21925\u21927\u21929\uff0c\u53ea\u97005\u6b21\u6bd4\u8f83\u3002<\/p>\n\n\n\n

\u8fdb\u4e00\u6b65\uff0c\u6211\u4eec\u53ef\u4ee5\u5efa\u7acb\u4e8c\u7ea7\u7d22\u5f15\uff08\u6bcf\u56db\u4e2a\u8282\u70b9\u4e00\u4e2a\uff09\uff1a1\u21925\u219210\uff0c\u67e5\u627e\u8def\u5f84\u53d8\u4e3a\uff1a1\u21925\u21927\u21929\uff0c\u53ea\u97004\u6b21\u6bd4\u8f83\u3002\u8fd9\u5c31\u662f\u8df3\u8868\u7684\u6838\u5fc3\u601d\u60f3\u3002<\/p>\n\n\n\n

\u8df3\u8868\u7684\u65f6\u95f4\u590d\u6742\u5ea6<\/h3>\n\n\n\n

\u8df3\u8868\u7684\u67e5\u8be2\u65f6\u95f4\u590d\u6742\u5ea6\u4e3aO(log n)\uff0c\u4e0e\u5e73\u8861\u6811\u76f8\u5f53\uff0c\u4f46\u5b9e\u73b0\u66f4\u7b80\u5355\u3002\u8bc1\u660e\u5982\u4e0b\uff1a<\/p>\n\n\n\n

\u8bbe\u8df3\u8868\u6709h\u5c42\uff0c\u6bcf\u5c42\u664b\u5347\u6982\u7387\u4e3ap\uff0c\u5219\u6700\u9ad8\u5c42\u671f\u671b\u8282\u70b9\u6570\u4e3a1\/p\u3002\u8df3\u8868\u671f\u671b\u9ad8\u5ea6H\u6ee1\u8db3\uff1a
$$H = \\log_{1\/p} n$$<\/p>\n\n\n\n

\u67e5\u627e\u65f6\u4ece\u9876\u5c42\u5f00\u59cb\uff0c\u6bcf\u5c42\u671f\u671b\u6b65\u6570\u4e3a1\/p\uff0c\u603b\u65f6\u95f4\u590d\u6742\u5ea6\u4e3aO(log n)\u3002<\/p>\n\n\n\n

\u8df3\u8868\u4e0e\u5e73\u8861\u6811\u7684\u5bf9\u6bd4<\/h3>\n\n\n\n

\u76f8\u6bd4\u4e8e\u7ea2\u9ed1\u6811\u7b49\u5e73\u8861\u6811\u7ed3\u6784\uff0c\u8df3\u8868\u6709\u4ee5\u4e0b\u4f18\u52bf\uff1a<\/p>\n\n\n\n

    \n
  1. \u5b9e\u73b0\u7b80\u5355\uff0c\u4e0d\u9700\u8981\u590d\u6742\u7684\u65cb\u8f6c\u64cd\u4f5c<\/li>\n\n\n\n
  2. \u5929\u7136\u652f\u6301\u8303\u56f4\u67e5\u8be2<\/li>\n\n\n\n
  3. \u5e76\u53d1\u6027\u80fd\u66f4\u597d<\/li>\n\n\n\n
  4. \u4ee3\u7801\u91cf\u901a\u5e38\u66f4\u5c11<\/li>\n<\/ol>\n\n\n\n

    Golang\u8df3\u8868\u5b9e\u73b0<\/h2>\n\n\n\n

    \u57fa\u7840\u6570\u636e\u7ed3\u6784<\/h3>\n\n\n
    \nconst (\n    maxLevel    = 32     \/\/ \u6700\u5927\u5c42\u6570\n    p           = 0.25   \/\/ \u5c42\u6570\u589e\u957f\u6982\u7387\n)\n\n\/\/ SkipNode \u8df3\u8868\u8282\u70b9\ntype SkipNode struct {\n    key     int         \/\/ \u6392\u5e8f\u952e\n    value   interface{} \/\/ \u5b58\u50a8\u7684\u503c\n    forward []*SkipNode \/\/ \u6bcf\u5c42\u7684\u524d\u8fdb\u6307\u9488\n}\n\n\/\/ SkipList \u8df3\u8868\u7ed3\u6784\ntype SkipList struct {\n    head   *SkipNode \/\/ \u5934\u8282\u70b9\n    level  int       \/\/ \u5f53\u524d\u5c42\u6570\n    length int       \/\/ \u5143\u7d20\u6570\u91cf\n}\n<\/pre><\/div>\n\n\n
    \u6838\u5fc3\u64cd\u4f5c\u5b9e\u73b0<\/h3>\n\n\n\n
    \u63d2\u5165\u64cd\u4f5c<\/strong>\u7684\u5173\u952e\u662f\u968f\u673a\u786e\u5b9a\u65b0\u8282\u70b9\u7684\u5c42\u6570\uff0c\u5e76\u5728\u5404\u5c42\u6b63\u786e\u94fe\u63a5\uff1a<\/p>\n\n\n
    \nfunc (sl *SkipList) Insert(key int, value interface{}) {\n    update := make([]*SkipNode, maxLevel)\n    current := sl.head\n\n    \/\/ \u4ece\u6700\u9ad8\u5c42\u5f00\u59cb\u67e5\u627e\u63d2\u5165\u4f4d\u7f6e\n    for i := sl.level - 1; i >= 0; i-- {\n        for current.forward[i] != nil && current.forward[i].key < key {\n            current = current.forward[i]\n        }\n        update[i] = current\n    }\n\n    \/\/ \u968f\u673a\u751f\u6210\u65b0\u8282\u70b9\u7684\u5c42\u6570\n    level := sl.randomLevel()\n    if level > sl.level {\n        for i := sl.level; i < level; i++ {\n            update[i] = sl.head\n        }\n        sl.level = level\n    }\n\n    \/\/ \u521b\u5efa\u5e76\u63d2\u5165\u65b0\u8282\u70b9\n    newNode := NewSkipNode(key, value, level)\n    for i := 0; i < level; i++ {\n        newNode.forward[i] = update[i].forward[i]\n        update[i].forward[i] = newNode\n    }\n    sl.length++\n}\n<\/pre><\/div>\n\n\n
    \u67e5\u627e\u64cd\u4f5c<\/strong>\u4ece\u6700\u9ad8\u5c42\u5f00\u59cb\uff0c\u9010\u6b65\u5411\u4e0b\u7f29\u5c0f\u8303\u56f4\uff1a<\/p>\n\n\n
    \nfunc (sl *SkipList) Search(key int) (interface{}, bool) {\n    current := sl.head\n    for i := sl.level - 1; i >= 0; i-- {\n        for current.forward[i] != nil && current.forward[i].key < key {\n            current = current.forward[i]\n        }\n    }\n    current = current.forward[0]\n    if current != nil && current.key == key {\n        return current.value, true\n    }\n    return nil, false\n}\n<\/pre><\/div>\n\n\n
    \u5f00\u6e90\u5b9e\u73b0\u5206\u6790<\/h2>\n\n\n\n
    1. github.com\/throne-developer\/skiplist<\/h3>\n\n\n\n
    \u8fd9\u662f\u4e00\u4e2aRedis\u98ce\u683c\u7684\u8df3\u8868\u5b9e\u73b0\uff0c\u652f\u6301\u91cd\u590dscore\u548c\u552f\u4e00member\u3002\u7279\u70b9\u5305\u62ec\uff1a<\/p>\n\n\n\n
      \n
    • \u652f\u6301ZRangeByScore\u7b49\u8303\u56f4\u67e5\u8be2<\/li>\n\n\n\n
    • \u53cc\u5411\u94fe\u8868\u4fbf\u4e8e\u53cd\u5411\u904d\u5386<\/li>\n\n\n\n
    • \u5b9e\u73b0\u4e86GetRank\u548cFindByRank\u7b49\u6392\u540d\u64cd\u4f5c<\/li>\n<\/ul>\n\n\n
      \nsl := New()\nsl.Insert("A", 1)\nsl.Insert("B", 2)\nif elem := sl.Find("A"); elem != nil {\n    fmt.Println("Find A, score", elem.Score)\n}\n<\/pre><\/div>\n\n\n
      2. github.com\/liyue201\/gostl<\/h3>\n\n\n\n
      \u8fd9\u662f\u4e00\u4e2a\u9ad8\u6027\u80fd\u6cdb\u578b\u8df3\u8868\u5b9e\u73b0\uff0c\u4f18\u5316\u70b9\u5305\u62ec\uff1a<\/p>\n\n\n\n
        \n
      1. \u4f7f\u7528\u6982\u7387\u8868\u4f18\u5316\u968f\u673a\u5c42\u6570\u751f\u6210<\/li>\n\n\n\n
      2. \u5185\u5b58\u9884\u5206\u914d\u51cf\u5c11GC\u538b\u529b<\/li>\n\n\n\n
      3. \u57fa\u4e8e\u6cdb\u578b\u5b9e\u73b0\u7c7b\u578b\u5b89\u5168<\/li>\n\n\n\n
      4. \u652f\u6301\u8fed\u4ee3\u5668\u548c\u8303\u56f4\u67e5\u8be2<\/li>\n<\/ol>\n\n\n
        \nsl := New[int, string]()\nsl.Insert(1, "A")\nsl.Insert(2, "B")\nit := sl.Begin()\nfor ; it.IsValid(); it.Next() {\n    fmt.Println(it.Key(), it.Value())\n}\n<\/pre><\/div>\n\n\n
        3. github.com\/roseduan\/rosedb<\/h3>\n\n\n\n
        \u8fd9\u662f\u4e00\u4e2a\u5185\u5d4c\u5f0f\u6570\u636e\u5e93\u4e2d\u7684\u8df3\u8868\u5b9e\u73b0\uff0c\u7279\u70b9\u5305\u62ec\uff1a<\/p>\n\n\n\n
          \n
        • \u652f\u6301\u5b57\u8282\u5207\u7247\u4f5c\u4e3akey<\/li>\n\n\n\n
        • \u5b9e\u73b0\u4e86\u9ad8\u6548\u7684\u533a\u95f4\u626b\u63cf<\/li>\n\n\n\n
        • \u5185\u5b58\u4f18\u5316\u8bbe\u8ba1<\/li>\n<\/ul>\n\n\n
          \nsl := NewSkipList()\nsl.Put([]byte("key1"), "value1")\nval, _ := sl.Get([]byte("key1"))\n<\/pre><\/div>\n\n\n
          \u6027\u80fd\u4f18\u5316\u6280\u5de7<\/h2>\n\n\n\n
          \u6839\u636e\u5b9e\u9645\u9879\u76ee\u7ecf\u9a8c\uff0c\u8df3\u8868\u6027\u80fd\u4f18\u5316\u53ef\u4ee5\u4ece\u4ee5\u4e0b\u51e0\u4e2a\u65b9\u9762\u5165\u624b\uff1a<\/p>\n\n\n\n
            \n
          1. \u968f\u673a\u5c42\u6570\u751f\u6210\u4f18\u5316<\/strong>\uff1a\u4f7f\u7528\u9884\u8ba1\u7b97\u7684\u6982\u7387\u8868\u66ff\u4ee3\u6bcf\u6b21\u8ba1\u7b97<\/li>\n\n\n\n
          2. \u5185\u5b58\u5206\u914d\u4f18\u5316<\/strong>\uff1a\u9884\u5206\u914d\u8282\u70b9\u6570\u7ec4\u51cf\u5c11GC\u538b\u529b<\/li>\n\n\n\n
          3. \u7f13\u5b58\u53cb\u597d\u8bbe\u8ba1<\/strong>\uff1a\u5c06\u9891\u7e41\u8bbf\u95ee\u7684\u6570\u636e\u653e\u5728\u7ed3\u6784\u4f53\u524d\u9762<\/li>\n\n\n\n
          4. \u65e0\u9501\u5e76\u53d1<\/strong>\uff1a\u4f7f\u7528\u539f\u5b50\u64cd\u4f5c\u5b9e\u73b0\u65e0\u9501\u5e76\u53d1\uff08CAS\uff09<\/li>\n\n\n\n
          5. \u5c42\u7ea7\u9650\u5236<\/strong>\uff1a\u5408\u7406\u8bbe\u7f6e\u6700\u5927\u5c42\u6570\u907f\u514d\u8fc7\u5ea6\u5185\u5b58\u6d88\u8017<\/li>\n<\/ol>\n\n\n\n
            \u5b9e\u9645\u5e94\u7528\u573a\u666f<\/h2>\n\n\n\n
            \u8df3\u8868\u5728\u73b0\u5b9e\u7cfb\u7edf\u4e2d\u6709\u5e7f\u6cdb\u5e94\u7528\uff1a<\/p>\n\n\n\n
              \n
            1. Redis\u6709\u5e8f\u96c6\u5408<\/strong>\uff1aZSET\u5e95\u5c42\u4f7f\u7528\u8df3\u8868\u5b9e\u73b0<\/li>\n\n\n\n
            2. LevelDB\/RocksDB<\/strong>\uff1a\u5185\u5b58\u8868(MemTable)\u4f7f\u7528\u8df3\u8868<\/li>\n\n\n\n
            3. \u6392\u540d\u7cfb\u7edf<\/strong>\uff1a\u6e38\u620f\u6392\u884c\u699c\u3001\u70ed\u641c\u699c\u7b49<\/li>\n\n\n\n
            4. \u8303\u56f4\u67e5\u8be2\u7cfb\u7edf<\/strong>\uff1a\u9700\u8981\u9ad8\u6548\u8303\u56f4\u67e5\u8be2\u7684\u573a\u666f<\/li>\n<\/ol>\n\n\n\n
              \u603b\u7ed3<\/h2>\n\n\n\n
              \u8df3\u8868\u662f\u4e00\u79cd\u7b80\u5355\u800c\u9ad8\u6548\u7684\u6709\u5e8f\u6570\u636e\u7ed3\u6784\uff0cGolang\u7684\u7b80\u6d01\u8bed\u6cd5\u4f7f\u5176\u5b9e\u73b0\u8df3\u8868\u5c24\u4e3a\u4f18\u96c5\u3002\u901a\u8fc7\u5408\u7406\u7684\u8bbe\u8ba1\u548c\u4f18\u5316\uff0c\u8df3\u8868\u53ef\u4ee5\u8fbe\u5230\u4e0e\u5e73\u8861\u6811\u76f8\u5f53\u7684\u6027\u80fd\uff0c\u540c\u65f6\u4fdd\u6301\u4ee3\u7801\u7684\u7b80\u6d01\u6027\u3002<\/p>\n\n\n\n
              \u5bf9\u4e8e\u9700\u8981\u6709\u5e8f\u6570\u636e\u7ed3\u6784\u7684\u573a\u666f\uff0c\u8df3\u8868\u662f\u4e00\u4e2a\u503c\u5f97\u8003\u8651\u7684\u9009\u9879\uff0c\u7279\u522b\u662f\u5f53\u9700\u8981\u9891\u7e41\u7684\u8303\u56f4\u67e5\u8be2\u6216\u5e76\u53d1\u8bbf\u95ee\u65f6\u3002\u968f\u7740Go 1.18\u6cdb\u578b\u7684\u5f15\u5165\uff0c\u7c7b\u578b\u5b89\u5168\u7684\u8df3\u8868\u5b9e\u73b0\u53d8\u5f97\u66f4\u52a0\u5bb9\u6613\uff0c\u6027\u80fd\u4e5f\u5f97\u5230\u8fdb\u4e00\u6b65\u63d0\u5347\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"
              \u8df3\u8868(Skip List)\u662f\u4e00\u79cd\u6982\u7387\u6027\u7684\u6709\u5e8f\u6570\u636e\u7ed3\u6784\uff0c\u5b83\u901a\u8fc7\u591a\u5c42\u94fe\u8868\u6765\u5b9e\u73b0\u5feb\u901f\u67e5\u627e\u3001\u63d2\u5165\u548c\u5220\u9664\u64cd\u4f5c\uff0c\u65f6\u95f4\u590d\u6742\u5ea6 […]<\/p>\n","protected":false},"author":1,"featured_media":481,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"footnotes":""},"categories":[4],"tags":[],"class_list":["post-480","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-algorithm"],"_links":{"self":[{"href":"https:\/\/beijian99.top\/index.php?rest_route=\/wp\/v2\/posts\/480","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/beijian99.top\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/beijian99.top\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/beijian99.top\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/beijian99.top\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=480"}],"version-history":[{"count":4,"href":"https:\/\/beijian99.top\/index.php?rest_route=\/wp\/v2\/posts\/480\/revisions"}],"predecessor-version":[{"id":568,"href":"https:\/\/beijian99.top\/index.php?rest_route=\/wp\/v2\/posts\/480\/revisions\/568"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/beijian99.top\/index.php?rest_route=\/wp\/v2\/media\/481"}],"wp:attachment":[{"href":"https:\/\/beijian99.top\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=480"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/beijian99.top\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=480"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/beijian99.top\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=480"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}