顶层一步法其实是3915个公式

robester

首先，对于这两个X型的PLL按照分类含义我也是当做90度同态，而不当做180度同态。也不能当做180度同态，因为我们要的是最简。

比如：上前左位和上后右位两个角块交换，上前位和上后位两个棱块交换，对于这个X型PLL。
即使转过90度，我还是认为是上前左位和上后右位两个角块交换，上前位和上后位两个棱块交换。（实际交换块换了，但是位置没变）
我不跟踪需要交换的块，我只要判断需要交换的位置变了没有就可以了，这里需要交换的位置没有变，所以还是90度同态。

其次，你给的两个表
第一个，状态数判断都是对的，但因为两个PLL的分类分错了，所以结果肯定不对
第二个呢，不但分类错误，而且状态判断也是错的。
数字一样的原因是
我的表的第二行，第三行，第四行，是可以调整位置的，你只是把我的第三行和第四行对调了一下位置而已，计算结果当然是一样了，但是在理解上不但分类错误，而且状态判断也是错的。

robester

这样吧，你画一个大表格
一共23行，59列
第一列，从上往下，画上22个PLL的具体状态
第一行，从左往右，画上58个OLL的具体状态
这样中间就空出来一个22*58=1276的大区域，这1276个数是4或者2或者1，你挨个算出这1276个状态数，然后加起来，就是3916了
当然全算太累不可能的，你按照我下面的方法挑一些典型例子，然后就能判断出什么地方填4，什么地方填2，什么地方填1了。
因为P分为三类，O分为三类，所以OP组合的情况一共有九类，你把这九类各挑一个例子，算一下是不是符合我下面的判断
不同态P和不同态O复合，是4
不同态P和180度同态O复合，是2
不同态P和90度同态O复合，是1
180度同态P和不同态O复合，是2
180度同态P和180度同态O复合，是2
180度同态P和90度同态O复合，是1
90度同态P和不同态O复合，是1
90度同态P和180度同态O复合，是1
90度同态P和90度同态O复合，是1

robester

分析你的这个图标重复6个的原因

左边一列是经你穷举法简化后的8个棱OLL，可是最后为什么又出现需要简化的情况呢
我用红框框出来3个简化的地方，可以看出是三个竖条，也就是同态都发生在同一列中，当然原因直指列首的角OLL
第一个竖条，本来左边的邻棱反是4个状态，可是因为列首的角OLL是180度同态，所以是2个状态。53和54
第二个竖条，本来左边的邻棱反是4个状态，可是因为列首的角OLL是90度同态，所以是1个状态，28
第三个竖条，本来左边的对棱反是2个状态，可是因为列首的角OLL是90度同态，所以是1个状态，57

robester

“对称性差的态（旋转时不同态多）遇到对称性高的态（旋转时不同态少）时，复合后的态的多少要听后者的，前者的态再多也白搭。”


是的。从那九条可以看出。

robester

算58时角OLL和棱OLL互不影响
算3916时OLL和PLL互不影响
而算22时，角位置和棱位置是有影响的，所以不太好算
我明天试试看

robester

对这个图，我很同意，这个表格分析的很清晰也很全面。

角有24态（分为AB两类），棱有24态（分为AB两类），AA组合和BB组合是合法的，一共288态，AB组合和BA组合是非法的。

但上面这个图只是描述起来方便，计算起来并不方便，你需要挨个算出这288态，然后去掉大量的重复的得到22。
其实完全可以定住角的位置，把角的状态定住为邻角换，对角换，角完成态这三个最简状态，然后这3个角状态和12个棱状态（邻角换对角换只能和A类棱复合，角完成态只能和B类棱复合）复合，一共是36种情况，里面肯定重复了14个（原因暂时不详，容我想想），最后剩下22个。这个工作量就小多了。

可以定住角的原因是：
既然棱块无论怎么转顶层都跑不出那24个状态的范围，那么我为什么不在判断之前转一下顶层把角块的状态简化成最简的3个情况呢

[ 本帖最后由 robester 于 2010-3-30 00:55 编辑 ]

robester

我是专业的围棋爱好者，棋臭瘾大的那种

好像你是围棋教师？厉害不

[ 本帖最后由 robester 于 2010-3-31 20:04 编辑 ]

robester

我弈城小五，TOM好久没去了，好像TOM比弈城段位要硬的。
我速拧跟你差不多。