在超星上找到一个二阶的搜索程序

乌木

8！×3^7=88179840（＝3674160×24）应该是同一状态魔方经整体旋滚而得到24种模样都计入，哪怕一个复原态魔方也被看作有24种模样！不去“消同态”什么的，也是一种思路－－以魔方的周围环境为参照物。如果用魔方本身某一块为参照物，则魔方只能拧出7！×3^6=3674160个状态－－不少玩家采用这种思路。

[ 本帖最后由 乌木 于 2008-3-3 17:43 编辑 ]

乌木

请见：http://bbs.mf8-china.com/viewthr ... &extra=page%3D2 以及“非三阶魔方复原”区的别的二阶复原法帖子。

乌木

<P><IMG onmouseover="attachimginfo(this, 'attach_13282', 1);attachimg(this, 'mouseover')" onmouseout="attachimginfo(this, 'attach_13282', 0, event)" alt="" src="http://bbs.mf8-china.com/attachments/month_0803/20080303_f3f90abcc9a10bd46da3S7WEICXr4vD0.jpg" onload="attachimg(this, 'load')" border=0></P>
<P>上面这个180°算两步的结果，一步态有12个，显然不消例如U和D这两个同态。二步态114个，看来是12×11－18＝114，即有36对同态，消去了18个。不知它究竟什么同态要消，什么同态不消？</P>

乌木

<P>接着探讨。如果说它是同态不同向的不消，同态又同向的两个才消其中一个，那么下图表明0步态和1步态确实是1个和12个。</P>
<P> </P>
<P>&nbsp;</P>
<P>但是，二步态114个好像有点问题。在一步态基础上的二步态初步列出为：</P>
<P>UU,UU',UR,UR',UF,UF',UD,UD',UL,UL',UB,UB',</P>
<P>U'U,U'U',U'R,U'R',U'F,U'F',U'D,U'D',U'L,U'L',U'B,U'B',</P>
<P>RU,RU',RR,RR',RF,RF',RD,RD',RL,RL',RB,RB',</P>
<P>R'U,R'U',R'R,R'R',R'F,R'F',R'D,R'D',R'L,R'L',R'B,R'B',</P>
<P>…………………………………………………………</P>
<P>共12行，12×12＝144。其中UU',U'U,RR',R'R四态与0步态同态同向，消去没什么问题。每一行都有一个这种态，144－12＝132个。</P>
<P>其次，从下面画出的这四行看，每两行之间用蓝线连起来的两个态是同态同向的，要消一个。估计12行要消这种态6个，132－6＝126，而9楼表格的计算说二步态为114个，是否每一行还要消去一个红色下划线的态（和0步态同态不同向的态）？即是否要126－12＝114？如果是的，那么为何那么多的同态不同向的不消，而与0步态同态不同向的就要消呢？这不公平，0步态只是3674160个态之一，平等的嘛。或许我划红色下划线的不要消的，另有12个什么态要消，等我画完后再说。</P>
<P> </P>

[ 本帖最后由 乌木 于 2008-3-10 23:54 编辑 ]

乌木

你说的“除去UD’与D’U这样的12个同态”就是上图中与0步态同态不同向的态，如果除去，的确为114个了。我的问题是，上图中那么多的同态不同向的一副副对子不消，偏偏把0步态的不同向者消去，它那统计的准则是怎么考虑的呢？

乌木

<P>噢，就是说图中那红色下划线的消不消问题，要么画完全了可看明白。要么可以分析，UD， DU 等等同态同向的12副对子要消一半，即消12个。这样，他计算时“同态不同向不消”的准则没错。再比如，UD'和D'U本身是同态同向的两个态，故消一个，倒不是因为和0步态是同态而被消。这样，就不必傻傻地画全的了！</P>
<P>&nbsp;</P>

[ 本帖最后由 乌木 于 2008-3-11 00:35 编辑 ]

乌木

<P>对，对。我老糊涂了。这么说，114个态中保留着0步态的同态－－比如UD和DU消余的一个态，只不过和0步态不同向。</P>
<P>&nbsp;</P>
<P>上面的图得修改一下：</P>
<P>&nbsp;</P>
<P> </P>
<P>&nbsp;</P>
<P>&nbsp;</P>

[ 本帖最后由 乌木 于 2008-3-11 15:15 编辑 ]