Computer Science and Application
Vol.07 No.10(2017), Article ID:22426,14
pages
10.12677/CSA.2017.710109
Based on FQn and Cycles Cell-Breeding Network FQCC(n,k) and Its Properties
Yuan Zhao1, Haizhong Shi2*
College of Mathematics and Statistics, Northwest Normal University, Lanzhou Gansu
Received: Oct. 4th, 2017; accepted: Oct. 17th, 2017; published: Oct. 24th, 2017
ABSTRACT
The folded cube-connected cycles network FQCC(n) (n > 1) is a classic interconnection network; it is 3 regular. On the basis of the folded cube-connected cycles network FQCC(n) (n > 1) and cell- breeding graph model for interconnection network, FQCC(n,k) (n > 1, k is not a negative integer) is designed by Haizhong Shi: each vertex in the folded cube-connected cycles network FQCC(n) (n > 1) is replaced by the cycles of length 3, and the vertex in every cycle is located on the edge of the folded cube-connected cycles connected to the vertex, then we called the new network FQCC(n,1); in similar way each vertex in the folded cube-connected cycles network FQCC(n,1) (n > 1) is replaced by the cycles of length 3, then we called the new network FQCC(n,2), looping execution the above method k times, and then get the new network—FQCC(n,k) (n > 1, k is not a negative integer). The network FQCC(n,k) keeps small or fixed degree (is 3) of FQCC(n), and has better extendability than FQCC(n). Furthermore proposed a conjecture: FQCC(n,k) is Hamiltonian. Yuan Zhao proofs that FQCC(2,k) is planar and Hamiltonian, and that FQCC(n,k) (k > 1) is not vertex- transitive.
Keywords:The Folded Cube-Connected Cycles, FQCC(n,k), Planar Graph, Hamilton Graph, Hamilton-Connected Graph, Vertex-Transitive
基于FQn和圈的细胞分裂生长网络FQCC(n,k) 及其性质
赵媛1,师海忠2*
西北师范大学数学与统计学院,甘肃 兰州
收稿日期:2017年10月4日;录用日期:2017年10月17日;发布日期:2017年10月24日
摘 要
折叠立方体连通圈网络FQCC(n) (n > 1)是一类典型的互连网络,它是3正则的。师海忠根据折叠立方体连通圈网络FQCC(n) (n > 1)和细胞分裂生长图模型设计出了一种新的互连网络——FQCC(n,k) (n > 1,k是非负整数):用三长的圈代替FQCC(n)的每个顶点且圈中每个顶点恰位于折叠立方体连通圈网络FQCC(n) (n > 1)中与该顶点关联的一条边上,得到新的网络FQCC(n,1);再类似的用三长的圈代替FQCC(n,1)的每个顶点得FQCC(n,2),循环执行上述方法k次得到的新网络称为FQCC(n,k) (n > 1,k是非负整数)。该网络FQCC(n,k)在保持了FQCC(n)的小的固定的度(为3)的特性外,还有比FQCC(n)更好的扩展性。进而提出了猜想:FQCC(n,k)是Hamilton图。赵媛证明了FQCC(2,k)是平面图和Hamilton图,还证明了FQCC(n,k) (k > 1)不是点可迁的。
关键词 :折叠立方体连通圈网络,FQCC(n,k),平面图,Hamilton图,Hamilton连通图,点可迁的
Copyright © 2017 by authors and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
1. 引言
互连网络是超级计算机的重要组成部分。网络遵循八个原则:小的固定顶点度;小通信传输延迟;简单的路由算法;均匀性或对称性;高容错性;可扩性;可嵌入性;有效的布图算法。大规模集成电路技术的出现和现代通信技术的飞速发展要求人们设计出多核的互连网络,对这种网络来讲网络的平面性是一项很重要的指标。互连网络的基本拓扑结构是连通图G(V,E)。其中V是处理器的集合,E是网络通信链路的集合 [1] [2] 。
许多学者设计出了多种互连网络,例如:折叠Petersen立方体、折叠立方体、正则图连通圈网络(折叠立方体连通圈网络,立方体连通圈网络等)、细胞分裂生长图模型、层次环群论模型等并给出了它们的部分性质 [3] - [17] 。这些互连网络都有许多优点,也各自存在一些缺点。比如折叠立方体,它的度(n + 1)随着规模( )的增大而增大。折叠立方体连通圈具有优点——小的固定的度(都为3),但它的扩展性较差。在这篇文章中,根据文献 [8] 和 [10] 中提出的设计互连网络的新思想,师海忠设计出了新的互连网络 。除了保持折叠立方体连通圈 的优点——小的固定的度(为3)外,当固定 之后,它有较好的可扩展性,即规模可随着 的增大而增大。特别是赵媛证明了 是个平面图和Hamilton图,还证明了 不是点可迁的。
本文其余结构是:第2节,基本概念;第3节,新互连网络 及其性质;第4节,结束语。
2. 基本概念
定义1 [14] :令 是一个n比特二元串,我们用 来定义比特 。令 当 和 仅在第 个位置比特不同。
定义2:如果两个顶点 和 有 ,那么我们就记做 。我们说 和 是互补的。
定义3:n维折叠立方体连通圈 定义为一个无向图,它有 个顶点,记做 ,其中 是一个n比特二元串, 是0到n的一个正整数,两个顶点 , 相连当且仅当(i) 且 或者(ii) 且 或者(iii) 且 。
定义4:我们给出新网络 的严格数学定义, 的顶点记作 ,其中 是2比特二元串, , 是0到2的整数。两个顶点 和 相连当且仅当(i) 且 ;或者(ii) 且 ;或者(iii) 且 , , , ;或者(iv) 且 , 且 且 ;或者(v) 且 , 。如图2、图3。
定义5 [2] :若一个图具有这样的一个图形,它的边仅在端点处相交,则该图称为平面图。
定义6:G的Hamilton圈是指包含G的每个顶点的圈。
定义7:一个图若包含Hamilton圈,则称这个图是Hamilton图。
定义8 [15] :若一个图中任意两个顶点之间都有一条Hamilton路,则称这个图为Hamilton连通图。
定义9 [1] :如果G是点可迁的,那么对G的每对顶点 和 ,存在 ,使得 。
3. 新互连网络FQCC(n,k)及其性质
3.1. FQCC(n,k)及其基本性质
在这一节中师海忠设计出了新互连网络 :用三长的圈代替 的每个顶点且圈中每个顶点恰位于折叠立方体连通圈网络 中与该顶点关联的一条边上,得到新的网络 ;再类似的用三长的圈代替 的每个顶点得 ,循环执行上述方法 次得到的新网络称为 ,注意 即为 。新互连网络 有 个顶点, 条边,且它的度为3。 比 有更好的扩展性,即当固定 之后,规模( )随着 的增大而增大。特别是 有较好的性质(见3.2节)。
3.2. FQCC(2,k)及其性质
在这一节中,赵媛讨论了 的平面性、Hamilton性、点可迁性。
定理1: 是平面图。
证明:显然 是平面图,如图1。所以 即 是平面图,如图2。那么 也是平面图,如图3。
定理2: 是Hamilton图。
证明:当 时,我们可以在 (也就是 )中找到一个Hamilton圈:(00,0)-(00,2) -(11,2)-(11,0)-(11,1)-(10,1)-(10,0)-(10,2)-(01,2)-(01,0)-(01,1)-(00,1)-(00,0)。显然 是Hamilton图。
当 时, 中的顶点 变成了 。我们可以找到路P1<(00,00),(00,01),(00,21), (00,20),(00,22)>来代替边((00,0),(00,2));路P2<(00,22),(11,22)>来代替边((00,2),(11,2));路P3<(11,22),(11,20), (11,21),(11,01),(11,00)>来代替边((11,2),(11,0));路P4<(11,00),(11,02),(11,12),(11,10), (11,11)>来代替边((11,0),(11,1));路P5<(11,11),(10,11)>来代替边((11,1),(10,1));路P6<(10,11),(10,10), (10,12),(10,02),(10,00)>
Figure 1. Planar graph FQ2
图1. 平面图FQ2
Figure 2. Planar graph
图2. 平面图
Figure 3. Planar graph
图3. 平面图
来代替边((10,1),(10,0));路P7<(10,00),(10,01),(10,21),(10,2),(10,22)>来代替边((10,0),(10,2));路P8<(10,22), (01,22)>来代替边((10,2),(01,2));路P9<(01,22),(01,20),(01,21),(01,01),(01,00)>来代替边((01,2),(01,0));路P10<(01,00),(01,02),(01,12),(01,10),(01,11)>来代替边((01,0),(01,1));路P11<(01,11),(00,11)>来代替边((01,1),(00,1));路P12<(00,11),(00,10),(00,12),(00, 02),(00,00)>来代替边((00,1),(00,0))。令 ,则 是一个Hamilton圈,所以 是Hamilton图。并且路 , , , 的长为1,其余路的长为4。
以此类推,当 时, 中的顶点 变为 。其中 , 。我们可以找到路 来代替边 。令 ,则 是 的一个Hamilton圈,所以 是Hamilton图。其中路 , , , 的长为1,其余路的长为 。
由此,师海忠提出如下猜想:
猜想3: 是Hamilton图。
定理4: 是Hamilton连通图。
证明:由定义8可知,顶点(00,0)和(00,1)之间有一条Hamilton路
P1:(00,0)-(00,2)-(11,2)-(11,0)-(11,1)-(10,1)-(10,0)-(10,2)-(01,2)-(01,0)-(01,1)-(00,1)。以此类推,
P2{(00,0),(00,2)}:(00,0)-(00,1)-(01,1)-(01,0)-(01,2)-(10,2)-(10,0)-(10,1)-(11,1)-(11,0)-(11,2)-(00,2).
P3{(00,0),(01,0)}:(00,0)-(00,1)-(00,2)-(11,2)-(11,0)-(11,1)-(10,1)-(10,0)-(10,2)-(01,2)-(01,1)-(01,0).
P4{(00,0),(01,1)}:(00,0)-(00,1)-(00,2)-(11,2)-(11,0)-(11,1)-(10,1)-(10,0)-(10,2)-(01,2)-(01,0)-(01,1).
P5{(00,0),(01,2)}:(00,0)-(10,0)-(10,2)-(10,1)-(11,1)-(11,0)-(11,2)-(00,2)-(00,1)-(01,1)-(01,0)-(01,2).
P6{(00,0),(10,0)}:(00,0)-(00,1)-(00,2)-(11,2)-(11,1)-(11,0)-(01,0)-(01,1)-(01,2)-(10,2)-(10,1)-(10,0).
P7{(00,0),(10,1)}:(00,0)-(00,1)-(00,2)-(11,2)-(11,1)-(11,0)-(01,0)-(01,1)-(01,2)-(10,2)-(10,0)-(10,1).
P8{(00,0),(10,2)}:(00,0)-(00,2)-(00,1)-(01,1)-(01,2)-(01,0)-(11,0)-(11,2)-(11,1)-(10,1)-(10,0)-(10,2).
P9{(00,0),(11,0)}:(00,0)-(00,2)-(00,1)-(01,1)-(01,0)-(01,2)-(10,2)-(10,0)-(10,1)-(11,1)-(11,2)-(11,0).
P10{(00,0),(11,1)}:(00,0)-(00,1)-(00,2)-(11,2)-(11,0)-(01,0)-(01,1)-(01,2)-(10,2)-(10,0)-(10,1)-(11,1).
P11{(00,0),(11,2)}:(00,0)-(00,2)-(00,1)-(01,1)-(01,0)-(01,2)-(10,2)-(10,0)-(10,1)-(11,1)-(11,0)-(11,2).
P12{(00,1),(00,2)}:(00,1)-(00,0)-(10,0)-(10,1)-(10,2)-(01,2)-(01,1)-(01,0)-(11,0)-(11,1)-(11,2)-(00,2).
P13{(00,1),(01,0)}:(00,1)-(00,0)-(00,2)-(11,2)-(11,0)-(11,1)-(10,1)-(10,0)-(10,2)-(01,2)-(01,1)-(01,0).
P14{(00,1),(01,1)}:(00,1)-(00,2)-(00,0)-(10,0)-(10,2)-(10,1)-(11,1)-(11,2)-(11,0)-(01,0)-(01,2)-(01,1).
P15{(00,1),(01,2)}:(00,1)-(00,2)-(00,0)-(10,0)-(10,2)-(10,1)-(11,1)-(11,2)-(11,0)-(01,0)-(01,1)-(01,2).
P16{(00,1),(10,0)}:(00,1)-(00,0)-(00,2)-(11,2)-(11,1)-(11,0)-(01,0)-(01,1)-(01,2)-(10,2)-(10,1)-(10,0).
P17{(00,1),(10,1)}:(00,1)-(00,0)-(00,2)-(11,2)-(11,1)-(11,0)-(01,0)-(01,1)-(01,2)-(10,2)-(10,0)-(10,1).
P18{(00,1),(10,2)}:(00,1)-(00,2)-(00,0)-(10,0)-(10,1)-(11,1)-(11,2)-(11,0)-(01,0)-(01,1)-(01,2)-(10,2).
P19{(00,1),(11,0)}:(00,1)-(00,0)-(00,2)-(11,2)-(11,1)-(10,1)-(10,0)-(10,2)-(01,2)-(01,1)-(01,0)-(11,0).
P20{(00,1),(11,1)}:(00,1)-(00,2)-(00,0)-(10,0)-(10,1)-(10,2)-(01,2)-(01,1)-(01,0)-(11,0)-(11,2)-(11,1).
P21{(00,1),(11,2)}:(00,1)-(00,2)-(00,0)-(10,0)-(10,1)-(10,2)-(01,2)-(01,1)-(01,0)-(11,0)-(11,1)-(11,2).
P22{(00,2),(01,0)}:(00,2)-(00,0)-(00,1)-(01,1)-(01,2)-(10,2)-(10,0)-(10,1)-(11,1)-(11,2)-(11,0)-(01,0).
P23{(00,2),(01,1)}:(00,2)-(00,1)-(00,0)-(10,0)-(10,2)-(10,1)-(11,1)-(11,2)-(11,0)-(01,0)-(01,2)-(01,1).
P24{(00,2),(01,2)}:(00,2)-(00,1)-(00,0)-(10,0)-(10,2)-(10,1)-(11,1)-(11,2)-(11,0)-(01,0)-(01,1)-(01,2).
P25{(00,2),(10,0)}:(00,2)-(00,0)-(00,1)-(01,1)-(01,2)-(01,0)-(11,0)-(11,2)-(11,1)-(10,1)-(10,2)-(10,0).
P26{(00,0),(10,1)}:(00,2)-(00,1)-(00,0)-(10,0)-(10,2)-(01,2)-(01,1)-(01,0)-(11,0)-(11,2)-(11,1)-(10,1).
P27{(00,2),(10,2)}:(00,2)-(00,0)-(00,1)-(01,1)-(01,2)-(01,0)-(11,0)-(11,2)-(11,1)-(10,1)-(10,0)-(10,2).
P28{(00,2),(11,0)}:(00,2)-(00,0)-(00,1)-(01,1)-(01,0)-(01,2)-(10,2)-(10,0)-(10,1)-(11,1)-(11,2)-(11,0).
P29{(00,2),(11,1)}:(00,2)-(00,1)-(00,0)-(10,0)-(10,1)-(10,2)-(01,2)-(01,1)-(01,0)-(11,0)-(11,2)-(11,1).
P30{(00,2),(11,2)}:(00,2)-(00,0)-(00,1)-(01,1)-(01,0)-(01,2)-(10,2)-(10,0)-(10,1)-(11,1)-(11,0)-(11,2).
P31{(01,0),(01,1)}:(01,0)-(01,2)-(10,2)-(10,0)-(10,1)-(11,1)-(11,0)-(11,2)-(00,2)-(00,0)-(00,1)-(01,1).
P32{(01,0),(01,2)}:(01,0)-(01,1)-(00,1)-(00,0)-(00,2)-(11,2)-(11,0)-(11,1)-(10,1)-(10,0)-(10,2)-(01,2).
P33{(01,0),(10,0)}:(01,0)-(01,2)-(01,1)-(00,1)-(00,0)-(00,2)-(11,2)-(11,0)-(11,1)-(10,1)-(10,2)-(10,0).
P34{(01,0),(10,1)}:(01,0)-(01,1)-(01,2)-(10,2)-(10,0)-(00,0)-(00,1)-(00,2)-(11,2)-(11,0)-(11,1)-(10,1).
P35{(01,0),(10,2)}:(01,0)-(01,2)-(01,1)-(00,1)-(00,0)-(00,2)-(11,2)-(11,0)-(11,1)-(10,1)-(10,0)-(10,2).
P36{(01,0),(11,0)}:(01,0)-(01,2)-(01,1)-(00,1)-(00,2)-(00,0)-(10,0)-(10,2)-(10,1)-(11,1)-(11,2)-(11,0).
P37{(00,0),(11,1)}:(01,0)-(01,1)-(01,2)-(10,2)-(10,1)-(10,0)-(00,0)-(00,1)-(00,2)-(11,2)-(11,0)-(11,1).
P38{(01,0),(11,2)}:(01,0)-(01,2)-(01,1)-(00,1)-(00,2)-(00,0)-(10,0)-(10,2)-(10,1)-(11,1)-(11,0)-(11,2).
P39{(01,1),(01,2)}:(01,1)-(01,0)-(11,0)-(11,1)-(11,2)-(00,2)-(00,1)-(00,0)-(10,0)-(10,1)-(10,2)-(01,2).
P40{(01,1),(10,0)}:(01,1)-(01,0)-(01,2)-(10,2)-(10,1)-(11,1)-(11,0)-(11,2)-(00,2)-(00,1)-(00,0)-(10,0).
P41{(01,1),(10,1)}:(01,1)-(01,0)-(01,2)-(10,2)-(10,0)-(00,0)-(00,1)-(00,2)-(11,2)-(11,0)-(11,1)-(10,1).
P42{(01,1),(10,2)}:(01,1)-(01,2)-(01,0)-(11,0)-(11,1)-(11,2)-(00,2)-(00,1)-(00,0)-(10,0)-(10,1)-(10,2).
P43{(01,1),(11,0)}:(01,1)-(01,0)-(01,2)-(10,2)-(10,1)-(10,0)-(00,0)-(00,1)-(00,2)-(11,2)-(11,1)-(11,0).
P44{(01,1),(11,1)}:(01,1)-(01,0)-(01,2)-(10,2)-(10,1)-(10,0)-(00,0)-(00,1)-(00,2)-(11,2)-(11,0)-(11,1).
P45{(01,1),(11,2)}:(01,1)-(01,2)-(01,0)-(11,0)-(11,1)-(10,1)-(10,2)-(10,0)-(00,0)-(00,1)-(00,2)-(11,2).
P46{(01,2),(10,0)}:(01,2)-(01,0)-(01,1)-(00,1)-(00,0)-(00,2)-(11,2)-(11,0)-(11,1)-(10,1)-(10,2)-(10,0).
P47{(01,2),(10,1)}:(01,2)-(01,1)-(01,0)-(11,0)-(11,1)-(11,2)-(00,2)-(00,1)-(00,0)-(10,0)-(10,2)-(10,1).
P48{(01,2),(10,2)}:(01,2)-(01,0)-(01,1)-(00,1)-(00,0)-(00,2)-(11,2)-(11,0)-(11,1)-(10,1)-(10,0)-(10,2).
P49{(01,2),(11,0)}:(01,2)-(01,0)-(01,1)-(00,1)-(00,2)-(00,0)-(10,0)-(10,2)-(10,1)-(11,1)-(11,2)-(11,0).
P50{(01,2),(11,1)}:(01,2)-(01,1)-(01,0)-(11,0)-(11,2)-(00,2)-(00,1)-(00,0)-(10,0)-(10,2)-(10,1)-(11,1).
P51{(01,2),(11,2)}:(01,2)-(01,1)-(01,0)-(11,0)-(11,1)-(10,1)-(10,2)-(10,0)-(00,0)-(00,1)-(00,2)-(11,2).
P52{(10,0),(10,1)}:(10,0)-(10,2)-(01,2)-(01,0)-(01,1)-(00,1)-(00,0)-(00,2)-(11,2)-(11,0)-(11,1)-(10,1).
P53{(10,0),(10,2)}:(10,0)-(10,1)-(11,1)-(11,0)-(11,2)-(00,2)-(00,0)-(00,1)-(01,1)-(01,0)-(01,2)-(10,2).
P54{(10,0),(11,0)}:(10,0)-(10,1)-(10,2)-(01,2)-(01,0)-(01,1)-(00,1)-(00,0)-(00,2)-(11,2)-(11,1)-(11,0).
P55{(10,0),(11,1)}:(10,0)-(10,1)-(10,2)-(01,2)-(01,0)-(01,1)-(00,1)-(00,0)-(00,2)-(11,2)-(11,0)-(11,1).
P56{(10,0),(11,2)}:(10,0)-(10,2)-(10,1)-(11,1)-(11,0)-(01,0)-(01,2)-(01,1)-(00,1)-(00,0)-(00,2)-(11,2).
P57{(10,1),(10,2)}:(10,1)-(10,0)-(00,0)-(00,1)-(00,2)-(11,2)-(11,1)-(11,0)-(01,0)-(01,1)-(01,2)-(10,2).
P58{(10,1),(11,0)}:(10,1)-(10,0)-(10,2)-(01,2)-(01,0)-(01,1)-(00,1)-(00,0)-(00,2)-(11,2)-(11,1)-(11,0).
P59{(10,1),(11,1)}:(10,1)-(10,0)-(10,2)-(01,2)-(01,0)-(01,1)-(00,1)-(00,0)-(00,2)-(11,2)-(11,0)-(11,1).
P60{(10,1),(11,2)}:(10,1)-(10,2)-(10,0)-(00,0)-(00,2)-(00,1)-(01,1)-(01,2)-(01,0)-(11,0)-(11,1)-(11,2).
P61{(10,2),(11,0)}:(10,2)-(10,0)-(10,1)-(11,1)-(11,2)-(00,2)-(00,0)-(00,1)-(01,1)-(01,2)-(01,0)-(11,0).
P62{(10,2),(11,1)}:(10,2)-(10,1)-(10,0)-(00,0)-(00,2)-(00,1)-(01,1)-(01,2)-(01,0)-(11,0)-(11,2)-(11,1).
P63{(10,2),(11,2)}:(10,2)-(10,1)-(10,0)-(00,0)-(00,2)-(00,1)-(01,1)-(01,2)-(01,0)-(11,0)-(11,1)-(11,2).
P64{(11,0),(11,1)}:(11,0)-(11,2)-(00,2)-(00,0)-(00,1)-(01,1)-(01,0)-(01,2)-(10,2)-(10,0)-(10,1)-(11,1).
P65{(11,0),(11,2)}:(11,0)-(11,1)-(10,1)-(10,0)-(10,2)-(01,2)-(01,0)-(01,1)-(00,1)-(00,0)-(00,2)-(11,2).
P66{(11,1),(11,2)}:(11,1)-(11,0)-(01,0)-(01,1)-(01,2)-(10,2)-(10,1)-(10,0)-(00,0)-(00,1)-(00,2)-(11,2).
引理5 [1] :令G是n阶点可迁图,则G的所有n-1阶子图都同构。
定理6: 不是点可迁的。
证明:为了方便书写,我们将图4中的各顶点简记为1~36。不失一般性,我们在图4中删去顶点1 (记为 ,如图5),在图4中删去顶点2 (记为 ,如图6)。由图5可知图中除了顶点2,3,23为2度点外,其余均为3度点。由图6可知图中除了顶点1,3,8为2度点外,其余均为3度点。
图4.
Figure 5. Subgraph 1 of
Figure 6. Subgraph 2 of
假设 与 同构,即
情形1:若 , , 。则 , 或6, , 或24。顶点6和7在 中相连,由同构定义得 和 相连,但在 中5和22,24不相连,6和22,24不相连。所以此种情况不成立。
情形2:若 , , 。则 , 或24, , 或6。顶点6和7在 中相连,由同构定义得 和 相连,但在 中5和22,24不相连,6和22,24不相连。所以此种情况不成立。
情形3:若 , , 。在 中顶点23和22,24相连。在 中顶点1和3,23相连。则 或 ,则在 中顶点22和24之间有一条1长的路,而在 中顶点3和23之间没有1长的路。所以此种情形不成立。
情形4:若 , , 。与情形3类似,所以此种情形不成立。
情形5:若 , ,相连。在 中顶点3和4,1相连。则 或 ,则在 中24和22之间有一条1长的路,而在 中4和1之间没有一条1长的路。所以此种情形不成立。
情形6:若 , , 。与情形5类似,所以此种情形不成立。
综上所述:上述情形均不成立。 和 不同构。所以 不是点可迁的。
3.3. FQCC(n,k)的点可迁性
在这一节中,赵媛讨论了 , , 以及 的点可迁性。
定理7: 不是点可迁的。
证明:为了方便书写,我们将图7 (图7是 的部分子图)中的各顶点简记为1~15。不失一般性,我们在图7中删去顶点1 (记为 ,如图8),在图7中删去顶点2 (记为 ,如图9)。由图8可知图中除了顶点2,3,13为2度点外,其余均为3度点。由图9可知图中除了顶点1,3,11为2度点外,其余均为3度点。
假设 和 同构,则 。
情形1:若 , , 。则 , 或6, ,
或15。在 中6和10之间有一条3长的路,而在 中5和14,15之间没有一条3长的路,所以此种情形不成立。
情形2:若 , , 。则 , 或15, , 或6。
Figure 7. Part of subgraph of
图7. 的部分子图
Figure 8. Part of subgraph 1 of
Figure 9. Part of subgraph 2 of
则在 中6和10之间有一条3长的路,而在 中14和5,6之间没有一条3长的路,15和5,6之间没有一条3长的路。所以此种情形不成立。
情形3:若 , , 。在 中顶点3和2,4相连。在 中顶点11和10,12相连。则 或 ,则在 中2和4之间没有一条1长的路,而在 中10和12之间有一条1长的路。所以此种情形不成立。
情形4:若 , , 。与情形3类似,所以此种情形不成立。
情形5:若 , , 。在 中顶点2和3,11相连。在 中顶点11和10,12相连。则 或 ,则在 中3和11之间没有一条1长的路,在 中10和12之间有一条1长的路。所以此种情形不成立。
情形6:若 , , 。与情形5类似,所以此种情形不成立。
综上所述,上述情况均不成立。 和 不同构。所以 不是点可迁的。
定理8: 不是点可迁的。
证明:为了方便书写,我们将图10 (图10是 的部分子图)中的各顶点简记为1~18。不失一般性,我们在图10中删去顶点1 (记为 ,如图11),在图10中删去顶点2 (记为 ,如图12)。由图11可知图中除了顶点2,3,16为2度点外,其余均为3度点。由图12可知图中除了顶点1,3,14为2度点外,其余均为3度点。
假设 和 同构,则
Figure 10. Part of subgraph of
图10. 的部分子图
Figure 11. Part of subgraph 1 of
Figure 12. Part of subgraph 2 of
情形1:若 , , 。则 , 或6, , 或18。在 中6和13之间有两条5长的路,而在 中5和17,18之间只有一条5长的路,6和17,18之间只有一条5长的路。所以此种情形不成立。
情形2:若 , , 。则 , 或18, , 或6。则在 中6和13之间有两条5长的路,而在 中5和17,18之间只有一条5长的路,6和17,18之间只有一条5长的路。所以此种情形不成立。
情形3:若 , , 。则在 中16和17,18相连。在 中3和1,4相连。则 或 ,则在 中17和18之间有一条1长的路,而在 中1和4之间没有一条1长的路。所以此种情形不成立。
情形4:若 , , 。与情形3类似,所以此种情形不成立。
情形5:若 , , 。在 中顶点16和17,18相连。在 中1和3,16相连。则 或 ,则在 中17和18之间有一条1长的路,而在 中3和16之间没有一条1长的路。所以此种情形不成立。
情形6:若 , , 。与情形5类似,所以此种情形不成立。
综上所述,上述情况均不成立。 和 不同构。所以 不是点可迁的。
定理9: 不是点可迁的。
证明:为了方便书写,我们将图13 (图10是 的部分子图)中的各顶点简记为1~21。不失一般性,我们在图13中删去顶点1 (记为 ,如图14),在图13中删去顶点2 (记为 ,如图15)。由图14
Figure 13. Part of subgraph of
图13. 的部分子图
Figure 14. Part of subgraph 1 of
Figure 15. Part of subgraph 2 of
可知图中除了顶点2,3,19为2度点外,其余均为3度点。由图15可知图中除了顶点1,3,17为2度点外,其余均为3度点。
假设 和 同构,则
情形1:若 , , 。则 , 或6, , 或21。则在 中6和16之间有两条7长的路,而在 中5和20,21之间只有一条7长的路,6和20,21之间只有一条7长的路。所以此种情形不成立。
情形2:若 , , 。则 , 或21, , 或6。则在中6和16之间有两条7长的路,而在 中5和20,21之间只有一条7长的路,6和20,21之间只有一条7长的路。所以此种情形不成立。
情形3:若 , , 。在 中顶点19和20,21相连。在 中顶点3和1,4相连。则 或 ,则在 中20和21之间有一条1长的路,而在 中1和4之间没有一条1长的路。所以此种情形不成立。
情形4:若 , , 。与情形3类似,所以此种情形不成立。
情形5:若 , , 。在 中顶点19和20,21相连。在 中顶点1和3,19相连。则 或 ,则在 中20和21之间有一条1长的路,而在 中3和19之间没有1长的路。所以此种情形不成立。
情形6:若 , , 。与情形5类似,所以此种情形不成立。
综上所述,上述情况均不成立。 和 不同构。所以 不是点可迁的。
定理10: 不是点可迁的。
证明:为了方便书写,我们将图16中的各顶点简记为1~12。当 且 时结论显然成立。当 时,一定有 的子图。不失一般性,我们在图16中删去顶点1 (记为 ,如图17),在图16中删去顶点2 (记为 ,如图18)。由图17可知图中除了顶点2,3,11为2度点外,其余均为3度点。由图18可知图中除了顶点1,3,8为2度点外,其余均为3度点。
假设 和 同构,则 。
Figure 16. Part of subgraph of
图16. 的部分子图
Figure 17. Part of subgraph 1 of
Figure 18. Part of subgraph 2 of
情形1:若 , , 。在 中顶点11和10,12相连。在 中顶点1和3,11相连。则 或 ,则在 中10和12之间有一条1长的路,而在 中3和11之间没有一条1长的路。所以此种情形不成立。
情形2:若 , , 。与情形1类似,所以此种情形不成立。
情形3:若 , , 。则 , 或6, , 或12。在 中顶点6和7相连,由同构定义得 和 相连。但在 中顶点5和10,12不相连,6和10,12不相连。所以此种情形不成立。
情形4:若 , , 。在 中顶点11和10,12相连。在 中顶点3和4,1相连。则 或 ,则在 中10和12之间有一条1长的路,而在 中4和1之间没有一条1长的路。所以此种情形不成立。
情形5:若 , , 。与情形4类似,所以此种情形不成立。
情形6:若 , , 。则 , 或6, , 或12。在 中顶点6和7相连,由同构定义得 和 相连,但在 中顶点5和10,12不相连,6和10,12不相连。所以此种情形不成立。
综上所述,上述情况均不成立。 和 不同构。所以 不是点可迁的。
4. 结束语
我们证明了网络 是平面的,Hamilton的,且 是Hamilton连通的,但 不是点可迁的且 不是点可迁的。而 还有很多性质有待进一步研究。
文章引用
赵 媛,师海忠. 基于FQn和圈的细胞分裂生长网络FQCC(n,k)及其性质
Based on FQn and Cycles Cell-Breeding Network FQCC(n,k) and Its Properties[J]. 计算机科学与应用, 2017, 07(10): 960-973. http://dx.doi.org/10.12677/CSA.2017.710109
参考文献 (References)
- 1. 徐俊明. 组合网络理论[M]. 北京: 科学出版社, 2013.
- 2. Bondy, J.A. and Murty, U.S.R. (2008) Graph Theory. Springer, London. https://doi.org/10.1007/978-1-84628-970-5
- 3. Cheng, E., Connolly, R. and Melekian, C. (2015) Matching Preclusion and Conditional Matching Preclusion Problems for the Folded Petersen Cube. Theoretical Computer Science, 576, 30-44. https://doi.org/10.1016/j.tcs.2015.01.046
- 4. El-Amawy, A. and Latifi, S. (1991) Properties and Performance of Folded Hypercubes. IEEE Transactions on Parallel and Distributed Systems, 2, 31-42. https://doi.org/10.1109/71.80187
- 5. Zhu, Q. and Xu, J.M. (2006) On Restricted Edge Connectivity and Extra Edge Connectivity of Hypercubed and Folded Hypercubes. Journal of University of Science and Technology of China, 36, 249-253.
- 6. Wang, Y.H. and Xu, J.M. (2005) Minimum Feedback Vertex Set in Folded Hypercubes. Operations Research and Management Science, 14, 8-11.
- 7. Ma, M.J., Xu, J.M. and Du, Z.Z. (2004) Edge-Fault-Tolerant Bipanconnectivity of Hypercubes and Edge-Fault-Tolerant Edge-Pancyclicity of Folded Hypercubes. Proceeding of the Seventh National Conference of Operations Research Society of China, 1261-1267.
- 8. 师海忠. 正则图连通圈: 多种互连网络的统一模型[C]. 北京: 中国运筹学会第十一届学术交流会文集, 2010: 202-208.
- 9. Shi, H.Z. and Shi, Y. (2015) A New Model for Interconnection Network: k-Hierarchical Ring and r-Layer Graph Network. http://vdisk.weibo.com/s/dlizJyferZ-Zl
- 10. Shi, H.Z. and Shi, Y. (2015) Cell-Breading Graph Model for Interconnection Networks. http://vdisk.weibo.com/s/dlizJyfesb05y
- 11. Shi, H. and Shi, Y. (2015) A Hierarchical Ring Group-Theoretic Model for Interconnection Networks. http://vdisk.weibo.com/s/dlizJyfeBX-2J
- 12. 师海忠, 常立婷, 赵媛, 张欣, 王海锋. 2r-正则图连通圈网络的Hamilton分解[J]. 计算机科学, 2016, 43(11A), 304-307 + 319.
- 13. Sebastian, M.P., Nagendra Rao, P.S. and Jenkins, L. (1998) Properties and Performance of the Folded Cube-Connected Cycles. Journal of Systems Architecture, No. 44, 359-374.
- 14. Hsu, L.-H., Ho, T.-Y., Ho, Y.-H. and Tsay, C.-W. (2014) Cycles in Cube-Connected Cycles Graphs. Discrete Applied Mathematics, No. 167, 163-171.
- 15. Chen, X.-B. (2009) Some Results on Topological Properties of Folded Hypercubes. Information Processing Letters, No. 109, 395-399.
- 16. 师海忠, 常立婷. 推广立方连通圈网络的Hamilton分解的算法[J]. 计算机科学与应用, 2016, 6(9): 573-582.
- 17. 师海忠, 赵媛. 推广折叠立方体连通圈网络的Hamilton分解的算法[J]. 计算机应用研究, 2017.