第四部分算术编码.ppt

《第四部分算术编码.ppt》由会员分享，可在线阅读，更多相关《第四部分算术编码.ppt（66页珍藏版）》请在三一办公上搜索。

1、第四章：算术编码,算术编码：越来越流行（在很多标准中被采用）适合的场合：小字母表：如二进制信源概率分布不均衡建模与编码分开内容：算术编码的基本思想一些性质实现有限精度：区间缩放（浮点数/整数实现）计算复杂度：用移位代替乘法二进制编码自适应模型QM编码器：自适应二进制编码,回顾：Huffman编码,例1：信源的符号数目很少,a=0,b=1,回顾：扩展的Huffman编码,例2：信源的符号的概率严重不对称：A=a,b,c,P(a)=0.95,P(b)=0.02,P(c)=0.03H=0.335 bits/symbolHuffman编码：a0b11c10l=1.05 bits/symbol冗余（Re

2、dundancy）=l-H=0.715 bits/sym(213%!)问题：能做得更好吗？,回顾：扩展的Huffman编码,基本思想：考虑对两个字母序列而不是单个字母编码,l=1.222/2=0.611,冗余=0.276 bits/symbol（27%）,回顾：扩展的Huffman编码,该思想还可以继续扩展考虑长度为n的所有可能的mn 序列(已做了32)理论上：考虑更长的序列能提高编码性能实际上：字母表的指数增长将使得这不现实例如：对长度为3的ASCII序列：2563=224=16M需要对长度为n的所有序列产生码本很多序列的概率可能为0分布严重不对称是真正的大问题：A=a,b,c,P(a)=0

3、.95,P(b)=0.02,P(c)=0.03 H=0.335 bits/symboll1=1.05,l2=0.611,当n=8时编码性能才变得可接受但此时|alphabet|=38=6561!,算术编码（Arithmetic Coding）,算术编码：从另一种角度对很长的信源符号序列进行有效编码对整个序列信源符号串产生一个唯一的标识（tag）直接对序列进行编码（不是码字的串联）：非分组码不用对该长度所有可能的序列编码标识是0,1)之间的一个数（二进制小数，可作为序列的二进制编码）,概率复习,随机变量：将试验的输出映射到实数用数字代替符号X(ai)=i,其中 ai A(A=ai,i=1.n)给

4、定信源的概率模型P概率密度函数（probability density function,pdf）累积密度函数（cumulative density function,cdf）,产生标识,定义一一映射：ak FX(k-1),FX(k),k=1.m,FX(0)=0FX(k-1),FX(k)区间内的任何数字表示 ak对2字母序列ak aj编码对ak，选择FX(k-1),FX(k)然后将该区间按比例分割并选取第j个区间：,将0,1)分为m个区间：,产生标识：例,考虑对a1a2a3编码：A=a1,a2,a3,P=0.7,0.1,0.2)映射：a1 1,a2 2,a3 3cdf:FX(1)=0.7,FX

5、(2)=0.8,FX(3)=1.0,映射成实数,A=a1,a2,am,对公平掷骰子的例子：1,2,3,4,5,6,词典顺序（Lexicographic order）,字符串的词典顺序：其中 表示“在字母顺序中，y在x的前面”n 为序列的长度,词典顺序：例,考虑两轮连续的骰子：输出=11,12,16,21,22,26,61,62,66,注意：为了产生13的标识，我们不必对产生其他标识但是，为了产生长度为n的字符串的标识，我们必须知道比其短的字符串的概率这与产生所有的码字一样繁重！应该想办法来避免此事,区间构造,观察包含某个标识的区间与所有其他标识的区间不相交基本思想递归：将序列的下/上界视为更短

