252
个编辑
更改
跳到导航
跳到搜索
第20行：
第20行： − 后门准则包含两个方面的路径检查：+ − +
→计算步骤
=== 计算步骤 ===
=== 计算步骤 ===
----
----
后门准则包含两个步骤：
# 阻断任何变量<math>X</math>到变量<math>Y</math>的后门路径/伪路径(伪路径是指不同于从变量<math>X</math>指向变量<math>Y</math>有向路径的所有其他路径)；
# 阻断任何变量<math>X</math>到变量<math>Y</math>的后门路径/伪路径；
# 确保现在所有从变量<math>X</math>到变量<math>Y</math>的路径不变。
# 确保现在所有从变量<math>X</math>到变量<math>Y</math>的路径不变。