跳到正文
ZLIB × LEAN / 算法精读与验证

Huffman 编码构造

让常见符号占更少比特,并让解码端重建同一套编码。

这一环节的任务

符号的出现次数不同。给常见符号更短的码字,可以降低编码成本;解码器还必须知道使用了哪套编码,因此也需要描述码长。

在全局图中定位 ↗

前 2 章先展开算法、数据布局与优化,最后一章连接证明思路。可以按顺序读,也可以从已经熟悉的阶段进入。

  1. 01
    算法精读

    频率、堆与编码树

    让常见符号占更少比特,跟踪频率怎样变成一棵编码树。

    ↗
  2. 02
    算法精读

    码长修复与规范编码

    让双方只凭码长重建相同编码,并满足格式的长度限制。

    ↗
  3. 03
    证明思路

    编码构造的证明思路

    连接实际构造出的树、可区分的编码和最终写出的位。

    ↗
ZLIB × LEAN

全局目录

当前位置Huffman 编码构造