哈夫曼树构造过程及最优证明