252
个编辑
更改
跳到导航
跳到搜索
第7行：
第7行： − +
→后门准则定义
给定有向无环图中的一对有序变量<math>(X,Y)</math>，如果变量集合<math>\mathbf{Z}</math>满足：
给定有向无环图中的一对有序变量<math>(X,Y)</math>，如果变量集合<math>\mathbf{Z}</math>满足：
# <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>的后门准则。