如果我这道题使用了启发式合并，那么我合并时下传两个堆标记的复杂度是 $O(nm\log n)$ 级的还是 $O((n+m)\log n)$。

我证不来。

救一救救一救救一救救一救救一救救一救救一救救一救救一救。