1. 引言
许多系统都有一个网络作为底层拓扑,网络通常用一个图表示,其中顶点(节点)表示处理器,边(链接)表示处理器之间的通信链路。然而,在系统中处理器和通信链路故障是不可避免的。系统诊断就是识别出故障处理器的过程。在故障处理器的数量不超过t的情况下,如果所有的故障处理器可以被识别出来并且不被替换,我们就称这个系统G为t-可诊断的。一个系统G的诊断度
是使得G是t-可诊断的t的最大值 [1] [2] [3]。
对于一个t-可诊断系统,Dahbura和Masson [1] 提出了一种能够有效识别出故障处理器集的时间复杂度为
的诊断算法。在之前的研究中,研究者已经提出了许多系统诊断模型。Malek和Maeng [4] 首次提出了一个比较模型,称为MM模型,它允许处理器本身进行比较。在文献 [5] 中,Sengupta和Dahbura提出了MM*模型,它是MM模型的一个特例。在MM*模型中,每个节点必须测试其相邻节点的所有对。MM*模型被众所周知并广泛使用。
在文献 [6] 中,Hau和Tan首次提出了一种测量多重处理器系统的局部诊断度的概念。这种新的概念更关注每个处理器的局部可诊断性,而不是整个系统的可诊断性。如果只考虑全局故障或无故障状态,则可能会丢失系统的局部详细信息。在文献 [7] 中,Chiang和Tan提出了一种有用的局部结构称为扩展星结构,它可以保证节点的可诊断性,并在比较诊断模型(MM模型)下给出了确定局部可诊断性的充分条件。他们发现G的局部可诊断性与传统的G的可诊断性之间存在很强的关系。如果系统G的每个节点的局部可诊断性等于其在G中的度,则系统G具有强的局部可诊断性。根据这一概念,强局部可诊断性得到了广泛的研究。在文献 [8] 中,Chiang等证明了n维星图
的诊断度是
,且即使它存在高达
条遗失边,仍保持强局部诊断性。Cheng等人又研究了置换树生成的Cayley图 [9] 和
星图和2树生成的Cayley图 [10]。在2018年,Wang和Ma [11] 证明了交错群图
在MM*模型下即使存在
条遗失边,仍保持强局部诊断性。2019年,Wang等人 [12] 证明了n维泡型星图
在MM*模型下即使存在
条遗失边,仍保持强局部诊断性并且是最优的。2020年,Feng和Wang [13] 证明了n维轮图
在MM*模型下即使存在
条遗失边,仍保持强局部诊断性并且是最优的。2021年,Wang等人 [14] 首先证明了n维超立方体
在MM*模型下即使存在
条遗失边,仍保持强局部诊断性并且是最优的,然后又证明了n维折叠超立方体
在MM*模型下即使存在
条遗失边,仍保持强局部诊断性并且是最优的。在这篇文章中,我们首先证明了n维泡型图
的诊断度是
,且在MM*模型下即使存在高达
条遗失边仍保持强局部诊断性并且是最优的。然后,我们证明了n维修正泡型图
的诊断度是n,且在MM*模型下即使存在
条遗失边仍保持强局部诊断性并且是最优的。
2. 基本概念
我们用一个无向简单图
表示一个多重处理器系统,其中图G的顶点集
代表处理器,边集
代表处理器之间的通信链路。假设
是V的一个非空子集,以
为顶点集,以两端点均在
中的边的全体为边集所组成的子图,称为G的由
导出的子图,记为
,
称为G的导出子图。图G中顶点v的度
是指图G中与v关联的边数。
表示图G中顶点的最小度。定义图G中任意一个顶点v的邻集是G中所有与v相邻的顶点的集合,记为
,简记为
。对于度、邻集等这些概念,在没有歧义产生时,我们通常省略图的下标。如果对于所有的
都满足
,则这个图是k-正则的。G的一条途径是指一个有限非空序列
,它的项交替地为顶点和边,使得对
,
的端点是
和
,称P是从
到
的一条途径。
到
分别称为P的起点和终点,整数n称为P的长。若途径P的顶点
互不相同,则P称为路。我们用
表示一条长为n的起点是
,终点是
的路。x和y之间最短路径的长度称为x和y之间的距离,用
表示。如果把G中的点集任意划分为两个非空子集X和Y,总存在一条边满足其中一个端点在X中,另一个端点在Y中,那么G是连通的。一个图G的连通度
是把图G变成一个不连通图或平凡图所需移除的点的最小数量。一个图是二部图(偶图),如果它的顶点集可以划分为两个(非空)子集X和Y,使得每条边都有一个端点在X中,另一个端点在Y中;这样一种分类
称为图的一个二分类,X和Y是它的两个部分。我们用
定义简单二部图G。如果X中的每个顶点都与Y中的每个顶点相连,那么图
称作完全二部图;若
,
,则图G记为
。图G中最短圈的长度称为G的围长。如果图G中任意一对顶点u和v存在一个自同构
,使得
,则图G的自同构群是传递的。在这种情况下,G被称为是顶点传递的。文中其它未定义而直接使用的符号和术语参见文献 [15]。
3. MM*模型
MM模型最早是由Malek和Maeng [4] 提出来的。在MM模型中,一个处理器发送同样的任务给一对不同的邻点,然后比较它们的反应结果。一个系统
的比较方案被模型化为一个多重图,用
表示,其中L是被标记的边集。一条被标记的边
代表用一个顶点w去比较两个相邻顶点u和v,这意味着
。如果节点w是非故障的(故障的),那么测试结果是可靠的(不可靠的)。如果
且
,则
。如果
且
,则
。如果
且
,则
。如果
,则
。
中所有比较结果的集合称为诊断的症候,用
表示。如果比较
的结果不一致,则
;否则,
。因此,一个症候L是从到
的一个函数。MM*中每个节点必须测试其任意一对相邻节点。即如果
,则
。在系统中,所有故障处理器的集合叫做一个故障集,它可以是
的任意一个子集。在MM*模型下,对于一个给定的症候
,如果对任意的
满足
,
当且仅当
或
或
,则我们称故障子集
和
是一致的。我们用
表示和F一致的所有症候的集合。设
和
是
中两个不同的子集。如果
,则
是可区分对;否则,
是不可区分对。
引理3.1 [16] 一个系统
是t-可诊断的,当且仅当对于
,
的每一对不同的顶点集
,
是一个可区分对。
4. n维泡型图Bn
泡型图是互连网络的一种著名的拓扑结构,本节将介绍它的定义和一些有用的性质。
在置换
中,
,为了方便用
表示置换
。在本文中,置换有时也用不相交的轮换的乘积表示 [17]。例如,
。特别地,
。两个置换的乘积
是先作用于
后作用于
的复合函数,例如,
。对于这里未定义的术语和符号,我们遵循 [17]。
设
,设
为
上包含所有置换
的对称群。n维泡型图
[18] 是顶点集为
的图,当且仅当
时,其中两个顶点u和v相邻。从定义很容易看出
是一个
-正则图,
,
。图
,
和
见图1。我们可以将
分解为n个子图
,
,
,
,其中每个顶点
的最后一个位置
为一个固定的整数i,其中
。很容易证明
同构于
。设
,那么
被称为v的外部邻域。
注意,
是一个特殊的Cayley图。
有以下有用的性质:
![](//html.hanspub.org/file/8-2622071x170_hanspub.png?20220215081107180)
Figure 1. The bubble-sort graphs
,
and
图1. 泡型图
,
和
命题4.1 [19] 对任意的正整数
,
是
-正则的并且是顶点传递的。
命题4.2 [20] 对任意的正整数
,
是二部图。
命题4.3 [21] 对任意的正整数
,
的围长为4。
命题4.4 [20] 设
是泡型图,那么
。
5. n维修正泡型图MBn
修正泡型图是一种著名的互联网络拓扑结构,本节将介绍它的定义和一些有用的性质。
设
为有限群,S是
的生成集,其中S不含单位元。有向凯莱图
定义如下:它的点集是
,边集是
。如果对任意的
有
,我们说这个凯莱图是无向凯莱图。本文中的凯莱图均为无向凯莱图。
设
。在本文中,我们考虑凯莱图
,其中
是
上的对称群,H是
转置的集合。设
是n个顶点上的图,且在
中存在一条边ij当且仅当置换
。图
称为
的置换生成图。当
是一棵树时,用
表示。特别地,当
是一条路时,
是n维泡型图
[18]。当
为一个圈时,
为n维修正泡型图
[22]。n维修正泡型图
是顶点集为
的图,当且仅当
或
时,其中两个顶点u和v相邻。设
是为
的圈。如果我们从圈
中删除顶点n,则会得到一条有
个顶点的路,并且
中的所有边都是
的生成集。我们可以将
分解为n个子图
,
,
,
,其中每个顶点
的最后一个位置
为一个固定的整数i,其中
。显然,
同构于
,其中
是一个
维的泡型图。从定义很容易看出修正泡型图
是一个n-正则图,
,
。图
和
见图2。设
,则
和
是v的两个外部邻域。
![](//html.hanspub.org/file/8-2622071x241_hanspub.png?20220215081107180)
Figure 2. The modified bubble-sort graphs
和
图2. 修正泡型图
和
注意,
是一个特殊的Cayley图。
有以下有用的性质:
命题5.1 [22] 对任意的正整数
,
是顶点传递和二部的。
命题5.2 [23] 对任意的正整数
,
的围长为4。
命题5.3 [24] 设
是修正泡型图,那么
。
6. 局部诊断度
对于一个图
,设
和
是V的两个不同子集,并设对称差
。
引理6.1 [8] 一个系统
在顶点x处是局部t-可诊断的,如果给定一个测试症候
,它是由系统在一组包含x的故障顶点集F的情况下产生的,
,故障顶点集
的每一个集合与
一致,且
必须包含顶点x。
引理6.2 [7] 一个系统
在顶点x是局部t-可诊断的,如果
且对于V中的每一对不同的故障子集
和
是可区分的,其中
且
。
引理6.1和引理6.2是等价的。
引理 6.3 [8] 一个系统
是t-可诊断的当且仅当G中的每个顶点都是局部t-可诊断的。G的可诊断性
是使G具有t-可诊断性的t的最大值。
定义6.1 [8] 一个系统
中,G中x点是局部t-可诊断的t的最大值被定义为点x的局部诊断度
,即
。
引理6.4 [8] 一个系统
的诊断度
等于G中每个点的局部诊断度的最小值,即
。
定义6.2 [8] 设x是一个图
中的一个点。若
,我们定义一个扩展星图
,其中
,点集
,边集
。
注意x被称为扩展星图
的根。
引理6.5 [8] 设x是系统
中的一个点且
。如果点x在G中存在一个扩展星图
,则x的局部诊断度是n。
引理6.6 [25] 设G是系统的图表示,那么在MM*模型下可诊断度
。
引理6.7 [8] 设x是图
中的一个顶点。如果x的局部诊断度等于它在G中的度,即
,则这个点x具有强局部诊断性。
引理 6.8 [8] 设
是一个图。如果G中每个点的局部诊断度都等于它在G中的度,即对于所有的
都有
,则G有强局部诊断性。
引理6.9 [1] [5] 一个系统
在MM*模型下t-可诊断的,当且仅当对于V的每一对不同的故障子集
和
,其中
,
,满足下列条件之一:
1) 有两个顶点
,有一个顶点
,使得
,
。
2) 有两个顶点
,有一个顶点
,使得
,
。
3) 有两个顶点
,有一个顶点
,使得
,
。
7. n维泡型图Bn的诊断度
引理 7.1 令x是n维泡型图
中的任意一个顶点,在
中存在一个以x为根的扩展星图
。
证明 我们需找到一个扩展星图
作为n维泡型图
在给定顶点x处的子图。由命题4.1,
是顶点传递的。不失一般性,令
作为
的一个根。当
时,在
中存在一个以
为根的扩展星图
(见图3)。由图3可知,
中的每个顶点都是不同的。
![](//html.hanspub.org/file/8-2622071x324_hanspub.png?20220215081107180)
Figure 3. The first extended star
of
图3.
的第一个扩展星图
假设这个结论对于
成立,即在
中存在一个扩展星图
。现在我们证明这个结论对于
成立,即在
中存在一个扩展星图
。我们可以将
分解为n个不相同的
维泡型图
,
,
,
,它们分别由
中顶点最右位是
的顶点导出的子图。注意到当
时,
同构于
。由归纳假设,在
中存在一个扩展星图
。注意
有一个外部邻点
,且
。在
中存在一条三长路
。连接
到x,然后将它与
相结合。于是,我们可以在
中找到一个以
为根的扩展星图
,即在
中存在一个以x为根的扩展星图
。
定理 7.1 设
是一个n维泡型图,则
的诊断度为
,即
并且
有强局部可诊断性。
证明 由引理6.5和7.1,
中每个顶点x的局部诊断度都是
。由引理6.3,
的诊断度为
,即
。由于
中每个顶点x的度是
,那么
中每个顶点的局部可诊断度等于其在
中的度。由引理6.7,
中的每个顶点x具有强局部可诊断性。由引理6.8,
具有强局部可诊断性。
引理7.2 设
是
中任意的遗失边集且
。x是
中的任意一个顶点,在
中存在一个以x为根的扩展星图
,其中
。
证明 我们通过归纳n来证明这个引理。由命题4.1,
是顶点传递的。不失一般性,令
作为扩展星图
的根。当
时,我们可以在
中点
处找到三个扩展星图
。显然,这些图中除了与
相关联的边外,其它所有边都不相同。第一个扩展星图与图3相同,其余两个扩展星图分别在图4和图5中展示。
注意
,则我们只需考虑遗失边数为2。设
是与x相关联的遗失边数,则
为与x不相关联的遗失边数。如果
,则
,我们得到有两条遗失边与x不相关联。因为我们已经找到了三个扩展星图
,所以我们可以在这三个扩展星图中选择一个不包含任何遗失边的扩展星图
。如果
,则
。同样,我们可以找到一个扩展星图
。如果
,则
。同样,我们可以找到一个扩展星图
。因此,我们可以找到一个有两条遗失边的扩展星图
。综上所述,在
中存在一个扩展星图
,其中
。
![](//html.hanspub.org/file/8-2622071x408_hanspub.png?20220215081107180)
Figure 4. The second extended star
of
图4.
的第二个扩展星图
![](//html.hanspub.org/file/8-2622071x413_hanspub.png?20220215081107180)
Figure 5. The third extended star
of
图5.
的第三个扩展星图
假设该结论对于
成立,即在
中存在一个扩展星图
。现在我们证明该结论对于
成立,即在
中存在一个扩展星图
。设
是由
中顶点最后一个位置
诱导的子图,则
同构于
。设
。注意
在
中。根据泡型图
的定义,
有一个外部邻点
,
。设
,
。注意
,那么
。为了证明这个引理,我们首先需要在
中找到一个扩展星图
,然后在
中找到一条三长路
。我们连接
到x,然后将它与
相结合。于是,我们可以在
中找到一个扩展星图
。接下来我们从以下情形展开讨论。
情形1
。
由归纳假设,在
中存在一个扩展星图
。为了方便,我们假设
。如果
,则不需要通过
扩展A。现在假设
。由命题4.4,
。因为
,所以
是连通的。当
时,
,因此在
中存在一条三长路
。所以
是
中一条四长路。我们再把它与A相结合就得到一个扩展星图
。
情形2
。
注意
,
,则我们可以找到两条不同的以y为起点的三长路。
,
。显然,
和
除了顶点y之外没有公共顶点。因为
且
,所以在
中不存在遗失边
。于是,我们可以从
和
中选择一条不包含遗失边的三长路
。假设
且
。此时
。由归纳假设,在
中存在一个扩展星图
。假设
,我们在
中得到一个以x为根的扩展星图
。假设
。我们考虑如下情形。
情形2.1 f与x相关联。
我们可以在A中删除包含f的路得到
。然后从
和
中选择一条不包含遗失边的三长路
,连接
到x,然后把它与
相结合。于是,我们可以在
中找到一个以x为根的扩展星图
。
情形2.2 f与x不相关联。
若m与x相邻,
是以m为起点且包含f的三长路。注意到,
且
。假设
。由n维泡型图的定义,m只有一个外部邻点
或者
,因此,
或者
。我们只需要找到一条以
为起点的二长路。不失一般性,假设
。
情形2.2.1
,
。
注意
。当
时,存在两个正整数j,k,使得
,
且
。于是我们可以找到一条从
开始的二长路,即
。很容易发现
。将
连接到m,这样我们就得到一条以m为起点的三长路
。连接
和
到x,然后将它们与
相结合。于是,我们可以在
中找到一个以x为根的扩展星图
。
定理7.2 设
是n维泡型图
中的任意边子集且
。对
中的每个点x,
具有强局部诊断性,其中
的个数是最优的。
证明 由引理6.5和7.2,当
且
时,
中每个点x的局部诊断度等于它的度。由引理6.7,
中的每个点都具有强局部诊断性。由引理6.8,
有强局部诊断性。
现在我们给出了一个例子来证明如果存在
条遗失边F,n维泡型图
可能不具有强局部可诊断性。对于
中的任意顶点x,x被标记为
上的一个置换。假设
中有
条遗失边的边F,它们与x相关联(如图6所示),那么在
中x的度就变成了1。假设y是x的唯一的邻点。设
,
。此时
。显然,
和
之间没有边,那么顶点集对
不满足引理6.9中的条件(1)~(3),因此在MM*模型下,
在顶点y处不是
-局部可诊断的。由于在
中,顶点y的局部可诊断度(小于
)与它的度(等于
)不相等,因此顶点y不再具有强局部可诊断性。因此,具有
条遗失边的泡型图
不能保证具有强局部可诊断性。
![](//html.hanspub.org/file/8-2622071x554_hanspub.png?20220215081107180)
Figure 6. Illustration of the proof in Theorem 7.2 and Theorem 8.2
图6. 定理7.2和8.2中的证明说明
8. n维修正泡型图MBn的诊断度
引理8.1 令x是n维修正泡型图
中的任意一个顶点,在
中存在一个以x为根的扩展星图
。
证明 我们可以将
分解为n个不相交的子图
,
,
,
,其中每个顶点
的最后一个位置
为一个固定的整数i,其中
。显然,
同构于
,其中
是一个
维的泡型图。
我们需找到一个扩展星图
作为n维修正泡型图
在给定顶点x处的子图。由命题5.1,
是顶点传递的。不失一般性,令
作为扩展星图
的一个根。由引理7.1,对于
时的泡型图
,在
中存在一个以x为根的扩展星图
。因此在
中存在一个以x为根的扩展星图
。注意
有两个外部邻点
和
,其中
,
。注意在
中存在一条三长路
,在
中存在一条三长路
。连接
和
到x,并结合扩展星图
。因此我们就在
中找到了一个以
为根的扩展星图
,即在
中存在一个以x为根的扩展星图
。
定理8.1 设
是一个n维修正泡型图,则
的诊断度为n,即
并且
具有强局部可诊断性。
证明 由引理6.5和8.1,
中每个顶点x的局部诊断度都是n。由引理6.3,
的诊断度为n,即
。由于
中每个顶点x的度是n,那么
中每个顶点的局部可诊断性等于其在
中的度。由引理6.7,
中的每个顶点x都具有强局部可诊断性。由引理6.8,
具有强局部可诊断性。
引理8.2设
是
中任意的遗失边集且
。x是
中的任意一个顶点,在中存在一个以x为根的扩展星图
,其中
。
证明 根据命题5.1,
是顶点传递的。不失一般性,令
作为扩展星图
的一个根。我们可以将
分解为n个不相交的子图
,
,
,
,其中每个顶点
的最后一个位置
为一个固定的整数i,其中
。显然,
同构于
,其中
是一个
维的泡型图。
设
,
,那么
。为了方便,设
,
有两个外部邻点
和
。为了证明这个引理,我们需要讨论
是否为空集。当
时,第一步是在
中找到一个扩展星图
;第二步是在
中找到一条三长路
,在
中找到一条三长路
;第三步是连接
和
到x。然后我们可以在
中找到一个以x为根的扩展星图
。当
时,我们从
中删除以x为起点且包含任意边
的四长路,从而得到一个满足引理的扩展星图。
需要注意的是,在本文中从图G中删除一条四长的路径P意味着从图G中删除除顶点y之外的所有四长的路径中的顶点和边,其中y是P和G的唯一公共顶点。
首先,我们给出如下两个断言。
断言1 如果
,那么对于
在
中存在一个以z为根的扩展星图
。在只有公共顶点z的扩展星图
中,存在至少
条四长路(三长路),最多
条四长路(三长路)。
证明 注意
同构于
且
,由引理7.2,当
且
时,在
中存在一个以z为根的扩展星图
。因此,
,结合扩展星图的定义,我们可以在只有公共顶点z的扩展星图
中找到至少
条,最多
条四长路(三长路)。特别是当且仅当
中的每条边都与z相关时,在扩展星图
中仅存在
条四长路(三长路)。
断言2 如果
,那么对于
在
中点z处存在至少一条三长路。
证明 由命题4.4,
。因为
同构于
,我们有
。注意
,因此我们可以得到
是连通的。由命题5.2和
,所以对于
在
中可以找到一条以z为起点的三长路。
然后我们通过讨论
和
找到扩展星图
。
情形1
。
由断言1,在
中存在一个以x为根的扩展星图
。
情形1.1
。
在这种情形下,
。由断言2,在
中存在一条三长路
。我们连接
和
到x,然后把它们与A相结合,于是,在
中可以得到一个以x为根的扩展星图
。如果
,那么
满足引理。如果
,我们从
中删除以x为起点且包含任意边
的四长路,从而得到一个满足引理的扩展星图。
情形 1.2
。
如果
和
都小于
,我们可以按照情形1.1完成证明。显然,
和
中最多只有一个等于
,不失一般性,我们假设
。那么
。注意
,显然,
在
中。由断言1和
,在
中存在
条不包含遗失边三长路。注意
,
且
,因此在
中存在一条以v为起点的三长路
,使得
和
没有公共顶点,并且
和
都不包含遗失边。我们连接
和
到x,然后把它们与A相结合,于是,在
中可以得到一个以x为根的扩展星图
。
情形 2
,
。
在这种情形下,
。由断言1,我们可以从
中至少
条不包含遗失边的三长路中选择一条三长路
。设
且
。此时
。由断言1,在
中存在一个扩展星图
。假设
。
情形 2.1
。
在这种情形下,
是
中以x为根的扩展星图
中的一个。注意
,因此我们连接
和
到x,然后把它们与
相结合,于是,在
中可以得到一个以x为根的扩展星图
。
情形 2.2
。
设
是
中的一条以x为起点且包含f的四长路。我们可以从
中删除
来得到A。
情形 2.2.1 f与x相关联。
注意
,因此我们连接
和
到x,然后把它们与
相结合,于是,在
中可以得到一个以x为根的扩展星图
。
情形 2.2.2 f与x不相关联。
设
是一条以a为起点且包含f的三长路,则a与x相关联。接下来,我们考虑
。不失一般性,假设
。注意
,我们可以在
中选择一条不包含遗失边的二长路
,其中
。由断言1和
,我们可以在
中找到
条三长路,其中
。注意
,
并且
,因此我们可以
中找到一条不包含遗失边的三长路
,使得
和
没有公共顶点。同样,我们可以在
中找到一条三长路
。将
连接到a,可以得到一条以a为起点的三长路
。注意
,
和
都不包含遗失边,且它们中的任意两个都没有公共顶点。我们连接
,
和
到x,然后把它们与A相结合,于是,在
中可以得到一个以x为根的扩展星图
。
情形 3
,
。
注意
。由断言1,我们可以从
中至少
条不包含遗失边的三长路中选择一条三长路
。设
且
。此时
。由断言1,在
中存在一个扩展星图
。假设
。
情形 3.1
。
在这种情形下,
是
中以x为根的扩展星图
中的一个。因此我们连接
和
到x,然后把它们与
相结合,于是,在
中可以得到一个以x为根的扩展星图
。注意
。如果
,那么
满足引理。如果
,我们从
中删除以x为起点且包含任意边
的四长路,从而得到一个满足引理的扩展星图。
情形 3.2
。
设
是
中的一条以x为起点且包含f的四长路。我们可以从
中删除
来得到A。
情形 3.2.1 f与x相关联。
我们连接
和
到x,然后把它们与A相结合,于是,在
中可以得到一个以x为根的扩展星图
。注意
。如果
,那么
满足引理。如果
,我们从
中删除以x为起点且包含任意边
的四长路,从而得到一个满足引理的扩展星图。
情形 3.2.2 f与x不相关联。
若a与x相邻,
是一条以a为起点且包含f的三长路。
情形 3.2.2.1
。
在这种情形下,
。不失一般性,假设
。接下来,我们考虑
。不失一般性,假设
。注意
,我们可以在
中选择一条不包含遗失边的二长路
,其中
。由断言1和
,我们可以在
中找到
条不包含遗失边的三长路,并且这些三长路中除了顶点
之外,任意的两条路都没有公共顶点。注意
,
且
,因此我们可以在
中找到一条不包含遗失边的三长路
,使得
和
没有公共顶点。同样,我们可以在
中找到一条三长路
。将
连接到a,可以得到一条以a为起点的三长路
。注意
,
和
都不包含遗失边,且它们中的任意两个都没有公共顶点。我们连接
,
和
到x,然后把它们与A相结合,于是,在
中可以得到一个以x为根的扩展星图
。
情形 3.2.2.2
。
在这种情形下,
。现在我们考虑
。不失一般性,假设
。我们可以在
中选择一条不包含遗失边的二长路
,在
中找到一条二长路
,其中
,
。因为
,因此我们可以从
和
中选择一条不包含遗失边的二长路
。注意
,
在不同的
中,并且
,将
连接到a,可以得到一条不包含遗失边的三长路
。由断言1和
,我们可以在
中找到
条不包含遗失边的三长路,并且这些三长路中除了顶点
之外,任意的两条路都没有公共顶点。注意
,
且
。如果
,那么我们可以在
中找到一条不包含遗失边的三长路
,使得
和
没有公共顶点。同样,我们可以在
中找到一条不包含遗失边的三长路
。如果
,那么我们可以在
中找到一条不包含遗失边的三长路
,使得
和
没有公共顶点。同样,我们可以在
中找到一条三长路
。将
连接到a,可以得到一条以a为起点的三长路
。注意
,
和
都不包含遗失边,且它们中的任意两个都没有公共顶点。我们连接
,
和
到x,然后把它们与A相结合,于是,在
中可以得到一个以x为根的扩展星图
。注意
。如果
,那么
满足引理。如果
,我们从
中删除以x为起点且包含任意边
的四长路,从而得到一个满足引理的扩展星图。
情形 4
,
。
在这种情形下,
。由断言1,我们可以从
中至少
条不包含遗失边的三长路中选择一条三长路
。设
,
。此时
。由断言1,在
中存在一个扩展星图
。假设
。
情形 4.1 f,
都不属于
。
在这种情形下,
是
中以x为根的扩展星图
中的一个。注意
,因
此我们连接
和
到x,然后把它们与
相结合,于是,我们在
中可以得到一个以x为根的扩展星图
情形 4.2
包含f或
。
不失一般性,我们假设
包含f。设
是
中一条以x为起点且包含f的四长路。我们可以从
中删除
来得到A。接下来我们讨论f是否与x相关联。如果f与x相关联,那么接下来的证明与情形2.2.1相似。如果f不与x相关联,那么接下来的证明与情形2.2.2相似。
情形 4.3
包含f和
。
情形 4.3.1 f和
都与x相关联。
设
是
中一条以x为起点且包含
的四长路。我们可以从
中删除
和
来得到A。注意
,我们连接
和
到x。然后把它们与A相结合,于是,在
中可以得到一个以x为根的扩展星图
。
情形 4.3.2 f或
与x相关联。
不失一般性,我们假设
与x相关联。设
是
中一条以x为起点且包含
的四长路。我们可以从
中删除
和
来得到A。设
是一条以a为起点且包含f的三长路,则a与x相关联,接下来的证明与情形2.2.2相似。
情形 4.3.3 f和
都不与x相关联。
接下来我们考虑f和
是否属于同一条路。
情形 4.3.3.1 f和
属于
中的同一条路。
接下来的证明与情形2.2.2相似。
情形 4.3.3.2 f和
属于
中的不同的路。
设
是一条从
开始且包含
的三长路,则a和b都与x相关联。注意
且
。我们很容易在
中找到一条不包含遗失边的二长路
,并且
和
没有公共点。将
连接到
,可以得到一条以
为起点的三长路
。注意
,我们连接
,
,
和
到x,然后把它们与A相结合,于是,然后把它们与A相结合,于是,在
中可以得到一个以x为根的扩展星图
。
定理 8.2 设
是n维修正泡型图
中的任意边子集且
。对
中的每个点x,
具有强局部诊断性,其中
的个数是最优的。
证明 由引理6.5和8.2,当
且
时,
中每个点x的局部诊断度等于它的度。由引理6.7,
中的每个点都具有强局部诊断性。由引理6.8,
具有强局部诊断性。
现在我们给出一个例子来证明如果存在
条遗失边F,n维修正泡型图
可能不具有强局部可诊断性。对于
中的任意顶点x,x标记为
上的一个置换。假设
中有
条遗失边F,它们与x相关联(如图6所示),那么在
中x的度就变成了1。假设y是x的唯一的邻点。设
,
。此时
。显然,
和
之间没有边,那么顶点集对
不满足引理6.9中的条件(1)~(3),因此在MM*模型下,
在顶点y处不是n-局部可诊断的。由于在
中,y的局部可诊断度(小于n)与它的度(等于n)不相等,因此顶点y不再具有强局部可诊断性。因此,具有
条遗失边的修正泡型图
不能保证具有强局部可诊断性。
9. 结论
系统的诊断度是衡量系统容错性的重要参数。在这篇文章中,我们研究了n维泡型图
和n维修正泡型图
在MM*模型下的局部诊断度。我们证明了n维泡型图
的诊断度是
,n维修正泡型图
的诊断度是n,以及即使
和
中分别存在高达
和
条遗失边,它们仍保持这种强的性质。因此,在n维泡型图
和n维修正泡型图
的遗失边数分别不超过
和
的条件下,它们的诊断度等于每个处理器剩余度的最小值。
致谢
本论文是在我的导师王世英教授的悉心指导下完成的。他渊博的专业知识,严谨的治学态度,精益求精的工作作风,诲人不倦的高尚师德,严于律己、严以律己、宽以待人的崇高风范,朴实无华、平易近人的人格魅力对本人影响深远。不仅使本人树立了远大的学习目标,掌握了基本的研究方法,还使本人明白了许多为人处事的道理。本次论文从选题到完成,每一步都倾注了导师大量的心血。在写论文的过程中,遇到了很多的问题,在王老师的耐心指导下,问题都得以解决。在此,谨向王老师表示崇高的敬意和衷心的感谢!同时,感谢同门和舍友在我学习和生活上给予的帮助和关心,谢谢!。
基金项目
国家自然科学基金资助项目(61772010)。
NOTES
*通讯作者。