文字列 $S$ が与えられ、$S$ をハフマン符号で符号化したときのビット列の長さを求める。