The Tightly Super 3-Extra Connectivity and Diagnosability of Locally Twisted Cubes

Show more

1. Introduction

At present, semiconductor technology has been widely applied in various fields of large-scale computer systems. But processors or communication links failures of a multiprocessor system give our live a lot of troubles. How to find out the faulty processors accurately and timely becomes the primary problem when the system is in operation. The diagnosis of the system is the process of identifying the faulty processors from the fault-free ones.

There are two well-known diagnosis models, one is the PMC diagnosis model, introduced by Preparata et al. [1] and the other is the MM model, proposed by Maeng and Malek [2] . In the PMC model, any two neighbor processors can test each other. In the MM model, to diagnose a system, we can compare their responses after a node sends the same task to its two neighbors. Sengupta and Dahbura [3] suggested a further modification of the MM model, called the MM^{*} model, in which each node must test another two neighbors.

In 1996, the g-extra connectivity ${\stackrel{\u02dc}{\kappa}}^{\left(g\right)}\left(G\right)$ of an interconnection network G was introduced by Fàbrega and Fiol [4] . The g-extra connectivity ${\stackrel{\u02dc}{\kappa}}^{\left(g\right)}\left(G\right)$ of an interconnection network G has been widely studied [4] - [13] .

In 2012, Peng et al. [14] proposed a measure for faulty diagnosis of the system, namely, the g-good-neighbor diagnosability, which restrains every fault-free node containing at least g fault-free neighbors. In [14] , they studied the g-good- neighbor diagnosability of the n-dimensional hypercube under the PMC model. In 2016, Wang and Han [15] studied the g-good-neighbor diagnosability of the n-dimensional hypercube under the MM^{*} model. In 2016, Zhang et al. [16] proposed the g-extra diagnosability of the system, which restrains that every component of
$G-S$ has at least
$\left(g+1\right)$ vertices and showed the g-extra diagnosability of hypercubes under the PMC model and MM^{*} model. Ren et al. [17] studied the tightly super 2-extra connectivity and 2-extra diagnosability of locally twisted cubes
$LT{Q}_{n}$ . In 2016, Wang et al. [18] studied the 2-extra diagnosability of the bubble-sort star graph
$B{S}_{n}$ under the PMC model and MM^{*} model. In 2017, Wang and Yang [19] studied the 2-good-neighbor (2- extra) diagnosability of alternating group graph networks under the PMC model and MM^{*} model.

In this paper, we show that
$LT{Q}_{n}$ is tightly
$\left(4n-9\right)$ super 3-extra con- nected for
$n\ge 6$ and the 3-extra diagnosability of
$LT{Q}_{n}$ under the PMC model and MM^{*} model is
$4n-6$ for
$n\ge 5$ and
$n\ge 7$ , respectively.

2. Preliminaries

2.1. Notations

A multiprocessor system is modeled as an undirected simple graph $G=\left(V,E\right)$ , whose vertices (nodes) represent processors and edges (links) represent com- munication links. Suppose that ${V}^{\prime}$ is a nonempty vertex subset of V. The in- duced subgraph by ${V}^{\prime}$ in G, denoted by $G\left[{V}^{\prime}\right]$ , is a graph, whose vertex set is ${V}^{\prime}$ and whose edge set consists of all the edges of G with both endpoints in ${V}^{\prime}$ . The degree ${d}_{G}\left(v\right)$ of a vertex v in G is the number of edges incident with v. We denote by $\delta \left(G\right)$ the minimum degree of vertices of G. For any vertex v, we define the neighborhood ${N}_{G}\left(v\right)$ of v in G to be the set of vertices adjacent to v. $u$ is called a neighbor vertex or a neighbor of v for $u\in {N}_{G}\mathrm{(}v\mathrm{)}$ . Let $S\subseteq V\left(G\right)$ . We denote by ${N}_{G}\left(S\right)$ the set ${\cup}_{v\in S}{N}_{G}\left(v\right)}\backslash S$ . For neighborhoods and degrees, we will usually omit the subscript for the graph when no confusion arises. A graph G is said to be k-regular if ${d}_{G}\left(v\right)=k$ for any vertex $v\in V$ . A bipartite graph is one whose each edge has one end in subsets of vertex X and one end in subsets of vertex Y; such a partition $\left(X\mathrm{,}Y\right)$ is called a bipartition of the graph. A complete bipartite graph is a simple bipartite graph with bipartition $\left(X\mathrm{,}Y\right)$ in which each vertex of X is joined to each vertex of Y; if $\left|X\right|=m$ and $\left|Y\right|=n$ , such a graph is denoted by ${K}_{m\mathrm{,}n}$ . The connectivity $\kappa \left(G\right)$ of a connected graph G is the minimum number of vertices whose removal results in a disconnected graph or only one vertex left. Let ${F}_{1}$ and ${F}_{2}$ be two distinct subsets of V, and let the symmetric difference ${F}_{1}\Delta {F}_{2}=\left({F}_{1}\backslash {F}_{2}\right)\cup \left({F}_{2}\backslash {F}_{1}\right)$ . For graph-theoretical terminology and notation not defined here we follow [20] .

Let $G=\left(V,E\right)$ be a connected graph. A faulty set $F\subseteq V$ is called a g- good-neighbor faulty set if $\left|N\left(v\right)\cap \left(V\backslash F\right)\right|\ge g$ for every vertex v in $V\backslash F$ . A g-good-neighbor cut of G is a g-good-neighbor faulty set F such that $G-F$ is disconnected. The minimum cardinality of g-good-neighbor cuts is said to be the g-good-neighbor connectivity of G, denoted by ${\kappa}^{\left(g\right)}\left(G\right)$ . A faulty set $F\subseteq V$ is called a g-extra faulty set if every component of $G-F$ has at least $\left(g+1\right)$ vertices. A g-extra cut of G is a g-extra faulty set F such that $G-F$ is dis- connected. The minimum cardinality of g-extra cuts is said to be the g-extra connectivity of G, denoted by ${\stackrel{\u02dc}{\kappa}}^{\left(g\right)}\left(G\right)$ .

Proposition 1. ( [21] ) Let G be a g-extra and g-good-neighbor connected graph. Then ${\stackrel{\u02dc}{\kappa}}^{\left(g\right)}\left(G\right)\le {\kappa}^{\left(g\right)}\left(G\right)$ .

Proposition 2. ( [21] ) Let G be a 1-good-neighbor connected graph. Then ${\kappa}^{\left(1\right)}\left(G\right)={\stackrel{\u02dc}{\kappa}}^{\left(1\right)}\left(G\right)$ .

2.2. Definitions and Propositions

Definition 3. ( [22] [23] [24] [25] ) A system G is said to be t-diagnosable if all faulty processors can be identified without replacement, provided that the number of faults presented does not exceed t. The diagnosability of G is the maximum value of t such that G is t-diagnosable.

For the PMC model and MM^{*} model, we follow [26] . Under the PMC model, to diagnose a system
$G=\left(V\left(G\right),E\left(G\right)\right)$ , two adjacent nodes in G are capable to perform tests on each other. For two adjacent nodes u and v in
$V\left(G\right)$ , the test performed by u on v is represented by the ordered pair
$\left(u\mathrm{,}v\right)$ . The outcome of a test
$\left(u\mathrm{,}v\right)$ is 1 (resp. 0) if u evaluate v as faulty (resp. fault-free). We assume that the testing result is reliable (resp. unreliable) if the node u is fault- free(resp. faulty). A test assignment T for G is a collection of tests for every adjacent pair of vertices. The collection of all test results for a test assignment T is called a syndrome. For a given syndrome
$\sigma $ , a subset of vertices
$F\subseteq V\left(G\right)$ is said to be consistent with
$\sigma $ if syndrome
$\sigma $ can be produced from the situation that, for any
$\left(u\mathrm{,}v\right)\in L$ such that
$u\in V\backslash F$ ,
$\sigma \left(u,v\right)=1$ if and only if
$v\in F$ . Let
$\sigma \left(F\right)$ denote the set of all syndromes which F is consistent with. Under the PMC model, two distinct sets
${F}_{1}$ and
${F}_{2}$ in
$V\left(G\right)$ are said to be indistinguishable if
$\sigma \left({F}_{1}\right)\cap \sigma \left({F}_{2}\right)\ne \varnothing $ , otherwise,
${F}_{1}$ and
${F}_{2}$ are said to be distinguishable.

Similar to the PMC model, we can define a subset of vertices
$F\subseteq V\left(G\right)$ is consistent with a given syndrome
${\sigma}^{\mathrm{*}}$ and two distinct sets
${F}_{1}$ and
${F}_{2}$ in
$V\left(G\right)$ are indistinguishable (resp. distinguishable) under the MM^{*} model.

In a system $G=\left(V,E\right)$ , a faulty set $F\subseteq V$ is called a g-extra faulty set if every component of $G-F$ has more than g nodes. G is g-extra t-diagnosable if and only if for each pair of distinct faulty g-extra vertex subsets ${F}_{1}\mathrm{,}{F}_{2}\subseteq V\left(G\right)$ such that $\left|{F}_{i}\right|\le t$ , ${F}_{1}$ and ${F}_{2}$ are distinguishable. The g-extra diagnosability of G, denoted by ${\stackrel{\u02dc}{t}}_{g}\left(G\right)$ , is the maximum value of t such that G is g-extra t- diagnosable.

Proposition 4. [18] For any given system G, ${\stackrel{\u02dc}{t}}_{g}\left(G\right)\le {\stackrel{\u02dc}{t}}_{{g}^{\prime}}\left(G\right)$ if $g\le {g}^{\prime}$ .

For an integer $n\ge 1$ , a binary string of length n is denoted by ${u}_{1}{u}_{2}\cdots {u}_{n}$ , where ${u}_{i}\in \left\{\mathrm{0,1}\right\}$ for any integer $i\in \left\{\mathrm{1,2,}\cdots \mathrm{,}n\right\}$ . The n-dimensional locally twisted cube, denoted by $LT{Q}_{n}$ , is an n-regular graph of ${2}^{n}$ vertices and $n{2}^{n-1}$ edges, which can be recursively defined as follows [27] .

Definition 5. ( [27] ) For $n\ge 2$ , an n-dimensional locally twisted cube, denoted by $LT{Q}_{n}$ , is defined recursively as follows:

1) $LT{Q}_{2}$ is a graph consisting of four nodes labeled with 00, 01, 10 and 11, respectively, connected by four edges {00, 01}, {01, 11}, {11, 10} and {10, 00}.

2) For $n\ge 3$ , $LT{Q}_{n}$ is built from two disjoint copies of $LT{Q}_{n-1}$ according to the following steps. Let $0LT{Q}_{n-1}$ denote the graph obtained from one copy of $LT{Q}_{n-1}$ by prefixing the label of each node with 0. Let $1LT{Q}_{n-1}$ denote the graph obtained from the other copy of $LT{Q}_{n-1}$ by prefixing the label of each node with 1. Connect each node $0{u}_{2}{u}_{3}\cdots {u}_{n}$ of $0LT{Q}_{n-1}$ to the node $1\left({u}_{2}+{u}_{n}\right){u}_{3}\cdots {u}_{n}$ of $1LT{Q}_{n-1}$ with an edge, where “+” represents the modulo 2 addition.

