8
Information Processing Letters 93 (2005) 29–36 www.elsevier.com/locate/ipl Diagnosability of star graphs under the comparison diagnosis model Jun Zheng, Shahram Latifi , Emma Regentova, Kai Luo, Xiaolong Wu Department of Electrical and Computer Engineering, University of Nevada, Las Vegas, Las Vegas, NV 89154, USA Received 11 March 2003; received in revised form 7 July 2004 Available online 28 October 2004 Communicated by F.B. Schneider Abstract In this paper, the diagnosability of n-dimensional star graph S n under the comparison diagnosis model has been studied. It is proved that S n is (n 1)-diagnosable under the comparison diagnosis model when n 4. 2004 Elsevier B.V. All rights reserved. Keywords: Diagnosability; Comparison diagnosis model; Star graph; Interconnection networks 1. Introduction Fault-tolerance computing is very important for a multiprocessor system. The first step to deal with faults is to identify the faulty processors from the fault- free ones. The identification process is called the diag- nosis of the system. The diagnosability of the system is defined as a number t such that the system is diag- nosable as long as the number of the faulty processors is not greater than t [3]. Several diagnosis models were proposed to iden- tify the faulty processors. One major approach is the PMC diagnosis model introduced by Preparata et al. [7]. The diagnosis of the system is achieved through two linked processors testing each other. Another ma- * Corresponding author. E-mail address: [email protected] (S. Latifi). jor approach, proposed by Malek and Maeng [6], is called the comparison diagnosis model. The diagno- sis is performed by comparing the responses of pairs of processors to the same input. The comparisons are done by other processors in the system and no cen- tral entity involves. Based on the comparison results, the faulty/fault-free status of the processors can be identified. In [8], the comparison diagnosis model was further studied. A set of criteria was given for deter- mining whether the faulty processors in the system can be diagnosed, and most importantly a polynomial-time algorithm is presented to identify the faulty proces- sors if the system is known to be diagnosable. The di- agnosabilities of hypercube, enhanced hypercube and crossed hypercube under the comparison diagnosis model were studied in [3,9]. The star graph has proved to be a viable candidate for interconnecting the multiprocessor system [1]. The 0020-0190/$ – see front matter 2004 Elsevier B.V. All rights reserved. doi:10.1016/j.ipl.2004.09.011

Diagnosability of star graphs under the comparison diagnosis model

Embed Size (px)

Citation preview

Page 1: Diagnosability of star graphs under the comparison diagnosis model

l

is

. It is

, is

Information Processing Letters 93 (2005) 29–36

www.elsevier.com/locate/ip

Diagnosability of star graphs under the comparison diagnosmodel

Jun Zheng, Shahram Latifi∗, Emma Regentova, Kai Luo, Xiaolong Wu

Department of Electrical and Computer Engineering,University of Nevada, Las Vegas, Las Vegas, NV 89154, USA

Received 11 March 2003; received in revised form 7 July 2004

Available online 28 October 2004

Communicated by F.B. Schneider

Abstract

In this paper, the diagnosability ofn-dimensional star graphSn under the comparison diagnosis model has been studiedproved thatSn is (n − 1)-diagnosable under the comparison diagnosis model whenn � 4. 2004 Elsevier B.V. All rights reserved.

Keywords:Diagnosability; Comparison diagnosis model;Star graph; Interconnection networks

1. Introduction jor approach, proposed by Malek and Maeng [6]

orithlt-

g-sors

en-thet al.gh

ma-

called the comparison diagnosis model. The diagno-airsare

cen-lts,beas

er-canmes-di-ndosis

atehe

erved

Fault-tolerance computing is very important fa multiprocessor system. The first step to deal wfaults is to identify the faulty processors from the faufree ones. The identification process is called thediag-nosisof the system. Thediagnosabilityof the systemis defined as a numbert such that the system is dianosable as long as the number of the faulty procesis not greater thant [3].

Several diagnosis models were proposed to idtify the faulty processors. One major approach isPMC diagnosis model introduced by Preparata e[7]. The diagnosis of the system is achieved throutwo linked processors testing each other. Another

* Corresponding author.E-mail address:[email protected] (S. Latifi).

0020-0190/$ – see front matter 2004 Elsevier B.V. All rights resdoi:10.1016/j.ipl.2004.09.011

