构造一个sqrt(n)元堆:每个节点有sqrt(n)个子节点,每个节点使用线性搜索从子节点中找最小元素。这个堆的深度只有2。构造堆需要约n+sqrt(n)次比较。每次弹出一个元素需要2*sqrt(n)次比较,弹出k个就需要2*k*sqrt(n)次。这个数比二元堆的k*log(n)要大。
传统方法是构造一个二元大顶堆,里面最多保留k个元素,遍历n个元素,堆里的元素超过k个了就弹出一个。这样总的复杂度是O(n*log(k))。但这个数在k很小的时候会比(n+sqrt(n))+2*k*sqrt(n)更大。
=============================================================================================
当k很小的时候,假设k=10,log是以10为基底的对数。那么
n*log(k)=n<(n+sqrt(n))+2*k*sqrt(n).
n*log(k)和(n+sqrt(n))+2*k*sqrt(n)的比较,等价于
sqrt(n)*(log(k)-1)和(2*k+1)的比较
我觉得,当n比较大且k比较小但k又不是太小的时候,sqrt(n)元堆才是更好的解法。
比如,当n=100,log(k)=2,
n*log(k)=2n > n+(2*k+1)*sqrt(n)