传递约简（也译“传递归约”）：在有向图中，删除所有“多余”的边，使得图中任意两点之间的可达关系（reachability）保持不变。
常见于有向无环图（DAG）与偏序关系的表示：对DAG而言，传递约简（在同构意义下）是唯一的，常用于得到更“干净”的依赖关系图或对应的 Hasse 图。
/ˈtrænzɪtɪv rɪˈdʌkʃən/
We computed the transitive reduction of the dependency graph.
我们计算了依赖图的传递约简。
After building the transitive closure, the tool outputs a transitive reduction to remove redundant edges while preserving reachability between all nodes.
在构建传递闭包之后，该工具会输出传递约简，在保留所有节点间可达性的前提下删除冗余边。
transitive 来自拉丁语 transire（“穿越、越过”），在逻辑与语法中引申为“可传递的”，在图论里对应“若 A→B 且 B→C，则 A→C”。
reduction 来自拉丁语 reducere（“带回、减少”），在数学与计算机科学中常指“在保留关键性质的前提下简化结构”。合起来即“在保留可达性的前提下进行简化”。
Select Language