sis is performed by comparing the responses of pof processors to the same input. The comparisonsdone by other processors in the system and notral entity involves. Based on the comparison resuthe faulty/fault-free status of the processors canidentified. In [8], the comparison diagnosis model wfurther studied. A set of criteria was given for detmining whether the faulty processors in the systembe diagnosed, and most importantly a polynomial-tialgorithm is presented to identify the faulty procesors if the system is known to be diagnosable. Theagnosabilities ofhypercube, enhanced hypercube acrossed hypercube under the comparison diagnmodel were studied in [3,9].

The star graph has proved to be a viable candidfor interconnecting the multiprocessor system [1]. T

.

Page 2: Diagnosability of star graphs under the comparison diagnosis model

30 J. Zheng et al. / Information Processing Letters 93 (2005) 29–36

features of the star graph include low degree of node,small diameter, partitionability, symmetry, and high

rdi-

theis

iag-eed

asg

belf

erslededthe

34dge

to

y an

anted-

y

eleded

rs

sors,as

.

islts,

-ors

edbil-

kindas

to auchthe

degree of fault-tolerance. The diagnosabilities of stagraph under the three strategies based on the PMCagnostic model were studied in [5]. In this paper,diagnosability ofSn under the comparison diagnosmodel has been studied. We prove that it isn−1 whenn � 4.

2. Preliminaries

In this section, the star graph, the comparison dnosis model and some definitions and notations nfor our discussion are introduced.

2.1. Star graph

An n-dimensional star graph, also referred toan n-star or Sn, is an undirected graph consistinof n! nodes (or vertices) and(n − 1)n!/2 edges (orlinks) [1]. Each node is uniquely assigned a laa1a2 · · ·am · · ·an, which is a distinct permutation othe set of symbols{a1, a2, . . . , an}. Without loss ofgenerality, let this symbol set be the set of integ{1,2, . . . , n}. Two nodes are linked by an edge labei if and only if the label of one node can be obtainfrom the label of another node by interchangingfirst symbol with theith symbol, 2� i � n. For exam-ple, in a 4-star containing 4! nodes, two nodes 12and 4231 are neighbors and joined through an elabeled 4. InSn each node is connected ton−1 neigh-bors byn − 1 edges. EachSn can be decomposed inn(n − 1)-dimensional star graphSn−1. A 4-star graphS4 is shown in Fig. 1.

2.2. The comparison diagnosis model

A multiprocessor system can be represented bundirected graphG = (V ,E), whereV represents theset of nodes andE represents the set of edges. Inmultiprocessor system, each processor is represeby a nodeu ∈ V and each communication link between a pair of processorsu andv is represented ban edge{u,v} ∈ E.

The comparison diagnosis strategy can be modas a multigraphM = (V ,C) whereV is the same nodset defined inG. C is the labeled edge set. A labele

Fig. 1. The 4-star graphS4.

edge{u,v}w is said to belong toC if (u, v) is anedge labeled byw, which implies that the processou andv are compared by processorw. Since differentcomparators can compare the same pair of procesM is a multigraph. Denote the comparison resultr((u, v)w) such thatr((u, v)w) = 0 if the outputs ofuandv agree andr((u, v)w) = 1 if the outputs disagreeIf the comparatorw is fault-free andr((u, v)w) = 0,the processorsu andv are fault-free. Ifr((u, v)w) = 1,at least one of the three processorsu,v,w are faulty.If the comparatorw is faulty, the comparison resultunreliable. The collection of the comparison resudefined as a functions :C → {0,1}, is called thesyn-dromeof the diagnosis. A system isdiagnosableif forevery syndromes there is a unique subsetF ⊆ V thatis consistent with it. At-diagnosablesystem is the system diagnosable if the number of the faulty processis not greater thant wheret is thediagnosabilityofthe system. In [8], a polynomial algorithm is proposto diagnose the system provided that the diagnosaity of the system is known. Thus, the diagnosability ofa system must be determined before using suchof algorithms. However, this is not an easy problemindicated in [3,9].

Different comparison schemes can be appliedfixed system. In this paper, we want to gain as mknowledge as possible about the faulty status of

Page 3: Diagnosability of star graphs under the comparison diagnosis model

J. Zheng et al. / Information Processing Letters 93 (2005) 29–36 31

system. The special multigraph representing this com-parison scheme is defined asM∗ = (V ,C∗), where

l

