哈夫曼编码公式