传递闭包

✍ dations ◷ 2025-04-26 11:31:15 #数学关系,闭包算子,图算法


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

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

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

我们可以用更具体术语来描述 的传递闭包如下。定义在 上的一个关系 ,称 当且仅当存在有限的元素()序列,使得 = 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算法。

相关

  • 列宁传《列宁传》(英语:Lenin: A Biography)是关于马克思主义理论家暨革命家弗拉基米尔·伊里奇·列宁的传记,由英国历史学者罗伯特·约翰·瑟维斯撰写,后者是牛津大学俄罗斯历史教授。
  • 托阿尔阶灭绝事件托阿尔阶灭绝事件(Toarcian extinction)又名普林斯巴赫阶-托阿尔阶灭绝事件(Pliensbachian-Toarcian extinction)、早侏罗纪灭绝事件(Early Jurassic extinction),发生于侏罗纪早期
  • 马萨诸塞大学州立大学系统 公立大学马萨诸塞大学系统(University of Massachusetts), 简称麻省大学或麻州大学系统, 是由美国马萨诸塞州五所公立大学所组成的高等教育
  • 木藜芦素梫木毒素(英文:Grayanotoxin;andromedotoxin、acetylandromedol、rhodotoxin、asebotoxin),又称木藜芦毒素,是一种由杜鹃花属及部分杜鹃花科(如马醉木、绊足花)植物产生的毒素,在其蜂
  • 印刷机印刷机是一种把着墨面压在媒体面(如纸和布料)的机械装置,以此来成像。最早由德国人古腾堡于1440年发明。印刷机是印刷文字和图像的机器。现代印刷机一般由装版、涂墨、压印、输
  • 包豪斯国立包豪斯学校(德语:Staatliches Bauhaus),通常简称包豪斯(Bauhaus),是一所德国的艺术和建筑学校,讲授并发展设计教育。“Bauhaus”由德文“Bau”和“Haus”组成(“Bau”为“建筑”,
  • 博物馆志愿人员博物馆志愿人员是指经由博物馆公开向社会公告,所募集一群志愿提供个人时间与精力为博物馆工作的社会人士。基本上博物馆志愿人员没有因为在博物馆工作而获得博物馆所提供的金
  • 新西兰地理新西兰由两大岛屿和数个小岛所组成,地理位置接近水半球的中心。气候变化多样,既有寒冷且降水多的地区,也有较为干旱的地区,一些地区属亚热带气候。因新西兰具有多彩的地形特征,众
  • 阿苏萨阿苏萨(英文:Azusa),是美国加利福尼亚州洛杉矶县下属的一座城市。建市于1898年12月29日,面积 大约为9.66平方英里 (25平方公里)。根据2010年美国人口普查,该市有人口46,361人。
  • 石英山石英山(英语:Quartz Hill)是位于美国加利福尼亚州洛杉矶县的一个人口普查指定地区。石英山的座标为34°39′08″N 118°13′14″W / 34.65222°N 118.22056°W / 34.65222; -11