证明使用微粒合并分类清单的算法
原文：prove the algorithm that uses min-heap to merge k sorted lists

我读一下CLRS,在练习6.5-8时有一些问题。