4.3 Article

Conditional diagnosability of a class of matching composition networks under the comparison model

期刊

THEORETICAL COMPUTER SCIENCE
卷 674, 期 -, 页码 43-52

出版社

ELSEVIER SCIENCE BV
DOI: 10.1016/j.tcs.2017.02.010

关键词

Comparison model; Diagnosability; Conditional faulty set; Conditional diagnosability

资金

  1. NNSF of China [11571044, 61373021, 61672025]
  2. Fundamental Research Funds for the Central Universities

向作者/读者索取更多资源

Fault diagnosis of interconnection networks is an important consideration in the design and maintenance of multiprocessor systems. Herein, we study fault diagnosis, which is the identification of faulty processors in high speed parallel processing systems. Conditional diagnosability, proposed by Lai et al. [22], assumes that no fault set can contain all the neighbors of any processor in a system; this is a well-accepted and general measure of the diagnosis ability of an interconnection network of multiprocessor systems. The diagnosability and conditional diagnosability of many interconnection networks have been studied using various diagnosis models. In this paper we study the conditional diagnosability of matching composition networks under the comparison model (MM* model). In [31] Yang determined a set of sufficient conditions for a network G to be conditionally (3n - 3 - C(G))-diagnosable. Our main contribution in this paper is to extend Yang's result by determining a larger class of networks that are conditionally (3n - 3 - C(G))-diagnosable. Yang's result [31] and earlier results for the hypercube, the crossed cube, the twisted cube and the Mobius cube [18,32,33] all become corollaries of our main result. Thus this paper extends the state of the art in the area of conditional diagnosability of multiprocessor systems. (C) 2017 Elsevier B.V. All rights reserved.

作者

我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。

评论

主要评分

4.3
评分不足

次要评分

新颖性
-
重要性
-
科学严谨性
-
评价这篇论文

推荐

Article Computer Science, Information Systems

Light paths and edges in families of outer-1-planar graphs

Xin Zhang, Jingfen Lan, Bi Li, Qiang Zhu

INFORMATION PROCESSING LETTERS (2018)

Article Computer Science, Theory & Methods

Hybrid fault diagnosis capability analysis of hypercubes under the PMC model and MM* model

Qiang Zhu, Lili Li, Sanyang Liu, Xing Zhang

THEORETICAL COMPUTER SCIENCE (2019)

Article Mathematics, Applied

The h-extra connectivity and h-extra conditional diagnosability of Bubble-sort star graphs

Q. Zhu, J. Zhang, L. L. Li

DISCRETE APPLIED MATHEMATICS (2018)

Article Computer Science, Theory & Methods

Reliability and hybrid diagnosis of exchanged hypercube

Nianpeng Zhang, Qiang Zhu

Summary: This paper investigates the reliability and diagnosis capability of exchanged hypercubes, focusing on their fault tolerance ability and diagnosability under the hybrid diagnosis model. By studying the extra connectivity and restricted diagnosability of EH(s, t), we can assess its performance in fault circumstances.

THEORETICAL COMPUTER SCIENCE (2021)

Article Mathematics, Applied

A new approach to finding the extra connectivity of graphs

Qiang Zhu, Fang Ma, Guodong Guo, Dajin Wang

Summary: Connectivity of a graph refers to the minimum number of nodes whose removal will disconnect the graph, serving as a metric of the graph's robustness. Conditional connectivity has been proposed to more realistically reflect a graph's robustness, with extra connectivity being a form of this concept. This paper introduces a new approach to find the extra connectivity of hypercubes and establishes a relationship between isoperimetric inequalities and the extra connectivity of graphs.

DISCRETE APPLIED MATHEMATICS (2021)

Article Computer Science, Theory & Methods

Symmetric PMC model of diagnosis, b-matchings in graphs and fault identification in t-diagnosable systems

Qiang Zhu, Krishnaiyan Thulasiraman, Kshirasagar Naik, Sridhar Radhakrishnan, Min Xu

