2020-01-01 一个抽象数学定理的一个应用

本文介绍群论中的一个定理,这个定理有很多个名字,如下:

伯恩赛德计数定理 ,柯西-弗罗贝尼乌斯引理 ,轨道计数定理

这个定理描述比较抽象,如下:

给定群G ,集合X, 且G作用于X ,并定义 X^g := \{ x \in X| g \cdot x = x\}则 有:
作用的轨道数 = \sum_{g \in G} |X^g| /|G|

该定理的证明略,下面通过一个应用说明定理的含义:

给定一个正方体,并给定3种不同颜色,对正方体的表面进行着色,每个面只能着一种颜色,问共有多少种不同的着色方法, (前提是,如果两种着色方法,正方体经过旋转之后相同,则这两种着色方法看作相同的着色方法)

这个问题可以通过列出所有着色方法一个个统计来计算,但是通过 轨道计数定理可以得到一个较简单的算法:

正方体的自然旋转看做群G , 六个面着色排列看做集合X,
作用的轨道数,也就是在群G作用下X被划分的等价类个数,每个等价类就是那些可以经过群G作用(正方体旋转)仍然保持相同的元素的集合,
则题目待求的 不同着色方法 实际就是该作用的轨道数:

正方体的旋转分为5类:
1,不动旋转1个
2,3个过面中心的对称轴,沿着其中任意一个旋转+-90度2 个旋转,共6个旋转
3, 3个过面中心的对称轴,沿其中任意一个旋转180度,共3个旋转
4, 6个过边中心对称轴,沿其中任意一个旋转180度,共 6个旋转
5, 4个过顶点对称轴,沿其中各有+-120度旋转,共 8个旋转

一共有24个旋转
|G|= 24
因为这5类,同一类的旋转g对应的 |X^g|是相同的,只需计算每一类其中任意一个g对应的|X^g| , 其中|X^g| 根据定义就是旋转下相同的着色个数

1, 不动旋转下,显然每种着色方法都不变,共有 3^6种
2, 转旋90度,要求绕轴的4个面颜色相同,另外2个面随意,则共有3^3种
3,旋转180度,要求绕轴的4个面 对面相同,另外两个随意,共3^4种
4,旋转180度,要求两两相同,共3^3种可能
5,3个面相同为1组,共2组,共 3^2种着色可能

因此,根据轨道计数定理;
num = 1/24 \times (3^6 \times1+3^3\times6+3^4\times3+3^3\times6+3^2\times8)
= 1368/24 = 57

也就是共有旋转不同的57种着色方法

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 对称、平移、旋转都是重要的欧式几何变换。所谓几何学,其实就是研究几何图形在相应的几何变换中保持不变的性质。...
    妙笔必生花阅读 7,903评论 0 1
  • 2016阅读书目: 1、《增长黑客》 2、《精益创业》 3、《理解媒介》阅读中 4、《精益数据分析》 5、《智能推...
    Peter6196阅读 1,722评论 0 0
  • 岁月是把杀猪刀,催人长胖催人老,转眼间又是新一年的轮回,毕业季刚刚落幕,即将成为老学姐去迎接一批小鲜肉,才逐渐意识...
    新印相云校园阅读 2,629评论 0 0
  • 2018-10-4 今天下午在讨论放假安排时,老大说等回家了给梁辰宇发消息 。我在旁边插了一句:...
    mccmcc阅读 3,813评论 0 0
  • 做ERP实施,系统上线阶段是最累的,当然很大程度上只是体力。可以想象一下,把一套一片空白的系统打造成为符合客户业务...
    江户川柯镇恶阅读 1,508评论 0 0