6、序列的界的函数上述骰子的例子：考虑序列：3 2 2 令u(n),l(n)为长度为n序列的上界和下界，则u(1)=FX(3),l(1)=FX(2)u(2)=FX(2)(32),l(2)=FX(2)(31),区间构造,区间构造,产生标识,通常，对任意序列x=x1x2xn,只需知道信源的cdf，即信源的概率模型,算术编码：编码和解码过程都只涉及算术运算（加、减、乘、除）,产生标识：例,考虑随机变量X(ai)=i 对序列1 3 2 1编码：,1,13,132,1321,解码标识,AlgorithmInitialize l(0)=0,u(0)=1.For each i,i=1.nCompute t*=(

7、tag-l(k-1)/(u(k-1)-l(k-1).Find the xk:FX(xk-1)t*FX(xk).Update u(n),l(n)If done-exit,otherwise goto 1.,解码：例,AlgorithmInitialize l(0)=0,u(0)=1.Compute t*=(tag-l(k-1)/(u(k-1)-l(k-1).Find the xk:FX(xk-1)t*FX(xk).Update u(k),l(k)If done-exit,otherwise goto 1.,算术编码的唯一性和效率,上述产生的标识可以唯一表示一个序列，这意味着该标识的二进制表示为序

8、列的唯一二进制编码但二进制表示的精度可以是无限长：保证唯一性但不够有效为了保证有效性，可以截断二进制表示，但如何保证唯一性？答案：为了保证唯一性和有效性，需取小数点后l位数字作为信源序列的码字，其中注意：P(x)为最后区间的宽度，也是该符号串的概率符合概率匹配原则：出现概率较大的符号取较短的码字，而对出现概率较小的符号取较长的码字,算术编码的唯一性和效率,长度为n的序列的算术编码的平均码长为：,算术编码的效率高：当信源符号序列很长，平均码长接近信源的熵,实现,迄今为止已有能工作的编码/解码算法假设实数（无限精度）最终l(n)和u(n)将集中到一起我们需要对字符串增量式编码观测：当区间变窄时l(

9、n),u(n)0,0.5),或l(n),u(n)0.5,1),或l(n)0,0.5),u(n)0.5,1).先集中处理1.&2，稍后再讨论3,实现,编码器：一旦我们到达1.或2.，就可以忽略0,1)的另一半还需要告知解码器标识所在的半区间：发送0/1 比特用来指示下上界所在区间将标识区间缩放到0,1):E1:0,0.5)=0,1);E1(x)=2xE2:0.5,1)=0,1);E2(x)=2(x-0.5)注意：在缩放过程中我们丢失了最高位但这不成问题我们已经发送出去了解码器根据0/1比特并相应缩放与编码器保持同步,标识产生：带缩放的例子,考虑随机变量X(ai)=i 对序列1 3 2 1编码：,

10、标识产生：带缩放的例子,标识产生：带缩放的例子,EOT:l(n),u(n)区间内的任何一个数字在此选 0.510=0.12,Output:11000110,注意：0.1100011=2-1+2-2+2-6+2-7=0.7734375 0.7712,0.77408,增量式标识解码,我们需要增量式解码如：网络传输问题如何开始？必须有足够的信息，可以对第一个字符无歧义解码 接收到的比特数应比最小标识对应的区间更小怎样继续？一旦有一个非歧义的开始，只要模拟编码器即可如何结束？,标识解码：例,假设码字长为6输入：1100011000000.1100012=0.76562510第1位：1Output:1,

11、Input:110001100000,Output:13,Input:-10001100000(左移),Input:-10001100000(0.546875),Output:132,Input:-001100000(左移),Input:-0001100000(左移),此时解码最后一个符号,标识解码：例,Input:-01100000(左移),Input:-1100000(左移),Input:-100000(左移),Input:-100000,Output:1321,第三种情况：E3,回忆三种情况l(n),u(n)0,0.5):E1:0,0.5)=0,1);E1(x)=2xl(n),u(n)0

12、.5,1):E2:0.5,1)=0,1);E2(x)=2(x-0.5)l(n)0,0.5),u(n)0.5,1):E3(x)=?E3 缩放E3:0.25,0.75)=0,1);E3(x)=2(x-0.25)编码E1=0,E2=1,E3=?注意：E3 E3 E1=E1 E2 E2 E3 E3 E2=E2 E1 E1 规则：记录E3 连续的次数，并在输出下一个E2/E1 之后发送该次数,证明请见文献：Witten,Radford,Neal,Cleary,“Arithmetic Coding for Data Compression”Communications of the ACM,vol.30,

