交错群图AGn的h-外连通度.pdfVIP

高校应用数学学报 2013，28(4)：379—390 交错群图AC仇的 _夕卜连通度 林丽美 ，一，周书明，一，许 力 ， (1．福建师范大学 数学与计算机科学学院，福建福州350007； 2．福建师范大学 网络安全与密码技术重点实验室，福建福州350007) 摘 要：设G= (E)是一个图，F (G)是图G一个节点子集． 如果G—F不连 通且G～F的每一个连通分支都至少有 +1个节点，那么称F为G的一个h一外分离集． 图G的h．外连通度，记作砖 G)，是图G的最小h一外分离集的基数，它能更有效地反应 图的容错性．通过交错群 图 G 的容错性刻画，本文证明了交错群 图AG 的1一外连通 度，2一外连通度和3一外连通度分别是4n一11，6n一19和8n一28． 关键词：交错群图网络；容错性；h一外连通度 中图分类号：O157．5 文献标识码：A 文章编号：1000—4424(2013)04—0379—012 §1 预备知识 1．1 图与网络的基本概念 并行计算系统中处理机之间的连接关系是基于给定的互连网络拓扑结构．一个互连网络通 常可用一个图表示，其中点代表处理机，边代表处理机间的通信链路．设G是一个简单无向图， 分别用 (G)和E(G)来表示G的节点集和边集，并用IV(G)I~UlE(G)I来分别表示G的节点数和边 数．对于任意节点子集F (G)，用G—F来表示从G中去掉F中所有点及所关联的边而得到 的残存子图．如果G—F不连通，则称F为G的一个分离集．如果F还满足条件IFI= ，则称分离 集F是一个k．分离集．图G—F的最大的连通子图称为连通分支．图G的连通度，记为，c(G)，定义 为G的所有分离集中最小分离集的节点数．特别地，当G=‰ 时，(G)=n一1．如果 (G)≥k， 图G称为是 连通的．边连通度 (G)可类似定义 l【J_ 连通度 (G)和边连通度 (G)是网络容错性度量的重要参数．~Whitney不等式 (G) (G) (G)(其中 (G)是G的最小度)易知 (G)， (G)越大意味着网络G容错性能越好．尽管 图G的连通度 (G)是衡量 网络容错性能的一种重要途径，但是它有一个 明显的缺陷，即其默 许G的任意节点的邻节点都可以同时发生故障．实际上，节点故障是独立同分布的，这一事件发 收稿 日期：2013-02．05 修回日期：2013-06—30 基金项目：国家自然基金项目；祸建省基金项目(2013J01221；JA12073) 380 高校 应 用数 学 学报 第28卷第4期 乍的概率极小．为了弥补这一缺憾，可以通过引入一些条件或者对分离集S，G—S的连通分支做 一 些限制来扩展传统的连通度． Esfahanian[2】首次引入了图G的限制分离集和限制连通度的概念．S是G中的一个集合，如 果G—S是不连通的，且G中任意点z的邻点集Ⅳ(z)不完 包含在S中，则称S是限制分离集．G的 限制连通度，记为 (G)，是限制分离集的最小基数．考虑到检查一个分离集是否为限制分离集 是 比较困难的，徐俊明等3[】正式提出了超级连通度，比限制连通度稍弱的一个概念．如果G的 分离集S是超级分离集，那么G—S不包含孤立点．G的超级连通度，记为 (G)，是超级分离集 的最小基数．显然，如果 (G)存在，则 (G) (G)≤ (G)．F rega和Fio1[]将无向图超级 连通度推广到^_夕连通度的概念．设G是一个连通无向图，整数h，满足条件0 h (G)．子 集Sc fG)被称为是 分离集，如果G—S是不连通的且每一个连通分支都 少包含h+1个 节点．^．夕连通度 fG)的正式定义如下： 定义1．14[] 图G的h一外连通度 (G)定义为 心 (G)=rain{lSlls是G的一个h_夕分离集)． 由定义可知h一外连通度相比传统连通度或者超级连通度对于大规模互联网络容错性的测量 更加精准．朱强等[5】_杨