我的问题在第二问最小化最大深度上。 我们可以证明Huffman算法给出的是所有最优树（设这个集合是T）中的子集（设这个集合是T'）而非全部，那么在Huffman算法运行时叠加按秩贪心应该是求解T'中所有树的最大深度的最小值，而非T，这样应该会产生间隙，想问问大佬们这种算法的正确性该如何保证呢？感谢。