魔方还原3次降群法的理论基础：
6.降群法：逐步掉入更小的子群，掉入不同生成集生成的子群（换句话说，就是掉入一个新的状态集合，这个新的状态集合只需生成集中元素就能复合得到）。
7.1 G = <L,R,F,B,U,D>
7.G1 = <L^2,R^2,F,B,U,D> 具有性质：
1.不改变任何棱块的方向。
8.关于G1的命题1:∀g∈ G,
g∈G1
↔
wi(g)=0 , ∀i , 1<=i<=12
证明：
（换句话说：右推左其实也就是说，棱块方向都没变的状态，可以通过G1的生成集来生成。）
左推右：
{
对g的操作长度作归纳：
1.首先g的长度为1验证：只需要验证G1（ <L^2,R^2,F,B,U,D>）中的6个生成元，都满足。
2.假设对于任意长度为k的时候成立，也就是：wi(X_1X_2...X_k) = 0 , ∀i , 1<=i<=12
3.验证长度为k+1的时候，也就是g=X_1X_2...X_kX_(k+1) , 需要验证：wi(X_1X_2...X_kX_(k+1)) = 0 , ∀i , 1<=i<=12
4.由于之前的类同态定理，我们已知w(X_1X_2...X_kX_(k+1)) = w(X_1X_2...X_k) + σ(X_1X_2...X_k)^(-1)·w(X_(k+1))
5.因此需要验证的目标，变成新的目标：wi(X_1X_2...X_k) + [σ(X_1X_2...X_k)^(-1)·w(X_(k+1))]_i , ∀i , 1<=i<=12
= [σ(X_1X_2...X_k)^(-1)·w(X_(k+1))]_i , ∀i , 1<=i<=12 因为假设3，X_1X_2...X_kX_(k+1)的所有分量都是0，换句话说就是wi(X_1X_2...X_k) = 0
= 0 , ∀i , 1<=i<=12 因为w(X_(k+1))的每个分量都是0，不管怎么重新排列，还是全零。
}
右推左：
{
0.已知wi(g)=0 , ∀i , 1<=i<=12，换句话说，棱块的方向数全部为0。
0.1 g∈G,也就是g是可还原魔方群的一个元素。（换句话说，可以使用魔方第二基本定理）
1.由于目标是要推出g∈G1,换句话说，换成新的目标：就是g状态可以通过G1中的元素复合得到e。
2.给出不改变全体位置的前提，只单纯还原全体角块的方向数的操作步骤：
1.关键公式：h1 = (D' L L D B' R R B)^2 ,效果：4号方向数+1，6号方向数+2
（下面应该不止用到h1,还会用到一些包含h1的交换子公式）
2.(涉及U,h1)先依次还原这些角块的方向数为0:1号块，2号块，3号块。故意留一个4号块。
3.(涉及D,h1)先依次还原这些角块的方向数为0:5号块，8号块，7号块。故意留一个6号块。
4.最后执行若干次h1,使得4号方向数变成0后。此时只剩一个2号块方向数不一定还原为0。
5.此时对目前状态进行分析，因为目前状态依然∈ G,可以使用魔方第二基本定理的第3条件，角块方向数求和mod 3为0
因为2号块以外方向数都为0，因此这个2号块方向数也只能满足mod 3为0，因此也是0。
3.给出不改变全体方向数的前提，只单纯还原全体位置的操作步骤：
1.关键公式：h2:R R U' F B' R R F' B U' R R: 效果：棱块3位置轮换：(1,2,3)
2.关键公式：h3:D F' D B B D' F D B B D' L L (D' L L D B' R R B)^2 L L D':效果：角块3位置轮换：（5,4,8）
3.关键公式：h4:(U' R R)^4 U' (D' F' D B B D' F D B B)^2 (D' L L D B' R R B)^4：
效果：角块2位置轮换：1↔7
+ 棱块2位置轮换：2↔10
4.借用魔方第二基本定理的右推左中的讨论（换句话，这里偷懒不写），必然得到任意棱块3循环，角块3循环。
因此能生成所有的({A8},{A12},id,id)状态。
5.由于目前状态∈ G,所以满足魔方第二基本定理中的第一条，角块排列和棱块排列的奇偶性只可能是奇X奇 or 偶X偶。
6.类似于魔方第二基本定理的右推左中的讨论，奇X奇可以通过执行一次h4，化归为偶X偶的情况，也就是({A8},{A12},id,id)中的一种状态。
7.因此能被全体3循环生成。
}
9.G2 = <L^2,R^2,F^2,B^2,U,D> 具有性质：
1.不改变任何棱块的方向。
2.不改变任何角块的方向。
3.而且保持（上下）中层的棱块（5，6，7，8）保持在（上下）中层的四个位置（5，6，7，8）上（也可以称作轨道）。
10.关于G2的命题2:∀g∈ G1,
g∈ G2
↔
{
1. vi(g)=0 , ∀i , 1<=i<=8
2. σ(g)作用到 {5,6,7,8}这4个棱块后，这4个棱块仍然全都在位置{5,6,7,8}上，
换句话说，这4个棱块经过g变换后保持在（上下）中层里。
}
证明：
左推右：
{
对g的操作元素数量l作归纳：
1.首先对l=1时验证v：只需要验证G2的6个生成元都符合。
验证保持轨道{5,6,7,8}：只需要验证G2的6个生成元都符合。
2.然后假设任意l=k时成立，也就是：
vi(X_1X_2...X_k)=0 , ∀i , 1<=i<=8
还有，
σ(X_1X_2...X_k)这个排列的结果使得保持轨道{5,6,7,8}
3.现在验证l=k+1的情况，g=X_1X_2...X_kX_(k+1) ，也就是目标：
1.目标：vi(X_1X_2...X_kX_(k+1))=0 , ∀i , 1<=i<=8
证明：由于类同态定理，v(X_1X_2...X_kX_(k+1)) := v(X_1X_2...X_k) + ρ(X_1X_2...X_k)^(-1)·v(X_(k+1))
由于假设，我们已知：v(X_1X_2...X_k) = (0,...,0) (8个项)
所以 vi(X_1X_2...X_kX_(k+1)) = [ρ(X_1X_2...X_k)^(-1)·v(X_(k+1))]_i , ∀i , 1<=i<=8
= 0 由于v(X_(k+1))的分量每一项都是0，如何重新排列还是全零。
2.目标：σ(X_1X_2...X_kX_(k+1))使得保持轨道{5,6,7,8}
证明：由于假设，已知：σ(X_1X_2...X_k)这个排列的结果使得保持轨道{5,6,7,8}
由于我们知道X_1X_2...X_kX_(k+1)的排列效果，相当于，↔ 先作用X_1X_2...X_k的排列效果，然后再作用一次X_(k+1)，其实就是σ的“同态”性质。
所以我们得到σ(X_1X_2...X_kX_(k+1)) = σ(X_1X_2...X_k) · σ(X_(k+1))
因为两次效果都保持轨道{5,6,7,8}，因此合并效果σ(X_1X_2...X_kX_(k+1)) 也保持轨道{5,6,7,8}。
}
右推左：
{
0.已知g∈ G1, 目标是证明g∈ G2,换句话说，可以换个目标：只用G2中的复合操作，使得g还原成状态e。
1.由假设知vi(g)=0 , ∀i , 1<=i<=8
2.由假设知已知 σ(g)作用到 {5,6,7,8}这4个棱块后，这4个棱块仍然全都在位置{5,6,7,8}上，
换句话说，这4个棱块经过g变换后保持在（上下）中层里。
3.由g∈ G1，上一个命题的充要条件知：wi(g)=0 , ∀i , 1<=i<=12
4.现在给出还原成状态e的具体步骤，采取棱块和角块分别还原互不干涉的思路，分类讨论：
0.由于全体块的方向数都已经还原成0，所以只需要分类讨论棱块和角块的位置还原：
{
这里不做具体步骤，只做大概的步骤分析：
1.首先全体块被分成了3个轨道：
1.棱块{5,6,7,8} ； 2.棱块除了{5,6,7,8}以外的块 ； 3.全体角块
2.要想还原棱块和角块的位置，只需要找到3个轨道分别的一个3循环操作。
具体如下:
{
h5:(R R F F U U)^4 (R R F F)^3 U U (R R F F)^3 U U : {5,6,7,8}的3循环：(5,6,7)
h6:(U U F F L L)^4 (U U F F)^3 L L (U U F F)^3 L L: 棱块除了{5,6,7,8}以外的块的3循环：(1,3,9)
h8:R R U L L U' R R U L L U':全体角块的3循环： (7,2,8)
}
3.这些3循环可以通过交换子引理变换成任意的3循环。
4.还原步骤就是让3个轨道用这些3循环公式，最后分别留下2个没有还原的。也就是6个块没有还原位置。
5.然后其实还需要2个轨道之间的同时2循环公式即可，因为轨道之间的同时作用使得其中1个轨道已经还原位置，
作用2次后，最后只剩下一个轨道的2个块不确定是否已经还原位置，这时候用魔方第二基本定理的条件(1)可以肯定，
这两个剩下的块一定会被动的还原了，不需要再操作。
具体如下:
{
h7:(R R U U)^3 :棱{5,6,7,8} 与 棱{1,2,3,4,9,10,11,12}轨道的同时2循环：1↔3, 6↔7
h9:(U' R R)^4 U U D R R U L L U' R R U L L D' ：棱{1,2,3,4,9,10,11,12}轨道 与 全体角块 的同时2循环：角1↔4, 棱2↔10
h10:(U' R R)^4 U U D R R U L L U' R R U L L D' R R U D' (U U F F L L)^4 (U U F F)^3 L L (U U F F)^3 L L D U' R R (U U F F)^3
：棱{5,6,7,8}轨道 与 全体角块 的同时2循环
等价操作：L' L' U B' B' U' U' R' R' U' R' R' U F' F' D L R F' F' U' U' L' R U'
:角1↔4, 棱5↔6
}
}
}
11.1. G = <L,R,F,B,U,D> → G1 = <L^2,R^2,F,B,U,D> → G2 = <L^2,R^2,F^2,B^2,U,D> → G3 = <L^2,R^2,F^2,B^2,U^2,D^2>
11.G3 = <L^2,R^2,F^2,B^2,U^2,D^2> 具有性质：
1.不改变任何棱块的方向。
2.不改变任何角块的方向。
3.棱块保持轨道: {5,6,7,8}。
4.棱块保持轨道：{1,3,9,11},{2,4,10,12}。
5.角块保持轨道：{1,3,6,8},{2,4,5,7}。
6*.一个否命题：不会产生角块位置的三轮换，具体来说就是{1,3,6,8},{2,4,5,7}这两个角块的轨道中，不包含三轮换。
12.关于G3的命题3:∀g∈ G2,
g∈ G3
↔
{
1.棱块有2个轨道：{1,3,9,11},{2,4,10,12}，当然也有{5,6,7,8}
2.角块有3个轨道：{1,3,6,8},{2,4,5,7}
(3错误的？.{1,3,6,8},{2,4,5,7}这两个角块的轨道中，不包含三轮换。
换句话说，g的效果不能产生这些轨道内的3循环。
换句话说，g不是单纯的棱块3循环（不变全体块的方向数，不变角块的位置）)
3.与这个白色面心块颜色不一样的角块的个数,记为Count,Count是偶数。这里先特指白色面中，和白色不一样的角块的（白色的）个数Count，Count是偶数个。
}
证明：
关键公式：
{
h11:(R^2F^2)^3 :两个轨道的棱块2循环 :1↔9, 2↔10
h14:(L^2U^2)^3 :即（L L U U L L U U L L U U）：两个轨道的棱块2循环 :5↔8, 1↔3
h17:L L B B F F R R D' L L B B F F R R U: 两个轨道的棱块2循环 :1↔3, 2↔4
h18:L L B B F F R R D L L B B F F R R U:两个轨道的角块2循环 :1↔3, 2↔4
--
h12:(R^2F^2)^3(R^2B^2)^3 :一个轨道的棱块2循环（可变式成另一个轨道） :1↔9, 3↔11
h15:F^2U^2D^2B^2U^2D^2:即F F U U D D B B U U D D：一个轨道的棱块2循环：5→6,7↔8
--
h13:(R^2F^2U^2)^4(R^2F^2)^3U^2(R^2F^2)^3U^2 : R R F F U U R R F F U U R R F F U U R R F F U U R R F F R R F F R R F F U U R R F F R R F F R R F F U U :
一个棱块轨道的3循环：(5,6,7)
h16:F^2L'RU^2LR' :（即F F L' R U U L R'）：一个棱块轨道的3循环：(1,9,3)
}
左推右：{
0.由于g∈ G2, 所以已知：
1. vi(g)=0 , ∀i , 1<=i<=8
2. σ(g)作用到 {5,6,7,8}这4个棱块后，这4个棱块仍然全都在位置{5,6,7,8}上，
换句话说，这4个棱块经过g变换后保持在（上下）中层里。
1.首先证明棱块保持轨道{1,3,9,11}：只需要验证G3生成元6个都符合就行。
2.证明棱块保持轨道{2,4,10,12}：只需要验证G3生成元6个都符合就行。
3.证明角块保持轨道{1,3,6,8}：只需要验证G3生成元6个都符合就行。
4.证明角块保持轨道{2,4,5,7}：只需要验证G3生成元6个都符合就行。
5.小引理：G3使得任意一个面，与这个面心块颜色不一样的角块的个数,记为Count,Count是偶数。
这里先特指白色面中，和白色不一样的角块的（白色的）个数Count，Count是偶数个。
证明：
1.定义c:c(g)是8项的向量，每一项只能取0或1，每一项代表角块i在新坐标下U或D面的颜色数增加量（结果要mod 2），0代表白色，1代表黄色。可以记为c(g)=(c1(g),c2(g),...,c8(g))
2.小引理：c(gh) = c(g) + ρ(g)c(h)
证明：类似类同态定理的证明过程。
3.对g的长度做归纳：
0.对于g= X_1X_2...X_kX_(k+1)
1.对于g长度为1的情况：只需要检查6个G3中生成元即可。
2.假设：对于k成立，也就是已知：∑(上4，下i=1)ci(X_1X_2...X_k) = 0 (mod 2)，（而且也知道反面：∑(上8，下i=5)ci(X_1X_2...X_k) = 0 (mod 2)）
3.现在检查k+1的情况：∑(上4，下i=1)ci(X_1X_2...X_kX_(k+1))
4.由于小引理2，可知c(X_1X_2...X_kX_(k+1)) = c(X_1X_2...X_k) + ρ(X_1X_2...X_k)c(X_(k+1))
5.所以3中的检查目标，可以化归为：∑(上4，下i=1)[ci(X_1X_2...X_k) + (ρ(X_1X_2...X_k)c(X_(k+1)))_i]
= 0 + ∑(上4，下i=1)(ρ(X_1X_2...X_k)c(X_(k+1)))_i (mod 2) 因为代入k的假设
= 0 （mod 2）为什么呢？
为什么∑(上4，下i=1)(ρ(X_1X_2...X_k)c(X_(k+1)))_i = 0 (mod 2)？
证明：
c
L2: XXXXXXXX
R2: XXXXXXXX
F2: XXXXXXXX
B2: XXXXXXXX
U2: XXXXXXXX
D2: XXXXXXXX
--
对g的长度做归纳：
1.g的长度为1时：很容易验证U面依然保持偶数个黄色。
2.假设对于任意长度为m时成立，也就是：∑(上4，下i=1)(ρ(X_1X_2...X_m)c(X_(k+1)))_i = 0 (mod 2)
3.验证对于m+1的情况：
设g=X_1X_2...X_mX_(m+1)
∑(上4，下i=1)(ρ(X_1X_2...X_mX_(m+1))c(X_(k+1)))_i
=∑(上4，下i=1) (ρ(X_(m+1))ρ(X_1X_2...X_m)c(X_(k+1)))_i 由于ρ的定义，先作用前m个，再作用1个。效果等同于直接作用“前m个和最后一个的复合”。
对ρ(X_1X_2...X_m)作用后的状态作分类讨论，mod 2为0只有0,2,4：
{
1.U面有4个黄色：再进行G3中操作X_(m+1)进行位置重排ρ(X_(m+1))，容易一个个验证，一定保持“U面偶数个黄色”的性质。
2.U面有0个黄色：再进行G3中操作X_(m+1)进行位置重排ρ(X_(m+1))，容易一个个验证，一定保持“U面偶数个黄色”的性质。
3.U面有2个黄色：此时D面也有2个黄色，进行分类讨论：{
1.容易验证对G3中的U2，D2是能保持“U面偶数个黄色”性质的。
2.剩下L2,R2,F2,B2的操作需要验证“U面偶数个黄色”：{
通过分析可知，L2,R2,F2,B2单独一次操作，都能使得U面的黄色保持偶数，
对U有2个黄色，D有2个黄色作分类讨论：{
由于对称性，不失一般性：
U的选择：{12,13,14,23,24,34}，D的选择：{56,57,58,67,68,78}
0.小引理：G3中的元素，通过有限步内必然能找到返回状态e的操作,且每一步都是G3中的元素。
1.对于某些情况，比如12-57，这样的情况为什么g肯定不会是呢？因为：
（思路是通过状态g回推所有执行一步G3能到g的状态g_(-n)，当然g_(-n)也是G3中的元素才行。）
g_(-1)： "1257" or 2478 ← "1257"
g_(-2)： 2347 or "1257" ← "2478" ， "1257" or "2478" ← "1257"
g_(-3)： None ← 2347 ， "1257" or "2478" ← "1257" , "2347" or "1257" ← "2478"
换句话说，“12-57”这种情况往前推n步，只能局限在{12-57,2478,2347，None}
这里None指的是不符合“U面偶数个黄色”的性质的状态。
根据小引理0可知，“12-57”这种情况不可能通过有限步到达状态e且每一步都是G3中的元素。
2.其他情况应该也是类似，这里略过。
}
}
}
}
到此证明归纳结束。
6*无关推理：是否存在单纯的角块3轮换？1.是；2.否（只能二选一）。
因为单纯的角块3轮换：也就是其他块位置不变，方向不变。这种单纯的角块3轮换会导致U面出现黄色的个数为奇数，和小引理5矛盾。因此不存在这样的单纯的角块3轮换。
}
右推左：{
1.换成新目标：g可以用G3中的生成元素复原回状态e。
2.已知G2和G3中元素不会改变方向数，所以以下只需要分析位置即可。
因此换成新目标：g的角块位置可以通过G3还原成原始排列位置，g的棱块可以通过G3还原成原始排列位置。
-- 到底先证明棱块，还是先证明角块呢？角块貌似条件多一点...
-- 先尝试：先角后棱：
3.先分析角块的位置，看看如何还原到8个原始的排列位置，详细步骤：
（思路还未知，可能的思路：1.通过分类讨论，用到假设条件的3,4推理，再还原若干个后，然后排除那些还没还原的情形，
因此剩下的一定能自动还原。）
1.首先还原1，4号位置的白色角块：
1.1号位置白色UFL：
1.首先{1，3，6，8}轨道肯定有白色，因为：假设（2），这个轨道{1,3,6,8}中保持有2个白色。
2.将3或6或8号位置的一个白色，先移到6号位置，然后使用U^2即可到达UFL
至此1个角块位置已还原。
2.同样4号位置UBL也是类似，从{2,4,5,7}轨道的2个白色中选一个先到达7号位，然后再用B^2到达UBL。
至此2个角块位置已还原。
2.然后再还原3号位的白色角块：
1.由于{1，3，6，8}轨道还有一个白色，这是因为假设(2)。
2.将3号位置UBR还原白色角块位置：操作也是先到达6号位置然后使用R^2即可到达UBR。
至此3个角块位置已还原。
3.然后考虑2号位置的白色角块：
1.由于{2,4,5,7}轨道中还有一个白色，这是因为假设(2)。
分类讨论：
1.如果白色在2号位置：则不需操作，已还原2号位置。
2.白色在5:则2-黄，7-黄 ； 6-黄，8-黄。
1.假设棱块已还原，则棱块排列符号数为0。
2.角块原排列是12345678
3.现在是1，4，3正确，但是2跑到了5号位：1X3426X8 , 两个X分别是5，7
4.因为魔方第二基本定理，棱和角的排列数相等，所以只能是17342658，因为：15342678 =3+1+1=5 ，17342658=5+1+1+1=8，
5.分析17342658，有没有可能呢？分析轨道{2,4,5,7}，发现这个是一个3循环(7,2,5),使用假设(4),可以退出False，因此白色不在5。
3.白色在7:
由于对称性，和上述推理类似吧？所以白色不在7。
4.总结：{2,4,5,7}轨道中的剩下的1个白色只能在2，因此U面的白色已经全部还原。
至此4个角块位置已还原。
4.然后考虑D面的4个角块的位置：
“正了”“反了”，分类讨论：
{
1.2正：ok
2.2反：ok
3.1正1反，1反1正：首先1反1正可以通过h18归化成1正1反，
这时候就能使用假设条件3，这种情况是不存在的，只能是其他情况。
}
4.分析棱块的位置：
(思路：此时角块位置已还原，会用到魔方第二基本定理来处理最后一步)
1.首先由于假设条件，棱块目前满足保持3个轨道：{1,3,9,11},{2,4,10,12}，{5,6,7,8}
--todo--
2.还原棱块的具体步骤：
(h11到h18不一定都用到)
{
1.先还原棱轨道{5,6,7,8}的位置：通过h13或者h13变式，使得5，6先还原位置。故意留下7，8位置。
2.使用一次h15,这样棱轨道{5,6,7,8}已经还原位置成功。
3.剩下的两个轨道{1,3,9,11},{2,4,10,12}
4.还原轨道{1,3,9,11}位置：通过h16或者“包含h12的交换子”，使得9，11还原位置。故意留下1，3位置。
5.还原轨道{2,4,10,12}位置：通过h16的变式，已经“包含h16的变式的交换子”，使得10，12还原位置。故意留下2，4位置。
6.还原轨道{1,3,9,11}，执行0次或1次h17,这样{1,3,9,11}肯定能全部位置还原。
7.现在就剩下2，4位置。这时候我们就可以使用魔方第二基本定理的条件(1),错误的位置，也就是2和4错误，是不可能存在的，所以2和4已经被前面步骤被动还原。
}
} 作者：depth_of_Maths https://www.bilibili.com/read/cv31353362/?spm_id_from=333.999.0.0 出处：bilibili
6174
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
