更改

跳到导航跳到搜索

后门准则 (查看源代码)

2021年8月3日 (二) 14:44的版本

添加2字节、 2021年8月3日 (二) 14:44

→‎后门准则定义

第5行：第5行：

=== 后门准则定义 ===

=== 后门准则定义 ===

----

----

−

给定有向无环图中的一对有序变量<math>(X,Y)</math>~~,如果变量集合~~<math>Z</math>满足：

+

给定有向无环图中的一对有序变量<math>(X,Y)</math>，如果变量集合<math>Z</math>满足：

# <math>Z</math>中没有<math>X</math>的后代节点

# <math>Z</math>中没有<math>X</math>的后代节点

252

个编辑

取自“https://wiki.swarma.org/index.php/特殊:移动版差异/25291”