10亿个数找最大的1000个最优解不是用小顶堆吗？