2个性质和1个结论

做个记录，

1,Isx,y - Ix,y = I(s,y)|x

    讨论：

        1) x~粗粒度时，求证分段I(s,y)|x~最大 => I(s,y)|x最大，（反之不一定成立。）

        2) 每次取一个x~的sy组，多次sgd效果相同，因为L=-<i(s,y)|x>，是多次x采样的均值。

2, 若s|xy=s|x：

a, 则：I(s,y)|x = 0

    b, 若I(x,y)|s = 0, 则 Is,y = Ix,y.

  -Isn,y + Csn|y - Cs0 + Sum_l[Cs_|sl]

=-Iin,y + Sum_l[<log(Pil|s_)>] - Sum_l[<log(Qi_|sl)>] - <log(Rin)>

其中：

   <log(Pil|s_)> = <nlog[vil(s_)]>/2 - log(2pi)/2 - 1/2

  -<log(Qi_|sl)> = -<nln[vi_(sl)]>/2 + log(2pi)/2 + (i_ - mi_)**2/(vi_)**2/2

  -<log(Rin)> = in**2/2 + log(2pi)/2