分散が最小のハフマン符号が望ましいことはよく知られています。私はポーランド語/英語のインターネット全体を掘り下げましたが、これが私が見つけたものです:最小の分散でハフマンコードを構築するには、次のいずれかの方法で関係を断ち切る必要があります(もちろん、ノードの確率が最も重要です):
- 最短ツリーを表すノードを選択
- 最も早く作成されたノードを選択します (開始時に作成されたリーフを考慮してください)。
問題は、これらの方法の正しさの証拠を見つけることができなかったことです。誰かがこれらのいずれかを証明できますか?
何でも喜んで明らかにします。