Summary: This paper introduces a new testing model called the symmetric PMC (SPMC) model, and proves that the diagnosability of an n-dimensional hypercube under the SPMC model is almost twice its diagnosability under the PMC model. Additionally, it shows that the fault diagnosis problem for a t-diagnosable system under the SPMC model reduces to determining a maximum weighted b-matching in its diagnosis graph.

THEORETICAL COMPUTER SCIENCE (2021)

Article Engineering, Electrical & Electronic

Exploration of the Correlation Between Spatial Form and Microclimate in Urban Residential Areas Based on Wireless Sensor Networks

Li Gen, Zhu Qiang

Summary: A microclimate detection system based on wireless sensor network was proposed to study the impact of urban spatial configuration on residential microclimate. Mathematical models were established to analyze the relationship between spatial pattern parameters and microclimate parameters, showing that building density and average height were positively correlated with microclimate parameters, while horizontal and vertical layout were negatively correlated.

IEEE SENSORS JOURNAL (2021)

Article Computer Science, Theory & Methods

Two important parameters of HPMC model

Nianpeng Zhang, Qiang Zhu

Summary: This paper proposes the HPMC model to address the fault diagnosis problem in hybrid fault circumstances, and provides a more precise characterization of the hybrid fault diagnosis capability of multiprocessor systems by studying the h-restricted vertex diagnosability and r-restricted edge diagnosability.

THEORETICAL COMPUTER SCIENCE (2022)

Article Computer Science, Theory & Methods

h-extra r-component connectivity of interconnection networks with application to hypercubes

Bi Li, Jingfen Lan, Wantao Ning, Yongcui Tian, Xin Zhang, Qiang Zhu

Summary: The paper introduces a novel generalized connectivity that combines h-extra connectivity and r-component connectivity. The h-extra r-component connectivity of n-dimensional hypercube Q(n) is also determined for r is an element of {2,3, 4}.

THEORETICAL COMPUTER SCIENCE (2021)

Article Mathematics, Applied

The 3-extra conditional diagnosability of balanced hypercubes under MM* model

Lili Li, Xing Zhang, Qiang Zhu, Yiguang Bai

Summary: Diagnosis and diagnosability of interconnection networks are important research areas. This paper introduces a new measure of diagnosability and determines the 3-extra conditional diagnosability of n-dimensional balanced hypercubes based on their structural properties.

DISCRETE APPLIED MATHEMATICS (2022)

Article Operations Research & Management Science

The Non-inclusion Diagnosability of Hypercubes Under the PMC Model

Mei-Jie Ma, Min Xu, Tong-Tong Ding, Xiang-Jun Li, Qiang Zhu

Summary: This paper discusses the diagnosability of a multiprocessor system and system-level diagnosis strategy. Based on a sound assumption, a new diagnosability called non-inclusion diagnosability is proposed and its value is proven under a specific model. By limiting the size of the faulty set, one-step diagnosis can be achieved.

JOURNAL OF THE OPERATIONS RESEARCH SOCIETY OF CHINA (2022)

Article Computer Science, Theory & Methods

r-component diagnosability of hypercubes under the PMC model

Yongcui Tian, Qiang Zhu

Summary: This paper highlights the importance of fault diagnosability evaluation for interconnection networks and introduces various parameters to assess the fault diagnosis capability. The authors also extend previous research by determining the r-component diagnosability of hypercubes under the PMC model and studying its relationship with component connectivity.

THEORETICAL COMPUTER SCIENCE (2022)

Article Mathematics, Applied

Hybrid PMC (HPMC) fault model and diagnosability of interconnection networks

Qiang Zhu, Krishnaiyan Thulasiraman, Min Xu, Sridhar Radhakrishnan

AKCE INTERNATIONAL JOURNAL OF GRAPHS AND COMBINATORICS (2020)

Article Computer Science, Theory & Methods