13、no.6,pp.520-540,June 1987.,第三种情况：E3,整数实现,假设码字长度为n，则ni=长度为TotalCount（TC）的序列中字符i出现的次数累积计数：CC,整数实现,MSB(x)=Most Significant Bit of xLSB(x)=Least Significant Bit of xSB(x,i)=ith Significant Bit of xMSB(x)=SB(x,1);LSB(x)=SB(x,m)E3(l,u)=(SB(l,2)=1&SB(u,2)=0),l=000,u=111,e3_count=0repeat x=get_symbol l=l+(u

14、-l+1)CC(x-1)/TC/lower bound update u=l+(u-l+1)CC(x)/TC-1/upper bound update while(MSB(u)=MSB(l)OR E3(u,l)/MSB(u)=MSB(l)=0 E1 rescaling if(MSB(u)=MSB(l)/MSB(u)=MSB(l)=1 E2 rescaling send(MSB(u)l=(l0)send(!MSB(u)/encode accumulated E3 rescalings e3_count-endwhile endif if(E3(u,l)/perform E3 rescaling&

15、remember l=(l1)+0 u=(u1)+1 complement MSB(u)and MSB(l)e3_count+endif endwhileuntil done,整数编码器,整数编码器：例,序列：1 3 2 1Count 1,2,3=40,1,9Total count TC=50Cumulative countCC 0,1,2,3=0,40,41,50记住：区间的终点不会重叠n=?最小的l(n),u(n)=整个范围内的1/4，仍能区分0.TC 的最小区间：=28 x 50/1=最小 n=8(28=256),l=000,u=111,e3_count=0repeat x=get_sy

16、mbol l=l+(u-l+1)CC(x-1)/TC u=l+(u-l+1)CC(x)/TC-1 while(MSB(u)=MSB(l)OR E3(u,l)if(MSB(u)=MSB(l)send(MSB(u)l=(l0)send(!MSB(u)e3_count-endwhile endif if(E3(u,l)l=(l1)+0 u=(u1)+1 complement MSB(u)and MSB(l)e3_count+endif endwhileuntil done,整数编码器：例,l=000,u=111,e3_count=0repeat x=get_symbol l=l+(u-l+1)CC(

17、x-1)/TC u=l+(u-l+1)CC(x)/TC-1 while(MSB(u)=MSB(l)OR E3(u,l)if(MSB(u)=MSB(l)send(MSB(u)l=(l0)send(!MSB(u)e3_count-endwhile endif if(E3(u,l)l=(l1)+0 u=(u1)+1 complement MSB(u)and MSB(l)e3_count+endif endwhileuntil done,整数编码器：例,l=000,u=111,e3_count=0repeat x=get_symbol l=l+(u-l+1)CC(x-1)/TC u=l+(u-l+1)

18、CC(x)/TC-1 while(MSB(u)=MSB(l)OR E3(u,l)if(MSB(u)=MSB(l)send(MSB(u)l=(l0)send(!MSB(u)e3_count-endwhile endif if(E3(u,l)l=(l1)+0 u=(u1)+1 complement MSB(u)and MSB(l)e3_count+endif endwhileuntil done,e3_count=1,整数编码器：例,l=000,u=111,e3_count=0repeat x=get_symbol l=l+(u-l+1)CC(x-1)/TC u=l+(u-l+1)CC(x)/TC

19、-1 while(MSB(u)=MSB(l)OR E3(u,l)if(MSB(u)=MSB(l)send(MSB(u)l=(l0)send(!MSB(u)e3_count-endwhile endif if(E3(u,l)l=(l1)+0 u=(u1)+1 complement MSB(u)and MSB(l)e3_count+endif endwhileuntil done,整数编码器：例,l=000,u=111,e3_count=0repeat x=get_symbol l=l+(u-l+1)CC(x-1)/TC u=l+(u-l+1)CC(x)/TC-1 while(MSB(u)=MSB

20、(l)OR E3(u,l)if(MSB(u)=MSB(l)send(MSB(u)l=(l0)send(!MSB(u)e3_count-endwhile endif if(E3(u,l)l=(l1)+0 u=(u1)+1 complement MSB(u)and MSB(l)e3_count+endif endwhileuntil done,整数编码器：例,l=000,u=111,e3_count=0repeat x=get_symbol l=l+(u-l+1)CC(x-1)/TC u=l+(u-l+1)CC(x)/TC-1 while(MSB(u)=MSB(l)OR E3(u,l)if(MSB

21、(u)=MSB(l)send(MSB(u)l=(l0)send(!MSB(u)e3_count-endwhile endif if(E3(u,l)l=(l1)+0 u=(u1)+1 complement MSB(u)and MSB(l)e3_count+endif endwhileuntil done,结束通常，发送l(4):(00000000)2但是 e3_count=1，因此在发送l(4)的第一个0后发送1,最后 output:1100010010000000,Initialize l,u,t/t=first n bitsrepeat k=0 while(t-l+1)TC-1)/(u-l+

22、1)CC(k)k+x=decode_symbol(k)l=l+(u-l+1)CC(x-1)/TC u=l+(u-l+1)CC(x)/TC-1 while(MSB(u)=MSB(l)OR E3(u,l)if(MSB(u)=MSB(l)/Perform E1/E2 rescaling of l,u,t l=(l1)+0/add 0 to the right of l u=(u1)+1/add 1 to the right of u t=(t1)+next_bit endif if(E3(u,l)/Perform E3 rescaling of l,u,t l=(l1)+0 u=(u1)+1 t=(

23、t1)+next_bit complement MSB(u),MSB(l),MSB(t)endif endwhileuntil done,整数解码器,整数解码器：例,Initialize l,u,t repeat k=0 while(t-l+1)CC(x-1)/TC CC(k)k+x=decode_symbol(k)l=l+(u-l+1)CC(x-1)/TC u=l+(u-l+1)CC(x)/TC-1 while(MSB(u)=MSB(l)OR E3(u,l)if(MSB(u)=MSB(l)l=(l1)+0 u=(u1)+1 t=(t1)+next_bit endif if(E3(u,l)l=

24、(l1)+0 u=(u1)+1 t=(t1)+next_bit complement MSB(u),MSB(l),MSB(t)endif endwhileuntil done,Output:13,整数解码器：例,Input:1100010010000000,Input:1100010010000000,Input:1100010010000000,Initialize l,u,t repeat k=0 while(t-l+1)CC(x-1)/TC CC(k)k+x=decode_symbol(k)l=l+(u-l+1)CC(x-1)/TC u=l+(u-l+1)CC(x)/TC-1 while

25、(MSB(u)=MSB(l)OR E3(u,l)if(MSB(u)=MSB(l)l=(l1)+0 u=(u1)+1 t=(t1)+next_bit endif if(E3(u,l)l=(l1)+0 u=(u1)+1 t=(t1)+next_bit complement MSB(u),MSB(l),MSB(t)endif endwhileuntil done,整数解码器：例,Output:132,结束已解码接收到了预定数目的字符，或接收到EOT,Initialize l,u,t repeat k=0 while(t-l+1)CC(x-1)/TC CC(k)k+x=decode_symbol(k)

26、l=l+(u-l+1)CC(x-1)/TC u=l+(u-l+1)CC(x)/TC-1 while(MSB(u)=MSB(l)OR E3(u,l)if(MSB(u)=MSB(l)l=(l1)+0 u=(u1)+1 t=(t1)+next_bit endif if(E3(u,l)l=(l1)+0 u=(u1)+1 t=(t1)+next_bit complement MSB(u),MSB(l),MSB(t)endif endwhileuntil done,Output:1321,算术编码 vs.Huffman编码,n=序列长度平均码长：算术：扩展Huffman：观察二者的积渐近性质相同Huffm

27、an有一个微小的边际扩展的Huffman要求巨大数量的存储和编码mn而算术编码不用 实际应用中可以对算术编码假设较大的长度n 但 Huffman不可 我们期望算术编码表现更好（除了当概率为2的整数次幂的情况）,算术编码 vs.Huffman编码,增益为字母表大小和分布的函数较大的字母表（通常）较适合 Huffman不均衡的分布更适合算术编码很容易将算术编码扩展到多个编码器QM编码器很容易将算术编码适应到统计变化模型（自适应模型、上下文模型）不必对树重新排序可以将建模与编码分开,应用：图像压缩,自适应算术编码：对像素值,自适应算术编码：对像素差分,自适应算术编码,统计编码技术需要利用信源符号的概

28、率，获得这个概率的过程称为建模。不同准确度（通常也是不同复杂度）的模型会影响算术编码的效率。建模的方式：静态建模：在编码过程中信源符号的概率不变。但一般来说事先知道精确的信源概率是很难的，而且是不切实际的。自适应动态建模：信源符号的概率根据编码时符号出现的频繁程度动态地进行修改。当压缩消息时，我们不能期待一个算术编码器获得最大的效率，所能做的最有效的方法是在编码过程中估算概率。算术编码很容易与自适应建模相结合。,自适应算术编码,自适应算术编码：在编码之前，假设每个信源符号的频率相等（如都等于1），并计算累积频率从输入流中读入一个字符，并对该符号进行算术编码更新该符号的频率，并更新累积频率由于在

29、解码之前，解码器不知道是哪个信源符号，所以概率更新应该在解码之后进行对应的，编码器也应在编码后进行概率更新,自适应算术编码,为了提高解码器的搜索效率，信源符号的频率、累积频率表按符号出现频率降序排列在自适应算术编码中，可以用平衡二叉树来快速实现对频率和累积频率的更新平衡二叉树可用数组实现（类似Huffman编码中的堆）最可能出现的符号安排在根附近，从而平均搜索的次数最小详见数据压缩原理与应用第2.15节,自适应算术编码,例：信源符号及其出现频率为：,辅助变量为该节点左子树的总计数，用于计算累积频率例：计算a6 的累积频率得到从节点10（a6）到根节点的路径：10 5 2 1 a6 a1 a2a

30、8 2.令 af=0,沿树枝从根节点向节点10（a6）1)取根节点的左分支到子节点a2，af不变 2)取节点a2的右分支到到节点a1，将该节点的两个数值加到af af=af+12+16=28 2)取节点a1的左分支到到节点a6后，将其左子树计数0加至af，最后af=28为累积频率区间的起点,自适应算术编码,频率、累积频率表：,自适应算术编码,在平衡二叉树上更新频率：例：读进符号a9，将其频率计数从12变为13在数组中寻找符号a9的左边、离a9最远的、频率小于a9的元素，同时更新左子树计数值,总结,直接对序列进行编码（不是码字的串联）：非分组码可证明是唯一可译码渐近接近熵界对不均衡的分布，比Hu

31、ffman更有效只产生必要的码字但是实现更复杂允许将建模和编码分开，容易与自适应模型和上下文模型结合对错误很敏感，如果有一位发生错误就会导致整个消息译码错误,下节课内容,作业：Sayood 3rd,pp.114-115必做：5,6,7,8下节课内容：JPEG、JPEG2000和JBIG中的算术编码：QM编码器,History,The idea of encoding by using cumulative probability in some ordering,and decoding by comparison of magnitude of binary fraction was int

32、roduced in Shannons celebrated paper 1948.The recursive implementation of arithmetic coding was devised by Elias(another member in Fanos first information theory class at MIT).This unpublished result was first introduced by Abramson as a note in his book on information theory and coding 1963.The res

33、ult was further developed by Jelinek in his book on information theory 1968.The growing precision problem prevented arithmetic coding from practical usage,however.The proposal of using finite precision arithmetic was made independently by Pasco 1976 and Rissanen 1976.,History,Practical arithmetic co

34、ding was developed by several independent groups Rissanen 1979,Rubin 1979,Guazzo 1980.A well-known tutorial paper on arithmetic coding appeared in Langdon 1984.The tremendous efforts made in IBM lead to a new form of adaptive binary arithmetic coding known as the Q-coder Pennebaker 1988.Based on the

35、 Q-coder,the activities of JPEG and JBIG combined the best features of the various existing arithmetic coders and developed the binary arithmetic coding procedure known as the QM-coder pennebaker 1992.,Reading,W.B.Pennebaker,J.L.Mitchell,G.G.Langdon,Jr.,R.B.Arps,“An overview of the basic principles

36、of the Q-Coder adaptive binary arithmetic coder,”IBM J.Res.Develop.,vol.32,no.6,November 1988.Witten,Radford,Neal,Cleary,“Arithmetic Coding for Data Compression”Communications of the ACM,vol.30,no.6,pp.520-540,June 1987.Moffat,Neal,Witten,“Arithmetic Coding Revisited,”ACM Transactions on Information

37、 Systems,vol.16,vo.3,pp.256294,July 1998.,附：产生随机样本,产生随机样本：对分布采样均匀分布伪随机数很多统计软件包中都有此工具如在Matlab中：rand其他分布直接方法：概率积分变换通过对均匀分布的采样实现对任意分布的采样间接方法：接受/拒绝算法（重要性采样）MCMC方法,概率积分变换,例：概率积分变换 X有连续CDF，定义随机变量Y为，则Y为0,1上的均匀分布，即对随机数产生特别有用,0.5,1.0,0,概率积分变换,X有连续严格递增的CDF，定义随机变量Y为，则Y为0,1上的均匀分布，即 令 则,对任意分布采样,通过对均匀分布采样，实现对任意分布的采样从 随机产生一个样本y令，其中 为X的CDF计算结果 为对 的采样,对任意分布采样,对任意分布采样,例：对指数分布采样,变形,若X为离散型随机变量，其取值为则可以通过以下方式产生随机样本从 随机产生一个样本y 若，令定义例：为了从 产生一个随机样本，从 产生一个随机样本y，则,