前K个高频单词

为什么用「最小堆」？因为我们要不停淘汰「最该走的」，让它永远浮在堆顶，超员就弹它。难点在比较器是「双重」的：频次升序、同频字典序降序——这样弹掉的总是该淘汰那个。

数频次。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

数频次。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

数频次。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

频次数完。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

准备进堆。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

入堆 i（×2）。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

i 入堆完成。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

入堆 love（×2）。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

比较 love(×2) 与父 i(×2)。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

上浮：love(×2) 换到上面。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

love 入堆完成。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

入堆 leetcode（×1）。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

比较 leetcode(×1) 与父 love(×2)。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

上浮：leetcode(×1) 换到上面。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

leetcode 入堆完成。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

弹出堆顶 leetcode(×1)。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

末尾 love 补到堆顶。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

堆已恢复最小堆。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

淘汰 leetcode(×1)，堆恢复大小 2。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

入堆 coding（×1）。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

比较 coding(×1) 与父 love(×2)。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

上浮：coding(×1) 换到上面。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

coding 入堆完成。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

弹出堆顶 coding(×1)。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

末尾 love 补到堆顶。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

堆已恢复最小堆。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

淘汰 coding(×1)，堆恢复大小 2。节点显示「单词(×频次)」，堆按「频次 + 字典序」做最小堆——堆顶永远是最该淘汰的（频次最小，同频则字母最大），超过 k 个就弹掉它。

堆里最终留下 i(×2) 和 love(×2)（绿色）= 前 2 个高频单词。leetcode 和 coding 频次最低被弹出。两者同频 ×2，按字母序 i 排在 love 前 = 答案 ["i", "love"]。

边界都不破坏「最小堆 + 双重比较」的主逻辑，全并列时退化成纯字典序取前 k。

两个高频追问：桶排序优化、比较器方向写反的后果——并列样例是检验比较器的试金石。