给定有向无环图中的一对有序变量<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>的后门准则。 |