为了从数学角度去了解魔方,一个称手的“数学工具”是必要的。
而这个工具,就是接下来要介绍的“置换”,用来描述“交换”的概念。

第二章 点的置换定义

核心概念:置换,置换的运算,置换的奇偶性。

定义2.1:现在给定

个位置,以及各自上面有一个“点”,并且给位置和点分别标号

现在进行一个操作,即我们把这些点进行位置互换,叫做置换(根据抽屉原理我们知道换法一共有

方法)。

这种置换

,可以写成

标准式

每一竖列,都代表

位置的点,被换到了
的位置。

由于

也会被换到
上,无限套娃最终一定会回到
,所以这种置换操作会含有一个或者多个“循环”。

所以,我们也可以写成循环式

,其中
是最小的正整数满足
(也就是置换
回到
所需要的最小次数,也叫做

周期)。
举个例子,以下两种写法,其对应的置换是相同的:

·注1:

可以理解为
的意思。

·注2:以上例子中的

的意思都是“不动点”的意思,可以省略不写。

·注3:循环也是置换的一种,经过

个点的循环,叫做

评价:要注意,置换操作的操作对象是”位置“,而不是”对应标号的点“。

是把
位置上的点互换,而不是把
号点和
号点互换(尤其是已经打乱以后)。

定义2.2:置换的运算
事实上,置换

本身的含义一个
的双射函数,比如,

所以,我们定义置换之间的复合运算,记做

,对任意的
满足
。有时候也可以直接去掉符号,写作

另外,

个置换
复合,可以记做

定义2.3:置换的位置
置换

会把
分为两种。

不动点

和动点

(也叫做
的位置)。

如果置换

的位置不重合,我们称为它们

不相交,即

推论2.4:两个置换

不相交时,则

证明:当

时,则

所以

同理可得

在定义域

上,满足
,所以
。■

评价:这条定理也告诉我们,一个置换循环式是唯一的(不考虑交换律和不动点)。

定理2.5:循环分解定理

证明:(数学归纳法)当

时,
,等式成立。

假设当

时,都有

那么

时,
,记这个式子为

则有

,也就是

综上,原式对所有

都成立。■

评价:直观来说就是,一个

,是可以写成首尾相接的一连串

对换的复合的。对换就是

这个定理也可以推广到所有的置换中,因为置换可以表示为一连串循环的复合,所以也可以叫”置换分解定理“。

定义2.6:置换的奇偶性
首先,我们把

只有两个点的

循环称作为一组对换。然后定义对换的奇偶性为-1,记做

然后,根据循环分解定理,把

的奇偶性认为是分解后

对换的乘积也就是

然后,根据置换分解定理

,把
的奇偶性认为是这些循环的奇偶性的乘积。也就是
,其中

代表的是

的周期。

推论2.7:当置换

和对换
满足以下条件时, 满足等式

1.

2.

3.

4.

5.

6.

为任意置换,
为任意对换。

(厌倦计算的,可以直接跳过此部分证明,直接看结论定理2.8即可,不会影响其他部分的阅读。)

证明:1. 根据循环的奇偶性定义
2.

3.

4. 考虑以下情况:

5.

6. 根据

g的位置关系,可以分为

A.没有相交。参考1的结论。
B.相交于一点。参考2的结论。
C.

里某个循环相近的两点。参考3的结论。

D.

里某个循环不相近的两点。参考4的结论。

E.

里两个不同循环的两点。参考5的结论。

综上所述,

成立。■

评价:其实1-5都是把相交情况不同的式子都进行了计算,而根据对称性可以把具体数字改为任意情况,从而证明出6。

定理2.8:对所有的置换

,都有

证明:根据置换分解定理

可以写成一连串的
的复合,也就是

而根据推论2.7,可以把所有的

逐一拆出,得

式子得证。■

评价:虽然文章到此似乎和魔方没有任何的关联。但是其实作为研究魔方的最核心的数学工具已经介绍完毕了。接下来,这个论证则会论证为何只有两角的互换在三阶魔方不会存在

魔方定理3:以下情况不会存在于(三维)三阶魔方中。
1. 仅有两个角块交换位置;
2. 仅有两个棱块交换位置。

证:不考虑魔方表面全部的点,只考虑在每个块对应的

维骨架的中心点(橙色标记的点,顺带回想一下

魔方定理2):

(用不上的点就不标记数字了,为了方便)
考虑蓝色面转动对应的置换,分别是
顺时针:

逆时针:

所以,单步转动,仅考虑其作用于橙色点,是一个偶置换
由于魔方所有状态都由“转动”生成,所以必然也是一个偶置换。■

评价:虽然到现在笔者并没有给出严格的魔方的定义,但是以上内容足以告诉我们“二角换”和“二棱换”都是不存在的。这个结论实际可以推广到任意维度和任意阶,严格论证会放到正式定义“魔方”后。

魔方定理4
1. 任意的魔方状态,角块位置(也就是顶点)的置换 和 棱块位置(也就是棱的中心)的置换,是不相交的。
置换的角块部分记做

,棱块记做

2.

3.

此魔方状态的复原公式必然是偶数步。

证:1.由于每个“转动”中,角块都只去角块位置,棱块都只去棱块位置,所以它们不会互换位置。
2.由于单次“转动”,对于

部分和
部分分别都是

奇置换,所以多次转动组合起来,两部分的置换的奇偶性会保持一致。
3.多次转动下,其

部分和
部分都可以写成 多次奇数置换的复合,所以其奇偶性和步骤数的奇偶性是相同的。■

评价:魔方定理3和4都是三阶魔方的位置相关的定理,主要是从其奇偶性的分析排除了一些“不可能”状态,和给“可能状态”一些分类。
根据3,我们能马上知道,PLL里面的“T字公式”步骤数必然是奇数;三棱换公式的步骤数必然是偶数等等。

结语

总结来说,点的置换和其运算,是魔方研究的一个有效数学工具。随着对更多的点的讨论和研究,我们也可以把“方向”的信息纳入分析和研究,并且对魔方不可能的情况作出否证。这部分将是之后章节的内容。

文后思考

问题2-1:在5阶魔方中,是否存在某个公式,只有两个非中间的中心的交换,其他块不变(白色标记)?为什么?

问题2-2:对于一个位置复原了的三阶魔方中,只有块的方向是打乱的。证明:该状态的复原公式步骤必然是偶数步。

答案将会在下一篇文章公布。

上一篇文章:

伍易东:魔方的数学1-n维立方体的性质​zhuanlan.zhihu.com

下一篇文章:

伍易东:魔方的数学3-群的定义(一)​zhuanlan.zhihu.com

