Изменения
Нет описания правки
* для каждой V-образной структуры X_i-1 -> X_i <- X_i+1 X_i или один из его потомков принадлежит Z;
* все остальные X_i (которые не образуют V-образную структуру) не принадлежат Z.
}}
== Условная независимость ==
{{Определение
|definition =
X и Y являются d-разделёнными (англ. d-separated), если в графе G при условии Z не существует активного пути между X и Y. Обозначение: dsep_G(X, Y|Z).
}}
== Источники информации ==
* 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
