百科问答小站 logo
百科问答小站 font logo



三阶魔方公式的最大周期是多少?对应的公式是什么? 第1页

  

user avatar   GalAster 网友的相关建议: 
      

详见 An Element of Greatest Order 65页第四章节

  • 我们有6个中心块, 不过我们把他们视为固定的, 他们的相对位置不会变.

对应单位群

  • 我们有8个角块可以置换和旋转, 旋转块数必须是3的倍数才合法, 你除非拆了魔方否则不可能只旋转一块或者两块

对应两群半直积:

  • 我们有12个棱块可以置换以及反射, 但是反射块数必然是偶数次, 反转棱块也只有拆魔方才能实现

对应两群半直积:

所以魔方群

其阶为

任何公式周期必须是阶的因子, 所以不可能有周期为13的公式

然后跳过很长一段思考过程, 最终构造了:


                RubikMap                   =                   <|                             "U"                   ->                   Cycles         @         {{         1         ,                   3         ,                   8         ,                   6         },                   {         2         ,                   5         ,                   7         ,                   4         },                   {         9         ,                   33         ,                   25         ,                   17         },                   {         10         ,                   34         ,                   26         ,                   18         },                   {         11         ,                   35         ,                   27         ,                   19         }},                             "D"                   ->                   Cycles         @         {{         14         ,                   22         ,                   30         ,                   38         },                   {         15         ,                   23         ,                   31         ,                   39         },                   {         16         ,                   24         ,                   32         ,                   40         },                   {         41         ,                   43         ,                   48         ,                   46         },                   {         42         ,                   45         ,                   47         ,                   44         }},                             "L"                   ->                   Cycles         @         {{         1         ,                   17         ,                   41         ,                   40         },                   {         4         ,                   20         ,                   44         ,                   37         },                   {         6         ,                   22         ,                   46         ,                   35         },                   {         9         ,                   11         ,                   16         ,                   14         },                   {         10         ,                   13         ,                   15         ,                   12         }},                             "R"                   ->                   Cycles         @         {{         3         ,                   38         ,                   43         ,                   19         },                   {         5         ,                   36         ,                   45         ,                   21         },                   {         8         ,                   33         ,                   48         ,                   24         },                   {         25         ,                   27         ,                   32         ,                   30         },                   {         26         ,                   29         ,                   31         ,                   28         }},                             "B"                   ->                   Cycles         @         {{         1         ,                   14         ,                   48         ,                   27         },                   {         2         ,                   12         ,                   47         ,                   29         },                   {         3         ,                   9         ,                   46         ,                   32         },                   {         33         ,                   35         ,                   40         ,                   38         },                   {         34         ,                   37         ,                   39         ,                   36         }},                              "F"                   ->                   Cycles         @         {{         6         ,                   25         ,                   43         ,                   16         },                   {         7         ,                   28         ,                   42         ,                   13         },                   {         8         ,                   30         ,                   41         ,                   11         },                   {         17         ,                   19         ,                   24         ,                   22         },                   {         18         ,                   21         ,                   23         ,                   20         }}                            |>         ;                            RubikPeriod         [         input_String         ]                   :=                   Apply         [         LCM         ,                   Length                   /@                   First         @         RubikCycle         [         input         ]];                            RubikCycle         [         input_String         ]                   :=                   GeneralUtilities`         Scope         [                             (*doMap[O_String]:=RubikMap@O;*)                             (*doMap[inverse[O_]]:=InversePermutation[RubikMap@O];*)                             (*doMap[double[O_]]:=PermutationPower[RubikMap@O,2];*)                             (*sp={{a_,"'"}[RuleDelayed]inverse@a,{a_,"2"}[RuleDelayed]double@a};*)                             (*seq=SequenceReplace[StringPartition[StringDelete[ToUpperCase@input," "],1],sp];*)                             (*Apply[PermutationProduct,doMap/@seq]*)                             sp                   =                   {{         a_         ,                   "'"         }                   :>                   {         a         ,                   a         ,                   a         },                   {         a_         ,                   "2"         }                   :>                   {         a         ,                   a         }};                             seq                   =                   SequenceReplace         [         StringPartition         [         StringDelete         [         ToUpperCase         @         input         ,                   " "         ],                   1         ],                   sp         ];                             Apply         [         PermutationProduct         ,                   RubikMap                   /@                   Flatten         @         seq         ]                            ];                                      perm                   =                   RubikCycle         @         "RU2D'BD'"         ;                            Echo         [         Apply         [         LCM         ,                   Length                   /@                   First         @         perm         ],                   "Period: "         ];                            rules         [         cycle_         ]                   :=                   Thread         [         DirectedEdge         [         cycle         ,                   RotateLeft         [         cycle         ]]];                            Graph         [         Flatten         [         rules                   /@                   First         [         perm         ]],                   VertexLabels                   ->                   Placed         [         "Name"         ,                   Center         ],                   VertexSize                   ->                   0.6         ]            

可以验证




Update20190224:

更新一些文献上没有的结果

  • 2阶魔方公式最大周期为 45
  • 4阶魔方公式最大周期为 765765
  • 5阶魔方公式最大周期为 281801520
  • 6阶魔方公式最大周期为 5354228880

接下来的高阶魔方最大周期都不会超过 5354228880


user avatar   XyztToe 网友的相关建议: 
      
三阶魔方群元素的阶最大为1260,其中一个公式为: 。

注:魔方群的元素为“公式”。元素的阶就是题目所说的周期。

Rubik's Cube group




  

相关话题

  泰勒公式展开到任意阶,都不用管后面的高阶无穷小项么? 
  集合论与微积分? 
  数学的泛函分析应该怎么学? 
  数学到底有什么魅力,能让那么多数学家用一生去追求? 
  能不能定义一个数 I,与 0 的乘积等于 1? 
  中学阶段解出一道很难的数学题和在数学研究领域做出重大突破的区别在哪? 
  N个0和N个1排成一圈,平均能把这个圈分成几段? 
  怎样理解平面向量的数量积是一个实数呢?方向乘方向怎么会有意义? 
  请问(sinx)^3怎么用幂级数展开? 
  为什么正方体有十一种展开图? 

前一个讨论
怎么推导或证明 e^x 的导数是自身?
下一个讨论
宇宙的质量是如何测的的?





© 2024-05-17 - tinynew.org. All Rights Reserved.
© 2024-05-17 - tinynew.org. 保留所有权利