观察题目是否反复出现“堆（优先队列）”对应的数据访问、状态压缩或边界推进特征。
AlgoViz Lab交互式算法学习堆：模式识别与解题模板
本专题包含 4 道题。先辨认输入结构和目标，再选择能够持续保持关键不变量的算法，而不是只记住某一道题的代码。
高频模式
观察题目是否反复出现“数组”对应的数据访问、状态压缩或边界推进特征。
观察题目是否反复出现“排序”对应的数据访问、状态压缩或边界推进特征。
观察题目是否反复出现“分治”对应的数据访问、状态压缩或边界推进特征。
观察题目是否反复出现“快速选择”对应的数据访问、状态压缩或边界推进特征。
观察题目是否反复出现“贪心”对应的数据访问、状态压缩或边界推进特征。
核心模板
- 先写清输入规模、目标值和允许修改的数据。
- 定义每一步开始和结束时必须成立的不变量。
- 把循环、递归、队列或状态转移拆成可验证事件。
- 用最小输入、重复值和退化结构验证边界。
常见错误
- 只根据样例选择算法，没有核对复杂度上限。
- 更新多个指针或状态时破坏旧值依赖。
- 忽略空输入、重复值、断开结构或极端顺序。
- 代码结果正确，但解释没有说明为什么不会漏解或重复。
代表题
数组中的第K个最大元素
返回数组第 k 大元素。
IPO
最多完成 k 个项目，使最终资本最大。
查找和最小的 K 对数字
返回和最小的 k 对数字。
数据流的中位数
支持数据流插入与 O(1) 查询中位数。