Изменения
Нет описания правки
}}
{{Теорема
|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>
<math>P(D)P(G|D,I)P(S|I)P(L|D,I,G,S)=</math>
<math>P(D)P(G|D,I)P(S|I)P(L|G)</math>
}}
== Источники информации ==
* Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, and Sriram K. Rajamani. 2014. Probabilistic programming. In Proceedings of the on Future of Software Engineering (FOSE 2014). ACM, New York, NY, USA, 167-181. DOI=10.1145/2593882.2593900 doi.acm.org/10.1145/2593882.2593900
