@Vonov 我还没仔细看，但是这开头是有矛盾。因为如果你建堆是$O(n)$，删除最小值是$O(1)$，那么您可以实现$O(n)$排序，这与比较排序$\Omega(n\log n)$矛盾