Moi,
Osaatko ratkaista informaatioteorian ehdollisen entropian kaavan:
Ensinnäkin entropia on H(X)=-sum_x p(x)log2(p(x))
Ketjusäännölle pätee helpohkosti
H(X,Y)=H(X) H(Y|X).
Mutta ehdolliselle usean muuttujan entropialle väitetään:
H(X,Y|Z)=H(X|Z) H(Y|X,Z)
Miten tuo todistetaan?
t. Mikko
Osaatko ratkaista informaatioteorian ehdollisen entropian kaavan:
Ensinnäkin entropia on H(X)=-sum_x p(x)log2(p(x))
Ketjusäännölle pätee helpohkosti
H(X,Y)=H(X) H(Y|X).
Mutta ehdolliselle usean muuttujan entropialle väitetään:
H(X,Y|Z)=H(X|Z) H(Y|X,Z)
Miten tuo todistetaan?
t. Mikko
Vastaukset 1
Vanhimmat
Suoraviivaista
p(X,Y|Z)p(Z)=p(X,Y,Z)
=
p(Y|X,Z)p(X,Z)
=
p(Y|X,Z)p(X|Z)p(Z)
=>
log(p(X,Y|Z))
=
log(p(Y|X,Z)p(X|Z)p(Z)/p(Z))
=>
log(p(X,Y|Z))=log(p(Y|X,Z)) log(p(X|Z))
=>
H(X,Y|Z)=H(X|Z) H(Y|X,Z)