48
个编辑
更改
无编辑摘要
* 当路径中出现如此形式的V-结构：''<math> \mathbf{X}_{i-1} \rightarrow \mathbf{X}_{i} \leftarrow \mathbf{X}_{i+1} </math>''时，''<math> \mathbf{X}_{i} </math>或它的某个子孙结点在<math> \mathbf{Z} </math>''中。
* 当路径中出现如此形式的V-结构：''<math> \mathbf{X}_{i-1} \rightarrow \mathbf{X}_{i} \leftarrow \mathbf{X}_{i+1} </math>''时，''<math> \mathbf{X}_{i} </math>或它的某个子孙结点在<math> \mathbf{Z} </math>''中。
* 其它任何路径中的结点都不在''<math> \mathbf{Z} </math>中。''
* 其它任何路径中的结点都不在''<math> \mathbf{Z} </math>中。''
<references>''<math>\mathbf{Z} </math>''</references>
=== 根据激活路径的解释 ===
由d-分离的定义可知，<math> d-sep_{\mathcal{G}(\mathbf{X}l\mathbf{Y} \mid \mathbf{Z}) } </math>实际上指的就是将所有<math> \mathbf{X} </math>和<math> \mathbf{Y} </math>间的激活路径以及相应激活结点集找出，只要保证<math> \mathbf{Z} </math>中没有激活节点集中的结点，且不含<math> \mathbf{X} </math>与<math> \mathbf{Y} </math>中结点即可做到d-分离。
=== 根据阻断路径的解释 ===
类似激活路径的定义，我们还可以定义阻断路径：
''一条路径被一组结点<math> \mathbf{Z} </math>阻断，当且仅当：''
* ''路径中包含链结构或分叉结构，则中间结点包含在<math> \mathbf{Z} </math>中。''
* ''路径中包含对撞结构，则对撞结点及其子孙结点都不在<math> \mathbf{Z} </math>中。''
有了阻断路径的定义，我们可以重新定义d-分离为：
''如果<math> \mathbf{Z} </math>阻断了<math> \mathbf{X} </math>和<math> \mathbf{Y} </math>之间的每一条路径，则称<math> \mathbf{X} </math>和<math> \mathbf{Y} </math>是给定<math>\mathbf{Z} </math>下d-分离的，<math> \mathbf{X} </math>和<math> \mathbf{Y} </math>在给定<math>\mathbf{Z} </math>下条件独立。''<references>''<math>\mathbf{Z} </math>''</references>