The edges whose end vertices in different $iLT{Q}_{n-1}s$ are called to be cross- edges. Figures 1-3 show four examples of locally twisted cubes. The locally twisted cube can also be equivalently defined in the following non-recursive fashion.

Definition 6. ( [27] ) For $n\ge 2$ , the n-dimensional locally twisted cube, denoted by $LT{Q}_{n}$ , is a graph with ${\left\{\mathrm{0,1}\right\}}^{n}$ as the node set. Two nodes ${u}_{1}{u}_{2}\cdots {u}_{n}$ and ${v}_{1}{v}_{2}\cdots {v}_{n}$ of $LT{Q}_{n}$ are adjacent if and only if either one of the following conditions are satisfied.

1) ${u}_{i}=\stackrel{\xaf}{{v}_{i}}$ and ${u}_{i+1}=\left({v}_{i+1}+{v}_{n}\right)\left(mod2\right)$ for some $1\le i\le n-2$ , $n\ge 3$ and ${u}_{j}={v}_{j}$ for all the remaining bits;

Figure 1. LTQ_{2} and LTQ_{3}.

Figure 2. LTQ_{4}.

Figure 3. LTQ_{5}.

2) ${u}_{i}=\stackrel{\xaf}{{v}_{i}}$ for $i\in \left\{n-\mathrm{1,}n\right\}$ , $n\ge 2$ and ${u}_{j}={v}_{j}$ for all the remaining bits.

Proposition 7. ( [28] ) Let $LT{Q}_{n}$ be the locally twisted cube. If two vertices $u\mathrm{,}v$ are adjacent, there is no common neighbor vertex of these two vertices, i.e., $\left|N\left(u\right)\cap N\left(v\right)\right|=0$ . If two vertices $u\mathrm{,}v$ are not adjacent, there are at most two common neighbor vertices of these two vertices, i.e., $\left|N\left(u\right)\cap N\left(v\right)\right|\le 2$ .

3. The Connectivity of Locally Twisted Cubes

Lemma 1. ( [27] ) Let $LT{Q}_{n}$ be the locally twisted cube. Then $\kappa \left(LT{Q}_{n}\right)=n$ .

Lemma 2. ( [29] ) Let $LT{Q}_{n}$ be the locally twisted cube, and let $S\subseteq V\left(LT{Q}_{n}\right)$ and $n\ge 3$ . If $LT{Q}_{n}-S$ is disconnected and $n\le \left|S\right|\le 2n-3$ , then $LT{Q}_{n}-S$ has exactly two components, one is trivial and the other is nontrivial.

Lemma 3. ( [17] ) Let $LT{Q}_{n}$ be the locally twisted cube. Then all cross-edges of $LT{Q}_{n}$ is a perfect matching.

Lemma 4. ( [30] ) Let $LT{Q}_{n}$ be the locally twisted cube. Then ${\kappa}^{\left(2\right)}\left(LT{Q}_{n}\right)=4n-8$ .

Lemma 5. Let $LT{Q}_{n}$ be the locally twisted cube. If $P=uvwx$ is a 3-path in $LT{Q}_{n}$ and $ux\notin E\left(LT{Q}_{n}\right)$ for $n\ge 3$ , $\left|N\left(V\left(P\right)\right)\right|\ge 4n-9$ .

Proof. We decompose $LT{Q}_{n}$ into $0LT{Q}_{n-1}$ and $1LT{Q}_{n-1}$ . Then $0LT{Q}_{n-1}$ and $1LT{Q}_{n-1}$ are isomorphic to $LT{Q}_{n-1}$ . Without loss of generality, we have the following cases.

Case 1. $u\mathrm{,}x\in V\left(0LT{Q}_{n-1}\right)$ and $v\mathrm{,}w\in V\left(1LT{Q}_{n-1}\right)$ .

Since $u\in V\left(0LT{Q}_{n-1}\right)$ , $v\in V\left(1LT{Q}_{n-1}\right)$ and $u\mathrm{,}v$ are adjacent, by Propo- sition 7, $u\mathrm{,}v$ have no the common neighbor vertex. Similarly, $x\mathrm{,}w$ have no the common neighbor vertex and $v\mathrm{,}w$ have no the common neighbor vertex. Since $u\in V\left(0LT{Q}_{n-1}\right)$ , $w\in V\left(1LT{Q}_{n-1}\right)$ , $u\mathrm{,}w$ are not adjacent, v is a com- mon neighbor vertex of $u\mathrm{,}w$ , $x\in V\left(0LT{Q}_{n-1}\right)$ and x is a neighbor vertex of w, by Lemma 3, $\left|\left(N\left(u\right)\cap N\left(w\right)\right)\backslash \left\{v\right\}\right|=0$ . Similarly, $\left|\left(N\left(x\right)\cap N\left(v\right)\right)\backslash \left\{w\right\}\right|=0$ . Since u and x are not adjacent, by proposition 7, $\left|N\left(u\right)\cap N\left(x\right)\right|\le 2$ . Therefore, $\left|N\left(V\left(P\right)\right)\right|\ge 2\left(n-1\right)+2\left(n-2\right)-2=4n-8$ .

Case 2. $u\in V\left(0LT{Q}_{n-1}\right)$ and $v\mathrm{,}w\mathrm{,}x\in V\left(1LT{Q}_{n-1}\right)$ .

Since $u\mathrm{,}v$ are adjacent, by Proposition 7, $\left|N\left(u\right)\cap N\left(v\right)\right|=0$ . Similarly, $\left|N\left(v\right)\cap N\left(w\right)\right|=0$ , $\left|N\left(x\right)\cap N\left(w\right)\right|=0$ . And since $u\in V\left(0LT{Q}_{n-1}\right)$ , $w\in V\left(1LT{Q}_{n-1}\right)$ , $u\mathrm{,}w$ are not adjacent and v is the common neighbor vertex of u and w, by Lemma 3, $\left|\left(N\left(u\right)\cap N\left(w\right)\right)\backslash \left\{v\right\}\right|\le 1$ . Since $u\mathrm{,}x$ are not adjacent, $u\in V\left(0LT{Q}_{n-1}\right)$ , $x\in V\left(1LT{Q}_{n-1}\right)$ , by Lemma 3, $\left|N\left(u\right)\cap N\left(x\right)\right|\le 1$ . Since w is the common neighbor vertex of v and x and $v\mathrm{,}x$ are not adjacent, by pro- position 7, $\left|\left(N\left(v\right)\cap N\left(x\right)\right)\backslash \left\{w\right\}\right|\le 1$ . Therefore, $\left|N\left(P\right)\right|\ge 2\left(n-1\right)+2\left(n-2\right)-3=4n-9$ .

Case 3. $u\mathrm{,}v\in V\left(0LT{Q}_{n-1}\right)$ and $w\mathrm{,}x\in V\left(1LT{Q}_{n-1}\right)$ .

Since $u\mathrm{,}v$ are adjacent, by Proposition 7, $\left|N\left(u\right)\cap N\left(v\right)\right|=0$ . Similarly, $\left|N\left(u\right)\cap N\left(w\right)\right|=0$ , $\left|N\left(w\right)\cap N\left(x\right)\right|=0$ . Since $u\in V\left(0LT{Q}_{n-1}\right)$ , $x\in V\left(1LT{Q}_{n-1}\right)$ and u, x are not adjacent, by proposition 7, $\mathrm{|}N\mathrm{(}u\mathrm{)}\cap N\mathrm{(}x\mathrm{)|}\le 2$ . If $\left|\left(N\left(u\right)\cap N\left(w\right)\right)\backslash \left\{v\right\}\right|=1$ , then, by Lemma 3, $\left|N\left(u\right)\cap N\left(x\right)\right|\le 1$ . If $\left|\left(N\left(u\right)\cap N\left(w\right)\right)\backslash \left\{v\right\}\right|=0$ , then, by Lemma 3, $\left|N\left(u\right)\cap N\left(x\right)\right|\le 2$ . Therefore, $\left|N\left(V\left(P\right)\right)\right|\ge 2\left(n-1\right)+2\left(n-2\right)-2=4n-8$ .

Case 4. $u\mathrm{,}v\mathrm{,}w\mathrm{,}x\in V\left(1LT{Q}_{n-1}\right)$ .

This case is clear.

In conclusion, $\left|N\left(V\left(P\right)\right)\right|\ge 4n-9$ .

Lemma 6. Let $LT{Q}_{n}$ be the locally twisted cube. If $LT{Q}_{n}\left[\left\{u\mathrm{,}v\mathrm{,}w\mathrm{,}x\right\}\right]$ is isomorphic to ${K}_{\mathrm{1,3}}$ for $n\ge 3$ and $d\left(u\right)=3$ , then $\left|N\left(V\left(LT{Q}_{n}\left[\left\{u\mathrm{,}v\mathrm{,}w\mathrm{,}x\right\}\right]\right)\right)\right|\ge 4n-9$ .

Proof. Since $d\left(u\right)=3$ and $LT{Q}_{n}\left[\left\{u\mathrm{,}v\mathrm{,}w\mathrm{,}x\right\}\right]$ is isomorphic to ${K}_{\mathrm{1,3}}$ , we have $d\left(v\right)=1$ , $d\left(w\right)=1$ and $d\left(x\right)=1$ . Since $v\mathrm{,}w$ are not adjacent and u is a common neighbor vertex of v, w, by Proposition 7, $\left|\left(N\left(v\right)\cap N\left(w\right)\right)\backslash \left\{u\right\}\right|\le 1$ . Similarly, $\left|\left(N\left(v\right)\cap N\left(x\right)\right)\backslash \left\{u\right\}\right|\le 1$ , $\left|\left(N\left(w\right)\cap N\left(x\right)\right)\backslash \left\{u\right\}\right|\le 1$ . Therefore, $\left|N\left(V\left(LT{Q}_{n}\left[\left\{u,v,w,x\right\}\right]\right)\right)\right|\ge 3\left(n-1\right)+\left(n-3\right)-3=4n-9$ .

If $LT{Q}_{n}\left[\left\{u\mathrm{,}v\mathrm{,}w\mathrm{,}x\right\}\right]$ is a 4-cycle, then $\left|N\left(V\left(LT{Q}_{n}\left[\left\{u,v,w,x\right\}\right]\right)\right)\right|=4n-8$ . Combining this with Lemmas 5 and 6, we have the following corollary.

Corollary 1. Let $LT{Q}_{n}$ be the locally twisted cube and let H be a connected subgraph of $LT{Q}_{n}$ . If $\left|V\left(H\right)\right|\ge 4$ , then $\left|N\left(V\left(H\right)\right)\right|\ge 4n-9$ .

