目标是确定将一个新的键值对插入到堆中的时间复杂度。关键步骤是算法中的 while 循环，它确定了该算法的效率。 #2385