09可定位二叉最小堆：排序键(priority,id)，ID唯一。
python3 examples/advanced-algorithms/check_indexed_heap.py
允许相等降键，禁止优先级增加；缺失ID抛KeyError，空pop抛IndexError。
Fibonacci堆与二项堆未实现；其证明不标作实验。
堆比较/交换最坏对数，完整Python界另需字典和数组前提。