Lemma 7. Let $A=\left\{0\cdots \mathrm{0001,0}\cdots \mathrm{0111,0}\cdots \mathrm{0101,0}\cdots 0100\right\}$ and let $LT{Q}_{n}$ be the locally twisted cube with $n\ge 4$ . If ${F}_{1}={N}_{LT{Q}_{n}}\left(A\right)$ , ${F}_{2}={F}_{1}\cup A$ , where $n\ge 4$ , then $\left|{F}_{1}\right|=4n-9$ , $\left|{F}_{2}\right|=4n-5$ , ${F}_{1}$ is a 3-extra cut of $LT{Q}_{n}$ , $LT{Q}_{n}-{F}_{1}$ has two components $LT{Q}_{n}-{F}_{2}$ and $LT{Q}_{n}\left[A\right]$ , $\left|V\left(LT{Q}_{n}-{F}_{2}\right)\right|\ge 4$ , and $\left|A\right|\ge 4$ .

Proof. According to the definition, $LT{Q}_{n}\left[A\right]$ is a 3-path and $\left|A\right|=4$ . By Lemma 5, $\left|{F}_{1}\right|\ge 4n-9$ . From Figure 2 and the definition of $LT{Q}_{n}$ , we have that $\left|{F}_{1}\right|=2\left(n-3\right)+2\left(n-2\right)-3+4=4n-9$ . Therefore, $\left|{F}_{2}\right|=\left|{F}_{1}\right|+\left|A\right|=\left(4n-9\right)+4=4n-5$ . Let ${F}_{2}^{i}=V\left(iLT{Q}_{n-1}\right)\cap {F}_{2}$ , $i\in \left\{\mathrm{0,1}\right\}$ .

To prove $LT{Q}_{n}-{F}_{2}$ has two components and $\left|V\left(LT{Q}_{n}-{F}_{2}\right)\right|\ge 4$ , we have the following discussion.

Claim 1. $LT{Q}_{n}-{F}_{2}$ is connected for $n\ge 4$ .

The proof is by induction on n. For $n=4$ , $A=\left\{0001,0111,0101,0100\right\}$ , ${F}_{1}=\left\{0000,0011,0110,1001,1011,1101,1100\right\}$ . It is easy to see that $LT{Q}_{4}-{F}_{2}$ is connected (See Figure 2). When $n=5$ , $A=\left\{00001,00111,00101,00100\right\}$ ,

${F}_{2}^{1}=\left\{11001,11110,11111,10100\right\}$ (See Figure 3). It is clear that $1LT{Q}_{n-1}-{F}_{2}^{1}$ is connected (See Figure 3). We discompose $LT{Q}_{n}$ into $0LT{Q}_{n-1}$ and $1LT{Q}_{n-1}$ . Assume that $n\ge 6$ , the result holds for $LT{Q}_{n-1}$ . Then $0LT{Q}_{n-1}-{F}_{2}^{0}$ is con- nected. Note that $A\subseteq V\left(0LT{Q}_{n-1}\right)$ and $\left|N\left(A\right)\cap V\left(1LT{Q}_{n-1}\right)\right|=4$ . By Lemma 1, $1LT{Q}_{n-1}-{F}_{2}^{1}$ is connected. By inductive hypothesis, $0LT{Q}_{n-1}-{F}_{2}^{0}$ is con- nected. Since ${2}^{n-1}\mathrm{>4}n-5$ , by Lemma 3, $LT{Q}_{n}-{F}_{2}$ is connected. The proof of Claim 1 is complete.

By Claim 1, $LT{Q}_{n}-{F}_{1}$ has two components $LT{Q}_{n}-{F}_{2}$ and $LT{Q}_{n}\left[A\right]$ for $n\ge 4$ . Then $\left|V\left(LT{Q}_{n}-{F}_{2}\right)\right|={2}^{n}-\left(4n-5\right)\ge 4$ for $n\ge 4$ . And since $\left|A\right|=4$ , ${F}_{1}$ is a 3-extra cut of $LT{Q}_{n}$ .

Lemma 8. ( [17] ) Let $LT{Q}_{n}\left(n\ge 4\right)$ be the locally twisted cube. If $\left|F\right|\le 3n-6$ , then $LT{Q}_{n}-F$ satisfies one of the following conditions:

1) $LT{Q}_{n}-F$ has three components, two of which are isolated vertices;

2) $LT{Q}_{n}-F$ has two components, one of which is an isolated vertex;

3) $LT{Q}_{n}-F$ has two components, one of which is a ${K}_{2}$ ;

4) $LT{Q}_{n}-F$ is connected.

Theorem 8. ( [31] ) Let $LT{Q}_{n}$ be the locally twisted cube. Then ${\stackrel{\u02dc}{\kappa}}^{\left(3\right)}\left(LT{Q}_{n}\right)=4n-9$ for $n\ge 4$ .

Lemma 9. Let $LT{Q}_{n}$ be the locally twisted cube. If $\left|F\right|=10$ for $n=5$ , then $LT{Q}_{5}-F$ satisfies one of the following conditions:

1) $LT{Q}_{5}-F$ has four components, three of which are isolated vertices;

2) $LT{Q}_{5}-F$ has three components, one of which is isolated vertices and one of which is a ${K}_{2}$ ;

3) $LT{Q}_{5}-F$ has three components, two of which are isolated vertices;

4) $LT{Q}_{5}-F$ has two components, one of which is a path of length two;

5) $LT{Q}_{5}-F$ has two components, one of which is an isolated vertex;

6) $LT{Q}_{5}-F$ has two components, one of which is a ${K}_{2}$ ;

7) $LT{Q}_{5}-F$ is connected.

Proof. We decompose $LT{Q}_{5}$ into $0LT{Q}_{4}$ and $1LT{Q}_{4}$ . Then $0LT{Q}_{4}$ and $1LT{Q}_{4}$ are isomorphic to $LT{Q}_{4}$ . Suppose that ${F}_{i}=F\cap V\left(iLT{Q}_{4}\right)$ , $i\in \left\{\mathrm{0,1}\right\}$ . Without loss of generality, let $\left|{F}_{0}\right|\ge \left|{F}_{1}\right|$ . And since $\left|F\right|=10$ , $5\le \left|{F}_{0}\right|\le 10$ , $0\le \left|{F}_{1}\right|\le 5$ . Let ${C}_{i}$ be the maximum component of $iLT{Q}_{4}-{F}_{i}$ , $i\in \left\{\mathrm{0,1}\right\}$ . We consider the following cases.

Case 1. $\left|{F}_{0}\right|=5$ .

Since $\left|{F}_{0}\right|=5$ and $\left|F\right|=10$ , $\left|{F}_{1}\right|=10-5=5$ . By Lemmas 1 and 2, both $0LT{Q}_{4}-{F}_{0}$ and $1LT{Q}_{4}-{F}_{1}$ are connected or has two components, one of which is an isolated vertex. Since ${2}^{5-1}-6-2\ge 1$ , by Lemma 3, $LT{Q}_{n}\left[V\left({C}_{0}\right)\cup V\left({C}_{1}\right)\right]$ is connected. Thus, $LT{Q}_{5}-F$ satisfies one of con- ditions:

1) $LT{Q}_{5}-F$ has three components, two of which are isolated vertices;

2) $LT{Q}_{5}-F$ has two components, one of which is an isolated vertex;

3) $LT{Q}_{5}-F$ has two components, one of which is a ${K}_{2}$ ;

4) $LT{Q}_{5}-F$ is connected.

Case 2. $\left|{F}_{0}\right|=6$ .

Since $\left|{F}_{0}\right|=6$ and $\left|F\right|=10$ , $\left|{F}_{1}\right|=10-6=4$ . By Lemmas 1 and 2, $1LT{Q}_{4}-{F}_{1}$ is connected or has two components, one of which is an isolated vertex. Since $\left|{F}_{0}\right|=6$ , by Lemma 8, $0LT{Q}_{4}-{F}_{0}$ satisfies one of the following conditions:

1) $0LT{Q}_{4}-{F}_{0}$ has three components, two of which are isolated vertices;

2) $0LT{Q}_{4}-{F}_{0}$ has two components, one of which is an isolated vertex;

3) $0LT{Q}_{4}-{F}_{0}$ has two components, one of which is a ${K}_{2}$ ;

4) $0LT{Q}_{4}-{F}_{0}$ is connected.

Then $LT{Q}_{5}-F$ satisfies one of the conditions (1)-(7).

Case 3. $\left|{F}_{0}\right|\ge 7$ .

Since $\left|{F}_{0}\right|\ge 7$ and $\left|F\right|=10$ , $\left|{F}_{1}\right|\le 10-7=3$ . By Lemma 1, $1LT{Q}_{4}-{F}_{1}$ is connected.

Suppose that $0LT{Q}_{4}-{F}_{0}$ is connected. Since ${2}^{5-1}-10\ge 1$ , by Lemma 3, $LT{Q}_{n}-F$ is connected.

Suppose that $0LT{Q}_{4}-{F}_{0}$ is not connected. Let the components in $0LT{Q}_{4}-{F}_{0}$ be ${G}_{1},{G}_{2},\cdots ,{G}_{k}$ for $k\ge 2$ and $\left|V\left({G}_{1}\right)\right|\le \left|V\left({G}_{2}\right)\right|\le \cdots \le \left|V\left({G}_{k}\right)\right|$ . If $\left|V\left({G}_{r}\right)\right|\ge 4\left(1\le r\le k-1\right)$ , by Lemma 3, $\left|N\left(V\left({G}_{r}\right)\right)\cap V\left(1LT{Q}_{4}\right)\right|\ge 4$ . Combining this with $\left|{F}_{1}\right|\le 3$ , we have that $LT{Q}_{5}\left[V\left({G}_{r}\right)\cup V\left(1LT{Q}_{4}-{F}_{1}\right)\right]$ is connected. Therefore, ${G}_{r}$ is not a component of $LT{Q}_{5}-F$ for $\left|V\left({G}_{r}\right)\right|\ge 4$ . Therefore, $LT{Q}_{5}-F$ is connected. The following we discuss ${G}_{r}$ is a com- ponent of $LT{Q}_{5}-F$ with $\left|V\left({G}_{r}\right)\right|\le 3\left(1\le r\le k-1\right)$ .

If $k=5$ , by Lemma 3, $\left|N\left(V\left({G}_{1}\right)\right)\cup N\left(V\left({G}_{2}\right)\right)\cup \cdots \cup N\left(V\left({G}_{k-1}\right)\right)\cap V\left(1LT{Q}_{4}\right)\right|\ge 4$ . Combining this with $\left|{F}_{1}\right|\le 3$ , there is one ${G}_{r}\left(1\le r\le k-1\right)$ such that $LT{Q}_{5}\left[V\left({G}_{r}\right)\cup V\left(1LT{Q}_{4}-{F}_{1}\right)\right]$ is connected. Thus, $k\le 4$ . Since $\left|{F}_{1}\right|=3$ , $k\le 4$ , and $\left|V\left({G}_{r}\right)\right|\le 3\left(1\le r\le k-1\right)$ , $LT{Q}_{5}-F$ satisfies one of the conditions (1)-(7).