iliceshele.

t

s

d

ide

3. Diagnosability of star graphs under thecomparison model

e aach

za-n-

st

h.

w-

isi.e.,t,ese

on.ve acy-at(2),m-cy-at

star

s

scu-

C∗ = {(u, v)w | (u,w), (v,w) ∈ E}.

2.3. Definitions and notations

We denoteN(v) = {u | {v,u} ∈ E} as the set of alnodes that are linked to nodev. For a subsetX ⊂ V ,the set of nodes inV –X that linked to nodes ofX,N(X) = (

⋃v∈X N(v)) − X.

A cycleC of the graphG is defined as a closed trawith at least one edge and with no repeated vertexcept that the initial vertex is the terminal vertex. Tlength of a cycle is the number of edges in the cycThe number of nodes in a cycleC is denoted as|C|.

Given a systemG and the comparison schemeM,for a nodeu ∈ V , let Xu is the set of nodes such tha

Xu = {v | either{u,v} ∈ E or {u,v} ∈ C for somew

}.

That is, a node inXu is either linked tou or comparedwith u by some other node. LetYu is the set of edgeamong nodes ofXu, such that

Yu = {{v,w} | v,w ∈ Xu and{u,v}w ∈ C}.

DefineGu = (Xu,Yu).For a graphG, a subsetK of G is called avertex

cover of G if every edge ofE has at least one enin K. A vertex cover of minimum cardinality inG iscalledminimum vertex cover. For a nodeu ∈ V , thecardinality of a minimum vertex cover ofGu is calledtheorder of nodeu.

DenoteT (X) to be the set of nodes that are outsof X and are compared to some nodes ofX by somenodes ofX (Fig. 2). GivenG andM, for a subset ofnodesX ⊂ V ,

T (X) = {u | {u,v}w ∈ C andv,w ∈ X andu /∈ X

}.

Fig. 2. An example ofX and itsT (X).

There are several different ways to characterizt-diagnosable system under the comparison appro[8]. In this study, we use one particular characterition given in [8] which gives the three sufficient coditions for a system to bet-diagnosable.

Theorem 1 [8]. A system withN nodes ist-diagnos-able if (1) N � 2t +1, (2) each node has order at leat , (3) for eachX ⊂ V such that|X| = N − 2t + p and0 � p � t − 1, |T (X)| > p.

Lemma 1 [4]. There are no odd cycles in a star grap

Lemma 2 [4]. There are even cycles with lengthl inSn if l � 6 andl � n!.

From Lemmas 1 and 2, we can deduce the folloing corollary:

Corollary 1. If two nodes are adjacent, thereno common neighbor node of these two nodes,|N(u) ∩ N(v)| = 0. If two nodes are not adjacenthere is at most one common neighbor node of thtwo nodes, i.e.,|N(u) ∩ N(v)| � 1.

Proof. The two cases can be proved by contradictiFor case (1), if two nodes are adjacent and they hacommon neighbor node, these 3 nodes will form acle of length 3. It is a contradiction to Lemma 1 ththere are no odd cycles in a star graph. For caseif two nodes are adjacent and they have two comon neighbor nodes, these 4 nodes will form acle of length 4. It is a contradiction to Lemma 2 ththere is no even cycle with length less than 6 in agraph. �Lemma 3 [2]. If u andv are two nodes of ann-starlabeled with two permutationsP1 and P2 having dif-ferent first symbols, then there aren−1 parallel pathsbetweenu andv. These paths are grouped as follow(c is the number of cycles1 of length at least two,m isthe number of symbols in these cycles): (1) c paths are

1 The cycles here indicate that cyclically ordered sets of symbolwith the property that each symbol’s desired position is that oc

Page 4: Diagnosability of star graphs under the comparison diagnosis model

32 J. Zheng et al. / Information Processing Letters 93 (2005) 29–36

ol-

sy-asra-

hencen4

chy

-

l-

ions

Lemma 5. For any four nodesu,v,w,x in Sn,|N({u,v,w,x})| � 4n − 10.

es,

two

is

nd

ers 1

Fig. 3. Two 6-cyclesC1 andC2, |C1 ∩ C2| = 3.

of minimum length equal toc + m − 2. (2) m − c − 1paths are of lengthc+m. (3)n−m paths are of lengthc + m + 2.

From Lemma 3, we can deduce the following corlary.

