Journal of the Operations Research Society of China ›› 2024, Vol. 12 ›› Issue (2): 478-484.doi: 10.1007/s40305-022-00421-9

Previous Articles     Next Articles

The Non-inclusion Diagnosability of Hypercubes Under the PMC Model

Mei-Jie Ma1, Min Xu2, Tong-Tong Ding2, Xiang-Jun Li3, Qiang Zhu4   

  1. 1 School of Mathematics and Statistics, Qilu University of Technology (Shandong Academy of Sciences), Jinan 250353, Shandong, China;
    2 School of Mathematical Sciences, Beijing Normal University, Laboratory of Mathematics and Complex Systems, Ministry of Education, Beijing 100875, China;
    3 School of Information and Mathematics, Yangtze University, Jingzhou 434023, Hubei, China;
    4 School of Mathematics and Statistics, XiDian University, Xi'an 710071, ShaanXi, China
  • Received:2020-12-20 Revised:2022-02-24 Online:2024-06-30 Published:2024-06-12
  • Contact: Min Xu, Mei-Jie Ma, Tong-Tong Ding, Xiang-Jun Li, Qiang Zhu E-mail:xum@bnu.edu.cn;mameij@sdu.edu.cn;dingtt@mail.bnu.edu.cn;franklxj@mail.ustc.edu.cn;qiangzhu@ustc.edu
  • Supported by:
    This work was supported by the National Natural Science Foundation of China (Nos. 61672025, 60974082, 61179040 and 61075117), Shandong Provincial Natural Science Foundation (No. ZR2021MF012).

Abstract: Diagnosability of a multiprocessor system is an important measure of the reliability of interconnection networks. System-level diagnosis is a primary strategy to identify the faulty processors in a multiprocessor system. Based on a sound assumption proposed by Zhu et al. recently, we proposed a new diagnosability named non-inclusion diagnosability and showed that the non-inclusion diagnosability tN(Qn) of the hypercube under the PMC model is 2n - 2. That is, assume that if two vertex sets F1 and F2 are both consistent with a syndrome and F1F2, then F2 is not the faulty set which we are looking for; the faulty set F is 1-step diagnosable if |F| ≤2n - 2 in Qn under the PMC model.

Key words: Interconnection network, Diagnosability, Hypercube, PMC model

CLC Number: