百科问答小站 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




  

相关话题

  为什么感觉群论学起来比数学分析之类难好多? 
  有类似二十面骰子这种可以随时拿在手里玩的精致小玩意儿吗? 
  是否存在一个级数的∑an使得任何其他级数,只要通项大于它的都发散,小于的都收敛? 
  如何看待π这个无理数? 
  高考数学考场睡一个多小时考 149 分,这种事情有可能发生吗?是不是真的存在牛人? 
  数学竞赛和物理竞赛的强度差距有多大? 
  原命题与逆否命题真假性一定相同吗? 
  五年级孩子过于喜欢数学怎么办? 
  逻辑学中,前提为假而命题为真的推论如何解释? 
  怎么求lnsinx在0到pi/2的积分啊? 

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





© 2024-11-08 - tinynew.org. All Rights Reserved.
© 2024-11-08 - tinynew.org. 保留所有权利