更改

跳到导航 跳到搜索
删除123字节 、 2021年8月3日 (二) 15:16
第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>的路径不变。
  
252

个编辑

导航菜单