数组实现最小堆通过索引公式映射完全二叉树：父节点为(i−1)/2，左子为2i+1，右子为2i+2；插入时追加并上浮调整，提取时取顶、尾填、下沉修复，均O(log n)，适合教学与嵌入式场景。
直接用数组实现最小堆，核心是把完全二叉树的逻辑映射到一维数组上，不依赖任何扩展类，全程可控、易调试，适合教学、嵌入式场景或需定制行为的情况。
数组索引与树结构的对应关系
最小堆用数组存储时，节点位置遵循固定公式（索引从 0 开始）：
- 父节点索引：(i − 1) / 2（向下取整）
- 左子节点索引：2 × i + 1
- 右子节点索引：2 × i + 2
例如数组 [3, 8, 5, 12, 9] 中，索引 0（值 3）是根；它的左子是索引 1（8），右子是索引 2（5）；索引 3（12）的父节点就是 (3−1)/2 = 1 —— 确实是 8。这个映射让“树操作”变成纯下标计算，零额外开销。
插入新值：追加 + 上浮调整（heapifyUp）
每次插入都先放到数组末尾，再向上比较交换，直到满足“父 ≤ 子”：
- 设新元素在索引 index，不断计算其父索引 parent = (index − 1) >> 1
- 若 $heap[index] < $heap[parent]，就交换，并令 index = parent 继续上溯
- 直到 index === 0 或不再违反堆序为止
这个过程最多上浮 log₂n 层，时间复杂度稳定为 O(log n)。
提取最小值：取顶 + 尾填 + 下沉修复（heapifyDown）
最小值永远在索引 0，但不能直接删——要维持完全二叉树形状：
- 保存 $min = $heap[0]
- 把数组最后一个元素挪到索引 0：$heap[0] = array_pop($heap)
- 从根开始下沉：比较当前节点与左右子中较小者，若当前更大，就交换，并继续下沉到该子位置
- 注意边界：左子存在条件是 2×i+1 < count($heap)，右子同理
下沉过程同样最多 log₂n 步，保证 extractMin() 是 O(log n)，且返回后堆仍合法。
实战提取变量最小值示例
假设你有一组运行时采集的延迟数据：[47, 23, 61, 14, 39, 8]，想实时拿到当前最小延迟：
$heap = new MinHeap();
foreach ([47, 23, 61, 14, 39, 8] as $val) {
$heap->insert($val);
}
echo $heap->extractMin(); // 输出 8
echo $heap->extractMin(); // 输出 14
后续每来一个新延迟值（如 11），调 $heap->insert(11) 后立刻能用 $heap->top()（若实现该方法）或再次 extractMin() 拿到最新最小值 —— 整个流程无需排序、不遍历全量，特别适合监控告警、限流阈值动态更新等低延迟场景。
