387
个编辑
更改
跳到导航
跳到搜索
第41行：
第41行： − == 数学性质 ==+ − === 可达性，传递闭包和传递约束 ===+
无编辑摘要
== 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}}}}