三阶魔方中心互换_魔方中的数学2-置换的定义相关推荐

  1. 机器学习里面的基函数_机器学习中的数学基函数与函数空间

    机器学习中的数学基函数与函数空间 [机器学习中的数学]基函数与函数空间 引言 在学习线性回归模型的时候就会遇到基函数,可能我们会遇到多项式基函数.高斯基函数.sigmoid基函数,当然在高等数学和信号 ...

  2. python魔方程序算法_魔方机器人(一)还原算法

    魔方机器人(一)还原算法 还原算法简介 我使用的是Thislethwaite还原算法.其简介如下:一般的魔方还原的解法是通过逐块(piece or block or layer)还原来减少下一步剩余块 ...

  3. sqlcommand 执行多个储存过程是报错_生活中的数学——葡萄酒遇到随机过程 (1)

    "葡萄美酒夜光杯,欲饮琵琶马上催.醉卧沙场君莫笑,古来征战几人回?"这首豪情万丈的凉州词,瞬间把我们拉回了大唐,那个雄浑而开放的时代.从这首诗中,我们不仅感受到了大唐将士们远征沙场 ...

  4. 三阶魔方中心块调整配方和记忆方法

    你并不需要将普通三阶魔方中心块,字魔方或者拼图魔方等须要调整中心块的角度. 所以拼图三阶或者数字三阶,都能够在普通三阶魔方的基础之上,再加上例如以下公式,便能够转好. 1.顶面中心块旋转180° UR ...

  5. java还原三阶魔方_魔方小站四阶魔方教程2 一看就懂的魔方教程(魔方玩法视频教程+还原公式一步一步图解+3D动画)...

    形成下图的样子, 这一步很简单,只需要学会一个很好理解的技术就行了,请看下面标准情况的例子,魔方 您可以用鼠标拖拽3D动画里的整个魔方,以看到魔方背面的变化. TR U' R U 我们要合并位于前面的 ...

  6. 判断魔方阵c语言程序设计_魔方阵算法及C语言实现

    1 魔方阵概念 2填充的,每一行.每一列.对角线之和均相等的方阵,阶数n = 3,4,5-.魔方阵也称为幻方阵. 例如三阶魔方阵为: 魔方阵有什么的规律呢? 魔方阵分为奇幻方和偶幻方.而偶幻方又分为是 ...

  7. 乐高魔方机器人编程及图纸_魔方机器人教程图纸程序下载【Reinhard Grafl】作品...

    视频很小,可以用流量观看,不是土豪也没事. 下面先看一下使用说明的翻译吧. 1. 搭建 用LDD打开release/CubeSpinner.lxf,照图搭之!这个魔方机器人的大多数零件来自EV3套件, ...

  8. 解魔方算法/Thislethwaite解魔方算法/降群法

    0.前言 主流的魔方解法,从入门的层先法,到进阶的CFOP.桥式乃至盲拧,都是从部分到整体的思路,逐块逐层还原魔方.但是Thislethwaite法不同,Thislethwaite法从整体出发,不断降 ...

  9. 魔方(13)齿轮魔方、五阶齿轮魔方(待续)

    目录 齿轮魔方 1,魔方三要素 2,齿轮分析 3,复原方法 五阶齿轮魔方 1,魔方三要素 2,复原方法(V1) (1)复原角块和侧边区中棱 (2)复原中心区棱块 (3)复原中心区角块 (4)复原侧边区 ...

  10. 机器学习集群_机器学习中的多合一集群技术在无监督学习中应该了解

    机器学习集群 Clustering algorithms are a powerful technique for machine learning on unsupervised data. The ...

最新文章

  1. 输入一个数组,逆序存放在另一个数组并输出
  2. windows7 RDP修改
  3. IPv4_数据报文首部格式
  4. 2021/6/18~19 每天学习python 30分钟 -了解python - python的基本变量概述
  5. 设置linux的console为串口【转】
  6. 基于深度学习和支持向量机的4种苜蓿叶部病害图像识别
  7. 2017前端技术大盘点 1
  8. AMD Intel 机器 Spark 性能测试
  9. 英语数字听力学习软件操作
  10. Tomcat 日志概述
  11. Chrome 打不开网页,火狐却可以
  12. c语言编辑二维数组转置,求C语言程序:编写一个函数,使给定的一个二维数组(3*3)转置。感激不尽...
  13. 调和数,1加二分之一加三分之一加到 n 分之一
  14. 民锋国际期货:5年后我会更有钱吗?
  15. 三分钟搞定dbeaver企业版
  16. 【2022新书】有趣的数据结构
  17. ubuntu18安装oracle11g,在Ubuntu 18.04系统下快速安装Oracle Java 11的方法
  18. [电路]2-独立源和受控源
  19. android qq图片分享到朋友圈,Android 调用系统分享文字、图片、文件,可直达微信、朋友圈、QQ、QQ空间、微博...
  20. jmeter断言2个变量的值相等

热门文章

  1. Java-面向对象构造函数 -(private private)关键字
  2. Swoole vs Workman
  3. pyinstaller安装配置--别踩这些keng
  4. 鸿蒙之境浩然溟涬,泰泉集-明-黄佐.pdf
  5. h5 监听安卓物理返回键
  6. 读书报告1500字计算机大学篇,读书报告2000字大学篇
  7. 常见大数据应用有哪些?
  8. Rxjava的背压策略
  9. Elasticsearch之快速入门篇(个人笔记)
  10. java rdt_使用 Eclipse 和 RDT 开发Ruby应用程序