在一个二叉堆上插入一个新的值，直到形成一个稳定的二叉树结构。

在二叉树的底部（此时节点为H[i]）插入一个节点，值为key，然后不断与其父节点H[（i-1）2]做对比，如果大则交换，直到根节点为1。

Done <- false

While i>0 and !done

If H[i] > H[(i-1)/x]

Then H[i] <> H[(i-1)/2]

Else done true

I <- i-1/2

While end