Lemma 10. Let $LT{Q}_{n}$ be the locally twisted cube. If $3n-5\le \left|F\right|\le 4n-10$ for $n\ge 5$ , then $LT{Q}_{n}-F$ satisfies one of the following conditions:

1) $LT{Q}_{n}-F$ has four components, three of which are isolated vertices;

2) $LT{Q}_{n}-F$ has three components, one of which is isolated vertices and one of which is a ${K}_{2}$ ;

3) $LT{Q}_{n}-F$ has three components, two of which are isolated vertices;

4) $LT{Q}_{n}-F$ has two components, one of which is a path of length two;

5) $LT{Q}_{n}-F$ has two components, one of which is an isolated vertex;

6) $LT{Q}_{n}-F$ has two components, one of which is a ${K}_{2}$ ;

7) $LT{Q}_{n}-F$ is connected.

Proof. By Lemma 9, the result holds for $n=5$ . We proceed by induction on n. Assume $n\ge 6$ and the result holds for $LT{Q}_{n-1}$ , i.e., if $3n-5\le \left|F\right|\le 4\left(n-1\right)-10=4n-14$ , then $LT{Q}_{n-1}-F$ satisfies one of the con- ditions (1)-(7) in Lemma 10. The following we prove $LT{Q}_{n}-F$ satisfies one of the conditions (1)-(7).

We decompose $LT{Q}_{n}$ into $0LT{Q}_{n-1}$ and $1LT{Q}_{n-1}$ . Then $0LT{Q}_{n-1}$ and $1LT{Q}_{n-1}$ are isomorphic to $LT{Q}_{n-1}$ . Suppose that ${F}_{i}=F\cap V\left(iLT{Q}_{n-1}\right)$ , $i\in \left\{\mathrm{0,1}\right\}$ . Without loss of generality, let $\left|{F}_{0}\right|\ge \left|{F}_{1}\right|$ . And since

$3n-5\le \left|F\right|\le 4n-10$ , $n\le \lceil \frac{3n-5}{2}\rceil \le \left|{F}_{0}\right|\le 4n-10$ , $0\le \left|{F}_{1}\right|\le \lfloor \frac{4n-10}{2}\rfloor \le 2n-5$ .

Let ${C}_{i}$ be the maximum component of $iLT{Q}_{n-1}-{F}_{i}$ , $i\in \left\{\mathrm{0,1}\right\}$ . We consider the following cases.

Case 1. $n\le \left|{F}_{0}\right|\le 3\left(n-1\right)-6=3n-9$ .

Since $\left|{F}_{0}\right|\ge \left|{F}_{1}\right|$ and $\left|F\right|\le 4n-10$ ,

$\left(4n-10\right)-\left(3n-9\right)=n-1\le \left|{F}_{1}\right|\le \lfloor \frac{4n-10}{2}\rfloor =2n-5$ . By Lemmas 1 and 2,

$1LT{Q}_{n-1}-{F}_{1}$ is connected or has two components, one of which is an isolated vertex. Since $n\le \left|{F}_{0}\right|\le 3\left(n-1\right)-6=3n-9$ , by lemma 8, $0LT{Q}_{n-1}-{F}_{0}$ satisfies one of the following conditions: 1) $0LT{Q}_{n-1}-{F}_{0}$ has three components, two of which are isolated vertices; 2) $0LT{Q}_{n-1}-{F}_{0}$ has two components, one of which is an isolated vertex; 3) $0LT{Q}_{n-1}-{F}_{0}$ has two components, one of which is a ${K}_{2}$ ; 4) $0LT{Q}_{n-1}-{F}_{0}$ is connected. Since ${2}^{n-1}-\left(4n-10\right)-3\ge 1$ , by Lemma 3, $LT{Q}_{n}\left[V\left({C}_{0}\right)\cup V\left({C}_{1}\right)\right]$ is connected. Thus, $LT{Q}_{n}-F$ satisfies one of con- ditions (1)-(7) in Lemma 10.

Case 2. $3n-8\le \left|{F}_{0}\right|\le 4n-14$ .

Since $\left|{F}_{0}\right|\ge \left|{F}_{1}\right|$ and $\left|F\right|\le 4n-10$ , $\left|{F}_{1}\right|\le \left(4n-10\right)-\left(3n-8\right)=n-2$ . By Le- mma 1, $1LT{Q}_{n-1}-{F}_{1}$ is connected. Since $3n-8\le \left|{F}_{0}\right|\le 4n-14$ , according to inductive hypothesis, $0LT{Q}_{n-1}-{F}_{0}$ satisfies one of the following conditions:

1) $0LT{Q}_{n-1}-{F}_{0}$ has four components, three of which are isolated vertices;

2) $0LT{Q}_{n-1}-{F}_{0}$ has three components, one of which is isolated vertices and one of which is a ${K}_{2}$ ;

3) $0LT{Q}_{n-1}-{F}_{0}$ has three components, two of which are isolated vertices;

4) $0LT{Q}_{n-1}-{F}_{0}$ has two components, one of which is a path of length two;

5) $0LT{Q}_{n-1}-{F}_{0}$ has two components, one of which is an isolated vertex;

6) $0LT{Q}_{n-1}-{F}_{0}$ has two components, one of which is a ${K}_{2}$ ;

7) $0LT{Q}_{n-1}-{F}_{0}$ is connected.

Thus, $LT{Q}_{n}-F$ satisfies one of the conditions (1)-(7) in Lemma 10.

Case 3. $4n-13\le \left|{F}_{0}\right|\le 4n-10$ .

Since $4n-13\le \left|{F}_{0}\right|\le 4n-10$ and $\left|F\right|\le 4n-10$ , $\left|{F}_{1}\right|\le \left(4n-10\right)-\left(4n-13\right)=3$ . By Lemma 1, $1LT{Q}_{n-1}-{F}_{1}$ is connected.

Suppose that $0LT{Q}_{n-1}-{F}_{0}$ is connected. Since ${2}^{n-1}-\left(4n-10\right)\ge 1$ , by Le- mma 3, $LT{Q}_{n}-F$ is connected.

Suppose that $0LT{Q}_{n-1}-{F}_{0}$ is not connected. Let the components in

$0LT{Q}_{n-1}-{F}_{0}$ be ${G}_{1},{G}_{2},\cdots ,{G}_{k}$ for $k\ge 2$ and $\left|V\left({G}_{1}\right)\right|\le \left|V\left({G}_{2}\right)\right|\le \cdots \le \left|V\left({G}_{k}\right)\right|$ . If $\left|V\left({G}_{r}\right)\right|\ge 4\left(1\le r\le k-1\right)$ , by Lemma 3, $\left|N\left(V\left({G}_{r}\right)\right)\cap V\left(1LT{Q}_{n-1}\right)\right|\ge 4$ . Combining this with $\left|{F}_{1}\right|\le \left(4n-10\right)-\left(4n-13\right)=3$ , we have that $LT{Q}_{n}\left[V\left({G}_{r}\right)\cup V\left(1LT{Q}_{n-1}-{F}_{1}\right)\right]$ is connected. Therefore, ${G}_{r}$ is not a com- ponent of $LT{Q}_{n}-F$ for $\left|V\left({G}_{r}\right)\right|\ge 4$ . Therefore, $LT{Q}_{n}-F$ is connected. The following we discuss ${G}_{r}$ is a component of $LT{Q}_{n}-F$ with $\left|V\left({G}_{r}\right)\right|\le 3\left(1\le r\le k-1\right)$ .

If $k=5$ , by Lemma 3, $\left|N\left(V\left({G}_{1}\right)\right)\cup N\left(V\left({G}_{2}\right)\right)\cup \cdots \cup N\left(V\left({G}_{k-1}\right)\right)\cap V\left(1LT{Q}_{n-1}\right)\right|\ge 4$ . Combining this with $\left|{F}_{1}\right|\le 3$ , there is one ${G}_{r}\left(1\le r\le k-1\right)$ such that $LT{Q}_{n}\left[V\left({G}_{r}\right)\cup V\left(1LT{Q}_{n-1}-{F}_{1}\right)\right]$ is connected. Thus, $k\le 4$ . Since $\left|{F}_{1}\right|\le 3$ , $\left|V\left({G}_{r}\right)\right|\le 3\left(1\le r\le k-1\right)$ and $k\le 4$ , $LT{Q}_{n}-F$ satisfies one of the conditions (1)-(7).

A connected graph G is super g-extra connected if every minimum g-extra cut F of G isolates one connected subgraph of order $g+1$ . In addition, if $G-F$ has two components, one of which is the connected subgraph of order $g+1$ , then G is tightly $\left|F\right|$ super g-extra connected.

Theorem 9. Let $LT{Q}_{n}$ be the locally twisted cube for $n\ge 6$ . Then $LT{Q}_{n}$ is tightly $\left(4n-9\right)$ super 3-extra connected.

Proof. By Theorem 8, we know for any minimum 3-extra cut $F\subset V\left(LT{Q}_{n}\right)$ , $\left|F\right|=4n-9$ . We decompose $LT{Q}_{n}$ into $0LT{Q}_{n-1}$ and $1LT{Q}_{n-1}$ . Then $0LT{Q}_{n-1}$ and $1LT{Q}_{n-1}$ are isomorphic to $LT{Q}_{n-1}$ . Suppose that

${F}_{i}=F\cap V\left(iLT{Q}_{n-1}\right)$ , $i\in \left\{\mathrm{0,1}\right\}$ . Without loss of generality, let $\left|{F}_{0}\right|\ge \left|{F}_{1}\right|$ . And

since $\left|F\right|=4n-9$ , $2n-4\le \lceil \frac{4n-9}{2}\rceil \le \left|{F}_{0}\right|\le 4n-9$ , $0\le \left|{F}_{1}\right|\le \lfloor \frac{4n-9}{2}\rfloor \le 2n-5$ .

Let ${C}_{i}$ be the maximum component of $iLT{Q}_{n-1}-{F}_{i}$ , $i\in \left\{\mathrm{0,1}\right\}$ . We consider the following cases.

Case 1. $2n-4\le \left|{F}_{0}\right|\le 3\left(n-1\right)-6=3n-9$ .

Since $\left|{F}_{0}\right|\ge \left|{F}_{1}\right|$ and $\left|F\right|=4n-9$ , $\left|{F}_{1}\right|\le 2n-5$ holds.

By Lemmas 1 and 2, $1LT{Q}_{n-1}-{F}_{1}$ is connected or has two components, one of which is an isolated vertex. Since $2n-4\le \left|{F}_{0}\right|\le 3\left(n-1\right)-6=3n-9$ , by lemma 8, $0LT{Q}_{n-1}-{F}_{0}$ satisfies one of the following conditions: 1) $0LT{Q}_{n-1}-{F}_{0}$ has three components, two of which are isolated vertices; 2) $0LT{Q}_{n-1}-{F}_{0}$ has two components, one of which is an isolated vertex; 3) $0LT{Q}_{n-1}-{F}_{0}$ has two com- ponents, one of which is a ${K}_{2}$ ; 4) $0LT{Q}_{n-1}-{F}_{0}$ is connected. Since ${2}^{n-1}-\left(4n-9\right)-3\ge 1$ , by Lemma 3, $LT{Q}_{n}\left[V\left({C}_{0}\right)\cup V\left({C}_{1}\right)\right]$ is connected. Then $LT{Q}_{n}-F$ satisfies one of the following conditions:

