{"title":"超度量骨干网是所有最小生成林的联合。","authors":"Jordan C Rozum, Luis M Rocha","doi":"10.1088/2632-072X/ad679e","DOIUrl":null,"url":null,"abstract":"<p><p>Minimum spanning trees and forests are powerful sparsification techniques that remove cycles from weighted graphs to minimize total edge weight while preserving node reachability, with applications in computer science, network science, and graph theory. Despite their utility and ubiquity, they have several limitations, including that they are only defined for undirected networks, they significantly alter dynamics on networks, and they do not generally preserve important network features such as shortest distances, shortest path distribution, and community structure. In contrast, distance backbones, which are subgraphs formed by all edges that obey a generalized triangle inequality, are well defined in directed and undirected graphs and preserve those and other important network features. The backbone of a graph is defined with respect to a specified path-length operator that aggregates weights along a path to define its length, thereby associating a cost to indirect connections. The backbone is the union of all shortest paths between each pair of nodes according to the specified operator. One such operator, the max function, computes the length of a path as the largest weight of the edges that compose it (a weakest link criterion). It is the only operator that yields an algebraic structure for computing shortest paths that is consistent with De Morgan's laws. Applying this operator yields the ultrametric backbone of a graph in that (semi-triangular) edges whose weights are larger than the length of an indirect path connecting the same nodes (i.e. those that break the generalized triangle inequality based on max as a path-length operator) are removed. We show that the ultrametric backbone is the union of minimum spanning forests in undirected graphs and provides a new generalization of minimum spanning trees to directed graphs that, unlike minimum equivalent graphs and minimum spanning arborescences, preserves all <math><mrow><mo>max</mo> <mo>-</mo> <mo>min</mo></mrow> </math> shortest paths and De Morgan's law consistency.</p>","PeriodicalId":53211,"journal":{"name":"Journal of Physics Complexity","volume":"5 3","pages":"035009"},"PeriodicalIF":2.6000,"publicationDate":"2024-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11307140/pdf/","citationCount":"0","resultStr":"{\"title\":\"The ultrametric backbone is the union of all minimum spanning forests.\",\"authors\":\"Jordan C Rozum, Luis M Rocha\",\"doi\":\"10.1088/2632-072X/ad679e\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p><p>Minimum spanning trees and forests are powerful sparsification techniques that remove cycles from weighted graphs to minimize total edge weight while preserving node reachability, with applications in computer science, network science, and graph theory. Despite their utility and ubiquity, they have several limitations, including that they are only defined for undirected networks, they significantly alter dynamics on networks, and they do not generally preserve important network features such as shortest distances, shortest path distribution, and community structure. In contrast, distance backbones, which are subgraphs formed by all edges that obey a generalized triangle inequality, are well defined in directed and undirected graphs and preserve those and other important network features. The backbone of a graph is defined with respect to a specified path-length operator that aggregates weights along a path to define its length, thereby associating a cost to indirect connections. The backbone is the union of all shortest paths between each pair of nodes according to the specified operator. One such operator, the max function, computes the length of a path as the largest weight of the edges that compose it (a weakest link criterion). It is the only operator that yields an algebraic structure for computing shortest paths that is consistent with De Morgan's laws. Applying this operator yields the ultrametric backbone of a graph in that (semi-triangular) edges whose weights are larger than the length of an indirect path connecting the same nodes (i.e. those that break the generalized triangle inequality based on max as a path-length operator) are removed. We show that the ultrametric backbone is the union of minimum spanning forests in undirected graphs and provides a new generalization of minimum spanning trees to directed graphs that, unlike minimum equivalent graphs and minimum spanning arborescences, preserves all <math><mrow><mo>max</mo> <mo>-</mo> <mo>min</mo></mrow> </math> shortest paths and De Morgan's law consistency.</p>\",\"PeriodicalId\":53211,\"journal\":{\"name\":\"Journal of Physics Complexity\",\"volume\":\"5 3\",\"pages\":\"035009\"},\"PeriodicalIF\":2.6000,\"publicationDate\":\"2024-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11307140/pdf/\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Physics Complexity\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1088/2632-072X/ad679e\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"2024/8/8 0:00:00\",\"PubModel\":\"Epub\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS, INTERDISCIPLINARY APPLICATIONS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Physics Complexity","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1088/2632-072X/ad679e","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2024/8/8 0:00:00","PubModel":"Epub","JCR":"Q1","JCRName":"MATHEMATICS, INTERDISCIPLINARY APPLICATIONS","Score":null,"Total":0}
引用次数: 0
摘要
最小生成树和森林是一种功能强大的稀疏化技术,它们可以去除加权图中的循环,从而在保持节点可达性的同时使总边重最小化,在计算机科学、网络科学和图论中都有应用。尽管这些技术非常有用,而且无处不在,但它们也有一些局限性,包括它们只针对无向网络,会显著改变网络的动态性,而且一般不会保留重要的网络特征,如最短距离、最短路径分布和群落结构。与此相反,距离骨干图是由遵守广义三角形不等式的所有边组成的子图,在有向图和无向图中都得到了很好的定义,并保留了这些和其他重要的网络特征。图的主干是根据指定的路径长度算子定义的,该算子汇总路径上的权重来定义路径长度,从而为间接连接设定成本。根据指定的算子,骨干图是每对节点之间所有最短路径的联合。其中一个运算符,即 max 函数,将路径的长度计算为组成路径的边的最大权重(最弱链接标准)。它是唯一能产生与德摩根定律一致的代数结构来计算最短路径的算子。应用此算子可以得到图的超对称主干,即删除权重大于连接相同节点的间接路径长度的(半三角形)边(即那些破坏基于 max 作为路径长度算子的广义三角形不等式的边)。我们证明了超对称骨干图是无向图中最小生成森林的结合,并为有向图提供了最小生成树的新广义,与最小等价图和最小生成树状图不同,它保留了所有最大-最小最短路径和德摩根定律的一致性。
The ultrametric backbone is the union of all minimum spanning forests.
Minimum spanning trees and forests are powerful sparsification techniques that remove cycles from weighted graphs to minimize total edge weight while preserving node reachability, with applications in computer science, network science, and graph theory. Despite their utility and ubiquity, they have several limitations, including that they are only defined for undirected networks, they significantly alter dynamics on networks, and they do not generally preserve important network features such as shortest distances, shortest path distribution, and community structure. In contrast, distance backbones, which are subgraphs formed by all edges that obey a generalized triangle inequality, are well defined in directed and undirected graphs and preserve those and other important network features. The backbone of a graph is defined with respect to a specified path-length operator that aggregates weights along a path to define its length, thereby associating a cost to indirect connections. The backbone is the union of all shortest paths between each pair of nodes according to the specified operator. One such operator, the max function, computes the length of a path as the largest weight of the edges that compose it (a weakest link criterion). It is the only operator that yields an algebraic structure for computing shortest paths that is consistent with De Morgan's laws. Applying this operator yields the ultrametric backbone of a graph in that (semi-triangular) edges whose weights are larger than the length of an indirect path connecting the same nodes (i.e. those that break the generalized triangle inequality based on max as a path-length operator) are removed. We show that the ultrametric backbone is the union of minimum spanning forests in undirected graphs and provides a new generalization of minimum spanning trees to directed graphs that, unlike minimum equivalent graphs and minimum spanning arborescences, preserves all shortest paths and De Morgan's law consistency.