Изменения
Нет описания правки
{{Утверждение
|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> G является I-map (independency map) для P.
}}
== Источники информации ==
* 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
