正在打开文章：数据结构｜二叉树（三）：堆复杂度证明与 Top-K 问题——错位相减推导与海量数据内存优化