以下是引用ggglgq在6/24/2004 8:08:40 AM的发言:
十二、“广义循环变换”的定义及应用 定理一: 设对于只有 [偶] 广义循环变换魔方的最长变换的长度为 x ,
并设:a1 a2 a3 ...... a(x-1) ax 为其中任意一个长度为 x 的最少步变换,
设这个变换为 A ,
即:A = a1 a2 a3 ...... a(x-1) ax ,又设 d 为任一个步长为 1 的变换,
那么:对于这个最长变换 A 存在一个由 d 开始的长度为 x 的最少步变换 B ,
使得:A = B 。 证明:假设 (-d) 使 a1 a2 a3 ...... a(x-1) ax 左无效,则得到存在 i ,
使得 a1 a2 a3 ...... a(x-1) ax = ai a1 a2 a3 ...a(i-1) a(i+1)... a(x-1) ax
并且 d = ai ,此时设 B = d a1 a2 a3 ...a(i-1) a(i+1)... a(x-1) ax 即得结论。
假设 (-d) 使 a1 a2 a3 ...... a(x-1) ax 左有效,因魔方的最长变换的
长度为 x,因此对于变换 (-d) a1 a2 a3 ...... a(x-1) ax 必不是最少步变换,
假设它的一个最少步变换为 b1 b2 b3 ...... bn (n <= x),
则 (-d) a1 a2 a3 ...... a(x-1) ax (-(b1 b2 b3 ...... bn)) = 1 ,
a1 a2 a3 ...... a(x-1) ax (-(b1 b2 b3 ...... bn)) (-d) = 1 ,
设 B = d b1 b2 b3 ...... bn ,则 A = B 。
因 (-d) 使 a1 a2 a3 ...... a(x-1) ax 左有效,而 变换 B 又由 d 开始,
故 B 与 A 是不同的变换,且length(A)=x,length(B) <= x+1 = length(A) + 1 ,
又因 a1 a2 a3 ...... a(x-1) ax 为一个长度为 x 的最少步变换,
故 a1 a2 a3 ...... a(x-1) ax (-(b1 b2 b3 ...... bn)) (-d) 为广义循环变换,
又因该魔方为只有 [偶] 广义循环变换魔方,因此 n <= x - 1 。
(若 n = x ,则 a1 a2 a3 ...... a(x-1) ax (-(b1 b2 b3 ...... bn)) (-d)
构成 [奇] 广义循环变换,与只有 [偶] 广义循环变换的魔方 矛盾。)
因此 a1 a2 a3 ...... a(x-1) ax = d b1 b2 b3 ...... bn ,(n <= x - 1)
又因 a1 a2 a3 ...... a(x-1) ax 为其中一个长度为 x 的最少步变换,
所以 n = x - 1 且 d b1 b2 b3 ...... bn 为最少步变换。
(若 n < x - 1 ,则 length( d b1 b2 b3 ...... bn ) < 1 + ( x - 1 ) = x
即 length( d b1 b2 b3 ...... bn ) < x ,与 a1 a2 a3 ...... a(x-1) ax
为一个长度为 x 的最少步变换 矛盾。同样若 d b1 b2 b3 ...... bn 非最少步变换,
亦得矛盾。)
即得 B = d b1 b2 b3 ...... bn ( n = x - 1 ),且 A = B 。因 n = x - 1 ,
所以 d b1 b2 b3 ...... bn ( n = x - 1 )为一个长度为 x 的最少步变换。
又因变换 B 由 d 开始,故定理得证。
同理,再由“有效变换的定义”可证得:
定理二: 设对于只有 [偶] 广义循环变换魔方的最长变换的长度为 x ,
并设:a1 a2 a3 ...... a(x-1) ax 为其中任意一个长度为 x 的最少步变换,
设这个变换为 A ,
即:A = a1 a2 a3 ...... a(x-1) ax ,又设 d 为任一个步长为 1 的变换,
那么:对于这个最长变换 A 存在一个由 d 结束的长度为 x 的最少步变换 B ,
使得:A = B 。
[em17] 哈哈,原来如此!(差一点儿就被我盗版了)[em07] |