- 最后登录
- 2023-8-16
- 在线时间
- 3007 小时
- 阅读权限
- 100
- 注册时间
- 2007-12-3
- 积分
- 3923
- 帖子
- 2556
- 精华
- 6
- UID
- 15558
- 性别
- 保密
- WCA ID
- 2008CHEN27
- 兴趣爱好
- 理论
  
- 积分
- 3923
- 帖子
- 2556
- 精华
- 6
- UID
- 15558
- 性别
- 保密
- WCA ID
- 2008CHEN27
- 兴趣爱好
- 理论
|
本帖最后由 铯_猪哥恐鸣 于 2015-3-10 21:33 编辑
pengw 发表于 2015-3-10 21:14 
如果,你的计算原理真如25楼说的那样,疑点就会非常多. 你能可否解释一下stage1-stage3,我的理解是,四阶三个簇你分别对应三阶的三个簇,你用四阶的三个簇的最远状态之和加上三阶的最远状态,就是你说的四阶最远状态?
我的证明方法和你25楼所述的显然并不一样,我并没有对每个簇分开进行处理,而是采用了类似降群法的思路。但由于降阶阶段的状态用生成群表示很困难,所以我尝试用生成群之间的乘法来表述。我的证明方法简言之可以总结如下。
首先定义四组集合:
S0: <U, R, F, D, L, B, Uw, Rw, Fw, Dw, Lw, Bw>
S1: <U, R, F, D, L, B, Uw Dw', Rw Lw', Fw Bw'> * <U, R, F, D, L, B, Uw2, Rw, Fw2, Dw2, Lw, Bw2>
S2: <U, R, F, D, L, B, Uw Dw', Rw Lw', Fw Bw'> * <U, R2, F, D, L2, B, Uw2, Rw2, Fw2, Dw2, Lw2, Bw2>
S3: <U, R, F, D, L, B, Uw Dw', Rw Lw', Fw Bw'>
其中“<>”表示生成群,“*”表示集合乘法。于是,S0包含了四阶所有可能性,S3即为在四阶上仅打乱外层或整体转动能够达到的所有可能性(即降阶完成的状态)。
Stage1证明S0中的任何一个状态可以在8步以内转化成S1中的某个状态。
Stage2证明S1中的任何一个状态可以在13步以内转化成S2中的某个状态。
Stage3证明S2中的任何一个状态可以在16步以内转化成S3中的某个状态。
然后根据三阶上帝之数为20,S3中任何一个状态可以在20步内还原。
从而四阶所有状态都可以在不超过8+13+16+20=57步内还原。
最后,我再次强调我并没有将三个簇分开处理,而是通过上述“降群”的方式一步步联合处理了它们。 |
|