vlambda博客
学习文章列表

秒懂算法 | 哈夫曼编码贪心算法

讲解哈夫曼编码算法的贪心策略及正确性证明。


哈夫曼编码是一种变长码编码方式,该编码方式是数学家D.A.Huffman于1952年提出,其完全依据字符出现频率来构造平均长度最短的码字。简言之,哈夫曼编码算法是用字符出现的频率来建立一个用0-1串表示各字符的最优表示方式,有时称之为最佳编码,一般就叫作Huffman编码。


01

问题分析——贪心策略


首先,仔细研究编码方案的二叉树结构,不难发现以下4点。

(1) 树的叶子节点为字符。

(2) 从根到叶子的路径经过的01串为相应字符的编码。

(3) 编码长度为该字符在二叉树中的深度。

(4) 编码方案满足前缀码性质。

其次,研究编码方案优劣的衡量标准。平均每个字符的码长,引入平均码长的概念。所谓平均码长指的是编码方案中平均每个字符的码长。

设字符集C,任意一个字符c∈C,出现的频率为f(c),在二叉树T中的深度为dT(c)(即字符编码的长度),二叉树T表示的编码方案平均码长为B(T),则: 

秒懂算法 | 哈夫曼编码贪心算法

哈夫曼编码是使平均码长为最短的编码方式。哈夫曼以字符的使用频率做权构建一棵哈夫曼树,然后利用哈夫曼树对字符进行编码。核心思想是:频率越大的字符离树根越近。

算法的贪心策略是:从树的集合中选取两个频率最低的字符,使其作为左右子树构造一棵新树,父节点的频率为左右节点频率之和,然后将新树插入到树的集合中。


02

算法设计


1

设计思想

输入:字符集C={c1,c2,…,cn}及字符出现的频率f(ci),i=1,2,…,n。

输出:哈夫曼树Q。

首先将字符集中的每个字符看作一棵只含有根节点的树,构造一个n棵树构成的树的集合Q;然后做n-1次贪心选择,每次都选择两个出现频率最小的节点,让其作为左右子树构造一棵新树,将新树插入到树的集合Q中。直到Q中只含有一棵树为止。

从树根深度优先遍历,左子树输出0、右子树输出1,搜索到叶子节点就得到了叶子字符的编码。


2

算法伪码

算法:Huffman(C)

秒懂算法 | 哈夫曼编码贪心算法


3

正确性证明

设C是字符集,任意一个字符c的频率为f(c);x、y是C中具有最小频率的两个字符。

(1) 贪心选择性质——存在从贪心选择开始的最优解。

需证明存在字符集C的一个最优前缀码方案T,使得x、y具有相同的码长,且最后一位编码不同。

如果T中,x、y是最深的叶子且互为兄弟,那么T就是贪心选择开始的最优前缀码; 

如果T中,x、y不是最深的叶子,也不是兄弟,那么设T中字符b、c是最深的叶子且互为兄弟,如图2-7所示。

由于x,y是字符集C中频率最小的两个字符,所以有f(x)≤f(b)、f(x)≤f(c)、f(y)≤f(b)、f(y)≤f(c),交换树T中的字符x和字符b得到树T′,如图2-8所示。


秒懂算法 | 哈夫曼编码贪心算法

■ 图2-7树T结构示意图      ■ 2-8树T′结构示意


在树T和T′中,只有x、b两个字符深度发生变化,其他字符深度都没有变,所以: 

秒懂算法 | 哈夫曼编码贪心算法

又由于dT(x)=dT′(b),dT(b)=dT′(x),所以:

秒懂算法 | 哈夫曼编码贪心算法

又f(x)-f(b)≤0,dT(x)-dT(b)≤0,

故B(T)-B(T′)≥0,B(T)≥B(T′)。

再交换字符y和字符a,得到树T″,如图2-9所示。

秒懂算法 | 哈夫曼编码贪心算法

■ 图2-9 树T″结构示意


同理可以证明B(T′)≥B(T″),由此B(T)≥B(T″)。

又因为T是字符集C的最优前缀码,所以B(T)≤B(T″)。所以B(T)=B(T″),T″中,x、y字符处于最深处且互为兄弟,是从贪心选择开始的最优解。

(2) 最优子结构性质——整体最优解一定包含子问题的最优解。

设T是字符集C的最优前缀码,令f(z)=f(x)+f(y),则T′是字符集C′=C-{x,y}+{z}的最优前缀码。

需要证明T′是字符集C′=C-{x,y}+{z}的最优前缀码。

证明: 假设T′不是字符集C′的最优前缀码,则设T″是字符集C′的最优前缀码,B(T′)>B(T″)。

将字符x、y加入到T″中,作为字符z的孩子,构成的树为T"',则有T"'是字符集C的一种编码方案。

对任意字符c∈C-{x,y},有dT(c)=dT′(c),故f(c)dT(c)=f(c)dT′(c),另一方面dT(x)=dT(y)=dT(z)+1。

秒懂算法 | 哈夫曼编码贪心算法

由此,可以知道,B(T)=B(T′)+f(x)+f(y),同理有B(T'″)=B(T″)+f(x)+f(y)。

由于B(T′)>B(T″),所以B(T)>B(T'″)。

这说明T不是字符集C的最优前缀码,这与T是字符集C的最优前缀码矛盾,假设不真,得证。


实例讲解

算法设计与分析(Python版)

秒懂算法 | 哈夫曼编码贪心算法

精彩回顾

秒懂算法


下期预告

秒懂算法

Prim算法

Kruskal算法

选第二大元素的分治算法

快速排序算法中的分治思想

动态规划算法的基本思想

矩阵连乘问题

0-1背包问题的动态规划改进算法——跳跃点算法

子集树模型——0-1背包问题的回溯算法

满m叉树模型——图的m可着色问题的回溯算法

排列树模型——旅行商问题的分支限界法

最大网络流的增广路算法

蒙特卡罗算法


03

参考书籍

秒懂算法 | 哈夫曼编码贪心算法

《算法设计与分析》

ISBN:9787302570721

定价:59.90元

秒懂算法 | 哈夫曼编码贪心算法



04

精彩推荐








秒懂算法 | 哈夫曼编码贪心算法