更改

跳到导航 跳到搜索
添加9字节 、 2021年8月3日 (二) 14:45
第5行: 第5行:  
=== 后门准则定义 ===
 
=== 后门准则定义 ===
 
----
 
----
给定有向无环图中的一对有序变量<math>(X,Y)</math>,如果变量集合<math>Z</math>满足:
+
给定有向无环图中的一对有序变量<math>(X,Y)</math>,如果变量集合<math>\mathbf{Z}</math>满足:
    
# <math>Z</math>中没有<math>X</math>的后代节点
 
# <math>Z</math>中没有<math>X</math>的后代节点
252

个编辑

导航菜单