每次找合并代价最小的两堆合并，按这么做样例可以过，但无我法证明其正确性，或者证伪