Corollary 2. In Sn, for two6-cyclesC1 andC2, |C1 ∩C2| �= 3.

Proof. By contradiction. Assume for two 6-cycleC1,C2, |C1 ∩ C2| = 3 and the three nodes in both ccles areu,v and w. They can only be connectedshown in Fig. 3 if Lemmas 1 and 2 are not contdicted. Then, from nodeu to nodew, there shouldbe one path of length 2, two paths of length 4. Tthree paths are parallel or node-disjoint paths. Sic = 1, m = 3 in this case, from Lemma 3, we cafind that there is only one parallel path of length(Lemma 3, Case 2,m − c − 1 = 1, c + m = 4), whichis a contradiction to the assumption.�Lemma 4 [5]. For any two nodesu,v in Sn,|N({u,v})| � 2n − 4.

Proof. Sn is a regular graph and the degree of eanode isn − 1; this implies that, for any two arbitrarnodesu andv in Sn, |N(u)| = |N(v)| = n − 1.

Case 1: If u and v are adjacent, from Corollary 1,|N(u)∩N(v)| = 0, and|N({u,v})| = |N(u)|+|N(v)| − |{u,v}| = 2n − 4.

Case2: If u and v are not adjacent, from Corolary 1,|N(u)∩N(v)| � 1, and|N({u,v})| = |N(u)|+|N(v)| − |N(u) ∩ N(v)| � 2n − 3 > 2n − 4.

Thus, any two nodesu andv in Sn are connected toat least 2n − 4 other nodes. �pied by the next symbol in the set [2]. For example, the permutatP1= 12345678 and P2= 64237851 consists of the cycles(6,8,1),(4,2,3) and(7,5).

Proof. We consider five cases. DenoteNc is the setof common neighbor nodes among the four nodi.e.,Nc = |N(u) ∩ N(v)| + |N(u) ∩ N(w)| + |N(u) ∩N(x)| + |N(v) ∩ N(w)| + |N(v) ∩ N(x)| + |N(w) ∩N(x)|. From Corollary 1,Nc � 6.

Case1: Four nodes are all adjacent. From Lem-mas 1 and 2, they can only be connected as thecases shown in Fig. 4. For case (a),∣∣N

({u,v,w,x})∣∣= (|N(u)| − |{v}|) + (|N(v)| − |{u,w}|)

+ (|N(w)| − |{v, x}|) + (|N(x)| − |{w}|)

= (n − 2) + (n − 3) + (n − 3) + (n − 2)

= 4n − 10.

For case (b),∣∣N

({u,v,w,x})∣∣= (|N(u)| − |{v}|) + (|N(v)| − |{u,w,x}|)

+ (|N(w)| − |{v}|) + (|N(x)| − |{v}|)

= (n − 2) + (n − 4) + (n − 2) + (n − 2)

= 4n − 10.

Case2: Three nodes are adjacent and anothernot adjacent to these three nodes. Without loss of gen-erality, we consideru,v,w are adjacent andv is themiddle node. From Lemmas 1 and 2,|N({u,v,w}) ∩N(x)| � 2.∣∣N

({u,v,w,x})∣∣= (|N(u)| − |{v}|) + (|N(v)| − |{u,w}|)

+ (|N(w)| − |{v}|) + ∣∣N(x)

∣∣

− ∣∣N

({u,v,w}) ∩ N(x)∣∣

� (n − 2) + (n − 3) + (n − 2) + (n − 1) − 2

= 4n − 10.

Case3: Two nodes are adjacent to each other aother two are adjacent to each other.Without loss ofgenerality, we consideru,v are adjacent to each othandw,x are adjacent to each other. From Lemmaand 2,Nc = |N({u,v}) ∩ N({w,x})| � 2.

Page 5: Diagnosability of star graphs under the comparison diagnosis model

J. Zheng et al. / Information Processing Letters 93 (2005) 29–36 33

Fig. 4. Two cases that four nodes are adjacent.

Fig. 5. Four nodes are not adjacent andNc equals (a) 6, (b) 5, (c) and (d) 4, respectively.

∣∣N

({u,v,w,x})∣∣( ) ( )

� (n − 1) + (n − 1) + (n − 1) + (n − 1) − 4

nd

ter

n

(c)

st

an

re

,can

= |N(u)| − |{v}| + |N(v)| − |{u}|+ (|N(w)| − |{x}|) + (|N(x)| − |{w}|) − Nc

