严格隐式优先队列：关于移动次数与最坏情况时间

Williams (1964) 的二叉堆是一种简单的优先队列，其特点仅存储一个包含元素和元素数量 $n$ 的数组——这里称为严格隐式优先队列。我们介绍了两种新的严格隐式优先队列。第一种结构支持摊还 $O(1)$ 时间的 Insert 和 $O(\log n)$ 时间的 ExtractMin 操作，且两种操作均需摊还 $O(1)$ 次元素移动。此前没有具有 $O(1)$ 时间 Insert 的隐式堆能在两种操作上均以 $O(1)$ 次移动实现。第二种结构支持最坏情况 $O(1)$ 时间 Insert 和 $O(\log n)$ 时间（及移动）的 ExtractMin 操作。先前的结果要么是摊还的，要么需要在操作间额外维护 $O(\log n)$ 比特的状态信息。