[2018年最新整理]4最小最大堆.ppt

高级数据结构 ——最小最大堆 Min-Max Heap 双端优先队列 与 最小最大堆 Min-max heap 假設已存在一棵min-max heap如下： Min-max heap (con.t) 刪除40 則需以最後一個節點的鍵值18取代40 Min-max heap (con.t) 交換後1819，不符合第一項定義，將18與19交換 Min-max heap (con.t) 交換後，由於19小於32、28、34、31，不符合第三項定義，將19與最大的鍵值34交換 Min-max heap (con.t) * * 双端优先队列是一种支持下列操作的数据结构： （1） 插入一个具有任意key值的元素 （2） 删除key值最大的元素 （3） 删除key值最小的元素 当只需要支持两个删除操作之一时 采用最小堆或最大堆 支持以上全部操作 最小最大堆 定义：最小最大堆是一棵完全二叉树，且其中每个元素有一个key数据成员。树的各层交替为最小层和最大层。根结点在最小层。设x是最小最大堆的任意结点。若x在最小（最大）层上，则x中的元素的key值在以x为根的子树的所有元素中是最小（最大）的。位于最小（最大）层的结点称为最小（最大）结点。 Min-Max Heap 依序插入10和80 1. 2. 3. 4. 5.新節點80位於max level且大於其父節點12，故不交換。 6. template class Type void MinMaxHeapType::Insert(const ElementTypex ) { if (n == MaxSize ) { MinMaxFull( ); return;} n++; int p = n/2; // p是新结点的双亲 if (!p) {h[1] = x; return;} // 插入初始时为空的堆 switch (level(p)) { case MIN: if (x.key h[p].key) { // 沿着最小层检查 h[n]=h[p]; VerifyMin(p, x); } else VerifyMax(n, x); // 沿着最大层检查 break; case MAX: if (x.key h[p].key) { // 沿着最大层检查 h[n]=h[p]; VerifyMax(p, x); } else VerifyMin(n, x); // 沿着最小层检查 } // switch结束 } // Insert结束 函数level确定一个结点是位于最小最大堆的最小层，还是位于最大层 当?log2(j + 1)?为偶数时，结点j位于最大层，否则位于最小层 template class Type void MinMaxHeapType::VerifyMax (int i, const ElementKeyTypex ) { // 沿着从最大结点i // 到根结点的路径检查最大结点，将x插入正确位置 for (int gp = i/4; gp (x.key h[gp].key); gp /=4) { // gp是 i的祖父 h[i] = h[gp]; // 将h[gp]移到h[i] i = gp; } h[i] = x; // 将x插入结点i } 函数VerifyMax从最大结点i开始，沿着从结点i到最小最大堆的根的路径检查最大结点，查找插入元素x的正确结点。在查找过程中，key值小于x.key的元素被移到下一个最大层 函数VerifyMin与VerifyMax类似，所不同的是，前者从最小结点i开始，沿着从结点i到根的路径检查最小结点，将元素x插入正确位置。 分析：由于n个元素的最小最大堆有O(log n)层，成员函数Insert的时间复杂性是O(log n)。 Min-Max Heap中刪除最小结点 1. 2. 3. 40 50 19 13 10 15 32 28 34 31 18 5 45 min max min max 刪除45 40 50 19 13 10 15 32 28 34 31 18 5 min max min max min max min max