哈夫曼编码

 哈弗曼编码几乎是所有压缩算法的基础，其实这个算法并不复杂，简单的理解就是，如何用更短的bit来编码数据。

    我们知道普通的编码都是定长的，比如常用的ASCII编码,每个字符都是8个bit:

字符编码

A	00101001
B	00101010
C	00101011
…	…

   这样，计算机就能很方便的把由0和1组成的数据流解析成原始信息，但我们知道，在很多情况下，数据文件中的字符出现的概率是不均匀的，比如在一篇英语文章中，字母“E”出现的频率最高，“Z”最低，如果我们使用不定长的bit编码，频率高的字母用比较短的编码表示，频率低的字母用长的编码表示，岂不是可以大大缩小文件的空间吗?
    但这就要求编码要符合“前缀编码”的要求，即较短的编码不能是任何较长的编码的前缀，这样解析的时候才不会混淆，比如下面的编码方法就符合前缀原则：

字符编码

A	101
B	0
C	1000
D	11
E	1001
…	…

    根据这个码表，下面一段数据就可以唯一解析成原始信息了：
    11101001110001011010 – DABBDCEAAB

    要生成这种编码，最方便的就是用二叉树，考察一下下面这个树

 

    现在我们可以开始考虑压缩的问题，如果有一篇只包含这五个字符的文章，而这几个字符的出现的次数如下：
    A: 6次
    B : 15次
    C: 2次
    D : 9次
    E: 1次
    用过用定长的编码，每个字符3bit，这篇文章总长度为：
    3*6 + 3*15 + 3*2 + 3*9 + 3*1 = 99

    而用上面用二叉树生成的编码，总长度为:

 

    3*6 + 1*15 + 4*2 + 2*9 + 4*1 = 63

 

可以看出，构造更优的二叉树，原则就是权重越大的叶子，距离根应该越近，而我们的终级目标是生成“最优”的二叉树，最优二叉树必须符合下面两个条件：

1. 所有上层节点都大于等于下层节点。
2. 某节点，设其较大的子节点为ｍ，较小的子节点为ｎ，ｍ下的任一层的所有节点都应大于等于ｎ下的该层的所有节点。

    上面这个例子是比较简单的，实际的文件中，一个字节有256种可能的取值，所以二叉树的叶子节点多达256个，最终的树形可能非常复杂，但有一种非常精巧的算法可以快速地建起一棵最优二叉树，这种算法由D.Huffman（戴~哈夫曼）提出，下面我们先来介绍哈弗曼算法的步骤，然后再来证明通过这么简单的步骤得出的树形确实是一棵最优二叉树。
    哈夫曼算法的步骤是这样的：

• 从各个节点中找出最小的两个节点，给它们建一个父节点，值为这两个节点之和。
• 然后从节点序列中去除这两个节点，加入它们的父节点到序列中。
• 重复上面两个步骤，直到节点序列中只剩下唯一一个节点。这时一棵最优二叉树就已经建成了，它的根就是剩下的这个节点。

      比如上面的例子，哈弗曼树建立的过程如下:

      1) 列出原始的节点数据：
  
      2) 将最小的两个节点C和E结合起来：
  
      3) 再将新的节点和A组合起来
  
      4) 再将D节点加入
  
      5) 如此循环，最终得到一个最优二叉树
  
      生成的数据文件长度为：
      3*6 + 1*15 + 4*2 + 2*9 + 4*1 = 63

      下面我们用逆推法来证明对于各种不同的节点序列，用哈弗曼算法建立起来的树总是一棵最优二叉树：

  • 当这个过程中的节点序列只有两个节点时（比如前例中的15和18），肯定是一棵最优二叉树，一个编码为0，另一个编码为1，无法再进一步优化。
  • 然后往前步进，节点序列中不断地减少一个节点，增加两个节点，在步进过程中将始终保持是一棵最优二叉树，这是因为:
    1. 按照哈弗曼树的建立过程，新增的两个节点是当前节点序列中最小的两个，其他的任何两个节点的父节点都大于（或等于）这两个节点的父节点，只要前一步是最优二叉树，其他的任何两个节点的父节点就一定都处在它们的父节点的上层或同层，所以这两个节点一定处在当前二叉树的最低一层。
    2. 这两个新增的节点是最小的，所以无法和其他上层节点对换。符合我们前面说的最优二叉树的第一个条件。
    3. 只要前一步是最优二叉树，由于这两个新增的节点是最小的，即使同层有其他节点，也无法和同层其他节点重新结合，产生比它们的父节点更小的上层节点来和同层的其他节点对换。它们的父节点小于其他节点的父节点，它们又小于其他所有节点，只要前一步符合最优二叉树的第二个条件，到这一步仍将符合。

      这样一步步逆推下去，在这个过程中哈弗曼树每一步都始终保持着是一棵最优二叉树。从而实现哈夫曼压缩——最优的无损压缩、

 

下一篇博文将主要用代码实现哈夫曼压缩和解压缩：

http://yacare.iteye.com/blog/1955831