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=-，是多次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[] - Sum_l[] -

其中：

    = /2 - log(2pi)/2 - 1/2

  - = -/2 + log(2pi)/2 + (i_ - mi_)**2/(vi_)**2/2

  - = in**2/2 + log(2pi)/2