ESC
输入关键词搜索文章
目录

信息论复习纲要

信息论 · 全课程复习
一章一页,覆盖全部考点
9章节
3核心定理
4数学工具
1课程总纲
复习全图
信息论全貌地图

信息流动的完整链路

从信源到信宿,信息论研究的是这条链路上的极限与最优编码方式。

flowchart LR
    A["🔵 信源 X\n(信息产生)"] -->|"压缩"| B["📦 信源编码\n(去掉冗余)"]
    B -->|"bit 流"| C["📡 信道编码\n(加入冗余)"]
    C -->|"传输"| D["🛤️ 信道\n(噪声干扰)"]
    D -->|"接收"| E["📖 译码\n(纠错还原)"]
    E -->|"重建"| F["🟢 信宿 X̂\n(信息交付)"]

    style A fill:#2980b9,color:#fff,stroke:#1a5276
    style B fill:#27ae60,color:#fff,stroke:#196f3d
    style C fill:#8e44ad,color:#fff,stroke:#6c3483
    style D fill:#e67e22,color:#fff,stroke:#a04000
    style E fill:#c0392b,color:#fff,stroke:#922b21
    style F fill:#1abc9c,color:#fff,stroke:#17a589
  

压缩(去冗余) → 信道编码(加冗余抗噪) → 译码(纠错)
每一步都对应一条信息论核心定理:信源编码定理 / 信道编码定理 / 率失真定理

章节速查
各章复习要点
Ch2 熵与互信息
自信息 $I(x) = -\log P(x)$ · 熵 $H(X)$ · 联合熵 $H(X,Y)$ · 条件熵 $H(X|Y)$ · KL散度 $D(p\|q)$ · 互信息 $I(X;Y)$
$H(X) = -\sum p\log p$ $I(X;Y) = H(X)-H(X|Y)$ $D(p\|q) = \sum p\log(p/q)$
计算联合分布下的 H/I KL 非负性证明 Fano 不等式应用
Ch3 渐近等分性质(AEP)
典型序列 · 典型集 $A_\epsilon^{(n)}$ · 典型集三大性质(概率、计数、交并)
$-\frac1n\log p(X^n) \xrightarrow{P} H(X)$ $|A_\epsilon^{(n)}| \approx 2^{nH(X)}$
典型集计数 AEP 用于压缩证明 联合 AEP
Ch4 熵率与随机过程
平稳过程 · 马尔可夫链 · 平稳分布 · 熵率 $\mathcal{H}$
$\mathcal{H} = \lim \frac1n H(X_1,\ldots,X_n)$ 马尔可夫链:$\mathcal{H}=H(X_2|X_1)$
马尔可夫链熵率 平稳分布计算 最大熵分布
Ch5-6 数据压缩
Kraft 不等式 · 信源编码定理 · Huffman 编码 · Shannon-Fano-Elias 编码 · 算术编码
$H(X) \leq L < H(X)+1$ $\sum D^{-l_i} \leq 1$(Kraft)
Huffman 树构造 Kraft 不等式验证 最优码长下界证明
Ch7 信道容量
DMC · 信道容量 $C$ · 对称信道 · 联合典型译码 · 信道编码定理 · 反馈信道
$C = \max_{p(x)} I(X;Y)$ BSC: $C = 1-H_2(p)$ $R < C \Rightarrow P_e \to 0$
对称信道容量计算 信道编码定理证明思路 随机编码 + 联合译码
Ch8 微分熵
微分熵定义 · 连续最大熵 · 连续 AEP · 高斯分布微分熵
$h(X) = -\int f\log f$ $h(\mathcal{N}) = \frac12\log(2\pi e\sigma^2)$
微分熵 vs 离散熵 正态分布最大熵 离散化求和近似
Ch9 高斯信道
AWGN 容量 · 注水算法 · 平行信道分解 · 彩色噪声 · 带宽无限极限
$C = \frac12\log(1+P/N)$(香农公式) $P_i = (\nu - N_i)^+$(注水)
香农公式计算 注水功率分配 带宽与 SNR 关系
Ch10 率失真理论
率失真函数 $R(D)$ · 失真度量 · 率失真定理 · 反注水法
$R(D) = \min_{p:\;E[d]\leq D} I(X;\hat X)$ 二元: $R(D) = H(p)-H(D)$
率失真函数计算 反注水法 BLBQ 问题
末章 信息论与安全
窃听信道 · 保密容量 $C_s$ · 完善保密性 · 唯一解距离 · One-Time Pad
$C_s = [I(X;Y)-I(X;Z)]^+$ $n_0 \approx H(K)/(r\log|\mathcal{X}|)$
保密容量推导 OTP 安全性分析 弱完善保密性
定理速记
三大定理对比

