魔方吧·中文魔方俱乐部

标题: 魔方公式系统－由 庄周蝴蝶 提供 [打印本页]
作者: cube_master    时间: 2004-5-14 00:36:12     标题: 魔方公式系统－由 庄周蝴蝶 提供

魔方公式系统
由 庄周蝴蝶 供稿

1.魔方公式系统的基本概念

　注：以下理论皆以 square one 魔方为例进行说明，其大部分理论可适合于大部分魔方。蓝色字体为概念定义、推论等。

　块：组成魔方的各个部分，只对魔方表现部分而言，不针对魔方内部结构。

　形态：魔方所能转出来的各种形状。

　块位置：在某种形态下，某个块所在的位置。

　同一形态：若有两个形态，外部形状一样，每一个块位置相同的块虽然颜色不一样，但是块形状一样，则称这两个形态为同一形态。

　步骤单位：转动一次魔方，使魔方达到某一种形态的操作称为一个步骤单位。

　公式：魔方公式是由一系列步骤单位组成，转动开始前的魔方形态必须是特定的，转动开始前的魔方形态和转动完成后的魔方形态是同一形态。(特定的含义是这一系列步骤单位只针对这一种形态，对其他形态无效)

　公式步长：公式包含的步骤单位个数。

　基础公式：如果公式从任何一个步骤单位处断开形成的系列步骤，均不能符合公式的定义，则称该公式为基础公式。即基础公式是不能细化的。

　组合公式：根据已有的公式进行排列叠加形成的公式。很显然，组合公式不是基础公式。

　变换：经过公式转动后，魔方形态没发生变化，但是块位置上的块会发生变化，我们称这种变化叫变换。

　变换体系：某种块经过变换所能到达的所有块位置，组成了一个变换体系。在这里一个变换体系中的块一定是相同形状的。例如：3阶魔方和 square one 有 3 个体系：角体系、边体系和中心块(中层)体系,体系与体系之间的块是不能够经过变换到达的。

　魔方公式系统：对某种魔方进行块位置定义，变换体系定义、步骤单位定义、基本公式定义，然后根据基本公式定义发现、挖掘出组合公式定义等一系列以将魔方颜色复原为目的的一套公式系统。

[此贴子已经被作者于5/13/2004 1:37:15 PM编辑过]

作者: cube_master    时间: 2004-5-14 00:37:55

2.魔方公式系统的假设（以 square one 为例）

　魔方的放置定义：

　　垂直轴放在前面的左侧。

　变换体系定义：

　　square one 共 3 个体系：角体系 - Corner, 边体系 - Edge, 中层体系 - 定义略(中层比较简单，所以以后都不考虑)

　块位置定义：

　　魔方放置好后，如图，遵循顺时针的原则定义角体系的块位置 c1 - c8,边体系的块位置 e1 - e8

　步骤单位定义：

　　步骤单位定义就是定义如何描述对魔方的转动。这里沿用 ie0.0 的翻译文章。　

　　字母 t 与 b 后会用数字来表示顶面或底面旋转的角度，其中 1 个单位代表30度。因此，t1 就表示顺时针旋转顶面 30 度，t-1 则表示反时针旋转顶面30度。同样地，b3 表示顺时针旋转底面90度（3 个 30 度），b-2 表示旋转底面60度（2 个 30 度）。（这里说的顺时针或反时针是以面对着特定面为准的，即顶面的时针方向是以面对顶面为准的，即底面的时针方向是以面对底面为准的）。

　　比如公式 (t1 R t3 R t-1)

[此贴子已经被作者于2005-5-31 10:25:56编辑过]

作者: cube_master    时间: 2004-5-14 00:38:20

3.变换、变换元素和变换集合、公式变换集合

　前面我们说到，变换：经过公式转动后，魔方形态没发生变化，但是块位置上的块会发生变化，我们称这种变化叫变换。那么如何表达一个变换？经过一个公式后，一个块位置上的块要么发生变化要么不变，如果发生变化，那么因为魔方的块个数是有限的，所以必定构成一个变化循环，比如 c1 位置上的块变化到 c3 位置，c3 位置上的块变化到 c7 位置，c7 位置上的块变化到 c1 位置。我们称这样一个变化循环为变换元素。

　设有n个块位置上的块发生变化，且构成一个变化循环，那么设Bn为第n个块位置，我们用　

　B1 > B2 > ... Bn 来表达一个变换元素，特殊地 n=1 时,变换元素为 bn

　比如 c1 > c3 > c7, e4 > e5, e8 都是变换元素

　变换元素的长度：变换元素包含的块位置的个数。

　变换集合：即由变换元素形成的的集合。比如 {c1>c3>c7,c4>c5,c2,c6,c8}

　公式变换集合：即魔方经过公式变化后，所有块位置变化的变换元素形成的集合。称为该公式的变换集合，这个集合是确定的，即公式只要确定了，那么其变换集合也就确定了。比如 square on e的公式(t1 R t3 R t-1)的变换集合一定为

　例如：c1 > c7 > c8 和 c7 > c8 > c1 等价，e2 > e4 > e6 和 e2 > e4 > e7 不等价，e2 > e4 > e6 和 e2 > e6 > e4 不等价。

　互逆：设有两个变换元素 A 和 B，变换元素的长度和包含的块位置个体都是一样的，只是变换不一样。设变换元素长度为 n，

　其中 A = B1 > B2 > B3 > ... Bn, B = B1 > Bn > Bn-1 > ... B3 > B2，即 B 按着 A 的反方向发生变换，则称变换元素 A 和 B 互逆。

　例如： c1 > c7 > c8 和 c1 > c8 > c7 互逆, e3 > e4 自互逆，e6 自互逆，e2 > e5 > e7 和 e2 > e7 > e4 不是互逆关系。

作者: cube_master    时间: 2004-5-14 00:38:55

4.建立基础公式表

　有了以上的知识，我们就可以建立基础公式表了。先是建立基础公式，然后根据基础公式去发现组合公式。square one最基础的公式我们用T0(m,n) 来表示，其中 m 为顶层顺时针旋转的单位角度(一个单位角度为 30 度)，,n 为底层顺时针旋转的单位角度，m 和 n 必须至少有一个为 0，得到下表。

　square one 的 T0(m,n) 公式表：

T0(m,n) = tm bn(m,n = 0,3,6,9,且 m 和 n 必须至少有一个为 0)
公式描述
角变换集合
边变换集合
T0 (0,0)
T0 (3,0)c1 > c2 > c3 > c4e1 > e2 > e3 > e4
T0 (6,0)c1 > c 3 c2 > c4e1 > e3 e2 > e4
T0 (9,0)c1 > c4 > c3 > c2e1 > e4 > e3 > e2
T0 (0,3)c5 > c8 > c7 > c6e5 > e8 > e7 > e6
T0 (0,6)c5 > c7 c6 > c8e5 > e7 e6 > e8
T0 (0,9)c5 > c6 > c7 > c8e5 > e6 > e7 > e8
作者: cube_master    时间: 2004-5-14 00:39:33

5.square one 的 T1 和 T2 公式表

　这也是基础公式表，因为从任何一个步骤单位断开将不能形成公式。

　square one 的 T1(m,n) 公式表:

T1(m,n) = t1 R tm bn R t-1 (m,n = 0,3,6,9)
公式描述
角变换集合
边变换集合
T1(0,0)
T1(3,0)c1 > c2 > c8 > c7e1 > e2 > e5 > e8
T1(6,0)c1 > c8 c2 > c7e1 > e5 e2 > e8
T1(9,0)c1 > c7 > c8 > c2e1 > e8 > e5 > e2
T1(0,3)c3 > c4 > c6 > c5e3 > e4 > e7 > e6
T1(3,3)c1 > c2 > c8 > c7 c3 > c4 > c6 > c5e1 > e2 > e5 > e8 e3 > e4 > e7 > e6
T1(6,3)c1 > c8 c2 > c7 c3 > c4 > c6 > c5e1 > e5 e2 > e8 e3 > e4 > e7 > e6
T1(9,3)c1 > c7 > c8 > c2 c3 > c4 > c6 > c5e1 > e8 > e5 > e2 e3 > e4 > e7 > e6
T1(0,6)c3 > c6 c4 > c5e3 > e7 e4 > e6
T1(3,6)c1 > c2 > c8 > c7 c3 > c6 c4 > c5e1 > e2 > e5 > e8 e3 > e7 e4 > e6
T1(6,6)c1 > c8 c2 > c7 c3 > c6 c4 > c5e1 > e5 e2 > e8 e3 > e7 e4 > e6
T1(9,6)c1 > c7 > c8 > c2 c3 > c6 c4 > c5e1 > e8 > e5 > e2 e3 > e7 e4 > e6
T1(0,9)c3 > c5 > c6 > c4e3 > e6 > e7 > e4
T1(3,9)c1 > c2 > c8 > c7 c3 > c5 > c6 > c4e1 > e2 > e5 > e8 e3 > e6 > e7 > e4
T1(6,9)c1 > c8 c2 > c7 c3 > c5 > c6 > c4e1 > e5 e2 > e8 e3 > e6 > e7 > e4
T1(9,9)c1 > c7 > c8 > c2 c3 > c5 > c6 > c4e1 > e8 > e5 > e2 e3 > e6 > e7 > e4

square one 的 T2(m,n) 公式表：

T2(m,n) = t1 R tm bn t-1 b-1 R b1 (m,n = 0,3,6,9)
公式描述
角变换集合
边变换集合
T2(0,0) e1 > e7 e3 > e5
T2(3,0)c1 > c2 > c8 > c7e1 > e2 > e3 > e5 > e8 > e7
T2(6,0)c1 > c8 c2 > c71 > e3 > e5 > e7 e2 > e8
T2(9,0)c1 > c7 > c8 > c2e1 > e8 > e3 > e5 > e2 > e7
T2(0,3)c3 > c4 > c6 > c5e1 > e7 > e6 > e5 > e3 > e4
T2(3,3)c1 > c2 > c8 > c7 c3 > c4 > c6 > c5e1 > e2 > e3 > e4 e5 > e8 > e7 > e6
T2(6,3)c1 > c8 c2 > c7 c3 > c4 > c6 > c5e1 > e3 > e4 e2 > e8 e5 > e7 > e6
T2(9,3)c1 > c7 > c8 > c2 c3 > c4 > c6 > c5e1 > e8 > e3 > e4 e2 > e7 > e6 > e5
T2(0,6)c3 > c6 c4 > c5e1 > e7 > e5 > e3 e4 > e6
T2(3,6)c1 > c2 > c8 > c7 c3 > c6 c4 > c5e1 > e2 > e3 e4 > e6 e5 > e8 > e7
T2(6,6)c1 > c8 c2 > c7 c3 > c6 c4 > c5e1 > e3 e2 > e8 e4 > e6 e5 > e7
T2(9,6)c1 > c7 > c8 > c2 c3 > c6 c4 > c5e1 > e8 > e3 e2 > e7 > e5 e4 > e6
T2(0,9)c3 > c5 > c6 > c4e1 > e7 > e4 > e5 > e3 > e6
T2(3,9)c1 > c2 > c8 > c7 c3 > c5 > c6 > c4e1 > e2 > e3 > e6 e4 > e5 > e8 > e7
T2(6,9)c1 > c8 c2 > c7 c3 > c5 > c6 > c4e1 > e3 > e6 e2 > e8 e4 > e5 > e7
T2(9,9)c1 > c7 > c8 > c2 c3 > c5 > c6 > c4e1 > e8 > e3 > e6 e2 > e7 > e4 > e5
作者: cube_master    时间: 2004-5-14 00:40:06

7.变换集合表

　制定好一批公式后，我们可以对公式的变换集合进行编号。编号是为了更好地对魔方进行组合公式的研究。

　下表是 square one 的公式 T0,T1,T2 的角变换集合表。编号原则为 C=xx，所有角变换等价的公式将罗列在一起。

T0,T1,T2 的角变换集合表
编号
角变换集合
角变换集合相同的公式
C=01 T0(0,0) T1(0,0) T2(0,0)
C=02c1 > c2 > c3 > c4T0(3,0)
C=03c1 > c3 c2 > c4T0(6,0)
C=04c1 > c4 > c3 > c2T0(9,0)
C=05c5 > c8 > c7 > c6T0(0,3)
C=06c5 > c7 c6 > c8T0(0,6)
C=07c5 > c6 > c7 > c8T0(0,9)
C=08c1 > c2 > c8 > c7T1(3,0) T2(3,0)
C=09c1 > c8 c2 > c7T1(6,0) T2(6,0)
C=10c1 > c7 > c8 > c2T1(9,0) T2(9,0)
C=11c3 > c4 > c6 > c5T1(0,3) T2(0,3)
C=12c1 > c2 > c8 > c7 c3 > c4 > c6 > c5T1(3,3) T2(3,3)
C=13c1 > c8 c2 > c7 c3 > c4 > c6 > c5T1(6,3) T2(6,3)
C=14c1 > c7 > c8 > c2 c3 > c4 > c6 > c5T1(9,3) 2(9,3)
C=15c3 > c6 c4 > c5T1(0,6) T2(0,6)
C=16c1 > c2 > c8 > c7 c3 > c6 c4 > c5T1(3,6) T2(3,6)
C=17c1 > c8 c2 > c7 c3 > c6 c4 > c5T1(6,6) T2(6,6)
C=18c1 > c7 > c8 > c2 c3 > c6 c4 > c5T1(9,6) T2(9,6)
C=19c3 > c5 > c6 > c4T1(0,9) T2(0,9)
C=20c1 > c2 > c8 > c7 c3 > c5 > c6 > c4T1(3,9) T2(3,9)
C=21c1 > c8 c2 > c7 c3 > c5 > c6 > c4T1(6,9) T2(6,9)
C=22c1 > c7 > c8 > c2 c3 > c5 > c6 > c4T1(9,9) T2(9,9)

下表是 square one 的公式 T0,T1,T2 的边变换集合表。编号原则为 E=xx，所有边变换等价的公式将罗列在一起。

T0,T1,T2 的边变换集合表
编号
边变换集合
边变换集合相同的公式
E=01 T0(0,0),T1(0,0)
E=02e1 > e2 > e3 > e4T0(3,0)
E=03e1 > e3 e2 > e4T0(6,0)
E=04e1 > e4 > e3 > e2T0(9,0)
E=05e5 > e8 > e7 > e6T0(0,3)
E=06e5 > e7 e6 > e8T0(0,6)
E=07e5 > e6 > e7 > e8T0(0,9)
E=08e1 > e2 > e5 > e8T1(3,0)
E=09e1 > e5 e2 > e8T1(6,0)
E=10e1 > e8 > e5 > e2T1(9,0)
E=11e3 > e4 > e7 > e6T1(0,3)
E=12e1 > e2 > e5 > e8 e3 > e4 > e7 > e6T1(3,3)
E=13e1 > e5 e2 > e8 e3 > e4 > e7 > e6T1(6,3)
E=14e1 > e8 > e5 > e2 e3 > e4 > e7 > e6T1(9,3)
E=15e3 > e7 e4 > e6T1(0,6)
E=16e1 > e2 > e5 > e8 e3 > e7 e4 > e6T1(3,6)
E=17e1 > e5 e2 > e8 e3 > e7 e4 > e6T1(6,6)
E=18e1 > e8 > e5 > e2 e3 > e7 e4 > e6T1(9,6)
E=19e3 > e6 > e7 > e4T1(0,9)
E=20e1 > e2 > e5 > e8 e3 > e6 > e7 > e4T1(3,9)
E=21e1 > e5 e2 > e8 e3 > e6 > e7 > e4T1(6,9)
E=22e1 > e8 > e5 > e2 e3 > e6 > e7 > e4T1(9,9)
E=23e1 > e7 e3 > e5T2(0,0)
E=24e1 > e2 > e3 > e5 > e8 > e7T2(3,0)
E=25e1 > e3 > e5 > e7 e2 > e8T2(6,0)
E=26e1 > e8 > e3 > e5 > e2 > e7T2(9,0)
E=27e1 > e7 > e6 > e5 > e3 > e4T2(0,3)
E=28e1 > e2 > e3 > e4 e5 > e8 > e7 > e6T2(3,3)
E=29e1 > e3 > e4 e2 > e8 e5 > e7 > e6T2(6,3)
E=30e1 > e8 > e3 > e4 e2 > e7 > e6 > e5T2(9,3)
E=31e1 > e7 > e5 > e3 e4 > e6T2(0,6)
E=32e1 > e2 > e3 e4 > e6 e5 > e8 > e7T2(3,6)
E=33e1 > e3 e2 > e8 e4 > e6 e5 > e7T2(6,6)
E=34e1 > e8 > e3 e2 > e7 > e5 e4 > e6T2(9,6)
E=35e1 > e7 > e4 > e5 > e3 > e6T2(0,9)
E=36e1 > e2 > e3 > e6 e4 > e5 > e8 > e7T2(3,9)
E=37e1 > e3 > e6 e2 > e8 e4 > e5 > e7T2(6,9)
E=38e1 > e8 > e3 > e6 e2 > e7 > e4 > e5T2(9,9)
作者: cube_master    时间: 2004-5-14 00:40:32

8.互逆变换集合对应表

　根据交换集合表，可以把互逆的变换集合罗列出来。

　下表是 square one 的公式 T0,T1,T2 的互逆角变换集合对应表。编号原则为 C^xx。

T0,T1,T2 的互逆角变换集合对应表
编号
互逆的角变换集合
C^01C=01
C^02C=02,C=04
C^03C=03
C^04C=05,C=07
C^05C=06
C^06C=08,C=10
C^07C=09
C^08C=11,C=19
C^09C=12,C=22
C^10C=13,C=21
C^11C=14,C=20
C^12C=15
C^13C=16,C=18
C^14C=17

　下表是 square one 的公式 T0,T1,T2 的互逆边变换集合对应表。编号原则为 E^xx。

T0,T1,T2 的互逆边变换集合对应表
编号
互逆的边变换集合
E^01E=01
E^02E=02,E=04
E^03E=03
E^04E=05,E=07
E^08E=06
E^11E=08,E=10
E^12E=09
E^13E=11,E=19
E^14E=12,E=22
E^15E=13,E=21
E^16E=14,E=20
E^17E=15
E^18E=16,E=18
E^19E=17
E^20E=23
E^21E=33
作者: cube_master    时间: 2004-5-14 00:41:10

9.square one 的 T3 公式表

http://mf8.nease.net/cube/mfsystem.htm

[此贴子已经被作者于2005-5-31 10:23:39编辑过]

作者: ggglgq    时间: 2005-5-31 10:15:19


请“庄周蝴蝶”先生继续依据不同的魔方完善您的公式系统。谢谢！
作者: lingb01    时间: 2006-12-18 20:50:58

都是些深奥的知识
作者: tjhdd-a123    时间: 2007-2-20 12:42:34

我看不懂啊？
作者: 乌木    时间: 2007-2-20 16:57:25

好像看此文要集中思想而且进入状态。如果您只是要复原普通的Square-1魔方的话，不妨看看这一帖：http://bbs.mf8-china.com/viewthread.php?tid=3326&extra=page%3D1

[ 本帖最后由 乌木 于 2009-1-23 11:13 编辑 ]
作者: 风竹仔∝    时间: 2008-2-6 12:45:54

晕晕！！！
作者: deyuan410692132    时间: 2008-3-2 17:04:19

太难懂了
作者: 魔个    时间: 2008-5-9 21:58:30

一头雾水，晕
作者: lily748    时间: 2008-5-10 16:31:03

谢谢分享，值得学习。
作者: 韩宝贝    时间: 2008-5-21 15:41:18

<P>看来不太适合我们这些菜鸟</P>
<P>&nbsp;</P>
作者: tiger101    时间: 2008-7-21 16:00:30

没看懂耶......
作者: 乌木    时间: 2008-8-13 12:02:48

1楼说 “公式：魔方公式是由一系列步骤单位组成，转动开始前的魔方形态必须是特定的，转动开始前的魔方形态和转动完成后的魔方形态是同一形态。”

不一定吧？SQ－1的形状复原的公式追求的就是改变（上下两片的）形状嘛！

[ 本帖最后由 乌木 于 2009-1-23 11:16 编辑 ]
作者: 乌木    时间: 2008-8-13 15:15:39

2楼说“R 表示沿着垂直轴旋转右侧魔方 180 度 ”，有语病－－转轴垂直的话，如何转右侧魔方？应该说（左右）水平轴。顶层和底层的旋转才是绕着“垂直轴”转的嘛！这“垂直轴”是用轨道结构代替的。
作者: 乌木    时间: 2008-8-13 15:15:59

2楼说“R 表示沿着垂直轴旋转右侧魔方 180 度 ”，有语病－－转轴垂直的话，如何转右侧魔方？应该说（左右）水平轴。顶层和底层的旋转才是绕着“垂直轴”转的嘛！不过，这“垂直轴”是用轨道结构代替的。

      
       照片借用“三叶虫”的。

[ 本帖最后由 乌木 于 2009-1-23 11:11 编辑 ]
作者: 乌木    时间: 2008-8-13 15:29:06

2楼的插图失效了，没有此图，通篇白搭，务请作者补上为要。

[ 本帖最后由 乌木 于 2009-1-23 11:12 编辑 ]
作者: 乌木    时间: 2008-8-13 23:56:00

3楼说： “公式变换集合：即魔方经过公式变化后，所有块位置变化的变换元素形成的集合。称为该公式的变换集合，这个集合是确定的，即公式只要确定了，那么其变换集合也就确定了。比如 square on e的公式(t1 R t3 R t-1)的变换集合一定为
例如：c1 > c7 > c8 和 c7 > c8 > c1 等价，e2 > e4 > e6 和 e2 > e4 > e7 不等价，e2 > e4 > e6 和 e2 > e6 > e4 不等价。”

其中，好像在“一定为”之后漏了具体的集合。似乎应为｛c1>c2>c8>c7, c3, c4, c5, c6,  e1>e2>e5>e8, e3, e4, e6, e7 ｝。

在 “例如：c1 > c7 > c8 和 c7 > c8 > c1 等价……” 之前是否漏了可能是关于等价不等价的小标题？

文中用的“>”仅表示块的走向，并非数学上的“大于”号。

[ 本帖最后由 乌木 于 2009-1-23 11:08 编辑 ]
作者: 汕头=老沙    时间: 2008-8-14 00:05:44

这个么＃要慢慢消化学习＃
作者: wangziju    时间: 2008-8-14 16:50:09

可以 我非常喜欢 顶``````````````````````````
作者: mazhimage    时间: 2008-8-20 10:47:59

没看完 就见了周公了
作者: 魔鱼儿    时间: 2008-8-20 10:52:32

楼主这些专业知识会把人看晕的
作者: gooday0516    时间: 2008-11-16 14:49:11

心里看了发麻额。。。。
作者: 乌木    时间: 2008-11-17 15:35:31

建议此帖移动到sq－1区。
作者: lqqvfp    时间: 2008-12-25 21:20:24

都是些深奥的知识
谢谢！
作者: 撕裂阴阳    时间: 2008-12-30 18:00:58

深奥。。。看不懂。。
作者: refan    时间: 2009-1-23 06:47:59

看来我应该学了SQ－1之后才有看懂的可能吧。
在我被弄晕之前，还是先闪人吧！
假以时日，我一定能把它弄懂的！
作者: R'cube    时间: 2009-1-23 15:01:44

支持理论了~~~~~~~~~~~~~
作者: juventus66    时间: 2009-2-12 13:13:57

都是些深奥的知识
作者: 2rabbits    时间: 2009-8-20 20:40:28

好深奥啊...............
作者: Fenz    时间: 2011-6-18 17:47:43

具体的公式呢？
？？
作者: 传奇品质    时间: 2012-6-17 22:37:20

过于强大，一时半会心没静看不明白
作者: mrxhys    时间: 2013-6-17 09:44:49

好东西，留着慢慢看啊。。。。
作者: mokona    时间: 2013-8-3 16:35:09

感谢楼主！
作者: yeah    时间: 2016-10-1 22:23:13

支持老大！！！！！
作者: 杨曦421    时间: 2018-7-28 22:41:00

很历害，楼主是真的很历害，如果可以建立起一个理论体系那就好了
作者: zhang2345    时间: 2018-12-21 13:05:24

表示什么都没看懂，要说个啥？
作者: zhang2345    时间: 2018-12-29 08:59:06

太深奥了，看不懂。



欢迎光临 魔方吧·中文魔方俱乐部 (http://bbs.mf8-china.com/) Powered by Discuz! X2