63
правки
Изменения
Нет описания правки
|id = factorization independence
|author=
|statement=Если <math>P</math> факторизуется над <math>G</math> и <math>dsep_G(X, Y|Z)</math>, то <math>P</math> \models <math>(X \bot Y|Z)</math>.
|proof= <math>P(D,I,G,S,L) = P(D)P(I)P(G|I,D)P(S|I)P(L|G)</math>, <math>P(D,S) = \sum\limits_{G, L, I} P(D)P(I)P(G|D,I)P(S|I)P(L|G)=</math>
{{Определение
|definition =
<math>I(G)={(X \bot Y | Z):dsep_G(X, Y|Z)}</math>, если <math>P</math> \models <math>I(G)</math>, <math>G</math> является '''картой независимостей''' для <math>P</math>.
}}
