1. 引言
随着超大规模集成电路工艺的发展,集成巨量处理器(可达216)的大规模处理器成为了未来的主要发展趋势。为了提高并行计算系统的效率,科学界一直在寻找结构简单、延展性好、节点度小的互联网络拓扑结构。而超立方体由于其特殊的拓扑结构,例如它的对称性、强容错性、正则性等性质,使得它成为了最为重要和应用最广泛的并行计算机互联网络拓扑结构。
在实际应用和理论研究方面,超立方体在近年都得到了高度关注。基于超立方体的各种可扩展并行计算互联网络系统应运而生。文献 [1] 涉及了超立方体在业界的实际应用和专利申请。
近年来,更多的文献专注于挖掘超立方体的性质和结构,如文献 [2] ,从应用的角度综合探讨了超立方体中一对一、一对多的不相交路径存在问题。文献 [3] 后续讨论了一对多节点的不相交路径的相应算法,并给出了时间复杂度为的计算该路径的算法,其中n为该超立方体的维度,m为从同一点出发抵达的目标节点的数量。文献 [4] 、文献 [5] 讨论了多对多点不交路径存在问题,并进一步的多对多点不交路径的高效算法。讨论了连通度的概念以及其与多对多点不交路径上限之间的联系。
本文主要研究n维超立方体的最短路径问题,采用构造的方法证明了以下结论:中任意两点之间一定存在k条不交的长度为k的最短路径,其中k为此两点之间的 距离。此外,如果放宽最短路径的条件,对两点之间的 距离为k的点,长度最多为的不交路径存在至少n条。在文献 [6] 中,通过数学归纳法证明了中任意两点(Hamming距离为k)之间一定存在k条不交的长度为k的最短路径。本文简化了上述证明,并在此基础上,通过放宽最短路径的条件至次短路径,扩充了该结论,从而构造出了至少n条点不交的最短路径。该结论在并行计算机互联网络拓扑结构中有大量可能的应用,并可以作为实际应用的理论基础。文献 [7] 中,针对并行计算系统的另一应用广泛的结构递归循环网络,给出了一点对多点的最短和次短的点不交路构造,与本文研究的问题有一定的相似性,也具有广泛的应用价值。
不仅对于次长路径,超立方体上最长路径的可能最大值也得到了学界的关注和研究。在文献 [8] 中,对于两节点之间路径的最长距离进行了分情况的讨论,并在两种条件下减小了最长距离的最大值。
在文献 [9] 中,针对分层超立方体互联网络,其中两节点之间的点不交路得到了研究。不仅给出了点不交路最大数量的构造,同时也给出了这些路的长度最大值。
从另一方面,在超立方体上给定k对互不相同的节点,如何寻找它们之间的k条点不交路并覆盖超立方体中每一个节点,在文献 [10] 中得到了充分的研究。
2. 预备知识
本文中所有出现的无向图均为简单无向图,即无自环、无平行边的无向图。
以下为超立方体互联网络的定义。
定义1.1对于简单无向图,分别表示的顶点集和边集。称作n维超立方体互联网络当且仅当:
1) 的节点数量为,边的数量为。
2) 对任意的顶点,可以用维的二进制序列来表示。即。
3) 对于任意两顶点,其间有边当且仅当它们的二进制编码串只相差一位。
图1为1维和2维超立方体互联网络。
对于超立方体互联网络,若,且任意两点之间互不相同,,那么称为中的一条路。记为。如果和之间有k条不同路径,且对其中任意的两条路径,除了起点和终点之外,其中任意两节点不相同,那么称和之间有k条点不交的路径。图2给出了超立方体互联网络中点之间的两条点不交路径(虚线)。
以下为Hamming距离的定义。需要注意的是,在信息论中,两个等长字符串之间的Hamming距离是两个字符串对应位置的不同字符的个数。而对于超立方体互联网络来说,需要计算的字符串都是二进
Figure 1. Hypercube
图1. 超立方体互联网络
Figure 2. Node disjoint path in Hypercube
图2. 超立方体互联网络中的点不交路径
制的。而对于二进制字符串来说,Hamming距离就是1的个数,因此有了以下定义。
定义1.2对于超立方体互联网络,分别表示的点集和边集。,,,那么之间的Hamming距离定义为。
我们知道,超立方体互联网络的连通度是n。的连通度条件构成了其满足性质的必要条件。这里性质指:在图中,如果给定k对互不相同的节点,那么这k对点之间一定存在k条路径,且这k条路径之间是点不交的。文献 [5] 中不仅阐述了超立方体互联网络的连通度与性质的关系,并给出了对任意的k对点之间给出点不交的k条路径的算法。此算法的时间复杂度为,给出路径的最大长度为。
3. 主要结论
首先根据超立方体互联网络的性质,我们可以得到如下定理:
定理2.1设且,则在中之间至多存在k条长度为k的点不交路径;且之间至多存在n条点不交路径。
证明:
考虑到长度为k的路径一定为之间的最短路径,因此路径一定是持续沿着减少两点之间Hamming距离的方向进行。而的邻接节点中符合条件的恰为k个,因此符合条件的点不交路径一定不会超过k条。
另一方面,中每个点的度均为n,因此两点之间至多存在n条点不交路径。□
接下来,我们给出文献 [6] 中结论的一种构造证明:
定理2.2设且,则在中之间存在k条长度为k的点不交路径。
记,此处我们只需要考虑的位置。因为,我们不妨假设。进一步我们可以假设而不影响命题的一般性。
因此原命题等价于在中与之间存在k条长度为k的点不交路径。由于,我们在下面的叙述中省略坐标的后位。
考虑以下k条路径:
即从起始,以从第i位开始依次由0变成1的方式行进,直至到达。显然均为长度为k的路径,只需证明他们除了之外不经过相同的顶点。若经过相同的顶点v,假设v的坐标中有t个1,根据构造容易知道在中经过的坐标中t个1的顶点显然不同。
因此,即为满足条件的k条长度为k的点不交路径。□
可以看出,定理2.2中的构造也达到了定理2.1中证明的之间长度为k的点不交路径的上限。此外,对于的两个节点,他们之间的次长路径长度为 (由于超立方体的结构特性汉明距离为k的两点之间不存在长度为的路径)。如果我们考虑超立方体中两点之间的次长路径,可以得到如下结论:
定理2.3设且,则在中之间至少存在条长度为的点不交路径。
记,此处我们只需要考虑的位置。因为,我们不妨假设。进一步我们可以假设,,而不影响命题的一般性(以下在坐标中用“|”来分隔第位)。
因此原命题等价于证明在中与之间存在条长度为的点不交路径。
考虑以下条路径:
即从起始,先将第位由0变成1,之后依次将前k位由0变成1,最后将第位由1还原成0到达。显然均为长度为的路径,且因为不同路径之间除了之外其他中间节点后位不相同,因此他们除了之外不经过相同的顶点。
因此,即为满足条件的条长度为的点不交路径。□
根据定理2.2和定理2.3的构造,我们容易得出如下推论:
推论2.1设且,则在中之间存在n条长度不超过的点不交路径。
类似于定理2.3,原命题等价于中与之间存在条长度为的点不交路径(在坐标中用“|”来分隔第位)。
考虑定理2.2和定理2.3的证明中构造的n条路径。显然均为长度不超过的路径,又因为经过的中间节点后位不相同,因此他们除了之外不经过相同的顶点。
因此,即为满足条件的n条长度不超过的点不交路径。□
4. 结语
本文研究了超立方体互联网络中两点之间点不交路径的性质。对于原有的关于两点之间点不交最短路径的结论,给出了更加简洁直接的构造证明。并且在此基础上,对于两点之间点不交的次短路径进行了讨论,并且进行了构造。最终证明超立方体互联网络中两点之间的点不交最短和次短路径数量最多可以达到超立方体可容纳的点不交路径的上限。该结论在并行计算机互联网络拓扑结构中有大量可能的应用,并可以作为实际应用的理论基础。
项目信息
山西省科学技术厅软科学项目(NO2016041038-5)。
参考文献