H->R[s…m]中记录关键字除H->R[s].key均满足堆定义，调整H->R[s]的位置使之成为小根堆。