符号

数据
	最大堆的元素	A

输入及初始化
	读取满足最大堆条件的整数列
元素的更新和向上调整堆
	将元素更新为更大的值	A[i] ← value
	检查是否满足堆条件	if A[i] ≤ A[parent(i)]:
	交换父子节点的值	swap(A[i], A[parent(i)])
	已更新的元素沿着根节点的方向移动	i的轨迹

动画