{"title":"Fault-Tolerant Strong Menger (Edge) Connectivity of DCC Linear Congruential Graphs","authors":"Zhengqi Yu, Shuming Zhou, Hong Zhang","doi":"10.1142/s0129054122500137","DOIUrl":null,"url":null,"abstract":"With the rapid development and advances of very large scale integration technology and wafer-scale integration technology, multiprocessor systems, taking interconnection networks as underlying topologies, have been widely designed and used in big data era. The topology of an interconnection network is usually represented as a graph. If any two distinct vertices [Formula: see text] in a connected graph [Formula: see text] are connected by min[Formula: see text] vertex (edge)-disjoint paths, then [Formula: see text] is called strongly Menger (edge) connected. In 1996, Opatrny et al. [16] introduced the DCC (Disjoint Consecutive Cycle) linear congruential graph, which consists of [Formula: see text] nodes and is generated by a set of linear functions [Formula: see text] with special properties. In this work, we investigate the strong Menger connectivity of the DCC linear congruential graph [Formula: see text] with faulty vertices or edges, where [Formula: see text], [Formula: see text], gcd[Formula: see text] and [Formula: see text] is a multiple of [Formula: see text]. In detail, we show that [Formula: see text] is strongly Menger connected if [Formula: see text] for any [Formula: see text]. Moreover, we determine that [Formula: see text] is strongly Menger edge connected if [Formula: see text] for any [Formula: see text]. Furthermore, we prove that, under the restricted condition [Formula: see text], [Formula: see text] is strongly Menger edge connected if [Formula: see text] and [Formula: see text] for any [Formula: see text]. In addition, we present some empirical examples to show that the bounds are all optimal in the sense of the maximum number of tolerable edge faults.","PeriodicalId":192109,"journal":{"name":"Int. J. Found. Comput. Sci.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Int. J. Found. Comput. Sci.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1142/s0129054122500137","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
With the rapid development and advances of very large scale integration technology and wafer-scale integration technology, multiprocessor systems, taking interconnection networks as underlying topologies, have been widely designed and used in big data era. The topology of an interconnection network is usually represented as a graph. If any two distinct vertices [Formula: see text] in a connected graph [Formula: see text] are connected by min[Formula: see text] vertex (edge)-disjoint paths, then [Formula: see text] is called strongly Menger (edge) connected. In 1996, Opatrny et al. [16] introduced the DCC (Disjoint Consecutive Cycle) linear congruential graph, which consists of [Formula: see text] nodes and is generated by a set of linear functions [Formula: see text] with special properties. In this work, we investigate the strong Menger connectivity of the DCC linear congruential graph [Formula: see text] with faulty vertices or edges, where [Formula: see text], [Formula: see text], gcd[Formula: see text] and [Formula: see text] is a multiple of [Formula: see text]. In detail, we show that [Formula: see text] is strongly Menger connected if [Formula: see text] for any [Formula: see text]. Moreover, we determine that [Formula: see text] is strongly Menger edge connected if [Formula: see text] for any [Formula: see text]. Furthermore, we prove that, under the restricted condition [Formula: see text], [Formula: see text] is strongly Menger edge connected if [Formula: see text] and [Formula: see text] for any [Formula: see text]. In addition, we present some empirical examples to show that the bounds are all optimal in the sense of the maximum number of tolerable edge faults.
随着超大规模集成技术和晶圆级集成技术的快速发展和进步,以互联网络为底层拓扑结构的多处理器系统在大数据时代得到了广泛的设计和应用。互连网络的拓扑结构通常用图表示。如果连通图[公式:见文]中任意两个不同的顶点[公式:见文]通过最小[公式:见文]顶点(边)不相交的路径相连,则称为[公式:见文]强门格尔(边)连通。1996年,Opatrny等[16]引入了DCC (Disjoint continuous Cycle)线性同余图,该图由[公式:见文]个节点组成,由一组具有特殊性质的线性函数[公式:见文]生成。在这项工作中,我们研究了具有错误顶点或边的DCC线性同余图[公式:见文]的强门格尔连通性,其中[公式:见文],[公式:见文],gcd[公式:见文]和[公式:见文]是[公式:见文]的倍数。详细地说,我们证明了[Formula: see text]是强门格尔连接的,如果[Formula: see text]对于任何[Formula: see text]。此外,我们确定对于任何[公式:见文],如果[公式:见文]为[公式:见文],则[公式:见文]为强门格尔边连通。进一步证明了在受限条件下[公式:见文],对于任意[公式:见文],如果[公式:见文]和[公式:见文],[公式:见文]是强门格尔边连通的。此外,我们给出了一些经验例子来证明,在可容忍边缘故障的最大数目意义上,边界都是最优的。