252
个编辑
更改
跳到导航
跳到搜索
第4行：
第4行： +
→后门准则定义
=== 后门准则定义 ===
=== 后门准则定义 ===
----
给定有向无环图中的一对有序变量<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>的后门准则。