� (n − 2) + (n − 2) + (n − 2) + (n − 2) − 2

= 4n − 10.

Case4: Two nodes are adjacent to each other athe other two are not adjacent to any other node.With-out loss of generality, we consideru,v are adjacento each other andw,x are not adjacent to any othnode of the four nodes. From Lemmas 1 and 2,Nc =|N({u,v}) ∩ N(w)| + |N({u,v}) ∩ N(x)| + |N(w) ∩N(x)| � 2.∣∣N

({u,v,w,x})∣∣= (|N(u)| − |{v}|) + (|N(v)| − |{u}|)

+ ∣∣N(w)

∣∣ + ∣

∣N(x)∣∣ − Nc

� (n − 2) + (n − 2) + (n − 1) + (n − 1) − 2

= 4n − 8 > 4n − 10.

Case5: Four nodes are not adjacent.In this case,from Corollary 2,Nc cannot equal to 6 or 5 as showin Figs. 5(a) and (b), respectively. Thus,Nc � 4.WhenNc = 4, there are two cases shown in Figs. 5and (d).

Thus,∣∣N

({u,v,w,x})∣∣= ∣

∣N(u)∣∣ + ∣

∣N(v)∣∣ + ∣

∣N(w)∣∣ + ∣

∣N(x)∣∣ − Nc

= 4n − 8 > 4n − 10.

Thus, any four nodes inSn are connected to at lea4n − 10 other nodes. �Lemma 6. A node ofSn has ordern − 1.

Proof. Since all nodes ofSn link to others in exactlythe same way, it is sufficient to check the order forarbitrary nodeu = a1a2 . . . an−1an. By the definitionof Gu = (Xu,Yu),Xu consists of those nodes that aeither linked tou(X1) or being compared tou(X2).So,Xu is the union of two setsX1 andX2:

Xu = X1 ∪ X2

= {a2a1 . . . an−1an, . . . , an−1a2 . . . a1an,

ana2 . . . an−1a1}∪{

(a3a1a2 . . . an−1an, . . . , ana1 . . . an−1a2), . . . ,

(a2an . . . an−1a1, . . . , an−1a2 . . . ana1)}.

The total number of nodes inX1 is n − 1, and thetotal number of nodes inX2 is (n − 1)(n − 2).

Yu consists of all edges{v,w} such thatw is a com-parator ofu andv, i.e.,w is linked tou andv is linkedto w. That is,

Yu = {{v,w} | w ⊂ X1, v ⊂ X2}.

It can be seen thatGu is a symmetric-structuredso-called bipartite graph (a graph whose vertices

Page 6: Diagnosability of star graphs under the comparison diagnosis model

34 J. Zheng et al. / Information Processing Letters 93 (2005) 29–36

i-m,exng.thatTheer. 6,

enhus

edde

t

6,the

isr

s

e

e

,

of

Fig. 6. The illustration ofu,X1,X2, Yu andGu.

be partitioned into two setsV1 andV2 such that everyedge has one end inV1 and another inV2) (Fig. 6). Tofind the order ofu, we need to find the size of the minmum vertex cover. From the Konig-Egervary theorein a bipartite graph, the size of the minimum vertcover is equal to the size of the maximum matchiA matching is a set of edges of the graph suchno two edges in the set share a common vertex.matching is maximum if it has the maximum numbof edges over all matchings in the graph. From Figit can be seen that the edges inYu can be divided into(n − 1) groups. The maximum matching can be thconstructed by taking one edge from each group. Tthe size of the maximum matching forGu is (n − 1),which is also the order ofu. �Theorem 2. An n-star-structured system, representby graphG = (V ,E), with V being the node set anE being the link set, is(n − 1)-diagnosable under thcomparison model whenn � 4 and the comparisonscheme isM∗ = (V ,C∗).

Proof. We prove thatSn satisfies all three sufficienconditions of Theorem 1 forn � 4.

As we know, the number of nodesN in Sn is n!. It iseasy to show thatn! � 2(n−1)+1 is true whenn � 3.Thus the first condition holds. According to Lemmathe second condition holds. It remains to show thatthird condition holds forSn, i.e., for an arbitraryX ⊂V such that|X| = n! − 2(n − 1) + p, 0� p � n − 2,|T (X)| > p is true.

