更改

=== 后门准则定义 ===

=== 后门准则定义 ===

----

----

给定有向无环图中的一对有序变量<math>(X,Y)</math>,如果变量集合<math>Z</math>满足：<math>Z</math>中没有<math>X</math>的后代节点，且<math>Z</math>阻断了<math>X</math>与<math>Y</math>之间的每条含有指向<math>X</math>的路径，则称<math>Z</math>满足关于<math>(X,Y)</math>的后门准则。

给定有向无环图中的一对有序变量<math>(X,Y)</math>,如果变量集合<math>Z</math>满足：

 

# <math>Z</math>中没有<math>X</math>的后代节点

# <math>Z</math>阻断了<math>X</math>与<math>Y</math>之间的每条含有指向<math>X</math>的路径，则称<math>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>的路径。