387
个编辑
更改
跳到导航
跳到搜索
第40行：
第40行： − + − 数学性质 +
→Mathematical properties
== Mathematical properties ==
== Mathematical properties 数学性质 ==
=== Reachability, transitive closure, and transitive reduction ===
=== Reachability, transitive closure, and transitive reduction ===
可达性，传递闭包和传递归约
可达性，传递闭包和传递归约
{{multiple image|image1=Tred-G.svg
{{multiple image|image1=Tred-G.svg
|width1=175|image2=Tred-Gprime.svg|width2=124|caption1=A DAG {{mvar|G}}|caption2=Transitive reduction of {{mvar|G}}}}
|width1=175|image2=Tred-Gprime.svg|width2=124|caption1=A DAG {{mvar|G}}|caption2=Transitive reduction of {{mvar|G}}}}