展开 哈夫曼编码最优性证明