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