10亿找Top10000，需要考虑分片，如果用最小堆需要考虑高效合并。 这个是什么意思啊？ 又不是归并排序，为什么要考虑高效合并？