Изменения
Нет описания правки
{{Утверждение
|statement=Если <math>P</math> факторизуется над <math>G</math>, то в <math>P</math> каждая переменная независима от вершин, не являющихся её потомками, при условии означивании родителей.
}}
{{Определение
|definition =
<math>I(G)={(X \bot Y | Z):dsep_G(X, Y|Z)}</math>, если <math>P</math> удовлетворяет <math>I(G)</math>, <math>G</math> является <math>I-map</math> (independency map) '''картой независимостей''' для <math>P</math>.
}}
|id = factorization independence 2
|author=
|statement=Если <math>P</math> факторизуется над <math>G</math>, то <math>G</math> является <math>I-map</math> картой независимостей для <math>P</math>.
}}
|id = factorization independence 2
|author=
|statement=Если <math>G</math> является <math>I-map</math> картой независимостей для <math>P</math>, то <math>P</math> факторизуется над <math>G</math>.
|proof= <math>P(D,I,G,S,L) = P(D)P(I|D)P(G|D,I)P(S|D,I,G)P(L|D,I,G,S)=</math>
<math>P(D)P(G|D,I)P(S|D,I,G)P(L|D,I,G,S)=</math>