1) $LT{Q}_{n}-F$ has four components, three of which are isolated vertices;

2) $LT{Q}_{n}-F$ has three components, one of which is isolated vertices and one of which is a ${K}_{2}$ ;

3) $LT{Q}_{n}-F$ has three components, two of which are isolated vertices;

4) $LT{Q}_{n}-F$ has two components, one of which is a path of length two;

5) $LT{Q}_{n}-F$ has two components, one of which is an isolated vertex;

6) $LT{Q}_{n}-F$ has two components, one of which is a ${K}_{2}$ ;

7) $LT{Q}_{n}-F$ is connected.

Thus, in this case, F is not a minimum 3-extra cut of $LT{Q}_{n}$ , a contradiction.

Case 2. $\left|{F}_{0}\right|=3n-8$ .

Since $\left|{F}_{0}\right|=3n-8$ and $\left|F\right|=4n-9$ , we have $\left|{F}_{1}\right|=\left(4n-9\right)-\left(3n-8\right)=n-1$ . By Lemmas 1 and 2, $1LT{Q}_{n-1}-{F}_{1}$ is connected or has two components, one of which is an isolated vertex. Since $\left|{F}_{0}\right|=3n-8$ , by Lemma 10, $0LT{Q}_{n-1}-{F}_{0}$ satisfies one of the following conditions:

1) $0LT{Q}_{n-1}-{F}_{0}$ has four components, three of which are isolated vertices;

2) $0LT{Q}_{n-1}-{F}_{0}$ has three components, one of which is isolated vertices and the other of which is a ${K}_{2}$ ;

3) $0LT{Q}_{n-1}-{F}_{0}$ has three components, two of which are isolated vertices;

4) $0LT{Q}_{n-1}-{F}_{0}$ has two components, one of which is a path of length two;

5) $0LT{Q}_{n-1}-{F}_{0}$ has two components, one of which is an isolated vertex;

6) $0LT{Q}_{n-1}-{F}_{0}$ has two components, one of which is a ${K}_{2}$ ;

7) $0LT{Q}_{n-1}-{F}_{0}$ is connected.

If $0LT{Q}_{n-1}-{F}_{0}$ satisfies the condition (4), i.e., $0LT{Q}_{n-1}-{F}_{0}$ has two com- ponents, one of which is a path of length two, denoted by $P=uvw$ , $1LT{Q}_{n-1}-{F}_{1}$ has two components, one of which is an isolated vertex x, and $\left|N\left(x\right)\cap V\left(P\right)\right|=1$ , $\left(N\left(V\left(P\right)\right)\cap V\left(1LT{Q}_{n-1}\right)\right)\backslash \left\{x\right\}\subseteq {F}_{1}$ , then, by Lemma 3, $LT{Q}_{n}-F$ has one component which is a 3-path or a ${K}_{\mathrm{1,3}}$ . Since ${2}^{n-1}-\left(4n-9\right)-3\ge 1$ for $n\ge 6$ , $LT{Q}_{n}\left[{C}_{0}\cup {C}_{1}\right]$ is connected. Thus, $LT{Q}_{n}-F$ exactly has two components. Then the other component C satisfies $\left|C\right|={2}^{n}-\left(4n-9\right)-4>4$ for $n\ge 6$ . Otherwise, F is not a minimum 3-extra cut of $LT{Q}_{n}$ , a contradiction.

Case 3. $3n-7\le \left|{F}_{0}\right|\le 4n-14$ .

Since $\left|{F}_{0}\right|\ge \left|{F}_{1}\right|$ and $\left|F\right|\le 4n-9$ , $\left|{F}_{1}\right|\le \left(4n-9\right)-\left(3n-7\right)=n-2$ . By Le- mma 1, $1LT{Q}_{n-1}-{F}_{1}$ is connected. Since $3n-7\le \left|{F}_{0}\right|\le 4n-14$ , by Lemma 10, $0LT{Q}_{n-1}-{F}_{0}$ satisfies one of the following conditions:

1) $0LT{Q}_{n-1}-{F}_{0}$ has four components, three of which are isolated vertices;

2) $0LT{Q}_{n-1}-{F}_{0}$ has three components, one of which is isolated vertices and the other of which is a ${K}_{2}$ ;

3) $0LT{Q}_{n-1}-{F}_{0}$ has three components, two of which are isolated vertices;

4) $0LT{Q}_{n-1}-{F}_{0}$ has two components, one of which is a path of length two;

5) $0LT{Q}_{n-1}-{F}_{0}$ has two components, one of which is an isolated vertex;

6) $0LT{Q}_{n-1}-{F}_{0}$ has two components, one of which is a ${K}_{2}$ ;

7) $0LT{Q}_{n-1}-{F}_{0}$ is connected.

Thus, $LT{Q}_{n}-F$ satisfies one of the following conditions:

1) $LT{Q}_{n}-F$ has four components, three of which are isolated vertices;

2) $LT{Q}_{n}-F$ has three components, one of which is isolated vertices and one of which is a ${K}_{2}$ ;

3) $LT{Q}_{n}-F$ has three components, two of which are isolated vertices;

4) $LT{Q}_{n}-F$ has two components, one of which is a path of length two;

5) $LT{Q}_{n}-F$ has two components, one of which is an isolated vertex;

6) $LT{Q}_{n}-F$ has two components, one of which is a ${K}_{2}$ ;

7) $LT{Q}_{n}-F$ is connected.

In this case, F is not a minimum 3-extra cut of $LT{Q}_{n}$ , a contradiction.

Case 4. $\left|{F}_{0}\right|=4n-13$ .

Since $\left|{F}_{0}\right|=4n-13$ and $\left|F\right|=4n-9$ for $n\ge 6$ , $\left|{F}_{1}\right|=\left(4n-9\right)-\left(4n-13\right)=4$ . By Lemma 1, $1LT{Q}_{n-1}-{F}_{1}$ is connected.

If there exists a 3-path P in $0LT{Q}_{n-1}-{F}_{0}$ , then $N\left(V\left(P\right)\right)\cap V\left(0LT{Q}_{n-1}\right)\subseteq {F}_{0}$ . By Corollary 1, $\left|N\left(V\left(P\right)\right)\right|\ge 4n-13=\left|{F}_{0}\right|$ in $0LT{Q}_{n-1}-{F}_{0}$ . Therefore, $N\left(V\left(P\right)\right)={F}_{0}$ in $0LT{Q}_{n-1}-{F}_{0}$ . Note that ${2}^{n-1}-\left(4n-9\right)-4\ge 1$ for $n\ge 6$ , by Lemma 3, then $LT{Q}_{n}\left[V\left({C}_{0}\right)\cup V\left({C}_{1}\right)\right]$ is connected. Then $LT{Q}_{n}-F$ just has two components, one of which is a 3-path.

If there exists a component ${K}_{\mathrm{1,3}}$ in $0LT{Q}_{n-1}-{F}_{0}$ , then ${N}_{0LT{Q}_{n-1}}\left(V\left({K}_{\mathrm{1,3}}\right)\right)\subseteq {F}_{0}$ . By Corollary 1, $\left|N\left(V\left({K}_{1,3}\right)\right)\right|\ge 4n-13=\left|{F}_{0}\right|$ in $0LT{Q}_{n-1}-{F}_{0}$ . Therefore, $N\left(V\left({K}_{1,3}\right)\right)={F}_{0}$ in $0LT{Q}_{n-1}-{F}_{0}$ . Note that ${2}^{n-1}-\left(4n-9\right)-4\ge 1$ for $n\ge 6$ , by Lemma 3, $LT{Q}_{n}-F$ just has two com- ponents, one of which is a ${K}_{\mathrm{1,3}}$ .

If there exists a 4-cycle C in $0LT{Q}_{n-1}-{F}_{0}$ , then ${N}_{0LT{Q}_{n-1}}\left(C\right)\cap V\left(0LT{Q}_{n-1}\right)\subseteq {F}_{0}$ . By Proposition 7, $\left|{N}_{0LT{Q}_{n-1}}\left(V\left(C\right)\right)\right|\ge 4\left(n-1-2\right)=4n-12>4n-13=\left|{F}_{0}\right|$ , a contradiction to $\left|{F}_{0}\right|=4n-13$ . Therefore, $0LT{Q}_{n-1}-{F}_{0}$ has not a 4-cycle.

Case 5. $4n-12\le \left|{F}_{0}\right|\le 4n-9$ .

Since $4n-12\le \left|{F}_{0}\right|\le 4n-9$ and $\left|F\right|\le 4n-9$ , $\left|{F}_{1}\right|\le \left(4n-9\right)-\left(4n-12\right)=3$ . By Lemma 1, $1LT{Q}_{n-1}-{F}_{1}$ is connected.

Suppose that $0LT{Q}_{n-1}-{F}_{0}$ is connected. Since ${2}^{n-1}-\left(4n-9\right)\ge 1$ , by Le- mma 3, $LT{Q}_{n}-F$ is connected, a contradiction.

Suppose that $0LT{Q}_{n-1}-{F}_{0}$ is not connected. Let the components in $0LT{Q}_{n-1}-{F}_{0}$ be ${G}_{1},{G}_{2},\cdots ,{G}_{k}$ for $k\ge 2$ and $\left|V\left({G}_{1}\right)\right|\le \left|V\left({G}_{2}\right)\right|\le \cdots \le \left|V\left({G}_{k}\right)\right|$ . If $\left|V\left({G}_{r}\right)\right|\ge 4\left(1\le r\le k-1\right)$ , by Lemma 3, $\left|N\left(V\left({G}_{r}\right)\right)\cap V\left(1LT{Q}_{n-1}\right)\right|\ge 4$ . If $k\ge 5$ , by Lemma 3, $\left|N\left(V\left({G}_{1}\right)\right)\cup N\left(V\left({G}_{2}\right)\right)\cup \dots \cup N\left(V\left({G}_{k-1}\right)\right)\cap V\left(1LT{Q}_{n-1}\right)\right|\ge 4$ . Combining this with $\left|{F}_{1}\right|\le \left(4n-9\right)-\left(4n-12\right)=3$ , we have that $LT{Q}_{n}-F$ satisfies one of the following conditions:

1) $LT{Q}_{n}-F$ has four components, three of which are isolated vertices;

3) $LT{Q}_{n}-F$ has three components, two of which are isolated vertices;

4) $LT{Q}_{n}-F$ has two components, one of which is a path of length two;

5) $LT{Q}_{n}-F$ has two components, one of which is an isolated vertex;

6) $LT{Q}_{n}-F$ has two components, one of which is a ${K}_{2}$ ;

7) $LT{Q}_{n}-F$ is connected.

