二阶魔方状态集已发现哈密顿圈

铯_猪哥恐鸣

先解释一下什么叫哈密顿圈，对于魔方，它意思就是，找一个很长的公式，沿着这个公式一步一步转动，可以不重复的转到所有二阶的状态。
对于二阶魔方，它的长度为3674160步（对应二阶魔方的总状态数为3674160）。
最终生成的3674160步是用递归的方式定义的。
最后贴上英文原文。

Hamiltonian circuit for the entire 2x2x2 cube group
I have found a Hamiltonian circuit for the entire 2x2x2 cube group (3674160 elements).

I note that my solution was developed independently from the solution for the  subgroup posted by cubemir.

For compactness, I use variables to define sub-sequences of moves.
The following conventions are used.
Upper case letters are used for the basic quarter-turn moves of the 2x2x2 puzzle.
· U represents turning the top face a quarter-turn clockwise.
· V represents turning the top face a quarter-turn counterclockwise (conventionally denoted U').
· R represents turning the right face a quarter-turn clockwise.
· S represents turning the right face a quarter-turn counterclockwise (conventionally denoted R')
· F represents turning the front face a quarter-turn clockwise (used in Appendix B).
· G represents turning the front face a quarter-turn counterclockwise clockwise (conventionally denoted F').

Variables denoted with lower case letters represent sequences of multiple moves.
Many of them are defined in terms of other lower case variables.
So recursive expansion is requred to get a plain sequence of individual moves.
If a letter is followed by an apostrophe, then the inverse of the indicated sequence is to be used.
This means that the order of the moves and direction of the moves must be reversed.
A line with a letter and an equal sign starts the definition for a maneuver.
The definition may extend over several lines until there is a line where another definition is started.
The variable z is used to represent the entire Hamiltonian circuit.

b=URURUR
a=bURUR
i=bbUR
c=VRiiVR
n=VRa
d=nn
e=ncUR
f=URcaVR
g=ncabVR
h=nbcaVR
j=ccaVR
k=bbVR
l=ncc
m=nUR
o=VRUR
r=adcURefknbhaodcURfccncabdodcURjabVRdccfcgdccfccVRicaURdnVRdljURURejaocdc
cfcglccadVRddURciVRcjURcecmcURcadVRdgaboURnbeccad
s=nbgaVRdblinVReckdbcanbVRmcURmcidoUR
t=URURnUUaURdVRihkhcecncabdVRdcURfURURhaVRdlfabnbVRdeckcfVRigkURdURcfccaUR
dVRdejhhejaoURdcURURefaVRegkglURcadVRddURciVRchejaoliVRVRigmcidVRnbeUReU
RcadVRdcabVRhURefaVRdhcjURgmefURmciddUUaURdVRicknbefaodcURjabnodlinboURe
URnbcadVRdgciVRcgncgcaURdVRddURURckURjURceURncabdVRccdcURfURURlURVRicaUR
dnVRdmccVRijaVRhcVRijaVRnbefaodURURglfaVReckdcURfabVRmhidnUUaURdeefknbha
odcURfccncabdodcURjabVRdccfcgdccfccVRicaURdnVRdljURURejaocdccfcglccadVRd
dURciVRcjURcecmcURcadVRdgaboURnbeccadVRnbgaVRdblinVReckdbcanbVRmcURmcidd
UUaURdVRihkhcecncabdVRdcURfURURhaVRdlfabnbVRdeckcfVRigkURdURcfccaURdVRde
jhhejaoURdcURURefaVRegkglURcadVRddURciVRchejaoliVRVRigmcidVRnbeUReURcadV
RdcabVRhURefaVRdhcjURgmefURmciddUUaURdVRicknbefaodcURjabnodlinboUReURnbc
adVRdgciVRcgncgcaURdVRddURURckURjURceURncabdVRccdcURfURURlURVRicaURdnVRd
mccVRijaVRhcVRijaVRnbefaodURURglfaVReckdcURfabVRmhidnUUaURdeefknbhaodcUR
fccncabdodcURjabVRdccfcgdccfccVRicaURdnVRdljURURejaocdccfcglccadVRddURci
VRcjURcecmcURcadVRdgaboURnbeccadVRnbgaVRdblinVReckdbcanbVRmcURmciddUUaUR
dVRihkhcecncabdVRdcURfURURhaVRdlfabnbVRdeckcfVRigkURdURcfccaURdVRdejhhej
aoURdcURURefaVRegkglURcadVRddURciVRchejaoliVRVRigmcidVRnbeUReURcadVRdcab
VRhURefaVRdhcjURgmefURmciddUUaURdVRicknbefaodcURjabnodlinboUReURnbcadVRd
gciVRcgncgcaURdVRddURURckURjURceURncabdVRccdcURfURURlURVRicaURdnVRdmc
w=cVRijaVRhcVRijaVRnbefaodURURglfaVReckdcURfabVRmhidnU
u=krVRsURtwF
v=uuuuuuuuaVRrVRsURtwUUG
p=FVw't'SVs'RRRUr'SUSVb'SFRbURVRrVSSSsURtwUG
q=GVw't'SVs'SUr'SUa'SFVVw't'SVs'SUr'SUa'FRrVRsUSSStwUaG
x=krVRsURtcVRijaVRhcVRijaVRnbefaodURURglfaVRnVRUpbURUpbURUpbockdcURfabVRVR
kaboURUpbURUpbURUpURdURURdnUFkrVRsURtVRUpaabVRVRijaVRhcVRicnaUpbdVRnbefa
odURURgnoURUpbURUpbURUpURVRcfaVReckVpaVRUpbURcURURcURUpbnbVRVRkabnbURUpb
URdURURdnUFaVRrVRsURtVRUpaabVRVRijaVRhcVRijaVRnbeURoUpaidodURURglfaVRenb
URUqbURVRknVRUpbURnabURVpURfabVRVRkURUpUpbUpUpcUpURUpUpURVRbUpbVRbURUpVR
UpbURoUpbUUUG
z=vvvvvvuuuuuux

原文链接：http://www.speedsolving.com/foru ... re-2x2x2-cube-group

[ 本帖最后由 铯_猪哥恐鸣 于 2011-12-27 10:47 编辑 ]

黑白子

铯_猪哥恐鸣 发表于 2013-7-18 17:55
1楼那个是构造性的证明。。某人还真构造出了这么个大圆环。。

能否把1楼的那个构造性证明译成中文？

展翅飞翔

2阶超级公式？我收藏

铯_猪哥恐鸣

黑白子 发表于 2013-7-17 16:21
楼主翻译的资料里说有一个很长的公式可以不重复的经过二阶的所有状态（这个数字是3674160）。既然如此，一 ...

1楼那个是构造性的证明。。某人还真构造出了这么个大圆环。。

黑白子

魔方幻 发表于 2013-7-17 14:59
说实话真的没有看懂.....但感觉好高级

楼主翻译的资料里说有一个很长的公式可以不重复的经过二阶的所有状态（这个数字是3674160）。既然如此，一定可以把二阶的所有状态按照顺时针或逆时针的次序排列在一个圆上。至于真的有没有这样一个公式，没有人去验证过，楼主也没有翻译这方面的资料。我的理解如果有误，还请楼主解释！

魔方幻

说实话真的没有看懂.....但感觉好高级

黑白子

就是说，二阶的所有状态可以构成一个圆排列。

樊榕钫

高端洋气....没看懂.....

m16

厉害啊。。。。

い木子汐╰

哇塞！居然有这种超级公示