算法导论里提到了一个叫松弛堆的东西，看原论文没看懂，有没有大佬解释一下，玄关。