252
个编辑
更改
跳到导航
跳到搜索
第8行：
第8行： − +
→定义
# <math>\mathbf{Z}</math>中没有<math>X</math>的后代节点；
# <math>\mathbf{Z}</math>中没有<math>X</math>的后代节点；
# <math>\mathbf{Z}</math>阻断了<math>X</math>与<math>Y</math>之间的每条<math>X</math>的后门路径，则称<math>\mathbf{Z}</math>满足关于<math>(X,Y)</math>的后门准则。
# <math>\mathbf{Z}</math>阻断了<math>X</math>与<math>Y</math>之间的每条<math>X</math>的后门路径和伪路径，则称<math>\mathbf{Z}</math>满足关于<math>(X,Y)</math>的后门准则。
'''注意'''：有序变量<math>(X,Y)</math>的后门路径指在变量<math>X</math>和<math>Y</math>之间的任何指向<math>X</math>的路径。
'''注意'''：有序变量<math>(X,Y)</math>的后门路径指在变量<math>X</math>和<math>Y</math>之间的任何指向<math>X</math>的路径。