生成对抗网络(GAN)的基本概念
2014年 Goodfellow 等人提出了一个生成对抗网络(GAN)的概念后一直火爆至今,相比于其它生成模型,它有以下几个优点:
- 模型只用到了反向传播,而不需要马尔科夫链。
- 训练时不需要对隐变量做推断。
- 理论上,只要是可微分函数都可以用于构建 D(判别模型)和 G(生成模型),因为能够与深度神经网络结合做深度生成式模型。
- G 的参数更新不是直接来自数据样本,而是使用来自 D 的反向传播。
它的主要思想来源于博弈论中的零和游戏。简单描述起来就是我们有一些真实的数据,也有一些随机生成的假数据。G 负责把这些数据拿过来拼命地模仿成真实数据并把它们藏在真实数据中,而 D 就拼命地要把伪造数据和真实数据分开。经过二者的博弈以后,G 的伪造技术越来越厉害,D 的鉴别技术也越来越厉害。直到 D 再也分不出数据是真实的还是 G 生成的数据的时候(D 判断正确的概率为 $1/2$ ,即随机猜测),我们就达到了目的。此时 G 可以用来模仿生成所谓的“真实数据”了。
为了学习到生成器在数据 $x$ 生的分布 $p_g(x)$ ,我们先定义一个先验的输入噪声变量 $p_z(z)$ ,然后根据 $G(z;\theta_g)$ 将其映射到数据空间中,其中 $G$ 为多层感知机所表征的可微函数。然后利用第二个多层感知机 $D(x;\theta_d)$ ,它的输出为单个标量,表示 $x$ 来源于真实数据的概率。我们训练 $D$ 来最大化正确分配真实样本和生成样本的概率,因此我们就可以通过最小化 $\log (1-D(G(z)))$ (G 生成的数据被分错的损失函数)而同时训练 $G$ 。即:
最优判别器
考虑到
我们可以将价值函数 $V(D,G)$ 展开为在全体 $x$ 上的积分形式
因为求积分最大值可以转化为求被积函数最大值,且 $p_{\text{data}}(x)$ 和 $p_g(x)$ 均为标量,因此我们讨论如下形式的式子的最大值:
考虑到
且
我们得到极大值在 $\frac{a}{a+b}$ 处取到,令 $a=p_{\text{data}}(x), b=p_g(x), y=D(x)$ ,则容易对比出最优判别器
最优生成器
显然,GAN 的目的是让 $p_{\text{data}}=p_g$ 。此时判别器已经完全分辨不出真实数据和生成数据的区别了。即
Goodfellow 等人证明,这个最优生成器就是上面那个 min max 的式子。
一个 TensorFlow 示例(基于 MNIST 数据库)
简单起见,没有用 CNN。主要是展示 G 与 D 的博弈过程。
1 | import tensorflow as tf |