有关顶层一步法的问题

乌木

<P>先问问，50楼说“这个才是真正的UA”，下面的java演示说明那状态不能用UA复原顶层嘛？</P>
<P>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </P>
<P>&nbsp;</P>
<applet code="RubikPlayer.class" codebase=3 width="250" height="250">
  <param name="scrptLanguage" value="SupersetENG">
  <param name="scrpt" value="U ( B2 U' B R' B' U B2 L' B' R B L U) ">
  <param name="stickersFront" value="1,5,4,0,0,0,0,0,0">
  <param name="stickersRight" value="0,5,3,1,1,1,1,1,1">
  <param name="stickersBack" value="4,1,1,3,3,3,3,3,3">
  <param name="stickersLeft" value="3,4,0,4,4,4,4,4,4">
  <param name="stickersUp" value="5,5,5,5,5,0,5,3,5">
</applet>

earthengine

原帖由 <i>乌木</i> 于 2008-9-24 16:01 发表 <a href="http://bbs.mf8-china.com/redirect.php?goto=findpost&amp;pid=248686&amp;ptid=13774" target="_blank"><img src="http://bbs.mf8-china.com/images/common/back.gif" alt="" border="0"></a>
此外，任一态执行任何公式不可能得到非法态。复原态做前一个a＝L2 B' F U2 R' B F R2 D B F' D' U F' L' R' U'的话，并非得到非法态：
&nbsp;

  
  

<br>把这个a忘记吧。它对理解本题毫无帮助。afa能出来的态，即使查不到，其变形一定能查到。这个a根本就是错的。 <br>

乌木

<P>贴出51楼后才看到50楼补充的图，过一会让我好好学习学习。</P>
<P>&nbsp;</P>
<P>先贴出50楼第一小图的公式A＝B2U'BR'B'UB2L'B'RBLU，供各位参考。</P>
<P>&nbsp;</P>
<P>&nbsp;&nbsp;&nbsp; </P>
<P>&nbsp;</P>

[ 本帖最后由 乌木 于 2008-9-24 16:38 编辑 ]

乌木

<P>此外，任一态执行任何公式不可能得到非法态。复原态做前一个a＝L2 B' F U2 R' B F R2 D B F' D' U F' L' R' U'的话，并非得到非法态：</P>
<P>&nbsp;</P>
<applet code="RubikPlayer.class" codebase=3 width="250" height="250">
  <param name="scrptLanguage" value="SupersetENG">
  <param name="scrpt" value="L2 B' F U2 R' B F R2 D B F' D' U F' L' R' U'">
</applet>

earthengine

原帖由 <i>乌木</i> 于 2008-9-24 15:00 发表 <a href="http://bbs.mf8-china.com/redirect.php?goto=findpost&amp;pid=248634&amp;ptid=13774" target="_blank"><img src="http://bbs.mf8-china.com/images/common/back.gif" alt="" border="0"></a>
这事情我恐怕一时是弄不懂的，再说吧。反正，对一般人而言，恐怕“1211”式的多数是不容易应用的，我觉得还是它们的电脑应用意义大些。是不是？

<br>电脑就用不着这些公式了。它们的作用应该是一个数据库，当你需要一个公式的时候查出来。<br>你贴的图有问题。按照你的说法，其实我的aAa应该等价于你的A~才对。所以我引入这个a其实导致了越来越多的误解。<br><br>都怪我没有好好准备图。现在弄好了一个，你先看一看。<br>

[ 本帖最后由 earthengine 于 2008-9-24 19:05 编辑 ]

乌木

这事情我恐怕一时是弄不懂的，再说吧。反正，对一般人而言，恐怕“1211”式的多数是不容易应用的，我觉得还是它们的电脑应用意义大些。是不是？

乌木

呀！先给出的a＝L2 B' F U2 R' B F R2 D B F' D' U F' L' R' U' 不对的吗？你46楼说的对称动作，我在47楼左边“16图”中已经有了，怎么还要我用“正确的a”，用aAa' 再搞什么对称公式呢？不怕重复吗？
上面你对“32式”作32个逆式，我已经怀疑重复，现在的aAa不是又是重复吗？

乌木

<P>噢，原来这个公式a＝a'，（a＝L2 B' F U2 R' B F R2 D B F' D' U F' L' R' U'）。所以，afa就是afa'，即f 的共轭变换，只不过情况较特殊而已。</P>
<P>&nbsp;</P>
<P>趁现在可以上传图片，刚才的图片如下，左边就是公式A相关的“16式”，aAa的效果画在右边：</P>
<P> </P>
<P>&nbsp;</P>

[ 本帖最后由 乌木 于 2008-9-24 14:44 编辑 ]

earthengine

原帖由 <i>乌木</i> 于 2008-9-24 12:22 发表 <a href="http://bbs.mf8-china.com/redirect.php?goto=findpost&amp;pid=248510&amp;ptid=13774" target="_blank"><img src="http://bbs.mf8-china.com/images/common/back.gif" alt="" border="0"></a>
如果说，从一个“一步式”“稀释”出16个相关公式，人脑尚可承受的话，现在再来个“afa”，还要据“afa”继续稀释出另16个公式，未免令人生畏。看来，此等费力事交给电脑做应不在话下，或许，不如说顶层一步式是供电 ...

<br>其实，我用afa这样的说法只是为了将它转化为大家熟悉的共轭。下面是一些等式，你应该能看出来一些什么。<br><br>aUa=U'<br>aFa=F'<br>aLa=R'<br>aDa=D'<br>aBa=B'<br>aRa=L'<br><br>于是你可以把F按照以上映射规则映射一番，得到一个F'，它是把F的U换成U'，F换成F'等等之后得到的。这个公式就是afa，和原来的公式就是互为镜像的公式。<br><br>顺便说一下，我原先给出的a有误。它会导致得到一个完全不同的态。其实具体a是什么并不要紧，关键是a能满足以上等式。<br><br>补充：这个a作用于复原态应该是六面回字的图案且每个面的心块是其余块对面的颜色。但是这样的状态并不是一个合法状态。因此这个a事实上是不存在的。不过，对一个合法状态执行afa，结果必定是合法的。<br>

[ 本帖最后由 earthengine 于 2008-9-24 13:29 编辑 ]

earthengine

原帖由 <i>乌木</i> 于 2008-9-24 12:00 发表 <a href="http://bbs.mf8-china.com/redirect.php?goto=findpost&amp;pid=248492&amp;ptid=13774" target="_blank"><img src="http://bbs.mf8-china.com/images/common/back.gif" alt="" border="0"></a>
噢，我见识不够，这种“afa”倒一直不知道。试试：（现在网站有问题，无法上传图片，先说说吧。）从复原态出发做aAa，A＝UFRUR'U'F'，得到的花样的确非凡！在与A有关的“16式”中没有此态！这样，利用“afa”应可画出 ...

<br>a本身是可逆的，因此aAa必然和A共轭。实际上，A的花样和afa的花样是互为镜像的! 你仔细观察。<br><br>此外，如果一个公式可逆，则它的“对称指数”至少为2，这时候最多只能有32式。因此，不会重复计算的。<br>