Байесовская сеть: различия между версиями

Перейти к навигации Перейти к поиску
Нет описания правки
Строка 23: Строка 23:


''Условная независимость'' в байесовской сети представлена графическим свойством ''d-разделённости''.
''Условная независимость'' в байесовской сети представлена графическим свойством ''d-разделённости''.
=== d-разделённость ===
Путь <math>p</math> называют ''d-разделённым'', или ''блокированным'' множеством вершин <math>Z</math> тогда и только тогда, когда
# <math>p</math> содержит ''цепь'' <math>i</math> → <math>m</math> → <math>j</math> или ''разветвление'' <math>i</math> ← <math>m</math> → <math>j</math> такие, что <math>m</math> принадлежит <math>Z</math>, или
# <math>p</math> содержит ''инвертированное разветвление (коллайдер)'' <math>i</math> → <math>m</math> ← <math>j</math>, такое, что <math>m</math> не принадлежит <math>Z</math> и у вершины <math>m</math> нет потомков, которые принадлежат <math>Z</math>.
Пусть <math>X, Y, Z</math> — не пересекающиеся подмножества вершин в ацикличном ориентированном графе <math>G</math>. Говорят, что множество вершин <math>Z</math> d-разделяет <math>X</math> и <math>Y</math> тогда и только тогда, когда <math>Z</math> блокирует все пути из любой вершины, принадлежащей <math>X</math> в любую вершину, принадлежащую <math>Y</math>, и обозначают <math>(<X \perp\!\!\!\perp Y|Z>)_G</math>. Под путём понимается последовательность следующих друг за другом рёбер (любого направления) в графе.
68

правок

Навигация