We prove it in two steps. First, we show that thistrue forp = n−2. Then we prove that it also holds fop = 0,1, . . . , n − 3.

Fig. 7. Two cases that a node does not belong toT (X).

Fig. 8. Three cases that two nodesu,v /∈ T (X).

If p = n − 2, then|X| = n! − 2(n − 1) + n − 2 =n! − n and

|V − X| = n. (1)

We prove by contradiction and assume|T (X)| � n −2, which means thatV −X contains at least two nodenot inT (X). Let u,v ∈ V − X andu,v /∈ T (X). Fromthe definition ofT (X), if u /∈ T (X), thenu must be-long to the following two cases: (a)N(u) ∩ X = ∅,(b) if u′ ∈ N(u) ∩ X, thenN(u′) ∩ X = ∅ (Fig. 7). Iftwo nodesu,v /∈ T (X), they must belong to one of ththree cases shown in Fig. 8.

Case 1: Both nodes belong to case(a). FromLemma 4, |N({u,v})| � 2n − 4. Then |V − X| �|N({u,v})| + |{u,v}| � 2n − 4+ 2 = 2n − 2.

Case2: One node belongs to case(a), one nodebelongs to case(b). Without loss of generality, wconsideru belongs to case (b),v belongs to case(a). u′ and v are not adjacent becausev is not con-nected to any node inX. From Case 2 of Lemma 4|N({u′, v})| � 2n − 3. Then|V − X| � |N({u′, v})| +|{v}| � 2n − 3+ 1 = 2n − 2.

Case 3: Both nodes belong to case(b). In thiscase,u′ and v′ are not adjacent. From Case 2Lemma 4,|N({u′, v′})| � 2n − 3. Then |V − X| �|N({u′, v′})| � 2n − 3.

Page 7: Diagnosability of star graphs under the comparison diagnosis model

J. Zheng et al. / Information Processing Letters 93 (2005) 29–36 35

Fig. 9. Five cases that four nodesu,v,w,x /∈ T (X).

For all three cases,|V −X| � 2n−3. But 2n−3> Case3: Two nodes belong to case(a),the other two

n = |V − X| whenn � 4, a contradiction to (1).

etn

ne

r-

2

ot.

r.

belong to case(b) (Fig. 9(c)). Without loss of gener-

of

f

,

h

For p = 0, . . . , n − 3, let |X| = n! − 2(n − 1) + p,then

|V − X| = 2(n − 1) − p. (2)

Again, we prove by contradiction and assum|T (X)| � p, which meansV − X contains at leas2(n− 1)− p −p = 2(n− p − 1) nodes that are not iT (X). Sincep � n−3, we have 2(n−p −1) � 4. Letu,v,w,x ∈ V −X be four nodes such thatu,v,w,x /∈T (X). For those four nodes, they must belong to oof the five cases shown in Fig. 9.

Case1:All four nodes belong to case(a) (Fig. 9(a)).From Lemma 5,|V − X| � |N({u,v,w,x})| + |{u,v,

w,x}| � 4n − 10+ 4 = 4n − 6.Case2: One node belongs to case(b), three nodes

belong to case(a) (Fig. 9(b)). Without loss of geneality, we assumeu is connected tou′ in X. Thenu′is not adjacent tov,w, or x. For v,w,x, we considerthree subcases.

Subcase2.1:u,v andw are adjacent. From Caseof Lemma 5,|V −X| � |N({u′, v,w,x})|+|{v,w,x}|� 4n − 10+ 3 = 4n − 7.

Subcase2.2: Two nodes are adjacent, one is nFrom Case 4 of Lemma 5,|V − X| � |N({u′, v,w,x})| + |{v,w,x}| � 4n − 8+ 3= 4n − 5.

Subcase2.3:u,v,w are not adjacent to each otheFrom Case 5 of Lemma 5,|V − X| � |N({u′, v,w,x})| + |{v,w,x}| � 4n − 8+ 3= 4n − 5.

ality, we assumeu is connected tou′ in X,v is con-nected tov′ in X. Thenu′ andv′ are not adjacent toeach other, also not adjacent tow or x. For w,x, weconsider two subcases.

Subcase3.1:w andx are adjacent. From Case 4Lemma 5,|V − X| � |N({u′, v′,w,x})| + |{w,x}| �4n − 8+ 2 = 4n − 6.

