将哈夫曼算法推广到三元码情形(用0 .1和2进行编码)并证明算法可产生最优三元码?