首页 > 代码库 > 超级立方体小记

超级立方体小记

<script type="text/javascript" src="http://pagead2.googlesyndication.com/pagead/js/adsbygoogle.js"></script> <script type="text/javascript">// </script>
<script type="text/javascript" src="http://pagead2.googlesyndication.com/pagead/js/adsbygoogle.js"></script> <script type="text/javascript">// </script>

 

在多指令流多数据流MIMD里面有用到基于超立方体互联的网络结构,

用《图论导引》里面简单的描述,就是处理器能通信,当且仅当他们的邻接(k元祖代表了处理器的地址)


一个 k 维立方体(或者超立方体Qk)是一种简单图,每个顶点{0,1}标记的k元祖来表示。

相邻的顶点之间的 k 元祖只有一个位置上数字不同,Qk 的生成立方体 Qj 和 Qj 本身同构。


这是Q3的表示:



仔细观察会发现,Qk图里面的每条边链接的两个顶点的k元祖里的1的个数一端是奇数,另一端为偶数,

因此包含奇数个数 1 的点可以当做一个集合,偶数的也可以,所以 Qk 为二分图。

显而易见 Qk 有 2^k个顶点,每个顶点度为 k ,那么 Qk 里面会有 k* (2^k) / 2 条边。


 

Qk 里面有多少个 Qj 呢?

那么到底什么是( 1,1,0,0,1,0,.............,1 ) 呢?

想想也就是 k 维世界的坐标,那么隔绝掉一维或者几个维度,剩下的就是那个世界里的空间变化情况。

可以这样想,k 维度空间的世界里面固定 j 维,假设在这样 j 维的世界里面只生产拥有 j 个维度的事物,

也就是元祖里面还剩下 k - j 个元素没有被固定,每个 j 维世界都有 2^( k - j ) 个事物( Qj ),

那么 Qk 里面就一共有 C( k,j ) * 2^( k - j ) 个 Qj。


这是一个Q4图,Q4可以看做由一个Q3沿着某个维度移动一定距离,

然后将点对链接在一起得到的。里面有8 == C(4,3) * 2^1 个Q3(绿)。






应用:

1.E-立方体路由算法

比如给定立方体中的起始点 s 和终止点 d,问从 s 到 d 的最短路径


步骤:

1.计算方向位,r[i] = s[i-1] xor d[i-1],其中i = 1,,,n

令 i = 1, v = s

2.若r[i] == 1,则从当前节点寻找下一节点 v xor 2^(i-1)

若r[i] == 0,跳过

3.i = i + 1,若 i <= n, 转2,否则退出


假设这里 s = 0110,d = 1101

step1.计算方位,r = s xor d = 1011

step2.因为 r[1] == 1,v = 0110 xor 0001 = 0111, i = 1

step3.因为 r[2] == 1,v = 0111 xor 0010 = 0101, i = 2

step4.因为 r[3] == 0,跳过 v = 0101, i = 3

step5.因为 r[4] == 1,v = 0101 xor 1000 = 1101 = d, i = 4, end

路径为 0110 -> 0111 -> 0101 -> 1101