在原始 GAN 论文的证明中,它是这样写的:
∫xpdata(x)logD(x)dx+∫zp(z)log(1−D(G(z)))dz=∫xpdata(x)logD(x)+pG(x)log(1−D(x))dx∫xpdata(x)logD(x)dx+∫zp(z)log(1−D(G(z)))dz=∫xpdata(x)logD(x)+pG(x)log(1−D(x))dx
我已经看到一些解释断言以下相等性是理解的关键:
Ez∼pz(z)log(1−D(G(z)))=Ex∼pG(x)log(1−D(x))Ez∼pz(z)log(1−D(G(z)))=Ex∼pG(x)log(1−D(x))
这是 LOTUS 定理的结果,并且xg=g(z)xg=g(z). 为什么是xg=g(z)xg=g(z)?
它不应该从某个等式推导出来。这是 GAN 工作的基本前提。生成器的输出G(z)G(z)作为输入馈入xgxg到鉴别器。