左式堆的关键特性-- “null path length“

左式堆（Leftist Heap）是一种二叉堆的变体，它在保持堆性质的同时，引入了一个新的概念来优化某些操作，特别是合并操作。左式堆中的 "npl" 表示 "null path length"，即从某个节点到其最远叶子节点的最短路径上的边的数目。这个概念是左式堆中的关键特性，用于确保堆的合并操作的效率。

npl 的定义
在左式堆中，npl 是指从当前节点到其最远叶子节点的最短路径上，经过的边的数量。对于堆中的任意节点，其 npl 值定义如下：
- 根节点的 npl 值定义为 0。
- 对于任意非根节点，其 npl 值等于其父节点的 npl 值加 1。

npl 的作用
左式堆利用 npl 值来保持一个重要的性质：对于堆中的任意节点，其左子节点的 npl 值总是大于或等于其右子节点的 npl 值。这个性质确保了左式堆的合并操作可以在 (O(log n)) 时间内完成，这是因为合并操作只需要沿着 npl 值较小的路径进行。

左式堆的操作
左式堆支持以下基本操作：
1. **合并（Merge）**：合并两个左式堆的操作是左式堆的核心优势。通过比较根节点的值和子节点的 npl 值，可以高效地合并两个堆。合并操作的时间复杂度为 (O(log n))。
2. **插入（Insert）**：将一个新元素插入到左式堆中，通常通过创建一个只包含该元素的堆，然后将其与原堆合并来实现。
3. **删除最大/最小元素（Extract Max/Min）**：移除堆顶元素，并合并其两个子堆。这个过程涉及到合并操作，因此也是高效的。

npl 的维护
在左式堆的每次操作中，都需要维护 npl 值以保持堆的性质。特别是在合并操作中，需要更新合并后节点的 npl 值，以确保左式堆的性质不被破坏。

例子
考虑两个左式堆 A 和 B，其中 A 的根节点的 npl 值为 2，B 的根节点的 npl 值为 1。如果要合并这两个堆，根据左式堆的性质，我们会将 B 作为 A 的右子节点（因为 B 的 npl 值较小），然后更新 A 的 npl 值为 3（原 npl 值 2 加上与右子节点的边）。

结论
左式堆中的 npl 是一个重要的概念，它帮助优化了堆的合并操作。通过维护 npl 值，左式堆能够保证合并操作的高效性，这对于需要频繁合并的场景非常有用。左式堆的这种性质使其在某些应用中比传统的二叉堆更加高效。