68
правок
Байесовская сеть: различия между версиями
Перейти к навигации
Перейти к поиску
→Определения
Tanya (обсуждение | вклад) Нет описания правки |
Tanya (обсуждение | вклад) |
||
| Строка 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>. Под путём понимается последовательность следующих друг за другом рёбер (любого направления) в графе. | |||