若最大元素x在非根节点i上
∵A[PARENT(i)]≥A[i]
∴A[PARENT(i)]=A[i]
故依次向上,能够推出
A[root]=x
,与根节点不是最大元素矛盾
故最大元素必然在根节点
6.1-3
最新推荐文章于 2024-10-12 22:29:05 发布
若最大元素x在非根节点i上
∵A[PARENT(i)]≥A[i]
∴A[PARENT(i)]=A[i]
故依次向上,能够推出
A[root]=x
,与根节点不是最大元素矛盾
故最大元素必然在根节点