哈夫曼的最优性

可以用交换论证证明它达到了最短平均码长。这是贪心算法的经典正确性证明。