2.4.17证明:构造大小为k的面向最小元素的优先队列,然后进行N-k次替换最小元素操作(删除最小元素后再插入元素)后,N个元素中的前k大元素均会留在优先队列中。
证:这个命题是错误的。这N个元素中最后剩在最小优先队列中的k个元素中,只有k-1个元素可以保证是N个元素中大者。例如下面这个反例:
先使用N个元素中前k大个元素构造这个优先队列,那么剩下的N-k个元素的每一个元素都要小于优先队列中的最小元素,对于这N-k个元素无论按什么次序插入到队列,最后留在队列中的都元素都不会大于第一个被删除的元素。所以这个命题是错误的。
例如N=5,k=3时,元素为1,2,3,4,5。下图构造的最小队列最后留在队列中的1,4,5 并不是前3大的元素。
证:这个命题是错误的。这N个元素中最后剩在最小优先队列中的k个元素中,只有k-1个元素可以保证是N个元素中大者。例如下面这个反例:
先使用N个元素中前k大个元素构造这个优先队列,那么剩下的N-k个元素的每一个元素都要小于优先队列中的最小元素,对于这N-k个元素无论按什么次序插入到队列,最后留在队列中的都元素都不会大于第一个被删除的元素。所以这个命题是错误的。
例如N=5,k=3时,元素为1,2,3,4,5。下图构造的最小队列最后留在队列中的1,4,5 并不是前3大的元素。
![图片](https://i-blog.csdnimg.cn/blog_migrate/144beca3a0a8c0b80aa94911b5dc16e3.jpeg)