传递闭包

✍ dations ◷ 2025-07-26 10:46:20 #数学关系,闭包算子,图算法


传递闭包、即在数学中,在集合 上的二元关系 的传递闭包是包含 的 上的最小的传递关系。

例如,如果 是(生或死)人的集合而 是关系“为父子”,则 的传递闭包是关系“ 是 的祖先”。再比如,如果 是空港的集合而关系 为“从空港 到空港 有直航”,则 的传递闭包是“可能经一次或多次航行从 飞到 ”。

对于任何关系 , 的传递闭包总是存在的。传递关系的任何家族的交集也是传递的。进一步的,至少存在一个包含 的传递关系,也就是平凡的: × 。 传递闭包给出自包含 的所有传递关系的交集。

我们可以用更具体术语来描述 的传递闭包如下。定义在 上的一个关系 ,称 当且仅当存在有限的元素()序列,使得 = 0 并且

形式上写为

容易检查出关系 是传递的并且包含 。进一步地,任何包含 的传递关系也包含 ,所以 是 的传递闭包。

设 是任何元素的集合。

假定: {\displaystyle \exists } 传递关系 {\displaystyle \subseteq } {\displaystyle \wedge } {\displaystyle \not \subseteq } 。所以 {\displaystyle \exists } {\displaystyle \not \in } {\displaystyle \wedge } {\displaystyle \in } . 所以,特定的 {\displaystyle \not \in }

现在通过 的定义,我们知道了 {\displaystyle \exists } N {\displaystyle \in \mathbb {N} } {\displaystyle \in } 。接着, {\displaystyle \forall } N {\displaystyle \in \mathbb {N} } < {\displaystyle <} {\displaystyle \Rightarrow } {\displaystyle \in } 。所以,有从 到 路径如下: 。

但是,通过 在 上的传递性, {\displaystyle \forall } N {\displaystyle \in \mathbb {N} } < {\displaystyle <} {\displaystyle \Rightarrow } {\displaystyle \in } ,所以, {\displaystyle \in } {\displaystyle \wedge } {\displaystyle \in } ,所以通过 的传递性,我们得到了 {\displaystyle \in } 。矛盾于 {\displaystyle \not \in }

因此, {\displaystyle \forall } {\displaystyle \in } × {\displaystyle \times } , {\displaystyle \in } {\displaystyle \Rightarrow } {\displaystyle \in } 。这意味着 {\displaystyle \subseteq } ,对于任何包含 的传递的 。所以, 是包含 的最小传递闭包。

如果 是传递的,则 = 。

注意两个传递关系的并集不必须是传递的。为了保持传递性,必须采用传递闭包。例如,这出现在取两个等价关系或预序的并的时候。为了获得新的等价关系或预序,必须选用传递闭包(自反性和对称性 — 在等价关系的情况下 — 是自动的)。

有向无环图(DAG)的传递闭包是 DAG 的可到达性关系和一个严格偏序。

在计算复杂性理论中,复杂度类 NL 严格对应于可使用一阶逻辑和传递闭包表达的逻辑句子的集合。这是因为传递闭包性质有密切关系于 NL-完全问题 STCON,找到在一个图中的有向路径。类似的,类 L 是一阶逻辑带有交换传递闭包。在向二阶逻辑增加了传递闭包的时候,我们得到 PSPACE。

计算图的传递闭包的有效算法可见于 here。最简单的技术是Floyd-Warshall算法。

相关

  • 恋物恋物(Sexual fetishism / Erotic fetishism)是指对无生命物体或性器官以外的身体部位的性固着。在医学上,单纯的恋物并非病态,但若构成了当事人极大的痛苦或对其生活的某些层面
  • 壤土壤土(英语:loam)是土壤分类之一。指粘性高的土壤,沉泥和粘土的含有比率大约在25~40%。由壤土构成的地层称作壤土层,日本有著名的关东壤土,其地层群总称关东壤土层。关东壤土是关东
  • 宋真宗宋真宗赵恒(968年12月23日-1022年3月23日),原名赵德昌,又曾名赵元休、赵元侃,北宋的第三位皇帝。他是宋太宗的第三个儿子,登基前曾被封为韩王、襄王和寿王,淳化五年(994年)九月,加检校
  • 九章算术《九章算术》九卷,是现存最早的中国古代数学著作之一,《算经十书》中最重要的一种。其作者已不可考。一般认为它是经历代各家的增补修订,而逐渐成为现今定本的。在四库全书中为
  • 朱森元朱森元(1930年10月26日-),中国液体火箭发动机专家。生于江苏溧阳。1949年至1952年在南京大学航空系学习。1960年在莫斯科包曼高工获副博士学位。中国运载火箭技术研究院研究员。
  • 中华台商爱国党中华台商爱国党是中华民国曾经存在的政党之一,2011年4月24日是台湾诞生第187个登记有案的政党,发起人为林国长,是由一群中国大陆中小企业台商所组成的党(简称“台商党”),该党以促
  • 台湾高等法院花莲分院坐标:23°59′27″N 121°37′38″E / 23.990912°N 121.627333°E / 23.990912; 121.627333院本部:970花莲县花莲市民权路127号电话:(03)8225116 台东庭:台湾高等法院花莲分院
  • 波尼亚托夫斯基亲王约泽夫·安东尼·波尼亚托夫斯基亲王(波兰语:Józef Antoni Poniatowski,1763年5月7日-1813年10月19日)是一位波兰领导人,将军,战争部长及军队首领,被赐予帝国元帅头衔。约泽夫·安
  • 联合公民诉联邦选举委员会案联合公民诉联邦选举委员会案(Citizens United v. Federal Election Commission, 558 U.S. 08-205 (2010))是由美国联邦最高法院判决的一场具有重要意义的诉讼案。最高法院于20
  • 以色列-卡塔尔关系以卡关系是指以色列与卡塔尔之间具有历史意义和现实意义的双边关系。1996年,卡塔尔与以色列建立了贸易关系。当卡塔尔获得2022年世界杯主办权时,他们表示,如果以色列获得参赛资