{"id":201261,"date":"2025-05-10T08:53:47","date_gmt":"2025-05-10T00:53:47","guid":{"rendered":"https:\/\/server.hk\/cnblog\/201261\/"},"modified":"2025-05-10T08:53:47","modified_gmt":"2025-05-10T00:53:47","slug":"%e4%b8%ba%e4%bd%95redis%e4%bd%bf%e7%94%a8%e8%b7%b3%e8%a1%a8%e8%80%8c%e9%9d%9e%e7%ba%a2%e9%bb%91%e6%a0%91%e5%ae%9e%e7%8e%b0sortedset","status":"publish","type":"post","link":"https:\/\/server.hk\/cnblog\/201261\/","title":{"rendered":"\u4e3a\u4f55Redis\u4f7f\u7528\u8df3\u8868\u800c\u975e\u7ea2\u9ed1\u6811\u5b9e\u73b0SortedSet"},"content":{"rendered":"<p><b><\/b> <\/p>\n<h1>\u4e3a\u4f55Redis\u4f7f\u7528\u8df3\u8868\u800c\u975e\u7ea2\u9ed1\u6811\u5b9e\u73b0SortedSet<\/h1>\n<p><span style=\"cursor: pointer\"><i><\/i>\u6536\u85cf<\/span> <\/p>\n<p>\u672c\u7bc7\u6587\u7ae0\u4e3b\u8981\u662f\u7ed3\u5408\u6211\u4e4b\u524d\u9762\u8bd5\u7684\u5404\u79cd\u7ecf\u5386\u548c\u5b9e\u6218\u5f00\u53d1\u4e2d\u9047\u5230\u7684\u95ee\u9898\u89e3\u51b3\u7ecf\u9a8c\u6574\u7406\u7684\uff0c\u5e0c\u671b\u8fd9\u7bc7\u300a\u4e3a\u4f55Redis\u4f7f\u7528\u8df3\u8868\u800c\u975e\u7ea2\u9ed1\u6811\u5b9e\u73b0SortedSet\u300b\u5bf9\u4f60\u6709\u5f88\u5927\u5e2e\u52a9\uff01\u6b22\u8fce\u6536\u85cf\uff0c\u5206\u4eab\u7ed9\u66f4\u591a\u7684\u9700\u8981\u7684\u670b\u53cb\u5b66\u4e60~<\/p>\n<p>\u77e5\u9053\u8df3\u8868\uff08Skip List\uff09\u662f\u5728\u770b\u5173\u4e8eRedis\u7684\u4e66\u7684\u65f6\u5019\uff0cRedis\u4e2d\u7684\u6709\u5e8f\u96c6\u5408\u4f7f\u7528\u4e86\u8df3\u8868\u6570\u636e\u7ed3\u6784\u3002\u63a5\u7740\u5c31\u67e5\u4e86\u4e00\u4e9b\u535a\u5ba2\uff0c\u6765\u5b66\u4e60\u4e00\u4e0b\u8df3\u8868\u3002\u540e\u9762\u4f1a\u4f7f\u7528Java\u4ee3\u7801\u6765\u7b80\u5355\u5b9e\u73b0\u8df3\u8868\u3002<\/p>\n<h2>\u4ec0\u4e48\u662f\u8df3\u8868<\/h2>\n<p>\u8df3\u8868\u7531William Pugh\u53d1\u660e\uff0c\u4ed6\u5728\u8bba\u6587\u300aSkip lists: a probabilistic alternative to balanced trees\u300b\u4e2d\u8be6\u7ec6\u4ecb\u7ecd\u4e86\u8df3\u8868\u7684\u6570\u636e\u7ed3\u6784\u548c\u63d2\u5165\u5220\u9664\u7b49\u64cd\u4f5c\uff0c\u8bba\u6587\u662f\u8fd9\u4e48\u4ecb\u7ecd\u8df3\u8868\u7684\uff1a<\/p>\n<blockquote>\n<p>Skip lists are a data structure that can be used in place of balanced trees.Skip lists use probabilistic balancing rather than strictly enforced balancing and as a result the algorithms for insertion and deletion in skip lists are much simpler and significantly faster than equivalent algorithms for balanced trees.<\/p>\n<\/blockquote>\n<p>\u4e5f\u5c31\u662f\u8bf4\uff0c\u8df3\u8868\u53ef\u4ee5\u7528\u6765\u66ff\u4ee3\u7ea2\u9ed1\u6811\uff0c\u4f7f\u7528\u6982\u7387\u5747\u8861\u6280\u672f\uff0c\u4f7f\u5f97\u63d2\u5165\u3001\u5220\u9664\u64cd\u4f5c\u66f4\u7b80\u5355\u3001\u66f4\u5feb\u3002\u5148\u6765\u770b\u8bba\u6587\u91cc\u7684\u4e00\u5f20\u56fe\uff1a<\/p>\n<p style=\"text-align: center\"><img decoding=\"async\" src=\"https:\/\/www.17golang.com\/uploads\/20230101\/167254024463b0f05414625.jpg\" class=\"aligncenter\"><\/p>\n<p>\u89c2\u5bdf\u4e0a\u56fe<\/p>\n<ul>\n<li>a\uff1a\u5df2\u6392\u597d\u5e8f\u7684\u94fe\u8868\uff0c\u67e5\u627e\u4e00\u4e2a\u7ed3\u70b9\u6700\u591a\u9700\u8981\u6bd4\u8f83N\u4e2a\u7ed3\u70b9\u3002<\/li>\n<li>b\uff1a\u6bcf\u96942\u4e2a\u7ed3\u70b9\u589e\u52a0\u4e00\u4e2a\u6307\u9488\uff0c\u6307\u5411\u8be5\u7ed3\u70b9\u95f4\u8ddd\u4e3a2\u7684\u540e\u7eed\u7ed3\u70b9\uff0c\u90a3\u4e48\u67e5\u627e\u4e00\u4e2a\u7ed3\u70b9\u6700\u591a\u9700\u8981\u6bd4\u8f83ceil(N\/2)+1\u4e2a\u7ed3\u70b9\u3002<\/li>\n<li>c\uff0c\u6bcf\u96944\u4e2a\u7ed3\u70b9\u589e\u52a0\u4e00\u4e2a\u6307\u9488\uff0c\u6307\u5411\u8be5\u7ed3\u70b9\u95f4\u8ddd\u4e3a4\u7684\u540e\u7eed\u7ed3\u70b9\uff0c\u90a3\u4e48\u67e5\u627e\u4e00\u4e2a\u7ed3\u70b9\u6700\u591a\u9700\u8981\u6bd4\u8f83ceil(N\/4)+1\u4e2a\u7ed3\u70b9\u3002<\/li>\n<li>\u82e5\u6bcf\u7b2c<code>2^i<\/code> \u4e2a\u7ed3\u70b9\u90fd\u6709\u4e00\u4e2a\u6307\u5411\u95f4\u8ddd\u4e3a <code>2^i<\/code>\u7684\u540e\u7eed\u7ed3\u70b9\u7684\u6307\u9488\uff0c\u8fd9\u6837\u4e0d\u65ad\u589e\u52a0\u6307\u9488\uff0c\u6bd4\u8f83\u6b21\u6570\u4f1a\u964d\u4e3alog(N)\u3002\u8fd9\u6837\u7684\u8bdd\uff0c\u641c\u7d22\u4f1a\u5f88\u5feb\uff0c\u4f46\u63d2\u5165\u548c\u5220\u9664\u4f1a\u5f88\u56f0\u96be\u3002<\/li>\n<\/ul>\n<p>\u4e00\u4e2a\u62e5\u6709k\u4e2a\u6307\u9488\u7684\u7ed3\u70b9\u79f0\u4e3a\u4e00\u4e2ak\u5c42\u7ed3\u70b9\uff08level k node\uff09\u3002\u6309\u7167\u4e0a\u9762\u7684\u903b\u8f91\uff0c50%\u7684\u7ed3\u70b9\u4e3a1\u5c42\uff0c25%\u7684\u7ed3\u70b9\u4e3a2\u5c42\uff0c12.5%\u7684\u7ed3\u70b9\u4e3a3\u5c42\u2026\u5982\u679c\u6bcf\u4e2a\u7ed3\u70b9\u7684\u5c42\u6570\u968f\u673a\u9009\u53d6\uff0c\u4f46\u4ecd\u670d\u4ece\u8fd9\u6837\u7684\u5206\u5e03\u5462\uff08\u4e0a\u56fee\uff0c\u5bf9\u6bd4\u4e0a\u56fed\uff09\uff1f<\/p>\n<p>\u4f7f\u4e00\u4e2a<strong>k\u5c42\u7ed3\u70b9\u7684\u7b2ci\u4e2a\u6307\u9488<\/strong>\u6307\u5411<strong>\u7b2ci\u5c42\u7684\u4e0b\u4e00\u4e2a\u7ed3\u70b9<\/strong>\uff0c\u800c\u4e0d\u662f\u5b83\u540e\u9762\u7684\u7b2c2^(i-1)\u4e2a\u7ed3\u70b9\uff0c\u90a3\u4e48\u7ed3\u70b9\u7684\u63d2\u5165\u548c\u5220\u9664\u53ea\u9700\u8981\u539f\u5730\u4fee\u6539\u64cd\u4f5c\uff1b\u4e00\u4e2a\u7ed3\u70b9\u7684\u5c42\u6570\uff0c\u662f\u5728\u5b83\u88ab\u63d2\u5165\u7684\u65f6\u5019\u968f\u673a\u9009\u53d6\u7684\uff0c\u5e76\u4e14\u6c38\u4e0d\u6539\u53d8\u3002\u56e0\u4e3a\u8fd9\u6837\u7684\u6570\u636e\u7ed3\u6784\u662f\u57fa\u4e8e\u94fe\u8868\u7684\uff0c\u5e76\u4e14\u989d\u5916\u7684\u6307\u9488\u4f1a\u8df3\u8fc7\u4e2d\u95f4\u7ed3\u70b9\uff0c\u6240\u4ee5\u4f5c\u8005\u79f0\u4e4b\u4e3a\u8df3\u8868\uff08Skip Lists\uff09\u3002<\/p>\n<p>\u4e8c\u5206\u67e5\u627e\u5e95\u5c42\u4f9d\u8d56\u6570\u7ec4\u968f\u673a\u8bbf\u95ee\u7684\u7279\u6027\uff0c\u6240\u4ee5\u53ea\u80fd\u7528\u6570\u7ec4\u5b9e\u73b0\u3002\u82e5\u6570\u636e\u5b58\u50a8\u5728\u94fe\u8868\uff0c\u5c31\u6ca1\u6cd5\u7528\u4e8c\u5206\u641c\u7d22\u4e86\uff1f<\/p>\n<p>\u5176\u5b9e\u53ea\u9700\u7a0d\u5fae\u6539\u9020\u4e0b\u94fe\u8868\uff0c\u5c31\u80fd\u652f\u6301\u7c7b\u4f3c\u201c\u4e8c\u5206\u201d\u7684\u641c\u7d22\u7b97\u6cd5\uff0c\u5373\u8df3\u8868\uff08Skip list\uff09\uff0c\u652f\u6301\u5feb\u901f\u7684\u65b0\u589e\u3001\u5220\u9664\u3001\u641c\u7d22\u64cd\u4f5c\u3002<\/p>\n<p>Redis\u4e2d\u7684\u6709\u5e8f\u96c6\u5408\uff08Sorted Set\uff09\u5c31\u662f\u7528\u8df3\u8868\u5b9e\u73b0\u7684\u3002\u6211\u4eec\u77e5\u9053\u7ea2\u9ed1\u6811\u4e5f\u80fd\u5b9e\u73b0\u5feb\u901f\u7684\u63d2\u5165\u3001\u5220\u9664\u548c\u67e5\u627e\u64cd\u4f5c\u3002\u90a3Redis \u4e3a\u4f55\u4e0d\u9009\u62e9\u7ea2\u9ed1\u6811\u6765\u5b9e\u73b0\u5462\uff1f<\/p>\n<p style=\"text-align: center\"><img decoding=\"async\" src=\"https:\/\/www.17golang.com\/uploads\/20230101\/167254024463b0f0544bd03.jpg\" class=\"aligncenter\"><\/p>\n<h2>\u8df3\u8868\u7684\u610f\u4e49\u7a76\u7adf\u5728\u4e8e\u4f55\u5904\uff1f<\/h2>\n<p>\u5355\u94fe\u8868\u5373\u4f7f\u5b58\u50a8\u7684\u6570\u636e\u6709\u5e8f\uff0c\u82e5\u641c\u7d22\u67d0\u6570\u636e\uff0c\u4e5f\u53ea\u80fd\u4ece\u5934\u5230\u5c3e\u904d\u5386\uff0c\u641c\u7d22\u6548\u7387\u5f88\u4f4e\uff0c\u5e73\u5747\u65f6\u95f4\u590d\u6742\u5ea6\u662fO(n)\u3002<\/p>\n<p>\u8ffd\u6c42\u6781\u81f4\u7684\u7a0b\u5e8f\u5458\u5c31\u5f00\u59cb\u60f3\u4e86\uff0c\u90a3\u8fd9\u8be5\u5982\u4f55\u63d0\u9ad8\u94fe\u8868\u7ed3\u6784\u7684\u641c\u7d22\u6548\u7387\u5462\uff1f<br \/> \u82e5\u5982\u4e0b\u56fe\uff0c\u5bf9\u94fe\u8868\u5efa\u7acb\u4e00\u7ea7\u201c\u7d22\u5f15\u201d\uff0c\u6bcf\u4e24\u4e2a\u7ed3\u70b9\u63d0\u53d6\u4e00\u4e2a\u7ed3\u70b9\u5230\u4e0a\u4e00\u7ea7\uff0c\u628a\u62bd\u51fa\u6765\u7684\u90a3\u7ea7\u53eb\u4f5c\u7d22\u5f15\u6216\u7d22\u5f15\u5c42\u3002\u56fe\u4e2d\u7684down\u8868\u793adown\u6307\u9488\uff0c\u6307\u5411\u4e0b\u4e00\u7ea7\u7ed3\u70b9\u3002<\/p>\n<p style=\"text-align: center\"><img decoding=\"async\" src=\"https:\/\/www.17golang.com\/uploads\/20230101\/167254024463b0f0548a4bc.jpg\" class=\"aligncenter\"><\/p>\n<p>\u6bd4\u5982\u8981\u641c\u7d2216\uff1a<\/p>\n<p>\u5148\u904d\u5386\u7d22\u5f15\u5c42\uff0c\u5f53\u904d\u5386\u5230\u7d22\u5f15\u5c42\u768413\u65f6\uff0c\u53d1\u73b0\u4e0b\u4e00\u4e2a\u7ed3\u70b9\u662f17\uff0c\u8bf4\u660e\u76ee\u6807\u7ed3\u70b9\u4f4d\u4e8e\u8fd9\u4fe9\u7ed3\u70b9\u4e2d\u95f4<\/p>\n<p>\u7136\u540e\u901a\u8fc7down\u6307\u9488\uff0c\u4e0b\u964d\u5230\u539f\u59cb\u94fe\u8868\u5c42\uff0c\u7ee7\u7eed\u904d\u5386<br \/> \u6b64\u65f6\u53ea\u9700\u518d\u904d\u53862\u4e2a\u7ed3\u70b9\uff0c\u5373\u53ef\u627e\u523016\uff01<\/p>\n<p>\u539f\u5148\u5355\u94fe\u8868\u7ed3\u6784\u9700\u904d\u538610\u4e2a\u7ed3\u70b9\uff0c\u73b0\u5728\u53ea\u9700\u904d\u53867\u4e2a\u7ed3\u70b9\u5373\u53ef\u3002\u53ef\u89c1\uff0c\u52a0\u4e00\u5c42\u7d22\u5f15\uff0c\u6240\u9700\u904d\u5386\u7684\u7ed3\u70b9\u4e2a\u6570\u5c31\u51cf\u5c11\u4e86\uff0c\u641c\u7d22\u6548\u7387\u63d0\u5347\u3002<\/p>\n<p style=\"text-align: center\"><img decoding=\"async\" src=\"https:\/\/www.17golang.com\/uploads\/20230101\/167254024463b0f054cf0b3.jpg\" class=\"aligncenter\"><\/p>\n<p>\u82e5\u518d\u52a0\u5c42\u7d22\u5f15\uff0c\u641c\u7d22\u6548\u7387\u662f\u4e0d\u662f\u66f4\u9ad8\uff1f\u4e8e\u662f\u6bcf\u4e24\u4e2a\u7ed3\u70b9\u518d\u62bd\u51fa\u4e00\u4e2a\u7ed3\u70b9\u5230\u7b2c\u4e8c\u7ea7\u7d22\u5f15\u3002\u73b0\u5728\u641c\u7d2216\uff0c\u53ea\u9700\u904d\u53866\u4e2a\u7ed3\u70b9\u4e86\uff01<\/p>\n<p style=\"text-align: center\"><img decoding=\"async\" src=\"https:\/\/www.17golang.com\/uploads\/20230101\/167254024563b0f0551676a.jpg\" class=\"aligncenter\"><\/p>\n<p>\u8fd9\u91cc\u6570\u636e\u91cf\u4e0d\u5927\uff0c\u53ef\u80fd\u4f60\u4e5f\u6ca1\u611f\u89c9\u5230\u641c\u7d22\u6548\u7387ROI\u9ad8\u5417\u3002<\/p>\n<p>\u90a3\u6570\u636e\u91cf\u5c31\u53d8\u5927\u4e00\u70b9\uff0c\u73b0\u6709\u4e0064\u7ed3\u70b9\u94fe\u8868\uff0c\u7ed9\u5b83\u5efa\u7acb\u4e94\u7ea7\u7684\u7d22\u5f15\u3002<\/p>\n<p style=\"text-align: center\"><img decoding=\"async\" src=\"https:\/\/www.17golang.com\/uploads\/20230101\/167254024563b0f0554fcbe.jpg\" class=\"aligncenter\"><\/p>\n<p>\u539f\u6765\u6ca1\u6709\u7d22\u5f15\u65f6\uff0c\u5355\u94fe\u8868\u641c\u7d2262\u9700\u904d\u538662\u4e2a\u7ed3\u70b9\uff01<br \/> \u73b0\u5728\u5462\uff1f\u53ea\u9700\u904d\u538611\u4e2a\uff01\u6240\u4ee5\u4f60\u73b0\u5728\u80fd\u4f53\u4f1a\u5230\u4e86\uff0c\u5f53\u94fe\u8868\u957f\u5ea6n\u5f88\u5927\u65f6\uff0c\u5efa\u7acb\u7d22\u5f15\u540e\uff0c\u641c\u7d22\u6027\u80fd\u663e\u8457\u63d0\u5347\u3002<\/p>\n<p>\u8fd9\u79cd\u6709\u591a\u7ea7\u7d22\u5f15\u7684\uff0c\u53ef\u4ee5\u63d0\u9ad8\u67e5\u8be2\u6548\u7387\u7684\u94fe\u8868\u5c31\u662f\u6700\u8fd1\u706b\u904d\u9762\u8bd5\u5708\u7684\u8df3\u8868\u3002<br \/> \u4f5c\u4e3a\u4e25\u8c28\u7684\u7a0b\u5e8f\u5458\uff0c\u6211\u4eec\u53c8\u5f00\u59cb\u597d\u5947\u4e86<\/p>\n<h2>\u8df3\u8868\u7684\u641c\u7d22\u65f6\u95f4\u590d\u6742\u5ea6<\/h2>\n<p>\u6211\u4eec\u90fd\u77e5\u9053\u5355\u94fe\u8868\u641c\u7d22\u65f6\u95f4\u590d\u6742\u5ea6O(n)\uff0c\u90a3\u5982\u6b64\u5feb\u7684\u8df3\u8868\u5462\uff1f<\/p>\n<p>\u82e5\u94fe\u8868\u6709n\u4e2a\u7ed3\u70b9\uff0c\u4f1a\u6709\u591a\u5c11\u7ea7\u7d22\u5f15\u5462\uff1f\u5047\u8bbe\u6bcf\u4e24\u4e2a\u7ed3\u70b9\u62bd\u51fa\u4e00\u4e2a\u7ed3\u70b9\u4f5c\u4e3a\u4e0a\u7ea7\u7d22\u5f15\uff0c\u5219\uff1a<\/p>\n<ul>\n<li>\u7b2c\u4e00\u7ea7\u7d22\u5f15\u7ed3\u70b9\u4e2a\u6570\u662fn\/2<\/li>\n<li>\u7b2c\u4e8c\u7ea7n\/4\u7b2c<\/li>\n<li>\u4e09\u7ea7n\/8<\/li>\n<li>\u2026<\/li>\n<li>\u7b2ck\u7ea7\u5c31\u662f<code>n\/(2^k)<\/code><\/li>\n<\/ul>\n<p>\u5047\u8bbe\u7d22\u5f15\u6709h\u7ea7\uff0c\u6700\u9ad8\u7ea7\u7d22\u5f15\u67092\u4e2a\u7ed3\u70b9\uff0c\u53ef\u5f97\uff1a<code>n\/(2h) = 2<\/code><\/p>\n<p>\u6240\u4ee5\uff1a<code>h = log2n-1<\/code><\/p>\n<p>\u82e5\u5305\u542b\u539f\u59cb\u94fe\u8868\u8fd9\u4e00\u5c42\uff0c\u6574\u4e2a\u8df3\u8868\u7684\u9ad8\u5ea6\u5c31\u662flog2 n\u3002\u6211\u4eec\u5728\u8df3\u8868\u4e2d\u67e5\u8be2\u67d0\u4e2a\u6570\u636e\u7684\u65f6\u5019\uff0c\u5982\u679c\u6bcf\u4e00\u5c42\u90fd\u8981\u904d\u5386m\u4e2a\u7ed3\u70b9\uff0c\u90a3\u5728\u8df3\u8868\u4e2d\u67e5\u8be2\u4e00\u4e2a\u6570\u636e\u7684\u65f6\u95f4\u590d\u6742\u5ea6\u5c31\u662fO(m*logn)\u3002<\/p>\n<p>\u90a3\u8fd9\u4e2am\u7684\u503c\u662f\u591a\u5c11\u5462\uff1f\u6309\u7167\u524d\u9762\u8fd9\u79cd\u7d22\u5f15\u7ed3\u6784\uff0c\u6211\u4eec\u6bcf\u4e00\u7ea7\u7d22\u5f15\u90fd\u6700\u591a\u53ea\u9700\u8981\u904d\u53863\u4e2a\u7ed3\u70b9\uff0c\u4e5f\u5c31\u662f\u8bf4m=3\uff0c\u4e3a\u4ec0\u4e48\u662f3\u5462\uff1f\u6211\u6765\u89e3\u91ca\u4e00\u4e0b\u3002<\/p>\n<p>\u5047\u8bbe\u6211\u4eec\u8981\u67e5\u627e\u7684\u6570\u636e\u662fx\uff0c\u5728\u7b2ck\u7ea7\u7d22\u5f15\u4e2d\uff0c\u6211\u4eec\u904d\u5386\u5230y\u7ed3\u70b9\u4e4b\u540e\uff0c\u53d1\u73b0x\u5927\u4e8ey\uff0c\u5c0f\u4e8e\u540e\u9762\u7684\u7ed3\u70b9z\uff0c\u6240\u4ee5\u6211\u4eec\u901a\u8fc7y\u7684down\u6307\u9488\uff0c\u4ece\u7b2ck\u7ea7\u7d22\u5f15\u4e0b\u964d\u5230\u7b2ck-1\u7ea7\u7d22\u5f15\u3002\u5728\u7b2ck-1\u7ea7\u7d22\u5f15\u4e2d\uff0cy\u548cz\u4e4b\u95f4\u53ea\u67093\u4e2a\u7ed3\u70b9\uff08\u5305\u542by\u548cz\uff09\uff0c\u6240\u4ee5\uff0c\u6211\u4eec\u5728K-1\u7ea7\u7d22\u5f15\u4e2d\u6700\u591a\u53ea\u9700\u8981\u904d\u53863\u4e2a\u7ed3\u70b9\uff0c\u4f9d\u6b21\u7c7b\u63a8\uff0c\u6bcf\u4e00\u7ea7\u7d22\u5f15\u90fd\u6700\u591a\u53ea\u9700\u8981\u904d\u53863\u4e2a\u7ed3\u70b9\u3002<\/p>\n<p>\u901a\u8fc7\u4e0a\u9762\u7684\u5206\u6790\uff0c\u6211\u4eec\u5f97\u5230m=3\uff0c\u6240\u4ee5\u5728\u8df3\u8868\u4e2d\u67e5\u8be2\u4efb\u610f\u6570\u636e\u7684\u65f6\u95f4\u590d\u6742\u5ea6\u5c31\u662fO(logn)\u3002\u8fd9\u4e2a\u67e5\u627e\u7684\u65f6\u95f4\u590d\u6742\u5ea6\u8ddf\u4e8c\u5206\u67e5\u627e\u662f\u4e00\u6837\u7684\u3002\u6362\u53e5\u8bdd\u8bf4\uff0c\u6211\u4eec\u5176\u5b9e\u662f\u57fa\u4e8e\u5355\u94fe\u8868\u5b9e\u73b0\u4e86\u4e8c\u5206\u67e5\u627e\uff0c\u662f\u4e0d\u662f\u5f88\u795e\u5947\uff1f\u4e0d\u8fc7\uff0c\u5929\u4e0b\u6ca1\u6709\u514d\u8d39\u7684\u5348\u9910\uff0c\u8fd9\u79cd\u67e5\u8be2\u6548\u7387\u7684\u63d0\u5347\uff0c\u524d\u63d0\u662f\u5efa\u7acb\u4e86\u5f88\u591a\u7ea7\u7d22\u5f15\uff0c\u4e5f\u5c31\u662f\u6211\u4eec\u5728\u7b2c6\u8282\u8bb2\u8fc7\u7684\u7a7a\u95f4\u6362\u65f6\u95f4\u7684\u8bbe\u8ba1\u601d\u8def\u3002<\/p>\n<h2>\u8df3\u8868\u662f\u4e0d\u662f\u5f88\u8d39\u5185\u5b58\uff1f<\/h2>\n<p>\u7531\u4e8e\u8df3\u8868\u8981\u5b58\u50a8\u591a\u7ea7\u7d22\u5f15\uff0c\u52bf\u5fc5\u6bd4\u5355\u94fe\u8868\u6d88\u8017\u66f4\u591a\u5b58\u50a8\u7a7a\u95f4\u3002\u90a3\u5230\u5e95\u662f\u591a\u5c11\u5462\uff1f<br \/> \u82e5\u539f\u59cb\u94fe\u8868\u5927\u5c0f\u4e3an\uff1a<\/p>\n<ul>\n<li>\u7b2c\u4e00\u7ea7\u7d22\u5f15\u5927\u7ea6\u6709n\/2\u4e2a\u7ed3\u70b9<\/li>\n<li>\u7b2c\u4e8c\u7ea7\u7d22\u5f15\u5927\u7ea6\u6709n\/4\u4e2a\u7ed3\u70b9<\/li>\n<li>\u2026<\/li>\n<li>\u6700\u540e\u4e00\u7ea72\u4e2a\u7ed3\u70b9<\/li>\n<\/ul>\n<p>\u591a\u7ea7\u7ed3\u70b9\u6570\u7684\u603b\u548c\u5c31\u662f\uff1a<\/p>\n<p><code>n\/2+n\/4+n\/8\u2026+8+4+2=n-2<\/code><\/p>\n<p>\u6240\u4ee5\u7a7a\u95f4\u590d\u6742\u5ea6\u662fO(n)\u3002\u8fd9\u4e2a\u91cf\u8fd8\u662f\u633a\u5927\u7684\uff0c\u80fd\u5426\u518d\u7a0d\u5fae\u964d\u4f4e\u7d22\u5f15\u5360\u7528\u7684\u5185\u5b58\u7a7a\u95f4\u5462\uff1f<br \/> \u82e5\u6bcf\u4e09\u4e94\u4e2a\u7ed3\u70b9\u624d\u62bd\u53d6\u4e00\u4e2a\u5230\u4e0a\u7ea7\u7d22\u5f15\u5462\uff1f<\/p>\n<p><img decoding=\"async\" src=\"https:\/\/www.17golang.com\/uploads\/20230101\/167254024563b0f0558aa94.jpg\" class=\"aligncenter\"><\/p>\n<ul>\n<li>\u7b2c\u4e00\u7ea7\u7d22\u5f15\u9700\u8981\u5927\u7ea6n\/3\u4e2a\u7ed3\u70b9<\/li>\n<li>\u7b2c\u4e8c\u7ea7\u7d22\u5f15\u9700\u8981\u5927\u7ea6n\/9\u4e2a\u7ed3\u70b9<\/li>\n<li>\u6bcf\u5f80\u4e0a\u4e00\u7ea7\uff0c\u7d22\u5f15\u7ed3\u70b9\u4e2a\u6570\u90fd\u9664\u4ee53<\/li>\n<\/ul>\n<p>\u5047\u8bbe\u6700\u9ad8\u7ea7\u7d22\u5f15\u7ed3\u70b9\u4e2a\u6570\u4e3a1\uff0c\u603b\u7d22\u5f15\u7ed3\u70b9\u6570\uff1a<code>n\/3+n\/9+n\/27+\u2026+9+3+1=n\/2<\/code><\/p>\n<p>\u5c3d\u7ba1\u7a7a\u95f4\u590d\u6742\u5ea6\u8fd8\u662fO(n)\uff0c\u4f46\u6bd4\u4e0a\u9762\u7684\u6bcf\u4e24\u4e2a\u7ed3\u70b9\u62bd\u4e00\u4e2a\u7ed3\u70b9\u7684\u7d22\u5f15\u6784\u5efa\u65b9\u6cd5\uff0c\u8981\u51cf\u5c11\u4e86\u4e00\u534a\u7684\u7d22\u5f15\u7ed3\u70b9\u5b58\u50a8\u7a7a\u95f4\u3002<\/p>\n<p>\u6211\u4eec\u5927\u53ef\u4e0d\u5fc5\u8fc7\u5206\u5728\u610f\u7d22\u5f15\u5360\u7528\u7684\u989d\u5916\u7a7a\u95f4\uff0c\u5b9e\u9645\u5f00\u53d1\u4e2d\uff0c\u539f\u59cb\u94fe\u8868\u4e2d\u5b58\u50a8\u7684\u6709\u53ef\u80fd\u662f\u5f88\u5927\u7684\u5bf9\u8c61\uff0c\u800c\u7d22\u5f15\u7ed3\u70b9\u53ea\u9700\u5b58\u50a8\u5173\u952e\u503c\u548c\u51e0\u4e2a\u6307\u9488\uff0c\u65e0\u9700\u5b58\u50a8\u5bf9\u8c61\uff0c\u6240\u4ee5\u5f53\u5bf9\u8c61\u6bd4\u7d22\u5f15\u7ed3\u70b9\u5927\u5f88\u591a\u65f6\uff0c\u90a3\u7d22\u5f15\u5360\u7528\u7684\u989d\u5916\u7a7a\u95f4\u53ef\u5ffd\u7565\u3002<\/p>\n<h2>\u63d2\u5165\u548c\u5220\u9664\u7684\u65f6\u95f4\u590d\u6742\u5ea6<\/h2>\n<h3>\u63d2\u5165<\/h3>\n<p>\u5728\u8df3\u8868\u4e2d\u63d2\u5165\u4e00\u4e2a\u6570\u636e\uff0c\u53ea\u9700O(logn)\u65f6\u95f4\u590d\u6742\u5ea6\u3002<br \/> \u5355\u94fe\u8868\u4e2d\uff0c\u4e00\u65e6\u5b9a\u4f4d\u597d\u8981\u63d2\u5165\u7684\u4f4d\u7f6e\uff0c\u63d2\u5165\u7684\u65f6\u95f4\u590d\u6742\u5ea6\u662fO(1)\u3002\u4f46\u8fd9\u91cc\u4e3a\u4e86\u4fdd\u8bc1\u539f\u59cb\u94fe\u8868\u4e2d\u6570\u636e\u7684\u6709\u5e8f\u6027\uff0c\u8981\u5148\u627e\u5230\u63d2\u5165\u4f4d\u7f6e\uff0c\u6240\u4ee5\u8fd9\u4e2a\u8fc7\u7a0b\u4e2d\u7684\u67e5\u627e\u64cd\u4f5c\u6bd4\u8f83\u8017\u65f6\u3002<\/p>\n<p>\u5355\u7eaf\u7684\u5355\u94fe\u8868\uff0c\u9700\u904d\u5386\u6bcf\u4e2a\u7ed3\u70b9\u4ee5\u627e\u5230\u63d2\u5165\u7684\u4f4d\u7f6e\u3002\u4f46\u8df3\u8868\u641c\u7d22\u67d0\u7ed3\u70b9\u7684\u7684\u65f6\u95f4\u590d\u6742\u5ea6\u662fO(logn)\uff0c\u6240\u4ee5\u641c\u7d22\u67d0\u6570\u636e\u5e94\u63d2\u5165\u7684\u4f4d\u7f6e\u7684\u65f6\u95f4\u590d\u6742\u5ea6\u4e5f\u662fO(logn)\u3002<\/p>\n<p style=\"text-align: center\"><img decoding=\"async\" src=\"https:\/\/www.17golang.com\/uploads\/20230101\/167254024563b0f055c5868.jpg\" class=\"aligncenter\"><\/p>\n<h3>\u5220\u9664<\/h3>\n<p>\u5982\u679c\u8fd9\u4e2a\u7ed3\u70b9\u5728\u7d22\u5f15\u4e2d\u4e5f\u6709\u51fa\u73b0\uff0c\u9664\u4e86\u8981\u5220\u9664\u539f\u59cb\u94fe\u8868\u7684\u7ed3\u70b9\uff0c\u8fd8\u8981\u5220\u9664\u7d22\u5f15\u4e2d\u7684\u3002<br \/> \u56e0\u4e3a\u5355\u94fe\u8868\u5220\u9664\u64cd\u4f5c\u9700\u62ff\u5230\u8981\u5220\u9664\u7ed3\u70b9\u7684\u524d\u9a71\u7ed3\u70b9\uff0c\u7136\u540e\u901a\u8fc7\u6307\u9488\u5b8c\u6210\u5220\u9664\u3002\u6240\u4ee5\u67e5\u627e\u8981\u5220\u9664\u7ed3\u70b9\u65f6\uff0c\u4e00\u5b9a\u8981\u83b7\u53d6\u524d\u9a71\u7ed3\u70b9\u3002\u82e5\u662f\u53cc\u5411\u94fe\u8868\uff0c\u5c31\u6ca1\u8fd9\u4e2a\u95ee\u9898\u4e86\u3002<\/p>\n<h3>\u8df3\u8868\u7d22\u5f15\u52a8\u6001\u66f4\u65b0<\/h3>\n<p>\u5f53\u4e0d\u505c\u5f80\u8df3\u8868\u63d2\u5165\u6570\u636e\u65f6\uff0c\u82e5\u4e0d\u66f4\u65b0\u7d22\u5f15\uff0c\u5c31\u53ef\u80fd\u51fa\u73b0\u67d02\u4e2a\u7d22\u5f15\u7ed3\u70b9\u4e4b\u95f4\u6570\u636e\u975e\u5e38\u591a\u3002\u6781\u7aef\u60c5\u51b5\u4e0b\uff0c\u8df3\u8868\u8fd8\u4f1a\u9000\u5316\u6210\u5355\u94fe\u8868\u3002<\/p>\n<p style=\"text-align: center\"><img decoding=\"async\" src=\"https:\/\/www.17golang.com\/uploads\/20230101\/167254024663b0f0561aea7.jpg\" class=\"aligncenter\"><\/p>\n<p>\u4f5c\u4e3a\u4e00\u79cd\u52a8\u6001\u6570\u636e\u7ed3\u6784\uff0c\u6211\u4eec\u9700\u8981\u67d0\u79cd\u624b\u6bb5\u6765\u7ef4\u62a4\u7d22\u5f15\u4e0e\u539f\u59cb\u94fe\u8868\u5927\u5c0f\u4e4b\u95f4\u7684\u5e73\u8861\uff0c\u4e5f\u5c31\u662f\u8bf4\uff0c\u5982\u679c\u94fe\u8868\u4e2d\u7ed3\u70b9\u591a\u4e86\uff0c\u7d22\u5f15\u7ed3\u70b9\u5c31\u76f8\u5e94\u5730\u589e\u52a0\u4e00\u4e9b\uff0c\u907f\u514d\u590d\u6742\u5ea6\u9000\u5316\uff0c\u4ee5\u53ca\u67e5\u627e\u3001\u63d2\u5165\u3001\u5220\u9664\u64cd\u4f5c\u6027\u80fd\u4e0b\u964d\u3002<\/p>\n<p>\u50cf\u7ea2\u9ed1\u6811\u3001AVL\u6811\u8fd9\u6837\u7684\u5e73\u8861\u4e8c\u53c9\u6811\u901a\u8fc7\u5de6\u53f3\u65cb\u4fdd\u6301\u5de6\u53f3\u5b50\u6811\u7684\u5927\u5c0f\u5e73\u8861\uff0c\u800c\u8df3\u8868\u662f\u901a\u8fc7\u968f\u673a\u51fd\u6570\u7ef4\u62a4\u524d\u9762\u63d0\u5230\u7684\u201c\u5e73\u8861\u6027\u201d\u3002<\/p>\n<p>\u5f80\u8df3\u8868\u63d2\u5165\u6570\u636e\u65f6\uff0c\u53ef\u4ee5\u9009\u62e9\u540c\u65f6\u5c06\u8fd9\u4e2a\u6570\u636e\u63d2\u5165\u5230\u90e8\u5206\u7d22\u5f15\u5c42\u4e2d\u3002<\/p>\n<blockquote>\n<p>\u90a3\u5982\u4f55\u9009\u62e9\u52a0\u5165\u54ea\u4e9b\u7d22\u5f15\u5c42\u5462\uff1f<\/p>\n<\/blockquote>\n<p>\u901a\u8fc7\u4e00\u4e2a\u968f\u673a\u51fd\u6570\u51b3\u5b9a\u5c06\u8fd9\u4e2a\u7ed3\u70b9\u63d2\u5165\u5230\u54ea\u51e0\u7ea7\u7d22\u5f15\u4e2d\uff0c\u6bd4\u5982\u968f\u673a\u51fd\u6570\u751f\u6210\u4e86\u503cK\uff0c\u90a3\u5c31\u628a\u8fd9\u4e2a\u7ed3\u70b9\u6dfb\u52a0\u5230\u7b2c\u4e00\u7ea7\u5230\u7b2cK\u7ea7\u8fd9K\u7ea7\u7d22\u5f15\u4e2d\u3002<\/p>\n<p style=\"text-align: center\"><img decoding=\"async\" src=\"https:\/\/www.17golang.com\/uploads\/20230101\/167254024663b0f0565495d.jpg\" class=\"aligncenter\"><\/p>\n<blockquote>\n<p>\u4e3a\u4f55Redis\u8981\u7528\u8df3\u8868\u6765\u5b9e\u73b0\u6709\u5e8f\u96c6\u5408\uff0c\u800c\u4e0d\u662f\u7ea2\u9ed1\u6811\uff1f<\/p>\n<\/blockquote>\n<p>Redis\u4e2d\u7684\u6709\u5e8f\u96c6\u5408\u652f\u6301\u7684\u6838\u5fc3\u64cd\u4f5c\u4e3b\u8981\u652f\u6301\uff1a<\/p>\n<ul>\n<li>\u63d2\u5165\u4e00\u4e2a\u6570\u636e<\/li>\n<li>\u5220\u9664\u4e00\u4e2a\u6570\u636e<\/li>\n<li>\u67e5\u627e\u4e00\u4e2a\u6570\u636e<\/li>\n<li>\u8fed\u4ee3\u8f93\u51fa\u6709\u5e8f\u5e8f\u5217\uff1a\u4ee5\u4e0a\u64cd\u4f5c\uff0c\u7ea2\u9ed1\u6811\u4e5f\u80fd\u5b8c\u6210\uff0c\u65f6\u95f4\u590d\u6742\u5ea6\u8ddf\u8df3\u8868\u4e00\u6837\u3002<\/li>\n<li>\u6309\u7167\u533a\u95f4\u67e5\u627e\u6570\u636e\uff1a\u7ea2\u9ed1\u6811\u7684\u6548\u7387\u4f4e\u4e8e\u8df3\u8868\u3002\u8df3\u8868\u53ef\u4ee5\u505a\u5230<code>O(logn)<\/code>\u5b9a\u4f4d\u533a\u95f4\u7684\u8d77\u70b9\uff0c\u7136\u540e\u5728\u539f\u59cb\u94fe\u8868\u987a\u5e8f\u5f80\u540e\u904d\u5386\u5373\u53ef\u3002<\/li>\n<\/ul>\n<p>\u9664\u4e86\u6027\u80fd\uff0c\u8fd8\u6709\u5176\u5b83\u539f\u56e0\uff1a<\/p>\n<ul>\n<li>\u4ee3\u7801\u5b9e\u73b0\u6bd4\u7ea2\u9ed1\u6811\u597d\u61c2\u3001\u597d\u5199\u591a\u4e86\uff0c\u56e0\u4e3a\u7b80\u5355\u5c31\u4ee3\u8868\u53ef\u8bfb\u6027\u597d\uff0c\u4e0d\u6613\u51fa\u9519<\/li>\n<li>\u8df3\u8868\u66f4\u7075\u6d3b\uff0c\u53ef\u901a\u8fc7\u6539\u53d8\u7d22\u5f15\u6784\u5efa\u7b56\u7565\uff0c\u6709\u6548\u5e73\u8861\u6267\u884c\u6548\u7387\u548c\u5185\u5b58\u6d88\u8017<\/li>\n<\/ul>\n<p>\u56e0\u4e3a\u7ea2\u9ed1\u6811\u6bd4\u8df3\u8868\u8bde\u751f\u66f4\u65e9\uff0c\u5f88\u591a\u7f16\u7a0b\u8bed\u8a00\u4e2d\u7684Map\u7c7b\u578b\uff08\u6bd4\u5982JDK \u7684 HashMap\uff09\u90fd\u662f\u901a\u8fc7\u7ea2\u9ed1\u6811\u5b9e\u73b0\u7684\u3002\u4e1a\u52a1\u5f00\u53d1\u65f6\uff0c\u76f4\u63a5\u4eceJDK\u62ff\u6765\u7528\uff0c\u4f46\u8df3\u8868\u6ca1\u6709\u4e00\u4e2a\u73b0\u6210\u7684\u5b9e\u73b0\uff0c\u53ea\u80fd\u81ea\u5df1\u5b9e\u73b0\u3002<\/p>\n<h2>\u8df3\u8868\u7684\u4ee3\u7801\u5b9e\u73b0\uff08Java \u7248\uff09<\/h2>\n<h3>\u6570\u636e\u7ed3\u6784\u5b9a\u4e49<\/h3>\n<p>\u8868\u4e2d\u7684\u5143\u7d20\u4f7f\u7528\u7ed3\u70b9\u6765\u8868\u793a\uff0c\u7ed3\u70b9\u7684\u5c42\u6570\u5728\u5b83\u88ab\u63d2\u5165\u65f6\u968f\u673a\u8ba1\u7b97\u51b3\u5b9a\uff08\u4e0e\u8868\u4e2d\u5df2\u6709\u7ed3\u70b9\u6570\u76ee\u65e0\u5173\uff09\u3002<\/p>\n<p>\u4e00\u4e2ai\u5c42\u7684\u7ed3\u70b9\u6709i\u4e2a\u524d\u5411\u6307\u9488\uff08java\u4e2d\u4f7f\u7528\u7ed3\u70b9\u5bf9\u8c61\u6570\u7ec4forward\u6765\u8868\u793a\uff09\uff0c\u7d22\u5f15\u4e3a\u4ece1\u5230i\u3002\u7528MaxLevel\u6765\u8bb0\u5f55\u8df3\u8868\u7684\u6700\u5927\u5c42\u6570\u3002<\/p>\n<p>\u8df3\u8868\u7684\u5c42\u6570\u4e3a\u5f53\u524d\u6240\u6709\u7ed3\u70b9\u4e2d\u7684\u6700\u5927\u5c42\u6570\uff08\u5982\u679clist\u4e3a\u7a7a\uff0c\u5219\u5c42\u6570\u4e3a1\uff09\u3002<\/p>\n<p>\u5217\u8868\u5934header\u62e5\u6709\u4ece1\u5230MaxLevel\u7684\u524d\u5411\u6307\u9488\uff1a<\/p>\n<pre>\npublic class SkipList\n   \n     {\n\n    \/\/ \u6700\u9ad8\u5c42\u6570\n    private final int MAX_LEVEL;\n    \/\/ \u5f53\u524d\u5c42\u6570\n    private int listLevel;\n    \/\/ \u8868\u5934\n    private SkipListNode\n    \n      listHead; \/\/ \u8868\u5c3e private SkipListNode\n     \n       NIL; \/\/ \u751f\u6210randomLevel\u7528\u5230\u7684\u6982\u7387\u503c private final double P; \/\/ \u8bba\u6587\u91cc\u7ed9\u51fa\u7684\u6700\u4f73\u6982\u7387\u503c private static final double OPTIMAL_P = 0.25; public SkipList() { \/\/ 0.25, 15 this(OPTIMAL_P, (int)Math.ceil(Math.log(Integer.MAX_VALUE) \/ Math.log(1 \/ OPTIMAL_P)) - 1); } public SkipList(double probability, int maxLevel) { P = probability; MAX_LEVEL = maxLevel; listLevel = 1; listHead = new SkipListNode\n      \n       (Integer.MIN_VALUE, null, maxLevel); NIL = new SkipListNode\n       \n        (Integer.MAX_VALUE, null, maxLevel); for (int i = listHead.forward.length - 1; i &gt;= 0; i--) { listHead.forward[i] = NIL; } } \/\/ \u5185\u90e8\u7c7b class SkipListNode\n        \n          { int key; T value; SkipListNode[] forward; public SkipListNode(int key, T value, int level) { this.key = key; this.value = value; this.forward = new SkipListNode[level]; } } } \n        \n       \n      \n     \n    \n   <\/pre>\n<h3>\u641c\u7d22\u7b97\u6cd5<\/h3>\n<p>\u6309key\u641c\u7d22\uff0c\u627e\u5230\u8fd4\u56de\u8be5key\u5bf9\u5e94\u7684value\uff0c\u672a\u627e\u5230\u5219\u8fd4\u56denull\u3002<\/p>\n<p>\u901a\u8fc7\u904d\u5386forward\u6570\u7ec4\u6765\u9700\u627e\u7279\u5b9a\u7684searchKey\u3002\u5047\u8bbeskip list\u7684key\u6309\u7167\u4ece\u5c0f\u5230\u5927\u7684\u987a\u5e8f\u6392\u5217\uff0c\u90a3\u4e48\u4ece\u8df3\u8868\u7684\u5f53\u524d\u6700\u9ad8\u5c42listLevel\u5f00\u59cb\u5bfb\u627esearchKey\u3002\u5728\u67d0\u4e00\u5c42\u627e\u5230\u4e00\u4e2a\u975e\u5c0f\u4e8esearchKey\u7684\u7ed3\u70b9\u540e\uff0c\u8df3\u5230\u4e0b\u4e00\u5c42\u7ee7\u7eed\u627e\uff0c\u76f4\u5230\u6700\u5e95\u5c42\u4e3a\u6b62\u3002\u90a3\u4e48\u6839\u636e\u6700\u540e\u641c\u7d22\u505c\u6b62\u4f4d\u7f6e\u7684\u4e0b\u4e00\u4e2a\u7ed3\u70b9\uff0c\u5c31\u53ef\u4ee5\u5224\u65adsearchKey\u5728\u4e0d\u5728\u8df3\u8868\u4e2d\u3002<\/p>\n<p>\u5728\u8df3\u8868\u4e2d\u627e8\u7684\u8fc7\u7a0b\uff1a<\/p>\n<p style=\"text-align: center\"><img decoding=\"async\" src=\"https:\/\/www.17golang.com\/uploads\/20230101\/167254024663b0f0568ee0f.jpg\" class=\"aligncenter\">&nbsp;<\/p>\n<h3>\u63d2\u5165\u548c\u5220\u9664\u7b97\u6cd5<\/h3>\n<p>\u90fd\u662f\u901a\u8fc7\u67e5\u627e\u4e0e\u8fde\u63a5\uff08search and splice\uff09\uff1a<\/p>\n<p style=\"text-align: center\"><img decoding=\"async\" src=\"https:\/\/www.17golang.com\/uploads\/20230101\/167254024663b0f056d32a2.jpg\" class=\"aligncenter\"><\/p>\n<p>\u7ef4\u62a4\u4e00\u4e2aupdate\u6570\u7ec4\uff0c\u5728\u641c\u7d22\u7ed3\u675f\u4e4b\u540e\uff0cupdate[i]\u4fdd\u5b58\u7684\u662f\u5f85\u63d2\u5165\/\u5220\u9664\u7ed3\u70b9\u5728\u7b2ci\u5c42\u7684\u5de6\u4fa7\u7ed3\u70b9\u3002<\/p>\n<h3>\u63d2\u5165<\/h3>\n<p>\u82e5key\u4e0d\u5b58\u5728\uff0c\u5219\u63d2\u5165\u8be5key\u4e0e\u5bf9\u5e94\u7684value\uff1b\u82e5key\u5b58\u5728\uff0c\u5219\u66f4\u65b0value\u3002<\/p>\n<p>\u5982\u679c\u5f85\u63d2\u5165\u7684\u7ed3\u70b9\u7684\u5c42\u6570\u9ad8\u4e8e\u8df3\u8868\u7684\u5f53\u524d\u5c42\u6570listLevel\uff0c\u5219\u66f4\u65b0listLevel\u3002<\/p>\n<p>\u9009\u62e9\u5f85\u63d2\u5165\u7ed3\u70b9\u7684\u5c42\u6570randomLevel\uff1a<\/p>\n<p>randomLevel\u53ea\u4f9d\u8d56\u4e8e\u8df3\u8868\u7684\u6700\u9ad8\u5c42\u6570\u548c\u6982\u7387\u503cp\u3002<\/p>\n<p>\u53e6\u4e00\u79cd\u5b9e\u73b0\u65b9\u6cd5\u4e3a\uff0c\u5982\u679c\u751f\u6210\u7684randomLevel\u5927\u4e8e\u5f53\u524d\u8df3\u8868\u7684\u5c42\u6570listLevel\uff0c\u90a3\u4e48\u5c06randomLevel\u8bbe\u7f6e\u4e3alistLevel+1\uff0c\u8fd9\u6837\u65b9\u4fbf\u4ee5\u540e\u7684\u67e5\u627e\uff0c\u5728\u5de5\u7a0b\u4e0a\u662f\u53ef\u4ee5\u63a5\u53d7\u7684\uff0c\u4f46\u540c\u65f6\u4e5f\u7834\u574f\u4e86\u7b97\u6cd5\u7684\u968f\u673a\u6027\u3002<\/p>\n<h3>\u5220\u9664<\/h3>\n<p>\u5220\u9664\u7279\u5b9a\u7684key\u4e0e\u5bf9\u5e94\u7684value\u3002\u5982\u679c\u5f85\u5220\u9664\u7684\u7ed3\u70b9\u4e3a\u8df3\u8868\u4e2d\u5c42\u6570\u6700\u9ad8\u7684\u7ed3\u70b9\uff0c\u90a3\u4e48\u5220\u9664\u4e4b\u540e\uff0c\u8981\u66f4\u65b0listLevel\u3002<\/p>\n<pre>\npublic class SkipList\n   \n     {\n\n    \/\/ \u6700\u9ad8\u5c42\u6570\n    private final int MAX_LEVEL;\n    \/\/ \u5f53\u524d\u5c42\u6570\n    private int listLevel;\n    \/\/ \u8868\u5934\n    private SkipListNode\n    \n      listHead; \/\/ \u8868\u5c3e private SkipListNode\n     \n       NIL; \/\/ \u751f\u6210randomLevel\u7528\u5230\u7684\u6982\u7387\u503c private final double P; \/\/ \u8bba\u6587\u91cc\u7ed9\u51fa\u7684\u6700\u4f73\u6982\u7387\u503c private static final double OPTIMAL_P = 0.25; public SkipList() { \/\/ 0.25, 15 this(OPTIMAL_P, (int)Math.ceil(Math.log(Integer.MAX_VALUE) \/ Math.log(1 \/ OPTIMAL_P)) - 1); } public SkipList(double probability, int maxLevel) { P = probability; MAX_LEVEL = maxLevel; listLevel = 1; listHead = new SkipListNode\n      \n       (Integer.MIN_VALUE, null, maxLevel); NIL = new SkipListNode\n       \n        (Integer.MAX_VALUE, null, maxLevel); for (int i = listHead.forward.length - 1; i &gt;= 0; i--) { listHead.forward[i] = NIL; } } \/\/ \u5185\u90e8\u7c7b class SkipListNode\n        \n          { int key; T value; SkipListNode[] forward; public SkipListNode(int key, T value, int level) { this.key = key; this.value = value; this.forward = new SkipListNode[level]; } } public T search(int searchKey) { SkipListNode\n         \n           curNode = listHead; for (int i = listLevel; i &gt; 0; i--) { while (curNode.forward[i].key [] update = new SkipListNode[MAX_LEVEL]; SkipListNode\n          \n            curNode = listHead; for (int i = listLevel - 1; i &gt;= 0; i--) { while (curNode.forward[i].key newNode = new SkipListNode\n           \n            (searchKey, newValue, lvl); for (int i = 0; i [] update = new SkipListNode[MAX_LEVEL]; SkipListNode\n            \n              curNode = listHead; for (int i = listLevel - 1; i &gt;= 0; i--) { while (curNode.forward[i].key 0 &amp;&amp; listHead.forward[listLevel - 1] == NIL) { listLevel--; } } } private int randomLevel() { int lvl = 1; while (lvl = 0; i--) { SkipListNode\n             \n               curNode = listHead.forward[i]; while (curNode != NIL) { System.out.print(curNode.key + \"-&gt;\"); curNode = curNode.forward[i]; } System.out.println(\"NIL\"); } } public static void main(String[] args) { SkipList\n              \n                sl = new SkipList\n               \n                (); sl.insert(20, 20); sl.insert(5, 5); sl.insert(10, 10); sl.insert(1, 1); sl.insert(100, 100); sl.insert(80, 80); sl.insert(60, 60); sl.insert(30, 30); sl.print(); System.out.println(\"---\"); sl.delete(20); sl.delete(100); sl.print(); } } \n               \n              \n             \n            \n           \n          \n         \n        \n       \n      \n     \n    \n   <\/pre>\n","protected":false},"excerpt":{"rendered":"<p>\u4e3a\u4f55Redis\u4f7f\u7528\u8df3\u8868\u800c\u975e\u7ea2\u9ed1\u6811&#46;&#46;&#46;<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[101],"tags":[],"class_list":["post-201261","post","type-post","status-publish","format-standard","hentry","category-database"],"_links":{"self":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts\/201261","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/comments?post=201261"}],"version-history":[{"count":0,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts\/201261\/revisions"}],"wp:attachment":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/media?parent=201261"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/categories?post=201261"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/tags?post=201261"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}