アルゴリズム辞典にハフマンはあった気がする。