In this case, F is not a minimum 3-extra cut of $LT{Q}_{n}$ , a contradiction.

4. The 3-Extra Diagnosability of the Locally Twisted Cube under the PMC Model

In this section, we shall show the 3-extra diagnosability of locally twisted cubes under the PMC model.

Theorem 10. ( [16] [22] [26] ) A system $G=\left(V,E\right)$ is g-extra t-diagnosable under the PMC model if and only if there is an edge $uv\in E$ with $u\in V\backslash \left({F}_{1}\cup {F}_{2}\right)$ and $v\in {F}_{1}\text{\hspace{0.17em}}\Delta \text{\hspace{0.17em}}{F}_{2}$ for each distinct pair of g-extra faulty sub- sets ${F}_{1}$ and ${F}_{2}$ of V with $\left|{F}_{1}\right|\le t$ and $\left|{F}_{2}\right|\le t$ .

Lemma 11. Let $n\ge 4$ . Then the 3-extra diagnosability of the locally twisted cube $LT{Q}_{n}$ under the PMC model is less than or equal to $4n-6$ , i.e., ${\stackrel{\u02dc}{t}}_{3}\left(LT{Q}_{n}\right)\le 4n-6$ .

Proof. Let A be defined in Lemma 7, and let ${F}_{1}={N}_{LT{Q}_{n}}\left(A\right)$ , ${F}_{2}=A\cup {N}_{LT{Q}_{n}}\left(A\right)$ . By Lemma 7, $\left|{F}_{1}\right|=4n-9$ , $\left|{F}_{2}\right|=\left|A\right|+\left|{F}_{1}\right|=4n-5$ , $\left|V\left(LT{Q}_{n}\left[A\right]\right)\right|\ge 4$ and $\left|V\left(LT{Q}_{n}-{F}_{2}\right)\right|\ge 4$ , ${F}_{1}$ is a 3-extra cut of $LT{Q}_{n}$ . Therefore, ${F}_{1}$ and ${F}_{2}$ are 3-extra faulty sets of $LT{Q}_{n}$ with $\left|{F}_{1}\right|=4n-9$ and $\left|{F}_{2}\right|=4n-5$ . Since $A={F}_{1}\text{\hspace{0.17em}}\Delta \text{\hspace{0.17em}}{F}_{2}$ and ${N}_{LT{Q}_{n}}\left(A\right)={F}_{1}\subset {F}_{2}$ , there is no edge of $LT{Q}_{n}$ between $V\left(LT{Q}_{n}\right)\backslash \left({F}_{1}\cup {F}_{2}\right)$ and ${F}_{1}\text{\hspace{0.17em}}\Delta \text{\hspace{0.17em}}{F}_{2}$ . By Theorem 10, we can deduce that $LT{Q}_{n}$ is not 3-extra $\left(4n-5\right)$ -diagnosable under PMC model. Hence, by the definition of 3-extra diagnosability, we conclude that the 3-extra diagnosability of $LT{Q}_{n}$ is less than $4n-5$ , i.e., ${\stackrel{\u02dc}{t}}_{3}\left(LT{Q}_{n}\right)\le 4n-6$ .

Lemma 12. Let $n\ge 5$ . Then the 3-extra diagnosability of the locally twisted cube $LT{Q}_{n}$ under the PMC model is more than or equal to $4n-6$ , i.e., ${\stackrel{\u02dc}{t}}_{3}\left(LT{Q}_{n}\right)\ge 4n-6$ .

Proof. By the definition of 3-extra diagnosability, it is sufficient to show that $LT{Q}_{n}$ is 3-extra $\left(4n-6\right)$ -diagnosable. By Theorem 10, to prove $LT{Q}_{n}$ is 3- extra $\left(4n-6\right)$ -diagnosable, it is equivalent to prove that there is an edge $uv\in E\left(LT{Q}_{n}\right)$ with $u\in V\left(LT{Q}_{n}\right)\backslash \left({F}_{1}\cup {F}_{2}\right)$ and $v\in {F}_{1}\Delta {F}_{2}$ for each distinct pair of 3-extra faulty subsets ${F}_{1}$ and ${F}_{2}$ of $V\left(LT{Q}_{n}\right)$ with $\left|{F}_{1}\right|\le 4n-6$ and $\left|{F}_{2}\right|\le 4n-6$ .

Suppose, by way of contradiction, that there are two distinct 3-extra faulty subsets ${F}_{1}$ and ${F}_{2}$ of $LT{Q}_{n}$ with $\left|{F}_{1}\right|\le 4n-6$ and $\left|{F}_{2}\right|\le 4n-6$ , but the vertex set pair $\left({F}_{1}\mathrm{,}{F}_{2}\right)$ is not satisfied with the condition in Theorem 10, i.e., there are no edges between $V\left(LT{Q}_{n}\right)\backslash \left({F}_{1}\cup {F}_{2}\right)$ and ${F}_{1}\text{\hspace{0.17em}}\Delta \text{\hspace{0.17em}}{F}_{2}$ . Without loss of generality, assume that ${F}_{2}\backslash {F}_{1}\ne \varnothing $ .

Assume $V\left(LT{Q}_{n}\right)={F}_{1}\cup {F}_{2}$ . Since $n\ge 5$ , we have that ${2}^{n}=\left|V\left(LT{Q}_{n}\right)\right|=$ $\left|{F}_{1}\cup {F}_{2}\right|=\left|{F}_{1}\right|+\left|{F}_{2}\right|-\left|{F}_{1}\cap {F}_{2}\right|\le \left|{F}_{1}\right|+\left|{F}_{2}\right|\le \left(4n-6\right)+\left(4n-6\right)=8n-12$ , a contra- diction. Therefore, $V\left(LT{Q}_{n}\right)\ne {F}_{1}\cup {F}_{2}$ .

The following we discuss the case when ${F}_{2}\backslash {F}_{1}\ne \varnothing $ and $V\left(LT{Q}_{n}\right)\ne {F}_{1}\cup {F}_{2}$ .

Since there are no edges between $V\left(LT{Q}_{n}\right)\backslash \left({F}_{1}\cup {F}_{2}\right)$ and ${F}_{1}\Delta {F}_{2}$ , and ${F}_{1}$ is a 3-extra faulty set, $LT{Q}_{n}-{F}_{1}$ has two parts $LT{Q}_{n}-{F}_{1}-{F}_{2}$ and $LT{Q}_{n}\left[{F}_{2}\backslash {F}_{1}\right]$ . Thus, every component ${G}_{i}$ of $LT{Q}_{n}-{F}_{1}-{F}_{2}$ satisfies $\left|V\left({G}_{i}\right)\right|\ge 4$ and every component ${C}_{i}$ of $LT{Q}_{n}\left[{F}_{2}\backslash {F}_{1}\right]$ satisfies $\left|V\left({C}_{i}\right)\right|\ge 4$ . Similarly, every component ${{C}^{\prime}}_{i}$ of $LT{Q}_{n}\left[{F}_{1}\backslash {F}_{2}\right]$ satisfies $\left|V\left({{C}^{\prime}}_{i}\right)\right|\ge 4$ when ${F}_{1}\backslash {F}_{2}\ne \varnothing $ . Therefore, ${F}_{1}\cap {F}_{2}$ is also a 3-extra faulty set. Since there are no edges between $V\left(LT{Q}_{n}-{F}_{1}-{F}_{2}\right)$ and ${F}_{1}\text{\hspace{0.17em}}\Delta \text{\hspace{0.17em}}{F}_{2}$ , ${F}_{1}\cap {F}_{2}$ is also a 3-extra cut. When ${F}_{1}\backslash {F}_{2}=\varnothing $ , ${F}_{1}\cap {F}_{2}={F}_{1}$ is also a 3-extra faulty set. Since there are no edges between $V\left(LT{Q}_{n}-{F}_{1}-{F}_{2}\right)$ and ${F}_{1}\text{\hspace{0.17em}}\Delta \text{\hspace{0.17em}}{F}_{2}$ , ${F}_{1}\cap {F}_{2}$ is a 3-extra cut. By Theorem 8, $\left|{F}_{1}\cap {F}_{2}\right|\ge 4n-9$ . Therefore, $\left|{F}_{2}\right|=\left|{F}_{2}\backslash {F}_{1}\right|+\left|{F}_{1}\cap {F}_{2}\right|\ge 4+4n-9=4n-5$ , which contradicts with that $\left|{F}_{2}\right|\le 4n-6$ . So $LT{Q}_{n}$ is 3-extra $\left(4n-6\right)$ -diagnosable. By the definition of ${\stackrel{\u02dc}{t}}_{3}\left(LT{Q}_{n}\right)$ , ${\stackrel{\u02dc}{t}}_{3}\left(LT{Q}_{n}\right)\ge 4n-6$ . The proof is complete.

Combining Lemmas 11 and 12, we have the following theorem.

Theorem 11. Let $n\ge 5$ . Then the 3-extra diagnosability of the locally twisted cubes $LT{Q}_{n}$ under the PMC model is $4n-6$ .

5. The 3-Extra Diagnosability of the Locally Twisted Cube under the MM^{*} Model

Before discussing the 3-extra diagnosability of the locally twisted cube
$LT{Q}_{n}$ under the MM^{*} model, we first give an existing result.

Theorem 12 ( [3] [16] [26] ) A system
$G=\left(V,E\right)$ is g-extra t-diagnosable under the MM^{*} model if and only if for each distinct pair of g-extra faulty sub- sets
${F}_{1}$ and
${F}_{2}$ of V with
$\left|{F}_{1}\right|\le t$ and
$\left|{F}_{2}\right|\le t$ satisfies one of the following conditions.

1) There are two vertices $u\mathrm{,}w\in V\backslash \left({F}_{1}\cup {F}_{2}\right)$ and there is a vertex $v\in {F}_{1}\text{\hspace{0.17em}}\Delta \text{\hspace{0.17em}}{F}_{2}$ such that $uw\in E$ and $vw\in E$ .

2) There are two vertices $u\mathrm{,}v\in {F}_{1}\backslash {F}_{2}$ and there is a vertex $w\in V\backslash \left({F}_{1}\cup {F}_{2}\right)$ such that $uw\in E$ and $vw\in E$ .

3) There are two vertices $u\mathrm{,}v\in {F}_{2}\backslash {F}_{1}$ and there is a vertex $w\in V\backslash \left({F}_{1}\cup {F}_{2}\right)$ such that $uw\in E$ and $vw\in E$ .

Lemma 13. Let
$n\ge 4$ . Then the 3-extra diagnosability of the locally twisted cube
$LT{Q}_{n}$ under the MM^{*} model is less than or equal to
$4n-6$ , i.e.,
${\stackrel{\u02dc}{t}}_{3}\left(LT{Q}_{n}\right)\le 4n-6$ .

