一类网络的最优容错扩张.pdfVIP

． 漳州师院学报 JournalofZhangzhou TeachersCollege 1992年 第6巷 第2期 (Nat．Sci．) Vo1．6 NO．2 1992 一 类 网络 的最优 容错 扩 张 陈 协 彬 (数学系 ) 摘 要 给定n≥ 2阶的连通图Go，n+m阶图G称为关于Go是最优m一容错扩张，如果对于G 的结点集的每个Irl一子集V，存在G—V 的生成子图同构于Go，并旦G有尽可能少的边。设Go的补 图的每个分支是非平凡的星或K3，本文给出关于Go的伞部最优m一容错扩张。 关键词 容错网络，网络的容错扩张 1 引言 在某些应用中，人们希望复杂M络 管出现 一些故障，仍能正常地运行。具有这利， 性能的网络称为容错 络，它 有冗余元件 以便容错，即 l十些 l本元件失效时，这些 元件的任务能动态地转移到冗余元件上。如何使得冗余元件 (附加的处理器和连线 )最 小化，这个问题对于多处理器复杂网络是尤为亟 的。 {迂只考虑处理器失效的情况， 因而可用简单图表示网络。 J．Hayes在 [1)中引入了容竹网络的如下I冬{模型。 定义 给定n≥2阶的连通 图Go，n+m阶冈G称为火于G。是m…一容错的，如 果 对 ‘ fG的结点集的每个m一子集V，存在G～V的 成子 hjj构于G。，此外，如 果G有尽 ’ 町能少的边，则称G为关于G。的最优i3,1一容错}冬j。 对于任给的图G。，设计关于G。的蚊优m一容错图是非常困难的。 迄今为止只对 些特殊的树 ，圈和多部完全图得到一些结果 (1—5]。设G。的补图的每个分文是非平凡 埋或Ks，本文给出了关于G。的全部最优in一容错图。若G。的补图 孤立 点， 即G。 禽有，战 将另文讨论。 2 几个引理 ／f：难证 明以下四个引理。 。福建省教委 1991年科研资助课题。 28 引理 1 n4-m阶图G关于G。是m一容错的，当且仅当对于 (；的结点集的每个 m一 子集V，有Gc—V二二)G ，这里H 表于圈H的补图。 引理 2 完全图Km和G。的联I鍪{Km+G。关于G。是m一容错的。 。 引理 3 设F和M分别是Kn和Kn+m的最 大 匹配。若G。cKn—F，则Kn+rll—M 关于G。是Ill一容错的。 引理 4 N阶连通阀含有 i阶连通子图，这里 i=1，2，…，N。 以下 个引理是本文主要引理。 引理 5 设G。的补 G 的k≥2个分支是 c。， 。，…， ck，每个分支是 非 平凡的星或ks，IC-』≥ lCzI≥…≥JCk }，且 IC-f≥4戈；C-i=lGzi u=3，没非完全I划G关于 (。足m一容}{}的，其补阁G 的t个非平凡的分支是 S ，S， …， St， l 。I≥ lS j≥…≥ JSt J。删t≤k JS-J≤ lClI。 证 设 ( 仃x个 2阶分支，yj、3阶分支和z个 4阶以上分支，i划z≥ 1成y≥2，儿 n≥2X+3Y+4z：≥2(x+y+z十 1)=2 (k+ 1) 若t≥k+1，则Gc岔有k+1-匹配E，由n≥2(k+I)，呵知存在某个m结点集 V，使得E(二二； 一V，由引理 1，则EcG 。但由条件，G 的k个分支部是 非平凡的局 或K3，易知C．；’o~1-禽‘有 k+l一匹配，得到矛盾，因此，t≤k。 若 fS。l lC。l，JI!j!n≥ lS-I IC l或 lS，In lCtl。由引理4，易 证存在m结点 v，使得s：cGc—V，这IS：是S。的连通子 RIc。Ils：l， 由引理l，!J!IjS：c(，得j；0矛盾，闲此，ls。l≤iC I。 引理 6 设 【和Gc 引理 5所 述。若存 在 某个j(2≤j≤t)使得 Isi l≤ JCiI，i=1，…，j一1，但 ISj}≥ lCjl+1。贝Uj=t=k．H· lS-f～ 一 ISk l= lC-l一 一 ICk一1I= lCk I+1 (·) 证 }fJl引理 6，则j≤t≤k。若jk，则