Subcase3.2: w and x are not adjacent. FromCase 5 of Lemma 5,|V − X| � |N({u′, v′,w,x})| +|{w,x}| � 4n − 8+ 2 = 4n − 6.

Case4: Three nodes belong to case(b), the otherone belongs to case(a) (Fig. 9(d)). Without loss ogenerality, we assumeu is connected tou′ in X,v isconnected tov′ in X,w is connected tow′ in X. Thenu′, v′,w′ are not adjacent to each other, alsou′, v′,w′are not adjacent tox. From Case 5 of Lemma 5|V − X| � |N({u′, v′,w′, x})| + |{x}| � 4n − 8+ 1=4n − 7.

Case5: Four nodes belong to case(b) (Fig. 9(e)).In this case,u′, v′,w′, x ′ are not adjacent to eacother. From the Case 5 of Lemma 5,|V − X| �|N({u′, v′,w′, x ′})| � 4n − 8.

For all 5 cases,|V − X| � 4n − 8. But, 4n − 8 >

2(n − p − 1) = |V − X| whenn � 4. Again, a contra-diction to (2). �

Page 8: Diagnosability of star graphs under the comparison diagnosis model

36 J. Zheng et al. / Information Processing Letters 93 (2005) 29–36

s.e

h1.

-n-

wetrel ifo-se

.en-ttheest-be

used as a component of a larger diagnosis scheme toperform a given phase of fault location, as opposed to

re-ve

n-66.-trib.

n di-02)

lesallel

om-

fornat.

sign-put.

sorrans.

er-om-

Fig. 10. In S3, X consists of all the black square node|X| = 3! − 2 × 2 + 0 = 2 (p = 0). Since none of the white squarnodes belongs toT (X), the third condition|T (X)| > p does nothold.

Finally, we point out thatS4 is the least star grapsatisfying the three sufficient conditions in TheoremIn Fig. 10, we give an example to show thatS3 is not2-diagnosable.

4. Conclusion

The diagnosability of stargraph under the comparison diagnosis model is studied in this paper. Uder this model, the system is self-diagnosable ifknow the diagnosability of the system. We prove thaa system with then-dimensional star graph structuis (n − 1)-diagnosable under the comparison moden � 4. Based on the result, a polynomial-time algrithm proposed in [8] can be directly used to diagnothe system if there are at mostn− 1 faulty processorsThe diagnosis involves only one test phase to idtify the faulty processors and one repair/replacemenphase. Thus it is applicable in the environment thatcomponents are reliable and periodic and quick tings are affordable. Furthermore, the algorithm can

being used as a stand-alone diagnosis tool.

Acknowledgements

The authors would like to thank the anonymousviewers for their valuable comments, which improthe quality of this paper.

References

[1] S.B. Akers, A group-theoretic model for symmetric interconection networks, IEEE Trans. Comput. 38 (4) (1989) 555–5

[2] K. Day, A. Tripathi, A comparative study of topological properties of hypercubes and star graphs, IEEE Trans. Parallel DisSyst. 5 (1) (1994) 31–37.

[3] J. Fan, Diagnosability of crossed cubes under the comparisoagnosis model, IEEE Trans. Parallel Distrib. Syst. 13 (10) (201099–1104.

[4] J. Jwo, S. Lakshmivaraham, S.K. Dhall, Embedding of cycand grids in star graphs, in: Proc. 2nd IEEE Symp. on Parand Distributed Processing, 1990, pp. 540–547.

[5] A. Kavianpour, Sequential diagnosability of star graphs, J. Cput. Electrical Engrg. 22 (1) (1996) 37–44.

[6] J. Maeng, M. Malek, A comparison connection assignmentself-diagnosis of multiprocessor systems, in: Proc. 11th InterFault-Tolerant Computing, 1981, pp. 173–175.

[7] F.P. Preparata, G. Metze, R.T. Chien, On the connection asment problem of diagnosable systems, IEEE Trans. ComEC 16 (1967) 448–454.

[8] A. Sengupta, A. Dahbura, On self-diagnosable multiprocessystems: diagnosis by the comparison approach, IEEE TComput. 41 (11) (1992) 1386–1396.

[9] D. Wang, Diagnosability ofhypercubes and enhanced hypcubes under the comparison diagnosis model, IEEE Trans. Cput. 48 (12) (1999) 1369–1374.