http://blog.csdn.net/xiajun07061225/article/details/8553808
堆簡介
堆並不是STL的組件,但是經常充當着底層實現結構。比如優先級隊列(Priority Queue)等等。
堆是一種完全二叉樹,因此我們可以用數組來存儲所有節點。在這裏的實現中,採用了一個技巧:將數組中索引爲0的元素保留,設置爲極大值或者爲極小值(依據大頂堆或者小頂堆而定)。那麼當某個節點的索引是i時,其左子節點索引爲2*i,右子節點索引爲2*i+1.父節點是i/2(這裏/表示高斯符號,取整)。這種以數組表示樹的方式,我們成爲隱式表述法(implicit reprentation)。我們這裏用C++ STL中的容器vector實現替代數組的功能。
堆分爲大頂堆和小頂堆。這裏介紹並實現的是大頂堆。
堆的主要相關算法介紹
push_heap算法
此操作是向堆中添加一個節點。爲了滿足完全二叉樹的條件,新加入的元素一定放在最下面的一層作爲葉節點,並填補在由左至右的第一個空格,在這裏放在底層容器vector的end()處。
很顯然,新元素的加入很可能使得堆不在滿足大頂堆的性質---每個節點的鍵值都大於或等於其子節點的鍵值。爲了調整使得其重新滿足大頂堆的特點,在這裏執行一個上溯(percolate up)操作:將新節點與父節點比較,如果其鍵值比父節點大,就交換父子的位置,如此一直上溯,直到不需要交換或者到根節點爲止。
pop_heap算法
此操作取走根節點。對於大頂堆,取得的是堆中值最大的節點,對於小頂堆,取得的是堆中值最小的節點。STL實現並不是將這個節點直接刪除,而是將其放在底層容器vector的尾端。而原尾端的節點插入到前面的適當位置。
我們首先保存原vector尾端的節點值,然後將根節點值存儲在此處。爲了實將原尾端節點的值插入適當位置,重新構建大頂堆,我們實施如下調整堆的操作:
先執行下溯(percolate down)操作:從根節點開始將空洞節點(一開始是根節點)和較大子節點交換,並持續向下進行,直到到達葉節點爲止。然後將已保存的原容器vector尾端節點賦給這個已到達葉層的空洞節點。
注意,到這裏並沒有結束。因爲這時候可能還沒有滿足大頂堆的特性。還需要執行一次上溯操作。這樣,便重新構建了大頂堆。
make_heap算法
此操作是依據已有的各元素構建堆。
其中,各元素已經存放在底層容器vector中。
構建堆實質是一個不斷調整堆(即前面pop_heap算法中的調整堆的操作)的過程---通過不斷調整子樹,使得子樹滿足堆的特性來使得整個樹滿足堆的性質。
葉節點顯然需要調整,第一個需要執行調整操作的子樹的根節點是從後往前的第一個非葉結點。從此節點往前到根節點對每個子樹執行調整操作,即可構建堆。
sort_heap算法
堆排序算法。執行此操作之後,容器vector中的元素按照從小到大的順序排列。
構建大頂堆之後,不斷執行pop_heap算法取出堆頂的元素,即可。因爲每次取得的是最大的元素,將其放在容器vector的最尾端。所以到最後vector中的元素是從小到大排列的。
編程實現(C plus plus)
詳細代碼包括兩個文件Heap.h以及HeapTest.cpp:
Heap.h:
- //STL堆算法實現(大頂堆)
- //包含容器vector的頭文件:Heap用vector來存儲元素
- #include <vector>
- #include <iostream>
- #include <functional>
- #define MAX_VALUE 999999 //某個很大的值,存放在vector的第一個位置(最大堆)
- const int StartIndex = 1;//容器中堆元素起始索引
- using namespace std;
- //堆類定義
- //默認比較規則less
- template <class ElemType,class Compare = less<ElemType> >
- class MyHeap{
- private:
- vector<ElemType> heapDataVec;//存放元素的容器
- int numCounts;//堆中元素個數
- Compare comp;//比較規則
- public:
- MyHeap();
- vector<ElemType> getVec();
- void initHeap(ElemType *data,const int n);//初始化操作
- void printfHeap();//輸出堆元素
- void makeHeap();//建堆
- void sortHeap();//堆排序算法
- void pushHeap(ElemType elem);//向堆中插入元素
- void popHeap();//從堆中取出堆頂的元素
- void adjustHeap(int childTree,ElemType adjustValue);//調整子樹
- void percolateUp(int holeIndex,ElemType adjustValue);//上溯操作
- };
- template <class ElemType,class Compare>
- MyHeap<ElemType,Compare>::MyHeap()
- :numCounts(0)
- {
- heapDataVec.push_back(MAX_VALUE);
- }
- template <class ElemType,class Compare>
- vector<ElemType> MyHeap<ElemType,Compare>::getVec()
- {
- return heapDataVec;
- }
- template <class ElemType,class Compare>
- void MyHeap<ElemType,Compare>::initHeap(ElemType *data,const int n)
- {
- //拷貝元素數據到vector中
- for (int i = 0;i < n;++i)
- {
- heapDataVec.push_back(*(data + i));
- ++numCounts;
- }
- }
- template <class ElemType,class Compare>
- void MyHeap<ElemType,Compare>::printfHeap()
- {
- cout << "Heap : ";
- for (int i = 1;i <= numCounts;++i)
- {
- cout << heapDataVec[i] << " ";
- }
- cout << endl;
- }
- template <class ElemType,class Compare>
- void MyHeap<ElemType,Compare>::makeHeap()
- {
- //建堆的過程就是一個不斷調整堆的過程,循環調用函數adjustHeap依次調整子樹
- if (numCounts < 2)
- return;
- //第一個需要調整的子樹的根節點多音
- int parent = numCounts / 2;
- while(1)
- {
- adjustHeap(parent,heapDataVec[parent]);
- if (StartIndex == parent)//到達根節點
- return;
- --parent;
- }
- }
- template <class ElemType,class Compare>
- void MyHeap<ElemType,Compare>::sortHeap()
- {
- //堆排序思路
- //每執行一次popHeap操作,堆頂的元素被放置在尾端,然後針對前面的一次再執行popHeap操作
- //依次下去,最後即得到排序結果
- while(numCounts > 0)
- popHeap();
- }
- template <class ElemType,class Compare>
- void MyHeap<ElemType,Compare>::pushHeap(ElemType elem)
- {
- //將新元素添加到vector中
- heapDataVec.push_back(elem);
- ++numCounts;
- //執行一次上溯操作,調整堆,以使其滿足最大堆的性質
- percolateUp(numCounts,heapDataVec[numCounts]);
- }
- template <class ElemType,class Compare>
- void MyHeap<ElemType,Compare>::popHeap()
- {
- //將堆頂的元素放在容器的最尾部,然後將尾部的原元素作爲調整值,重新生成堆
- ElemType adjustValue = heapDataVec[numCounts];
- //堆頂元素爲容器的首元素
- heapDataVec[numCounts] = heapDataVec[StartIndex];
- //堆中元素數目減一
- --numCounts;
- adjustHeap(StartIndex,adjustValue);
- }
- //調整以childTree爲根的子樹爲堆
- template <class ElemType,class Compare>
- void MyHeap<ElemType,Compare>::adjustHeap(int childTree,ElemType adjustValue)
- {
- //洞節點索引
- int holeIndex = childTree;
- int secondChid = 2 * holeIndex + 1;//洞節點的右子節點(注意:起始索引從1開始)
- while(secondChid <= numCounts)
- {
- if (comp(heapDataVec[secondChid],heapDataVec[secondChid - 1]))
- {
- --secondChid;//表示兩個子節點中值較大的那個
- }
- //上溯
- heapDataVec[holeIndex] = heapDataVec[secondChid];//令較大值爲洞值
- holeIndex = secondChid;//洞節點索引下移
- secondChid = 2 * secondChid + 1;//重新計算洞節點右子節點
- }
- //如果洞節點只有左子節點
- if (secondChid == numCounts + 1)
- {
- //令左子節點值爲洞值
- heapDataVec[holeIndex] = heapDataVec[secondChid - 1];
- holeIndex = secondChid - 1;
- }
- //將調整值賦予洞節點
- heapDataVec[holeIndex] = adjustValue;
- //此時可能尚未滿足堆的特性,需要再執行一次上溯操作
- percolateUp(holeIndex,adjustValue);
- }
- //上溯操作
- template <class ElemType,class Compare>
- void MyHeap<ElemType,Compare>::percolateUp(int holeIndex,ElemType adjustValue)
- {
- //將新節點與其父節點進行比較,如果鍵值比其父節點大,就父子交換位置。
- //如此,知道不需要對換或直到根節點爲止
- int parentIndex = holeIndex / 2;
- while(holeIndex > StartIndex && comp(heapDataVec[parentIndex],adjustValue))
- {
- heapDataVec[holeIndex] = heapDataVec[parentIndex];
- holeIndex = parentIndex;
- parentIndex /= 2;
- }
- heapDataVec[holeIndex] = adjustValue;//將新值放置在正確的位置
- }
main.cpp:
- #include "Heap.h"
- #include <iostream>
- using namespace std;
- int main()
- {
- const int n = 9;
- int data[n] = {0,1,2,3,4,8,9,3,5};
- MyHeap<int> *intHeapObj = new MyHeap<int>;
- intHeapObj->initHeap(data,n);
- intHeapObj->printfHeap();
- intHeapObj->makeHeap();
- intHeapObj->printfHeap();
- intHeapObj->pushHeap(7);
- intHeapObj->printfHeap();
- intHeapObj->popHeap();
- cout << "The top of heap :" << intHeapObj->getVec().back() << endl;
- intHeapObj->getVec().pop_back();
- intHeapObj->printfHeap();
- intHeapObj->sortHeap();
- cout << "Sorted data :";
- for (int i = 1;i <= n;++i)
- cout << intHeapObj->getVec()[i] << " ";
- cout << endl;
- delete intHeapObj;
- return 0;
- }
運行環境:Win7 + VS2008.
運行結果: