魔方吧·中文魔方俱乐部

 找回密码
 注册
搜索
热搜: 魔方
查看: 5574|回复: 31

向大烟头等人解释什么是48同态 [复制链接]

Rank: 7Rank: 7Rank: 7

积分
3923
帖子
2556
精华
6
UID
15558
性别
保密
WCA ID
2008CHEN27
兴趣爱好
理论

魔方理论探索者 国家(地区)纪录(NR) 十年元老

发表于 2011-7-13 11:58:56 |显示全部楼层
我感觉,大烟头,乌木,忍大师对24同态应该已经比较认可。
对48同态的不认可也主要是因为对“镜像状态”的不认可。下面我争取一个帖子解释一下什么是镜像状态。

镜像状态我的定义:

对于状态A,任取达到状态A的一个公式G。
取G的镜像公式G' (比如如果G=FRUR’U‘F’,则G‘=F’L‘U’LUF)
则 G' 所对应的魔方状态 A’ 即为状态A的镜像状态。
注:这个定义只是为了方便大家理解,更准确的定义我会贴在本文最下面。

从上面定义可以看出:
1) 镜像状态不是魔方在镜子中的状态,而是针对镜像公式而言的。
2) 镜像状态是通过公式G'转动得到的,所以镜像状态都是合法状态,而不是不可能达到的状态。

问题一:镜像状态是否唯一?
答:由于上面定义中镜像状态是通过转动定义的,而对于一个状态A,存在无穷多个公式G,那么是不是每一个G‘都对应同一个A’呢,还是对于某个状态会产生无穷多个A‘?
这个问题在我的定义下确实证明起来比较麻烦,但结论是肯定的。即对于一个状态A,对于它的任意一个公式G,G’均对应同一个状态。

问题二:镜像状态能否与转动序列无关?
上面的定义中,镜像状态是定义在转动序列之上的,但是对于给定的一个状态,如果不知道它的转动序列,或者能否不通过求它的转动序列而直接得到它的镜像状态呢?
答:答案是肯定的。使用转动序列来定义镜像状态只是为了方便理解,实际上求一个状态的镜像状态确实是与转动序列无关的(甚至连装错的状态也可以定义镜像状态)。


附:CubeExplorer的帮助文档中对48同态的定义(其中,S_LR2就对应与镜像状态):
For each cube there are up to 48 equivalent cubes, because the cube has 48 symmetries including reflections. In Cube Explorer, these 48 symmetries are generated by four "basic" symmetries:
S_URF3, a 120 degree turn of the cube around an axis through the URF-corner and DBL-corner,
S_F2, a 180 degree turn of the cube around an axis through the F-center and B-center,
S_U4, a 90 degree turn of the cube around an axis through the U-center and the D-center
S_LR2, a reflection at the RL-slice plane.
These basic symmetries are permutations of the corners and permutations of the edges and are described in cubedefs.htm.
Any of the 48 symmetries is uniquely generated by the product
(S_URF3)x1 * (S_F2)x2 * (S_U4)x3 * (S_LR2)x4
with x1 from 0..2, x2 from 0..1, x3 from 0..3 and x4 from 0..1. This tuple (x1,x2,x3,x4) is mapped to a natural number from 0..47 by
16*x1 + 8*x2 + 2*x3 + x4
In this way each of the symmetries has an associated index from 0..47. With S(i) we denote the symmetry which belongs to the index i.
Two cubes with the permutations A and B are equivalent if and only if there is an i with
S(i)-1*A*S(i) = B
All cubes which are equivalent, belong to the same equivalence class.
In Cube Explorer the S(i) are implemented in the arrays CornSym and EdgeSym in the unit symmetries.pas
魔方爱好者,三字班小朋友。

Rank: 3Rank: 3

积分
729
帖子
650
精华
0
UID
1290595
性别
居住地
平凉市
兴趣爱好
其它

两年元老

发表于 2011-7-13 12:07:32 |显示全部楼层
镜像懂了 ,  48同态正在学习 ,楼主的定义很高深哈  坐沙发上研究各位的理论吧.....
          Ps:不慎灌水..... 灌水有罪  ,被扣分了          重新发帖

[ 本帖最后由 Caro 于 2011-7-14 11:49 编辑 ]
已有 1 人评分经验 收起 理由
yeees -1 我是 扣打酱油分的 的

总评分: 经验 -1   查看全部评分

使用道具 举报

Rank: 4

积分
1204
帖子
611
精华
0
UID
5403
性别
发表于 2011-7-13 12:09:10 |显示全部楼层
我们前面在讨论循环变换,跟48同态是什么关系?

使用道具 举报

Rank: 4

积分
1204
帖子
611
精华
0
UID
5403
性别
发表于 2011-7-13 12:11:46 |显示全部楼层
根据你的定义F=U,F‘=U’,始态都是复原状态,用你的说法,难到F与F‘是相似变换?如果是,请你将F‘表述为XFX‘

[ 本帖最后由 smok 于 2011-7-13 12:13 编辑 ]

使用道具 举报

Rank: 7Rank: 7Rank: 7

积分
3923
帖子
2556
精华
6
UID
15558
性别
保密
WCA ID
2008CHEN27
兴趣爱好
理论

魔方理论探索者 国家(地区)纪录(NR) 十年元老

发表于 2011-7-13 12:12:13 |显示全部楼层

回复 3# 的帖子

大烟头在回帖中提出了疑问。为了区别与循环变换,所以我新开了帖子解释。
魔方爱好者,三字班小朋友。

使用道具 举报

Rank: 7Rank: 7Rank: 7

积分
3923
帖子
2556
精华
6
UID
15558
性别
保密
WCA ID
2008CHEN27
兴趣爱好
理论

魔方理论探索者 国家(地区)纪录(NR) 十年元老

发表于 2011-7-13 12:13:29 |显示全部楼层

回复 4# 的帖子

能否给出相似变换的精确定义,我好解释。
如果只是帖子中的说法的话,那么:
S_LR2-1 U S_LR2 = U'
S_LR2的定义请看CubeExplorer的帮助文档。

回楼下,为什么要有关?我这里只是解释一下什么是48同态。关于循环变换的讨论在原帖中进行即可。

[ 本帖最后由 铯_猪哥恐鸣 于 2011-7-13 12:16 编辑 ]
魔方爱好者,三字班小朋友。

使用道具 举报

Rank: 4

积分
1204
帖子
611
精华
0
UID
5403
性别
发表于 2011-7-13 12:15:16 |显示全部楼层
你是说,你在此的讨论与循环变换无关?

使用道具 举报

Rank: 4

积分
1204
帖子
611
精华
0
UID
5403
性别
发表于 2011-7-13 12:16:41 |显示全部楼层
你还是直接表述成相似变换的终极方式:XFX‘

使用道具 举报

Rank: 7Rank: 7Rank: 7

积分
3923
帖子
2556
精华
6
UID
15558
性别
保密
WCA ID
2008CHEN27
兴趣爱好
理论

魔方理论探索者 国家(地区)纪录(NR) 十年元老

发表于 2011-7-13 12:17:54 |显示全部楼层
楼上。。请给出相似变换的严格定义。
另外S A S-1 和S-1 A S有很大的区别?
魔方爱好者,三字班小朋友。

使用道具 举报

世界纪录嘉宾

不玩4阶的高阶帝

Rank: 9Rank: 9Rank: 9

积分
5019
帖子
3265
精华
2
UID
1251425
兴趣爱好
速度

四年元老 亚洲纪录(AsR) 国家(地区)纪录(NR) 世界纪录(WR)

发表于 2011-7-13 12:18:49 |显示全部楼层
一开始以为是什么东西呢。。。
菜的抠脚杭州魔方协会qq群:79511322

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

Archiver|手机版|魔方吧·中文魔方俱乐部

GMT+8, 2024-3-29 21:06

Powered by Discuz! X2

© 2001-2011 Comsenz Inc.

回顶部