一些笔记自己备忘,魔方最少步数的起点:Thistlethwaite‘s algorithm算法的引理。
前置:1.w:是一个映射,(但是不满足同态性质),类型是:H→C2^(12),w(g)第i个分量wi表示:在第i位置的原坐标下,按逆时针计算的方向数为Fi,这个棱块x,经过某{F,B,L,R,U,D}某复合一个操作后,到达了第j位置在新的第j位置的坐标下,按逆时针计算的方向数Fj,则这两个数之间的关系是:(Fi+wi)再mod3,就等于Fj。也就是Fi+wi=Fj(mod2环境下)换句话说wi是一