The Non-inclusive Diagnosability of Hypercubes under the MM* Model

Tongtong Ding, Min Xu, Qiang Zhu

INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE (2020)

Proceedings Paper Engineering, Electrical & Electronic

The h-extra connectivity of the star graph Networks

Qiang Zhu, Jing Chen, Lili Li

PROCEEDINGS FIRST INTERNATIONAL CONFERENCE ON ELECTRONICS INSTRUMENTATION & INFORMATION SYSTEMS (EIIS 2017) (2017)

Article Computer Science, Theory & Methods

Revisiting maximum satisfiability and related problems in data streams

Hoa T. Vu

Summary: This paper addresses the maximum satisfiability problem in the data stream model. It presents algorithms that achieve approximations to the optimum value and corresponding Boolean assignments in sublinear space complexity. The paper also discusses related problems and provides approximation algorithms and space complexity for them.

THEORETICAL COMPUTER SCIENCE (2024)

Article Computer Science, Theory & Methods

Distributed half-integral matching and beyond

Sameep Dahal, Jukka Suomela

Summary: This research demonstrates that finding a maximal fractional matching in distributed graph algorithms requires the use of fine-grained fractional values, and gives a specific characterization of the small value requirements, with a denominator of at least 2d. It also provides a new algorithm to meet these requirements.

THEORETICAL COMPUTER SCIENCE (2024)

Article Computer Science, Theory & Methods

The computational complexity of Holant problems on 3-regular graphs

Peng Yang, Yuan Huang, Zhiguo Fu

Summary: This paper investigates the computational complexity classification of Holant problems on 3-regular graphs and provides corresponding conclusions.

THEORETICAL COMPUTER SCIENCE (2024)

Article Computer Science, Theory & Methods

The energy complexity of diameter and minimum cut computation in bounded-genus networks

Yi-Jun Chang

Summary: This paper investigates the energy complexity of distributed graph problems in multi-hop radio networks. Recent studies have shown that some problems can be solved with energy-efficient algorithms, while others require significant energy consumption. To improve energy efficiency, this paper focuses on bounded-genus graphs and proposes corresponding algorithms.

THEORETICAL COMPUTER SCIENCE (2024)

Article Computer Science, Theory & Methods

Algorithms for 2-club cluster deletion problems using automated generation of branching rules

Dekel Tsur

Summary: This paper proposes algorithms for 2-CLUB CLUSTER VERTEX DELETION and 2-CLUB CLUSTER EDGE DELETION problems. The algorithms have running times of O*(3.104k) and O*(2.562k) respectively, and were obtained using automated generation of branching rules. These results improve upon previous algorithms for the same problems.

THEORETICAL COMPUTER SCIENCE (2024)

Article Computer Science, Theory & Methods

An approximation algorithm for diversity-aware fair k-supplier problem

Xianrun Chen, Sai Ji, Chenchen Wu, Yicheng Xu, Yang Yang

Summary: This paper introduces the diversity-aware fair k-supplier problem and presents an efficient 5-approximation algorithm to address the fairness and over-representation issues in facility selection.

THEORETICAL COMPUTER SCIENCE (2024)

Article Computer Science, Theory & Methods

Computational complexity of jumping block puzzles

Masaaki Kanzaki, Yota Otachi, Giovanni Viglietta, Ryuhei Uehara

Summary: Sliding block puzzles play a crucial role in computational complexity, with their complexity varying depending on the rules and set of pieces. In this study, we explore the computational complexities of jumping block puzzles, a newer concept in the puzzle community. We analyze different variants of these puzzles based on real puzzles and a natural model, and determine their complexities. Our findings show that these puzzles are generally PSPACE-complete, with additional cases being NP-complete or solvable in polynomial-time.

THEORETICAL COMPUTER SCIENCE (2024)

Article Computer Science, Theory & Methods

Popular critical matchings in the many-to-many setting

Meghana Nasre, Prajakta Nimbhorkar, Keshav Ranjan, Ankita Sarkar

