一、引言
堆结构其实本身也是树结构，堆比较主流的实现是使用二叉树来表示一个堆结构，称为二叉堆（Binary Heap）。二叉堆是一颗完全二叉树；二叉堆（最大堆）中某个节点的值总是不大于其父节点的值；二叉堆（最小堆）中某个节点的值总是小于等于其孩子节点的值
- 二叉堆是一颗完全二叉树
- 二叉堆（最大堆）中某个节点的值总是不大于其父节点的值
- 二叉堆（最小堆）中某个节点的值总是小于等于其孩子节点的值
二、实现
1、基于动态数组实现最大堆
- 动态数组实现类
import org.omg.CORBA.Object;
/**
* 动态数组，数组二次封装
*/
public class Array<E> {
/**
* 基于Java原生数组，保存数据的容器
*/
private E[] data;
/**
* 当前元素个数
*/
private int size;
public Array(int capacity) {
data = (E[]) new Object[capacity];
size = 0;
}
/**
* 默认数组容量capacity=10
*/
public Array() {
this(10);
}
public Array(E[] arr) {
data = (E[]) new Object[arr.length];
for (int i = 0; i < arr.length; i++) {
data[i] = arr[i];
}
size = arr.length;
}
/**
* 获取数组中元素个数
* @return
*/
public int getSize() {
return size;
}
/**
* 获取数组的容量
* @return
*/
public int getCapacity() {
return data.length;
}
/**
* 判断数组是否为空
* @return
*/
public boolean isEmpty() {
return size == 0;
}
/**
* 在所有元素后面添加新元素
* @param e 元素
*/
public void addLast(E e) {
add(size, e);
}
/**
* 在所有元素前面添加新元素
* @param e 元素
*/
public void addFirst(E e) {
add(0, e);
}
/**
* 向index索引位置插入一个新元素e
* @param index 数组索引位置
* @param e 元素
*/
public void add(int index, E e) {
if (index < 0 || index > size) {
throw new IllegalArgumentException("addList failed. index < 0 || index > size");
}
//空间不足，扩容
if (size == data.length) {
resize(2 * data.length);
}
for (int i = size - 1; i >= index; i--) {
data[i + 1] = data[i];
}
data[index] = e;
size++;
}
/**
* 根据元素索引获取数组元素
* @param index 索引
* @return
*/
public E get(int index) {
if (index < 0 || index >= size) {
throw new IllegalArgumentException("get failed. index is illegal");
}
return data[index];
}
/**
* 根据元素索引修改数组元素
* @param index 索引
* @param e 元素
* @return
*/
public void set(int index, E e) {
if (index < 0 || index >= size) {
throw new IllegalArgumentException("get failed. index is illegal");
}
data[index] = e;
}
/**
* 判断包含元素
* @param e 元素
* @return
*/
public boolean contains(E e) {
for (int i = 0; i < size; i++) {
if (data[i].equals(e)) {
return true;
}
}
return false;
}
/**
* 查找元素索引
* @param e 元素
* @return 返回元素索引，如果不存在则返回-1
*/
public int find(E e) {
for (int i = 0; i < size; i++) {
if (data[i].equals(e)) {
return i;
}
}
return -1;
}
/**
* 移除指定索引的元素
* @param index 索引
* @return 返回被移除的元素
*/
public E remove(int index) {
if (index < 0 || index >= size) {
throw new IllegalArgumentException("get failed. index is illegal");
}
E ret = data[index];
for (int i = index + 1; i < size; i++) {
data[i - 1] = data[i];
}
size--;
data[size] = null;
//空间利用率低，数组缩容，防止复杂度震荡
if (size == data.length / 4 && data.length / 2 != 0) {
resize(data.length / 2);
}
return ret;
}
/**
* 移除第一个元素
* @return 返回被移除元素
*/
public E removeFirst() {
return remove(0);
}
/**
* 移除最后一个元素
* @return 返回被移除元素
*/
public E removeLast() {
return remove(size - 1);
}
/**
* 移除数组中一个元素
* @param e 元素
*/
public void removeElement(E e) {
int index = find(e);
if (index != -1) {
remove(index);
}
}
/**
* 数组容器扩容、缩容
* @param newCapacity 新的容量
*/
private void resize(int newCapacity) {
E[] newData = (E[]) new Object[newCapacity];
for (int i = 0; i < size; i++) {
newData[i] = data[i];
}
data = newData;
}
/**
* 交换数组中两个索引对应的元素
* @param i 元素
* @param j 元素
*/
public void swap(int i, int j) {
if (i < 0 || i >= size || j < 0 || j >= size) {
throw new IllegalArgumentException("index is illegal");
}
E e = data[i];
data[i] = data[j];
data[j] = e;
}
@Override
public String toString() {
StringBuilder res = new StringBuilder();
res.append(String.format("Array: size = %d, capacity = %d\n", size, data.length));
res.append("[");
for (int i = 0; i < size; i++) {
res.append(data[i]);
if (i != size - 1) {
res.append(", ");
}
}
res.append("]");
return res.toString();
}
}
- 基于动态数组实现最大堆
/**
* 基于动态数组实现最大堆
* @param <E>
*/
public class MaxHeap<E extends Comparable<E>> {
private Array<E> data;
public MaxHeap(int capacity) {
data = new Array<>(capacity);
}
public MaxHeap() {
data = new Array<>();
}
/**
* 普通数组堆化
* @param arr
*/
public MaxHeap(E[] arr) {
data = new Array<>(arr);
//从第一个非叶子节点（叶子节点无需下沉操作）开始遍历，并且执行下沉操作，完成堆化
for (int i = parent(arr.length - 1); i >= 0; i--) {
siftDown(i);
}
}
/**
* 获取堆中元素个数
* @return
*/
public int size() {
return data.getSize();
}
/**
* 判断堆中是否为空
* @return
*/
public boolean isEmpty() {
return data.isEmpty();
}
/**
* 返回二叉堆的数组表示中，一个索引所表示的元素的父亲节点的索引
* @param index 节点在数组中的索引
* @return
*/
private int parent(int index) {
if (index == 0) {
throw new IllegalArgumentException("index-0 doesn't have parent");
}
return (index - 1) / 2;
}
/**
* 返回二叉堆的数组表示中，一个索引所表示的元素的左孩子节点的索引
* @param index 节点在数组中的索引
* @return
*/
private int leftChild(int index) {
return index * 2 + 1;
}
/**
* 返回二叉堆的数组表示中，一个索引所表示的元素的右孩子节点的索引
* @param index 节点在数组中的索引
* @return
*/
private int rightChild(int index) {
return index * 2 + 2;
}
/**
* 向堆中添加元素
* @param e 待添加元素
*/
public void add(E e) {
data.addLast(e);
siftUp(data.getSize() - 1);
}
/**
* 堆中元素上浮
* @param k 元素索引
*/
private void siftUp(int k) {
//当前节点的元素比父亲节点的元素大则上浮
while (k > 0 && data.get(parent(k)).compareTo(data.get(k)) < 0) {
//交换数组中的元素
data.swap(k, parent(k));
k = parent(k);
}
}
/**
* 查询堆中最大元素
* @return
*/
public E findMax() {
if (data.getSize() == 0) {
throw new IllegalArgumentException("can not finMax when heap is empty");
}
return data.get(0);
}
/**
* 取出堆中最大元素
* @return
*/
public E extractMax() {
E max = findMax();
//交换堆中最大的元素与堆尾元素
data.swap(0, data.getSize() - 1);
//删除堆尾元素
data.removeLast();
//元素下沉
siftDown(0);
return max;
}
/**
* 堆中元素下沉
* @param k 元素索引
*/
private void siftDown(int k) {
//只要该元素的左孩子索引没有越界，继续处理
while (leftChild(k) < data.getSize()) {
int j = leftChild(k);
if (j + 1 < data.getSize() && data.get(j + 1).compareTo(data.get(j)) > 0) {
j = rightChild(k);
}
//data[j] 是leftChild 和 rightChild中的最大值
if (data.get(k).compareTo(data.get(j)) >= 0) {
break;
}
//下沉
data.swap(k, j);
k = j;
}
}
/**
* 取出堆中的最大元素，并且替换成元素e
* @param e 待替换元素
* @return 堆中最大元素
*/
public E replace(E e) {
E max = findMax();
//覆盖最大元素
data.set(0, e);
//被元素可能破坏了堆的结构，触发下沉操作
siftDown(0);
return max;
}
}
三、复杂度分析
1、基于动态数组实现的最大堆
- add(e) => O(logn) :向最大堆中添加元素，需要逐步下沉元素，下沉深度最大为树的高度。
- extractMax() => O(logn) : 从最大堆中抽取最大元素，需要逐步上浮元素，上浮深度最大为树的高度。
- findMax() => O(1) : 查询最大堆中最大的元素，基于数组的实现去第一个即可。
java
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用。你还可以使用@来通知其他用户。