Proof. Let A be defined in Lemma 7, and let
${F}_{1}={N}_{LT{Q}_{n}}\left(A\right)$ ,
${F}_{2}=A\cup {N}_{LT{Q}_{n}}\left(A\right)$ . By Lemma 7,
$\left|{F}_{1}\right|=4n-9$ ,
$\left|{F}_{2}\right|=\left|A\right|+\left|{F}_{1}\right|=4n-5$ ,
$\left|V\left(LT{Q}_{n}\left[A\right]\right)\right|\ge 4$ and
$\left|V\left(LT{Q}_{n}-{F}_{2}\right)\right|\ge 4$ ,
${F}_{1}$ is a 3-extra cut of
$LT{Q}_{n}$ . Therefore,
${F}_{1}$ and
${F}_{2}$ are 3-extra faulty sets of
$LT{Q}_{n}$ with
$\left|{F}_{1}\right|=4n-9$ and
$\left|{F}_{2}\right|=4n-5$ . Since
$A={F}_{1}\text{\hspace{0.17em}}\Delta \text{\hspace{0.17em}}{F}_{2}$ and
${N}_{LT{Q}_{n}}\left(A\right)={F}_{1}\subset {F}_{2}$ , there is no edge of
$LT{Q}_{n}$ between
$V\left(LT{Q}_{n}\right)\backslash \left({F}_{1}\cup {F}_{2}\right)$ and
${F}_{1}\text{\hspace{0.17em}}\Delta \text{\hspace{0.17em}}{F}_{2}$ . By Theorem 12, we can deduce that
$LT{Q}_{n}$ is not 3-extra
$\left(4n-5\right)$ -diagnosable under MM^{*} model. Hence, by the definition of 3-extra diagnosability, we conclude that the 3-extra diagnosability of
$LT{Q}_{n}$ is less than
$4n-5$ , i.e.,
${\stackrel{\u02dc}{t}}_{3}\left(LT{Q}_{n}\right)\le 4n-6$ .

A component of a graph G is odd or even according as it has an odd or even number of vertices. We denote by $o\left(G\right)$ the number of odd components of G.

Lemma 14. ( [20] ) A graph $G=\left(V,E\right)$ has a perfect matching if and only if $o\left(G-S\right)\le \left|S\right|$ for all $S\subseteq V$ .

Lemma 15. Let
$n\ge 7$ . Then the 3-extra diagnosability of the locally twisted cube
$LT{Q}_{n}$ under the MM^{*} model is more than or equal to
$4n-6$ , i.e.,
${\stackrel{\u02dc}{t}}_{3}\left(LT{Q}_{n}\right)\ge 4n-6$ .

Proof. By the definition of the 3-extra diagnosability, it is sufficient to show that $LT{Q}_{n}$ is 3-extra $\left(4n-6\right)$ -diagnosable.

By Theorem 12, suppose, by way of contradiction, that there are two distinct 3-extra faulty subsets ${F}_{1}$ and ${F}_{2}$ of $LT{Q}_{n}$ with $\left|{F}_{1}\right|\le 4n-6$ and $\left|{F}_{2}\right|\le 4n-6$ , but the vertex set pair $\left({F}_{1}\mathrm{,}{F}_{2}\right)$ is not satisfied with any one condition in Theorem 12. Without loss of generality, assume that ${F}_{2}\backslash {F}_{1}\ne \varnothing $ . Similarly to the discussion on $V\left(LT{Q}_{n}\right)={F}_{1}\cup {F}_{2}$ in Lemma 12, we can deduce $V\left(LT{Q}_{n}\right)\ne {F}_{1}\cup {F}_{2}$ . Therefore, we have the following discussion for $V\left(LT{Q}_{n}\right)\ne {F}_{1}\cup {F}_{2}$ .

Claim 1. $LT{Q}_{n}-{F}_{1}-{F}_{2}$ has no isolated vertex.

Suppose, by way of contradiction, that $LT{Q}_{n}-{F}_{1}-{F}_{2}$ has at least one isolated vertex w. Since ${F}_{1}$ is a 3-extra faulty set, there is at least one vertex $u\in {F}_{2}\backslash {F}_{1}$ such that u are adjacent to w. Since the vertex set pair $\left({F}_{1}\mathrm{,}{F}_{2}\right)$ is not satisfied with any one condition in Theorem 12, by the condition (3) of Theorem 12, there is at most one vertex $u\in {F}_{2}\backslash {F}_{1}$ such that u is adjacent to w. Therefore, there is just a vertex u is adjacent to w.

Case 1. ${F}_{1}\backslash {F}_{2}=\varnothing $ .

If ${F}_{1}\backslash {F}_{2}=\varnothing $ , then ${F}_{1}\subseteq {F}_{2}$ . Since ${F}_{2}$ is a 3-extra faulty set, every com- ponent ${G}_{i}$ of $LT{Q}_{n}-{F}_{1}-{F}_{2}$ has $\left|V\left({G}_{i}\right)\right|\ge 4$ . Thus, $LT{Q}_{n}-{F}_{1}-{F}_{2}$ has no isolated vertex.

Case 2. ${F}_{1}\backslash {F}_{2}\ne \varnothing $ .

Similarly, since ${F}_{1}\backslash {F}_{2}\ne \varnothing $ , by the condition (2) of Theorem 12 and the hypothesis, we can deduce that there is just a vertex $v\in {F}_{1}\backslash {F}_{2}$ such that v is adjacent to w.

Let $W\subseteq V\left(LT{Q}_{n}\right)\backslash \left({F}_{1}\cup {F}_{2}\right)$ be the set of isolated vertices in $LT{Q}_{n}\left[V\left(LT{Q}_{n}\right)\backslash \left({F}_{1}\cup {F}_{2}\right)\right]$ , and H be the induced subgraph by the vertex set $V\left(LT{Q}_{n}\right)\backslash \left({F}_{1}\cup {F}_{2}\cup W\right)$ . Then for any $w\in W$ , there are $\left(n-2\right)$ neighbors in ${F}_{1}\cap {F}_{2}$ . By Lemmas 14 and 3, $\left|W\right|\le o\left(LT{Q}_{n}-\left({F}_{1}\cup {F}_{2}\right)\right)\le \left|{F}_{1}\cup {F}_{2}\right|=$ $\left|{F}_{1}\right|+\left|{F}_{2}\right|-\left|{F}_{1}\cap {F}_{2}\right|\le \left(4n-6\right)+\left(4n-6\right)-\left(n-2\right)=7n-10$ . Assume $V\left(H\right)=\varnothing $ . Then ${2}^{n}=\left|V\left(LT{Q}_{n}\right)\right|=\left|{F}_{1}\cup {F}_{2}\right|+\left|W\right|=\left|{F}_{1}\right|+\left|{F}_{2}\right|-\left|{F}_{1}\cap {F}_{2}\right|\le \left(4n-6\right)+$ $\left(4n-6\right)-\left(n-2\right)+\left(7n-10\right)=14n-20$ , a contradiction to that $n\ge 7$ . So $V\left(H\right)\ne \varnothing $ .

The following we discuss the case when ${F}_{1}\backslash {F}_{2}\ne \varnothing $ , ${F}_{2}\backslash {F}_{1}\ne \varnothing $ and $V\left(H\right)\ne \varnothing $ .

Since the vertex set pair $\left({F}_{1}\mathrm{,}{F}_{2}\right)$ is not satisfied with the condition (1) of Theorem 12, and there are not isolated vertices in $H$ , we induce that there is no edge between $V\left(H\right)$ and ${F}_{1}\text{\hspace{0.17em}}\Delta \text{\hspace{0.17em}}{F}_{2}$ . Note that ${F}_{2}\backslash {F}_{1}\ne \varnothing $ . If ${F}_{1}\cap {F}_{2}=\varnothing $ , then this is a contradiction to that $LT{Q}_{n}$ is connected. Therefore, ${F}_{1}\cap {F}_{2}\ne \varnothing $ . Thus, ${F}_{1}\cap {F}_{2}$ is a vertex cut of $LT{Q}_{n}$ . Since ${F}_{1}$ is a 3-extra faulty set of $LT{Q}_{n}$ , we have that every component ${H}_{i}$ of H has $\left|V\left({H}_{i}\right)\right|\ge 4$ and every component ${C}_{i}$ of $LT{Q}_{n}\left[W\cup \left({F}_{2}\backslash {F}_{1}\right)\right]$ has $\left|V\left({C}_{i}\right)\right|\ge 4$ . Since ${F}_{2}$ also is a 3-extra faulty set of $LT{Q}_{n}$ , we have that every component ${{C}^{\prime}}_{i}$ of $LT{Q}_{n}\left[W\cup \left({F}_{1}\backslash {F}_{2}\right)\right]$ has $\left|V\left({{C}^{\prime}}_{i}\right)\right|\ge 4$ . Note that $LT{Q}_{n}-\left({F}_{1}\cap {F}_{2}\right)$ has two parts: H and $LT{Q}_{n}\left[W\cup \left({F}_{1}\Delta {F}_{2}\right)\right]$ . Let ${b}_{i}\in V\left(LT{Q}_{n}\left[W\cup \left({F}_{1}\text{\hspace{0.17em}}\Delta \text{\hspace{0.17em}}{F}_{2}\right)\right]\right)$ . If ${b}_{i}\in W$ , then ${b}_{i}$ has two neighbors $u\in V\left({C}_{i}\right)$ and $v\in V\left({{C}^{\prime}}_{i}\right)$ . Then ${b}_{i}\in V\left({C}_{i}\cup {{C}^{\prime}}_{i}\right)$ and $\left|V\left({C}_{i}\cup {{C}^{\prime}}_{i}\right)\right|\ge 4$ . Thus, ${F}_{1}\cap {F}_{2}$ is a 3-extra cut of $LT{Q}_{n}$ . By Theorem 8, $\left|{F}_{1}\cap {F}_{2}\right|\ge 4n-9$ . Since $\left|V\left({C}_{i}\right)\right|\ge 4$ , $\left|{F}_{2}\backslash {F}_{1}\right|\ge 3$ . Since $\left|{F}_{1}\cap {F}_{2}\right|=\left|{F}_{2}\right|-\left|{F}_{2}\backslash {F}_{1}\right|\le \left(4n-6\right)-3=4n-9$ , we have $\left|{F}_{1}\cap {F}_{2}\right|=4n-9$ . Then $\left|{F}_{2}\backslash {F}_{1}\right|=3$ and $\left|{F}_{2}\right|=4n-6$ . Similarly, $\left|{F}_{1}\backslash {F}_{2}\right|=3$ , $\left|{F}_{1}\right|=4n-6$ . By Lemma 9, the locally twisted cube $LT{Q}_{n}$ is tightly $\left(4n-9\right)$ super 3-extra connected, i.e., $LT{Q}_{n}-\left({F}_{1}\cap {F}_{2}\right)$ has two components, one of which is a subgraph of or- der 4. Noted that $\left|W\right|\le 7n-10$ . ${2}^{n}=\left|V\left(LT{Q}_{n}\right)\right|=\left|{F}_{1}\backslash {F}_{2}\right|+\left|{F}_{2}\backslash {F}_{1}\right|+\left|{F}_{1}\cap {F}_{2}\right|+$ $\left|V\left(H\right)\right|+\left|W\right|\le 3+3+\left(4n-9\right)+4+\left(7n-10\right)=11n-9$ , a contradiction to $n\ge 7$ . Therefore, $LT{Q}_{n}-{F}_{1}-{F}_{2}$ has no isolated vertex when ${F}_{1}\backslash {F}_{2}\ne \varnothing $ , ${F}_{2}\backslash {F}_{1}\ne \varnothing $ and $V\left(H\right)\ne \varnothing $ . The proof of Claim 1 is complete.

