已知（k1，k2，…，kn）是堆，试写一算法将（k1，k2，…，kn，kn+1）调整为堆。