第4讲Shannon信息论ppt课件.ppt

现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院第4讲Shannon信息论ppt课件 Still waters run deep.流静水深流静水深,人静心深人静心深 Where there is life,there is hope。有生命必有希望。有生命必有希望现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院香农简介 香香农农(1916-2001),生生于于美美国国密密执执安安州州的的加加洛洛德德。1940年年获获得得麻麻省省理理工工学学院院数数学学博博士士学学位位和和电电子子工工程程硕硕士士学学位位。1941年年他他加加入入了了贝贝尔尔实实验验室室数数学学部部，在在 此此 工工 作作 了了1 5年年。2现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院香农简介 香农在信息论的领域香农在信息论的领域中钻研了中钻研了8年之久，终于年之久，终于在在1949年在贝尔系统年在贝尔系统技术杂志发表了技术杂志发表了244页页的长篇论著的长篇论著-保密系保密系统的通信理论统的通信理论。次年，。次年，他又在同一杂志上发表了他又在同一杂志上发表了另一篇名著另一篇名著-噪声下噪声下的通信的通信。3现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院香农理论简介 第一篇文章奠定了香农信息基本理论的基础。第一篇文章奠定了香农信息基本理论的基础。他在文中用非常简洁的数学公式定义了信息时代他在文中用非常简洁的数学公式定义了信息时代的基本概念：熵。的基本概念：熵。“熵熵”的概念起源于热力学，是度量分子不规的概念起源于热力学，是度量分子不规则热运动的单位。香农的伟大贡献在于，利用概则热运动的单位。香农的伟大贡献在于，利用概率分布的理论给出率分布的理论给出“熵熵”的严格定义。的严格定义。根据香农的定义，确定发生的事件如根据香农的定义，确定发生的事件如“太阳太阳从东边升起从东边升起”与确定不发生的事件如与确定不发生的事件如“太阳从西太阳从西边升起边升起”，其熵都是零。，其熵都是零。只有当发生与不发生只有当发生与不发生 的的概率相同时，事件的熵才达到极大。概率相同时，事件的熵才达到极大。4现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院香农理论简介 在熵的基础上定义的在熵的基础上定义的信道容量信道容量也是通讯中一也是通讯中一个至关重要的概念。由此，香农推出了一个公式，个至关重要的概念。由此，香农推出了一个公式，明确表达了明确表达了在不同噪声情况下传输速率与失真的在不同噪声情况下传输速率与失真的定量关系定量关系。从这一个公式导出的为达到无失真通。从这一个公式导出的为达到无失真通讯的传输速讯的传输速 率的极限，现已称为率的极限，现已称为香农极限香农极限。打个。打个比方来说，在周围干扰严重的情比方来说，在周围干扰严重的情 况下，要想使对况下，要想使对方听清楚，你就只有慢慢地讲，甚至还要不断重方听清楚，你就只有慢慢地讲，甚至还要不断重复。复。5现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院香农理论应用香农理论应用n如今，这两个原理已广泛应用于信息处理如今，这两个原理已广泛应用于信息处理和实际通信中。只要涉及信息的和实际通信中。只要涉及信息的压缩压缩与与传传递递，就要用到香农的理论。，就要用到香农的理论。nPC机上常用的机上常用的WinZip(无损压缩算法无损压缩算法)n手机通讯手机通讯(有损压缩有损压缩无损压缩无损压缩,纠纠 错错)n在因特网上传递多媒体数据在因特网上传递多媒体数据（MP3音乐压缩格式音乐压缩格式）6现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院第三章第三章 Shannon保密理论保密理论n 密码体制的数学模型密码体制的数学模型n 随机事件的熵及其性质随机事件的熵及其性质7现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院通信系统信源信源编码器编码器解码器解码器接收者接收者干扰源干扰源信道信道设计目的：设计目的：在信道有干扰的情况下，使得接收者接在信道有干扰的情况下，使得接收者接 收到的信息无差错或差错尽可能的小。收到的信息无差错或差错尽可能的小。8现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院保密系统9现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院保密系统n设计目的：设计目的：使得窃听者即使完全准确地接使得窃听者即使完全准确地接 收带了信道上传输的信号也无收带了信道上传输的信号也无 法恢复出原始的信息。法恢复出原始的信息。10现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院密码体制的数学模型密码体制的数学模型n明文明文(离散信源离散信源)空间的统计特性：无空间的统计特性：无记忆记忆和有记和有记忆忆n密钥源通常是密钥源通常是无记忆无记忆的，并且满足的，并且满足均匀均匀分布分布n密文空间的统计特性由明文空间和密钥空间的统密文空间的统计特性由明文空间和密钥空间的统计特性决定计特性决定n假定信道无干扰，假定分析者能够截获密文，且假定信道无干扰，假定分析者能够截获密文，且知道所用的密码体制以及明文空间和密钥空间的知道所用的密码体制以及明文空间和密钥空间的统计特性统计特性11现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院3.2 随机事件的熵及其性质随机事件的熵及其性质 主要内容:如何定量刻划一个随机事件包含的信息量用熵的概念!熵(entropy)这个数学工具自身的理论.12现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院何为信息何为信息?什么能提供信息什么能提供信息?我将你原来不知道的结果告诉你,就是提供了信息!例例1 当我给你一封信时，你就从我这里获得了信息，因为你事先并不知道其中的内容。例例2 设电脑彩票由8个10进制数组成.在开奖之前，我们不知道特等奖号码的信息，因为特等奖的号码是不确定。特等奖号码的信息只有在开奖时才获得。一旦开奖，就获得了8个十进制数的信息。这就是说，将未知的变成已知的时就获得了信这就是说，将未知的变成已知的时就获得了信息！息！信息寓于不确定之中！信息寓于不确定之中！13现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院信息量信息量我向你提供的信息量的大小就是你事先不知道结果的程度!也即是信息的不确定度。如果你事先全知道了,说明我提供的信息量等于0;如果你事先一无所知,说明我提供的信息量最多.不知道意味着在我告诉你之前你只能猜测!猜测就是按照每个可能结果的出现概率进行猜测!因此,你只知道这个事情的每个结果的发生概率!所以,我提供的信息量就是由你事先知道的每个可能结果的发生概率(即随机事件的概率分布)决定.14现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院简单地说简单地说,信息就是信息就是:(1)当未知的变成已知的当未知的变成已知的之后之后获取的信息获取的信息;(2)当未知的还没变成已知当未知的还没变成已知之前之前包含的未知信息包含的未知信息.信息寓于不确定之中！信息寓于不确定之中！谁的信息谁的信息!通常的信息是指通常的信息是指:(1)一个实验提供的信息一个实验提供的信息;(2)一个随机事件包含的信息一个随机事件包含的信息;(3)一个随机变量包含的信息一个随机变量包含的信息.其中其中(1)和和(2)的含义相同的含义相同,它们比它们比(3)的意义的意义更更 加广泛加广泛.15现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院随机事件和随机变量随机事件和随机变量定义定义1：设一个实验有设一个实验有 共共n个可能的结果，个可能的结果，则每个可能结果都称为一个事件。则每个可能结果都称为一个事件。这个实验也称这个实验也称为一个随机事件。为一个随机事件。性质性质1：设设X是一个离散随机变量，它有是一个离散随机变量，它有n个可能的个可能的取值，设每种取值出现的概率为取值，设每种取值出现的概率为p(xi),则则16现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院 一、随机事件的熵一、随机事件的熵 一个事件可能发生，也可能不发生！但我们总在一个事件可能发生，也可能不发生！但我们总在每个事件每个事件 发生的概率发生的概率 都已知的条件下分析！都已知的条件下分析！这个实验提供的信息就是：这个实验提供的信息就是：(1)实验前实验前该实验所包含的未知信息；该实验所包含的未知信息；(2)实验后实验后这个实验所提供的信息这个实验所提供的信息.如何对信息量的大小进行定量刻划如何对信息量的大小进行定量刻划?再看一下彩票的例子再看一下彩票的例子.17现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院例例3 设电脑彩票由设电脑彩票由8个个10进制数组成，在开奖之前，进制数组成，在开奖之前，108个可能号码成为特等奖的概率相同个可能号码成为特等奖的概率相同,都是都是10-8.一一旦开奖旦开奖,我们就知道了特等奖的我们就知道了特等奖的8个具体号码个具体号码,因而就因而就获得了获得了8个十进制数的信息。个十进制数的信息。我们获得的信息量与开奖前每个可能号码成为我们获得的信息量与开奖前每个可能号码成为特等奖的概率特等奖的概率10-8有何关系有何关系?显然显然,有有 8=-log10 10-8 信息量的定量刻划信息量的定量刻划:定义定义2 设设 是一个实验中事件是一个实验中事件 发生的概率发生的概率,则称则称 为事件为事件 包含的包含的自信息量自信息量.18现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院熵的数学定义熵的数学定义熵的数学定义熵的数学定义定义定义3.1(随机事件的熵随机事件的熵):设一个实验设一个实验X有有 共共n个可能的结果个可能的结果,则称则称 的数学期的数学期望望为实验为实验X的熵的熵(Entropy).其中约定其中约定 0log0=0.19现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院因此因此,一个实验的熵就是该实验的每个可能结一个实验的熵就是该实验的每个可能结果包含的自信息量的果包含的自信息量的平均值平均值!熵的单位与对数的底有关熵的单位与对数的底有关!约定对数的底大于约定对数的底大于1!当以当以2为底时为底时,其单位称为比特其单位称为比特(bit);当以当以10为底时为底时,其单位称为迪特其单位称为迪特(Det);20现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院 例例5设一个实验有设一个实验有a和和b两个可能的结果两个可能的结果,且实验且实验结果是结果是a和和b的概率分别为的概率分别为1/4和和3/4,试计算该实验的试计算该实验的熵熵.解解:根据熵的定义根据熵的定义,有有解毕解毕21现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院 下面介绍熵的性质下面介绍熵的性质.定义定义3.4 一个实值函数一个实值函数 f 称为在区间称为在区间I上是凸上是凸 的的,如果对任意的如果对任意的,都有都有如果对任意的如果对任意的,都有都有则称则称 f 称为在区间称为在区间I上是严格凸的上是严格凸的.22现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院引理引理3.1(Jensen不等式不等式)设设 f 是区间是区间I上的一个连续的严格凸函数上的一个连续的严格凸函数,并并 且且 ,则有则有且上述等号成立的充要条件是且上述等号成立的充要条件是23现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院 推论推论1 f(x)=logb x(b1)在区间在区间x 0时是严格时是严格 凸的凸的,因而当实数因而当实数 满足满足 且且 有：有：且等号成立的充要条件是诸且等号成立的充要条件是诸pi全相等全相等.证明：注意此推论中条件与证明：注意此推论中条件与Jensen不等式中不等式中条件不同，故证明如下。条件不同，故证明如下。24现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院 证明证明(记记 ,)不妨设不妨设 都都0,且且则由则由Jensen不等式不等式 知知 显然显然,当当 时等号不成立时等号不成立;时时,只有当诸只有当诸 全相等时全相等时,等号才成等号才成立立.当当 25现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院 定理定理3.1 设设b1,则有则有 且,都有(2)当且仅当,都有(1)(3)当且仅当存在使得证明证明(1)由由 可知可知故(1)成立.(2)由由Jensen不等式的推论不等式的推论1可知可知(2)成立成立.,再由再由Jensen不等式的推论126现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院(3)(3)充分性充分性:此时必要性必要性:由于诸设H(X)=0.若存在t,使,则,从而两个值,该矛盾说明诸 只能取0和1这因而必要性成立.矛盾!27现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院 定理定理3.1说明说明:(1)结果确定的随机事件不提供信息量结果确定的随机事件不提供信息量,因而提供的信息量最少因而提供的信息量最少!(2)可能结果可能结果等可能发生等可能发生的随机事件提供的随机事件提供 的包含的信息量最大的包含的信息量最大!这与我们的直觉是一致的这与我们的直觉是一致的!28现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院 现实中的事件都不是孤立的现实中的事件都不是孤立的!很多随机很多随机事件之间都有相互的联系和影响事件之间都有相互的联系和影响!那么那么,如何如何刻划和研究多个随机事件相互刻划和研究多个随机事件相互 提供的信息呢提供的信息呢?这就要引入两个实验的这就要引入两个实验的联合熵联合熵条件熵条件熵 互信息互信息等概念！等概念！29现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院 因此因此,实验实验X与实验与实验Y的联合熵的联合熵(Joint Entropy)就是事件就是事件(xi,yj)的的自信息量自信息量的数学的数学期望期望.它反映了联合分布它反映了联合分布p(x,y)包含的信息量包含的信息量.定义定义3.2(联合熵联合熵):实验实验X与实验与实验Y的可能结果分的可能结果分别为别为 和和 ,定义定义X与与Y的联合熵的联合熵 为为30现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院 定义定义3.3(条件熵条件熵):实验实验X与实验与实验Y的可能结果分的可能结果分别为别为 和和 .定义定义X与与Y的条件熵的条件熵为为 (1)称称 为在实验为在实验Y的结果为的结果为 yj的条件下的条件下,事件事件xi的的条件自信息量条件自信息量.为在实验为在实验Y的结果为的结果为yj的条件下的条件下,实验实验X的的条件熵条件熵.(2)称称 31现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院(3)称称为在实验为在实验X关于实验关于实验Y的的条件熵条件熵.反映了反映了Y的结果是的结果是yj条件下条件下,实验实验X包含的信息量包含的信息量.反映了反映了Y的结果已知条件下的结果已知条件下,实验实验X平均平均包含的信息量包含的信息量.32现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院联合熵与各自的熵的关系联合熵与各自的熵的关系 定理定理3.2且等号成立的且等号成立的充要条件是充要条件是X与与Y独立独立.两个实验提供的信息总量一定不超过这两两个实验提供的信息总量一定不超过这两个实验分别提供的信息量之和个实验分别提供的信息量之和;当且仅当两个实当且仅当两个实验独立时验独立时,二者才相等二者才相等.直观含义直观含义:33现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院证明证明(1)因因,故故有有下证下证 .再由再由和和得得34现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院因因,故有故有即即现分析等号何时成立现分析等号何时成立?35现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院将上述推理过程中出现将上述推理过程中出现的地方保留的地方保留,就是就是(1)存在常数存在常数c,使对满足使对满足 的的i,j,都有都有第一个第一个变成等号的条件是变成等号的条件是:因而有因而有第二个第二个变成等号的条件是变成等号的条件是:(2)当当 时必有时必有 ,即即36现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院对所有的对所有的i,j 都成立都成立,故有故有说明对所有的说明对所有的i,j,都有都有即即这就证明了这就证明了:X与与Y独立独立现设现设 成立成立,则则X与与Y独立独立证毕证毕37现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院联合熵与条件熵的关系联合熵与条件熵的关系 定理定理3.3直观含义直观含义:两个实验提供的信息总量等于第一个信两个实验提供的信息总量等于第一个信息提供的信息量加上在第一个实验的结果已息提供的信息量加上在第一个实验的结果已知条件下知条件下,第二个实验提供的信息量第二个实验提供的信息量.38现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院联合熵与条件熵的关系联合熵与条件熵的关系 定理定理3.3证明：由于证明：由于故有故有同理可证同理可证证毕证毕39现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院联合熵与熵的关系联合熵与熵的关系故有故有 定理定理3.2指出指出:定理定理3.3指出指出:推论推论3.1且等号成立且等号成立X与与Y独立独立.40现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院 定义定义3.3(平均互信息平均互信息):称称为实验为实验X与实验与实验Y的平均互信息的平均互信息.结论结论:直观的含义：直观的含义：将将X包含的未知信息量减去在实验包含的未知信息量减去在实验Y的的结果已知条件下结果已知条件下,X仍具有的未知信息量仍具有的未知信息量.就是实验就是实验Y提供的提供的X的信息了的信息了.41现代密码学现代密码学解放军信息工程大学电子技术学院解放军信息工程大学电子技术学院下节内容n分组密码42