信息论三大核心定理

三大定理构成信息论的基石,分别对应信源压缩、信道传输、有损压缩三大场景:

定理 场景 条件 结论 证明核心
信源编码定理 无损压缩 任意离散信源 存在码长 $L$ 使 $H(X) \leq L < H(X)+1$ AEP:典型集大小 $\approx 2^{nH(X)}$
信道编码定理 可靠传输 $R < C$(率低于容量) 存在编码使误码率 $P_e \to 0$ 随机编码 + 联合典型译码 + 联合界
率失真定理 有损压缩 $R > R(D)$(率高于率失真函数) 存在编码使 $E[d] \leq D$ 失真典型序列 + 随机编码 + 联合界

记忆技巧

三大定理的共同结构:假设(条件)→ 存在性(能编码)→ 极限(最优)
所有逆定理都用 Fano 不等式数据处理不等式 完成。

工具清单
必备数学工具

以下四个不等式/引理是整个信息论证明体系的核心,必须熟练掌握。

Jensen 不等式
凸函数 $f$ 满足 $f(\mathbb{E}[X]) \leq \mathbb{E}[f(X)]$。对数是凹函数,反向使用。
$-\log \sum_i \lambda_i x_i \leq \sum_i \lambda_i(-\log x_i)$
Kraft 不等式
$\sum D^{-l_i} \leq 1$$D$ 元前缀码存在的充要条件。用于证明 Huffman 最优性。
$\sum_{i=1}^K D^{-l_i} \leq 1$(Kraft)
Fano 不等式
联系条件熵与错误率:用于证明信道编码定理的逆(充分性)。
$H(P_e) + P_e\log(|\mathcal{X}|-1) \geq H(X|Y)$
数据处理不等式(DPI)
马尔可夫链 $X \to Y \to Z$ 下:后处理不增加信息。
$I(X;Z) \leq I(X;Y)$(DPI)
互信息恒等式(贯穿全课程的基础工具):

$I(X;Y) = H(X)-H(X|Y) = H(Y)-H(Y|X) = H(X)+H(Y)-H(X,Y)$

$I(X;Y) = D(p(x,y) \| p(x)p(y))$

参考来源

  • 中国科学技术大学 刘斌 — 信息论B 课程主页(课件与复习材料)
  • Cover & Thomas, Elements of Information Theory, 2nd Ed., Wiley, 2006.
  • PDFCh2 课件p.5
    正在渲染 PDF 第 5 页…
    Ch2 课件(PDF 第 5 页) · 打开原文
    ·
    PDFCh3 课件p.1
    正在渲染 PDF 第 1 页…
    Ch3 课件(PDF 第 1 页) · 打开原文
    ·
    PDFCh4 课件p.1
    正在渲染 PDF 第 1 页…
    Ch4 课件(PDF 第 1 页) · 打开原文
    ·
    PDFCh5-6 课件p.1
    正在渲染 PDF 第 1 页…
    Ch5-6 课件(PDF 第 1 页) · 打开原文
    ·
    PDFCh7 课件p.1
    正在渲染 PDF 第 1 页…
    Ch7 课件(PDF 第 1 页) · 打开原文
    ·
    PDFCh8 课件p.1
    正在渲染 PDF 第 1 页…
    Ch8 课件(PDF 第 1 页) · 打开原文
    ·
    PDFCh9 课件p.1
    正在渲染 PDF 第 1 页…
    Ch9 课件(PDF 第 1 页) · 打开原文
    ·
    PDFCh10 课件p.1
    正在渲染 PDF 第 1 页…
    Ch10 课件(PDF 第 1 页) · 打开原文