跳跃列表

✍ dations ◷ 2025-06-08 03:27:57 #数据结构,概率性数据结构

在计算机科学中，跳跃列表是一种数据结构。它使得包含n个元素的有序序列的查找和插入操作的平均时间复杂度都是 $O(\log n)$ $O(\log n)$ ，优于数组的 $O(n)$ $O(n)$ 复杂度。

快速的查询效果是通过维护一个多层次的链表实现的，且与前一层（下面一层）链表元素的数量相比，每一层链表中的元素的数量更少（见右下角示意图）。一开始时，算法在最稀疏的层次进行搜索，直至需要查找的元素在该层两个相邻的元素中间。这时，算法将跳转到下一个层次，重复刚才的搜索，直到找到需要查找的元素为止。跳过的元素的方法可以是随机性选择或确定性选择，其中前者更为常见。

跳跃列表是按层建造的。底层是一个普通的有序链表。每个更高层都充当下面列表的“快速通道”，这里在第 $i {\displaystyle i}$ $i$ 层中的元素按某个固定的概率 $p {\displaystyle p}$ $p$ （通常为 ${\frac {1}{2}}$ ${\frac {1}{2}}$ 或 ${\frac {1}{4}}$ $\frac{1}{4}$ ）出现在第 $i+1$ $i+1$ 层中。每个元素平均出现在 ${\frac {1}{1-p}}$ ${\frac {1}{1-p}}$ 个列表中，而最高层的元素（通常是在跳跃列表前端的一个特殊的头元素）在 $\log _{1/p}n$ $\log _{1/p}n$ 个列表中出现。

在查找目标元素时，从顶层列表、头元素起步。算法沿着每层链表搜索，直至找到一个大于或等于目标的元素，或者到达当前层列表末尾。如果该元素等于目标元素，则表明该元素已被找到；如果该元素大于目标元素或已到达链表末尾，则退回到当前层的上一个元素，然后转入下一层进行搜索。每层链表中预期的查找步数最多为 ${\frac {1}{p}}$ $\frac{1}{p}$ ，而层数为 $\log _{1/p}n$ $\log _{1/p}n$ ，所以查找的总体步数为 $-{\frac {\log _{p}n}{p}}$ $-{\frac {\log _{p}n}{p}}$ ，由于 $p {\displaystyle p}$ $p$ 是常数，查找操作总体的时间复杂度为 ${\mathcal {O}}(\log n)\,$ ${\mathcal {O}}(\log n)\,$ 。而通过选择不同 $p {\displaystyle p}$ $p$ 值，就可以在查找代价和存储代价之间获取平衡。

跳跃列表不像平衡树等数据结构那样提供对最坏情况的性能保证：由于用来建造跳跃列表采用随机选取元素进入更高层的方法，在小概率情况下会生成一个不平衡的跳跃列表（最坏情况例如最底层仅有一个元素进入了更高层，此时跳跃列表的查找与普通列表一致）。但是在实际中它通常工作良好，随机化平衡方案也比平衡二叉查找树等数据结构中使用的确定性平衡方案容易实现。跳跃列表在并行计算中也很有用：插入可以在跳跃列表不同的部分并行地进行，而不用对数据结构进行全局的重新平衡。

因为跳跃列表中的元素可以在多个列表中，所以每个元素可以有多于一个指针。

跳跃列表的插入和删除的实现与普通的链表操作类似，但高层元素必须在进行多个链表中进行插入或删除。

跳跃列表的最坏时间性能具有一定随机性，但是可以通过时间复杂度为 ${\mathcal {O}}(n)$ $\mathcal{O}(n)$ 的遍历操作（例如在打印列表全部内容时）以无随机的算法重整列表的结构，从而使跳跃列表的实际查找时间复杂度尽量符合理论平均值 ${\mathcal {O}}(\log n)$ ${\mathcal {O}}(\log n)$ 。

除了使用无随机算法之外，我们可以以下面的准随机方式地生成每一层：

make all nodes level 1j ← 1while the number of nodes at level j > 1 do  for each i'th node at level j do    if i is odd       if i is not the last node at level j        randomly choose whether to promote it to level j+1      else        do not promote      end if    else if i is even and node i-1 was not promoted      promote it to level j+1    end if  repeat  j ← j + 1repeat

类似无随机版本，准随机重整仅在需要执行一个 ${\mathcal {O}}(n)$ $\mathcal{O}(n)$ 操作（访问每个节点）的时候伴随进行。

跳跃列表由威廉·普（英语：William Pugh）发明。发明者对跳跃列表的评价是：“跳跃列表是在很多应用中有可能替代平衡树而作为实现方法的一种数据结构。跳跃列表的算法有同平衡树一样的渐进的预期时间边界，并且更简单、更快速和使用更少的空间。”

相关

意大利海军意大利海军是意大利共和国的海军部队，是意大利军队的四个分支之一，由前意大利王国的意大利皇家海军（Regia Marina）演变而来，形成于1946年。目前的意大利海军服役有3.7万名海军官
卡瓦纳大厦卡瓦纳大厦 (Edificio Kavanagh)位于阿根廷布宜诺斯艾利斯雷蒂罗区佛罗里达街1065号，俯瞰圣马丁广场。由当地建筑师格雷戈里奥·桑切斯、埃内斯托·拉各斯和路易斯·玛丽亚·
壮文壮文（壮语：Sawcuengh），又称拼音壮文，是一套使用拉丁字母来记录标准壮语的全音素文字，是壮语的官方书写系统。壮文于1955年创制，1982年修订。修订后的现行壮文又称“新壮文”。壮文
枕头山枕头山，是台湾宜兰县员山乡的一个传统地域名称，位于该乡东北部。相较于今日行政区，其范围大致为枕山村东部。台湾清治末期，枕头山地区为一街庄，称为“枕头山庄”，隶属于员山堡。该
格氏貂（M. gwatkinsii）格氏貂（Martes gwatkinsii）是唯一生活在南印度的貂。它们分布在尼尔吉里丘陵及西高止山脉。格氏貂与黄喉貂相似，但体型较大，其前额亦明显凹陷。它们背部深色，喉咙呈黄色至橙色。
古斯塔夫·达伦古斯塔夫·达伦（Gustaf Dalén，1869年11月30日－1937年12月9日），瑞典物理学家和发明家，研究领域为机械工程的应用。1912年因为发明结合燃点航标、燃点浮标和蓄电池等功能的自动调节
2011年4月逝世人物列表2011年4月逝世人物列表，是用于汇总2011年4月期间逝世人物的列表。
曼纳岛曼纳岛是斯里兰卡的岛屿，位该国北部，属于马纳尔区的一部分，该岛屿与主岛以堤道相隔，面积50平方公里，该岛屿干燥贫瘠，主要经济活动是渔业。坐标：9°03′N 79°50′E / 9.050°N 79.8
珠袖蝶珠袖蝶（学名：）是珠袖蝶属中的单型种，原生于由巴西至德克萨斯州南部及佛罗里达州等地，且在夏季时，有时最北会至内布拉斯加州的西部。超过15个亚种已被描述。它的翅展为82毫米至92毫
濑户内海国立公园濑户内海国立公园是日本海上国家公园。1934年设立。濑户内海国立公园范围包括日本濑户内海全域，东起纪淡海峡，西至周防滩，以及环内海的和歌山县、兵库县、冈山县、广岛县、山口