Summary: This paper studies the many-to-many bipartite matching problem with two-sided preferences and two-sided lower quotas. By defining the concept of critical matching, the goal is to find a popular matching in the set of critical matchings, and an efficient algorithm is proposed to compute a popular matching of the largest size.

THEORETICAL COMPUTER SCIENCE (2024)

Article Computer Science, Theory & Methods

Space efficient algorithm for solving reachability using tree decomposition and separators

Rahul Jain, Raghunath Tewari

Summary: To solve the reachability problem is to determine if there is a path between two vertices in a graph. This paper studies space-efficient algorithms that run in polynomial time to decide reachability. An algorithm is presented that solves reachability in directed graphs using O(n log n) space.

THEORETICAL COMPUTER SCIENCE (2024)

Article Computer Science, Theory & Methods

A tour of general Hanoi graphs

Daniel Berend, Liat Cohen, Omrit Filtser

Summary: The Tower of Hanoi puzzle has been a fascination for mathematicians and theoretical computer scientists for over a century. By using graph theory, we can study connectivity, shortest paths, and other properties of the Hanoi puzzle. Additionally, the Hanoi graphs are related to interesting structures such as the Sierpinski gasket and Gray codes.

THEORETICAL COMPUTER SCIENCE (2024)

Article Computer Science, Theory & Methods

Selfish bin packing with punishment

Ling Gai, Weiwei Zhang, Zhao Zhang

Summary: This paper studies the problem of selfish bin packing with punishment. Different types of punishments are considered, and it is shown that punishment based on the result can achieve better performance with an upper bound of approximately 1.48 compared to the optimal solution.

THEORETICAL COMPUTER SCIENCE (2024)

Article Computer Science, Theory & Methods

Gradient complexity and non-stationary views of differentially private empirical risk minimization

Di Wang, Jinhui Xu

Summary: This paper studies the problem of Differentially Private Empirical Risk Minimization (DP-ERM) with both convex and non-convex loss functions. Several new methods are proposed for DP-ERM with smooth convex loss functions, achieving near-optimal expected excess risks while reducing gradient complexity. For DP-ERM with non-convex loss functions, both low and high dimensional spaces are explored, and utility measurements are introduced using different norms and error bounds. The paper reveals that certain non-convex loss functions can be reduced to a level similar to convex loss functions.

THEORETICAL COMPUTER SCIENCE (2024)

Article Computer Science, Theory & Methods

Weights of formal languages based on geometric series with an application to automatic grading

Florian Bruse, Maurice Herwig, Martin Lange

Summary: This paper presents a weight measure for formal languages based on the summands of a geometric series discounted by the fraction of words of certain length in the language. It shows that this weight measure is computable for regular languages. As an application, a distance metric between languages is derived as the weight of their symmetric difference, which can be used in automatic grading of standard exercises in formal language theory classes.

THEORETICAL COMPUTER SCIENCE (2024)

Article Computer Science, Theory & Methods

Almost disjoint paths and separating by forbidden pairs

Oliver Bachtler, Tim Bergner, Sven O. Krumke

Summary: By studying the almost disjoint paths problem and the separating by forbidden pairs problem, this paper reveals that they have an unbounded duality gap and analyzes their complexity. In addition, for a fixed value of k, an efficient algorithm is proposed to solve the ADP problem.

THEORETICAL COMPUTER SCIENCE (2024)

Article Computer Science, Theory & Methods

From multivalued to Boolean functions: Preservation of soft nested canalization

Elisabeth Remy, Paul Ruet

Summary: This paper studies the extension of the nested canalization property to multivalued functions and investigates the effect of the Van Ham mapping on this property. The study finds that the Van Ham mapping transforms softly nested canalizing multivalued functions into nested canalization Boolean functions, a property that is also relevant in the modeling of gene regulatory networks.

THEORETICAL COMPUTER SCIENCE (2024)