王晓斌的专栏

Take honour from me and my life is undone.

【数据结构】堆 Heap

1. 堆的定义:

堆(Heap) - 也叫做优先队列(Priority Queue);二叉堆是一个完全二叉树或近似完全二叉树。满足如下的两个属性:

1 父节点的键值总是大于或等于(小于或等于)它的任意一个子节点的键值(顺序性);

2 堆总是一个完全二叉树;

将根节点最大的堆叫做最大堆;根节点最小的堆叫做最小堆


2. 堆的存储:

可以采用数组来表示堆;我们使用下标1作为数组的开始;声明数组X[n + 1],空出元素X[0],根位于X[1],它的两个子节点分别位于X[2],X[3],... ...

堆的典型定义如下(数组X满足如下条件):

{

    root 节点索引:1

    left child(i)    当前节点i的左子节点索引:2 × i

    right child(i) 当前节点i的右子节点索引:2×i + 1

    parent(i)       当前节点i的父节点的索引值:i/2

}

示例如下:X[1, ... ... n]



3. 堆的操作:

两个关键的函数:siftup,siftdown:

3.1. siftup:

描述:现有数组X[1,... ..., n-1]为一个堆,插入一个新的元素在位置X[n]上,新的元素的键值可能小于其父节点,此时需将该节点向上调整,是X[1,... ... n]重新成为一个堆;


/**
 * @param newItem the new inserted item
 * @param n       the current index in the array X for the newItem, initially it is the last index of the array + 1
 */
void siftup(T newItem, int n)
{
    int currentIndex = n;
	
    for (int parentIndex = ParentIndex(currentIndex); parentIndex > 0 && newItem < X[parentIndex]; )
	{
	    X[currentIndex] = X[parentIndex];
		currentIndex = parentIndex;
		parentIndex = ParentIndex(parentIndex);
	}
}

3.2. siftdown:

描述:现有数组X[1,... ...n]为一个堆,给X[1]分配一个新的值,重新调整使X重新满足堆的条件;


/**
 * @param n the replaced node index, initially n = 1, replace the root node
 * @param newItem the new replaced value on X[n]
 */
void siftdown(int n, T newItem)
{
    int currentIndex = n;
	
	// If current node owns child node(s), check
    while (getLeftChildIndex(currentIndex) > heapSize)
	{
	    int leftChildIndex = getLeftChildIndex(currentIndex);
	    int rightChildIndex = getRightChildIndex(currentIndex);
	
	    // get the index whose item value is the less one.
        int minItemIndex = (rightChildIndex < heapSize) ? (X[leftChildIndex] < X[rightChildIndex] ? leftChildIndex : rightChildIndex) : (leftChildIndex);
		
		if (newItem > X[minItemIndex])
		{
		    X[currentIndex] = X[minItemIndex]; // swap value
			currentIndex = minItemIndex;
		}else
		{
		    // exit
			break;
		}
	}	
	X[currentIndex] = newItem;
}

3.3. 堆插入元素insert:

描述:每次插入都是将新数据放在数组的最后;然后向上调整使其重新满足堆条件;

void insert(T newItem)
{
    siftUp(newItem, heapSize);
}


3.4. 堆删除元素delete:

描述:堆中每次只能删除根节点X[1];为了便于重建堆,实际的操作是将最后一个数据的值赋给根节点,然后再向下调整,使其满足堆条件;

T delete()
{
    T deletedItem = X[1];
	
    heapSize -= 1;
    siftdown(1, X[n]);
	
    return deletedItem;
}

3.5. 堆排序:

描述:堆X[1, ... ... n]建好之后,X[1]为最小的元素;将X[1]取出,放在X[n]位置上,然后将原来的X[n]放在X[1]上,向下调整,得到新的堆X[1,... ... n - 1];然后将新堆的X[1]放在X[n - 1]上,X[n - 1]放到X[1]上,siftdown得到新的堆X[1, ... ... n-2];重复上面过程直到X[1]与X[2]交换为止;

void sort()
{
    for (int i = n; i > 1; i--)
	{
	    swap(X[1], X[i]);
	    heapSize -= 1; // reduce the heap size.
	    siftdown(1, X[1]); // current X[1] is the new value which is the X[i] before the swaption.
	}
}

3.6. 堆操作的动态演示:

http://www.benfrederickson.com/2013/10/10/heap-visualization.html


4. C++ STL中的堆操作:



阅读更多
文章标签: 数据结构 heap
个人分类: 数据结构&算法
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

不良信息举报

【数据结构】堆 Heap

最多只允许输入30个字

加入CSDN,享受更精准的内容推荐,与500万程序员共同成长!
关闭
关闭