Let $u\in V\left(LT{Q}_{n}\right)\backslash \left({F}_{1}\cup {F}_{2}\right)$ . By Claim 1, u has at least one neighbor vertex in $LT{Q}_{n}-{F}_{1}-{F}_{2}$ . Since the vertex set pair $\left({F}_{1}\mathrm{,}{F}_{2}\right)$ is not satisfied with any one condition in Theorem 12, by the condition (1) of Theorem 12, for any pair of adjacent vertices $u\mathrm{,}w\in V\left(LT{Q}_{n}\right)\backslash \left({F}_{1}\cup {F}_{2}\right)$ , there is no vertex $v\in {F}_{1}\text{\hspace{0.17em}}\Delta \text{\hspace{0.17em}}{F}_{2}$ such that $uw\in E\left(LT{Q}_{n}\right)$ and $uv\in E\left(LT{Q}_{n}\right)$ . It follows that u has no neighbor vertex in ${F}_{1}\text{\hspace{0.17em}}\Delta \text{\hspace{0.17em}}{F}_{2}$ . By the arbitrariness of u, there is no edge between $V\left(LT{Q}_{n}\right)\backslash \left({F}_{1}\cup {F}_{2}\right)$ and ${F}_{1}\text{\hspace{0.17em}}\Delta \text{\hspace{0.17em}}{F}_{2}$ . Since ${F}_{2}\backslash {F}_{1}\ne \varnothing $ and ${F}_{1}$ is a 3-extra faulty set, $\left|{F}_{2}\backslash {F}_{1}\right|\ge 4$ and $\left|V\left(LT{Q}_{n}-{F}_{2}-{F}_{1}\right)\right|\ge 4$ . Since ${F}_{1}$ also is 3-extra faulty sets, $\left|{F}_{1}\backslash {F}_{2}\right|\le 4$ and $\left|V\left(LT{Q}_{n}-{F}_{1}-{F}_{2}\right)\right|\ge 4$ . Then ${F}_{1}\cap {F}_{2}$ is a 3- extra cut of $LT{Q}_{n}$ . By Theorem 8, we have $\left|{F}_{1}\cap {F}_{2}\right|\ge 4n-9$ . Therefore, $\left|{F}_{2}\right|=\left|{F}_{2}\backslash {F}_{1}\right|+\left|{F}_{1}\cap {F}_{2}\right|\ge 4+\left(4n-9\right)=4n-5$ , which contradicts $\left|{F}_{2}\right|\le 4n-6$ . Therefore, $LT{Q}_{n}$ is 3-extra $\left(4n-6\right)$ -diagnosable and ${\stackrel{\u02dc}{t}}_{3}\left(LT{Q}_{n}\right)\ge 4n-6$ . The proof is complete.

Combining Lemmas 13 and 15, we have the following theorem.

Theorem 13. Let
$n\ge 7$ . Then the 3-extra diagnosability of the locally twisted cube
$LT{Q}_{n}$ under the MM^{*} model is
$4n-6$ .

Acknowledgements

This work is supported by the National Science Foundation of China (61370001).

References

[1] Preparata, F.P., Metze, G. and Chien, R.T. (1967) On the Connection Assignment Problem of Diagnosable Systems. IEEE Transactions on Computers, EC-16, 848-854.

https://doi.org/10.1109/PGEC.1967.264748

[2] Maeng, J. and Malek, M. (1981) A Comparison Connection Assignment for Self-Diagnosis of Multiprocessor Systems. Proceeding of 11th International Symposium on Fault-Tolerant Computing, 173-175.

[3] Sengupta, A. and Dahbura, A.T. (1992) On Self-Diagnosable Multiprocessor Systems: Diagnosis by the Comparison Approach. IEEE Transactions on Computers, 41, 1386-1396.

https://doi.org/10.1109/12.177309

[4] Fàbrega, J. and Fiol, M.A. (1996) On the Extraconnectivity of Graphs. Discrete Mathematics, 155, 49-57.

[5] Gu, M.-M., Hao, R.-X. and Liu J.-B. (2017) On the Extraconnectivity of k-Ary n-Cube Networks. International Journal of Computer Mathematics, 94, 95-106.

https://doi.org/10.1080/00207160.2015.1091070

[6] Chang, N.-W., Tsai, C.-Y. and Hsieh, S.-Y. (2014) On 3-Extra Connectivity and 3-Extra Edge Connectivity of Folded Hypercubes. IEEE Transactions on Computers, 63, 1593-1599.

[7] Zhang, M.-M. and Zhou, J.-X. (2015) On g-Extra Connectivity of Folded Hypercubes. Theoretical Computer Science, 593, 146-153.

[8] Hsieh, S.-Y. and Chang, Y.-H. (2012) Extraconnectivity of k-Ary n-Cube Networks. Theoretical Computer Science, 443, 63-69.

[9] Gu, M.-M. and Hao, R.-X. (2014) 3-Extra Connectivity of 3-Ary n-Cube Networks. Information Processing Letters, 114, 486-491.

[10] Lin, R.Z. and Zhang, H.P. (2016) The Restricted Edge-Connectivity and Restricted Connectivity of Augmented k-Ary n-Cubes. International Journal of Computer Mathematics, 93, 1281-1298.

https://doi.org/10.1080/00207160.2015.1067690

[11] Lü, H. (2017) On Extra Connectivity and Extra Edge-Connectivity of Balanced Hypercubes. International Journal of Computer Mathematics, 94, 813-820.

https://doi.org/10.1080/00207160.2016.1148813

[12] Hong, W.-S. and Hsieh, S.-Y. (2013) Extra Edge Connectivity of Hypercube-Like Networks. International Journal of Parallel, Emergent and Distributed Systems, 28, 123-133.

https://doi.org/10.1080/17445760.2011.650696

[13] Xu, J.M., Wang, J.W. and Wang, W.W. (2010) On Super and Restricted Connectivity of Some Interconnection Networks. Ars Combinatoria, 94, 1-8.

[14] Peng, S.-L., Lin, C.-K., Tan, J.J.M. and Hsu, L.-H. (2012) The g-Good-Neighbor Conditional Diagnosability of Hypercube under PMC Model. Applied Mathematics and Computation, 218, 10406-10412.

https://doi.org/10.1016/j.amc.2012.03.092

[15] Wang, S. and Han, W. (2016) The g-Good-Neighbor Conditional Diagnosability of n-Dimensional Hypercubes under the MM* Model. Information Processing Letters, 116, 574-577.

https://doi.org/10.1016/j.ipl.2016.04.005

[16] Zhang, S. and Yang, W. (2016) The g-Extra Conditional Diagnosability and Sequential t/k-Diagnosability of Hypercubes. International Journal of Computer Mathematics, 93, 482-497.

https://doi.org/10.1080/00207160.2015.1020796

[17] Ren, Y. and Wang, S. The Tightly Super 2-Extra Connectivity and 2-Extra Diagnosability of Locally Twisted Cubes. Journal of Interconnection Networks (To Appear).

[18] Wang, S., Wang, Z. and Wang, M. (2016) The 2-Extra Connectivity and 2-Extra Diagnosability of Bubble-Sort Star Graph Networks. The Computer Journal, 59, 1839-1856.

https://doi.org/10.1093/comjnl/bxw037

[19] Wang, S. and Yang, Y. (2017) The 2-Good-Neighbor (2-Extra) Diagnosability of Alternating Group Graph Networks under the PMC Model and MM* Model. Applied Mathematics and Computation, 305, 241-250.

https://doi.org/10.1016/j.amc.2017.02.006

[20] Bondy, J.A. and Murty, U.S.R. (2007) Graph Theory. Springer, New York.

[21] Ren, Y. and Wang, S. (2016) Some Properties of the g-Good-Neighbor (g-Extra) Diagnosability of a Multiprocessor System. American Journal of Computational Mathematics, 6, 259-266.

https://doi.org/10.4236/ajcm.2016.63027

[22] Dahbura, A.T. and Masson, G.M. (1984) An O(n2.5) Fault Identification Algorithm for Diagnosable Systems. IEEE Transactions on Computers, 33, 486-492.

https://doi.org/10.1109/TC.1984.1676472

[23] Fan, J. (2002) Diagnosability of Crossed Cubes under the Comparison Diagnosis Model. IEEE Transactions on Parallel and Distributed Systems, 13, 1099-1104.

https://doi.org/10.1109/TPDS.2002.1041887

[24] Fan, J., Zhang, S., Jia, X. and Zhang, G. (2009) The Restricted Connectivity of Locally Twisted Cubes. 10th International Symposium on Pervasive Systems, Algorithms, and Networks (ISPAN), Kaohsiung, 14-16 December 2009, 574-578.

https://doi.org/10.1109/I-SPAN.2009.48

[25] Lai, P.-L., Tan, J.J.M., Chang, C.-P. and Hsu, L.-H. (2005) Conditional Diagnosability Measures for Large Multiprocessor Systems. IEEE Transactions on Computers, 54, 165-175.

https://doi.org/10.1109/TC.2005.19

[26] Yuan, J., Liu, A., Ma, X., Liu, X., Qin, X. and Zhang, J. (2015) The g-Good-Neighbor Conditional Diagnosability of k-Ary n-Cubes under the PMC model and MM* Model. IEEE Transactions on Parallel and Distributed Systems, 26, 1165-1177.

https://doi.org/10.1109/TPDS.2014.2318305

[27] Yang, X., Evans, D.J. and Megson, G.M. (2005) The Locally Twisted Cubes. International Journal of Computer Mathematics, 82, 401-413.

https://doi.org/10.1080/0020716042000301752

[28] Ren, Y. and Wang, S. The 1-Good-Neighbor Connectivity and Diagnosability of Locally Twisted Cubes. Chinese Quarterly Journal of Mathematics (To Appear).

[29] Feng, R., Bian, G. and Wang, X. (2011) Conditional Diagnosability of the Locally Twisted Cubes under the PMC Model. Communications and Network, 3, 220-224.

https://doi.org/10.4236/cn.2011.34025

[30] Hsieh, S.-Y., Huang, H.-W. and Lee, C.-W. (2016) {2,3}-Restricted Connectivity of Locally Twisted Cubes. Theoretical Computer Science, 615, 78-90.

https://doi.org/10.1016/j.tcs.2015.11.050

[31] Zhu, Q., Wang, X.-K. and Cheng, G. (2013) Reliability Evaluation of BC Networks. IEEE Transactions on Computers, 62, 2337-2340.

https://doi.org/10.1109/TC.2012.106