首页 > 其他分享 >组合数学_第4章_Polya定理

组合数学_第4章_Polya定理

时间:2023-02-25 22:55:59浏览次数:56  
标签:begin end cdot 定理 元素 overline pmatrix 数学 Polya

第4章 Polya定理

4.1 群的概念

4.1.1 群的定义

给定一个集合\(G=\{a,b,c,\cdots\}\)和集合\(G\)上的二元运算“\(\cdot\)”,并满足下列4个条件:

  1. 封闭性:若\(a,b \in G\),则存在\(c \in G\),使得,

    \[a \cdot b=c \]

  2. 结合律:对于任意的\(a,b,c \in G\),恒有

    \[(a \cdot b) \cdot c = a \cdot (b \cdot c) \]

  3. 存在单位元素:\(G\)中存在一个元素\(e\),使得对于\(G\)的任意元素\(a\),恒有

    \[a \cdot e = e \cdot a = a \]

  4. 存在逆元素:对于\(G\)的任意元素\(a\),恒有一个\(b \in G\),使得

    \[a \cdot b = b \cdot a = e \]

    元素\(b\)称为元素\(a\)的逆元素,记作\(a^{-1}\),即

    \[b= a^{-1} \]

则称集合\(G\)在运算\(\cdot\)之下是一个群,有时也称\(G\)是一个群,\(G\)中元素\(a\)对\(b\)的运算\(a \cdot b\),可以简记为\(ab\)。


例题:\(G=\{1,-1\}\)在乘法运算下是一个群。

:(1)封闭性:(1)(-1)=-1,(1)(1)=1,(-1)(1)=-1,(-1)(-1)=1

(2)结合性:显然

(3)单位元素:\(e=1\)

(4)逆元素:由于(1)(1)=1,(-1)(-1)=1,故\((-1)^{-1}=-1,(1)^{-1}=1\)


群的元素个数是有限的,称为有限群。有限群\(G\)的元素个数叫做群的阶,记为\(|G|\)。当群的元素为无限时,称为无限群。

若群\(G\)的任意二元素\(a,b\)恒满足\(ab=ba\)时,称\(G\)为交换群或Abel群。

4.1.2 群的性质

  1. 群的单位元是唯一的。
  2. \(ab=ac \Rightarrow b=c,ba=ca \Rightarrow b=c\)
  3. \(G\)中每一个元素的逆元素是唯一的。
  4. \((abc \cdots lmn)^{-1}=n^{-1}m^{-1}l^{-1} \cdots c^{-1}b^{-1}a^{-1}\)

设\(G\)是群,\(H\)是\(G\)的子集,若\(H\)在\(G\)的原来定义的运算下也成群,则称\(H\)是\(G\)的子群。

4.2 置换群

置换群是十分重要的群,特别是所有的有限群都可以用它来表示。

不失一般性,假定\(n\)个元素为\(1,2,...,n\)。若元素\(1\)被\(1\)到\(n\)中某一整数\(a_1\)所取代,\(2\)被其中的\(a_2\)元素所取代,…,\(n\)被\(a_n\)所取代,且

\[a_i \neq a_j,若i \neq j,i,j \neq 1,2,\cdots,n \]

\[p =\begin{pmatrix} 1 & 2 & 3 & \cdots & n \\ a_1 & a_2 & a_3 & \cdots & a_n \end{pmatrix}\\ \]

来表示。

置换群的定义为:设

\[p_1 =\begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 1 & 2 & 4 \end{pmatrix}, p_2 =\begin{pmatrix} 1 & 2 & 3 & 4 \\ 4 & 3 & 2 & 1 \end{pmatrix} \]

\[p_1p_2 =\begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 1 & 2 & 4 \end{pmatrix}\begin{pmatrix} 1 & 2 & 3 & 4 \\ 4 & 3 & 2 & 1 \end{pmatrix} \\ =\begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 1 & 2 & 4 \end{pmatrix}\begin{pmatrix} 3 & 1 & 2 & 4 \\ 2 & 4 & 3 & 1 \end{pmatrix} \\ =\begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 4 & 3 & 1 \end{pmatrix} \]

先做\(p_1\)的置换,再作\(p_2\)的置换:

\[1 \stackrel{p_1} {\longrightarrow} 3 \stackrel{p_2} {\longrightarrow} 2 \\ 2 \stackrel{p_1} {\longrightarrow} 1 \stackrel{p_2} {\longrightarrow} 4 \\ 3 \stackrel{p_1} {\longrightarrow} 2 \stackrel{p_2} {\longrightarrow} 3 \\ 4 \stackrel{p_1} {\longrightarrow} 4 \stackrel{p_2} {\longrightarrow} 1 \\ \]

简单来说就是先经过了\(p_1\)的映射再经过了\(p_2\)的映射。

循环节数

\[\begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 3 & 5 & 1 & 4 & 2 \end{pmatrix}=(13)(25)(4) \]

1置换为3,同时3又能置换为1,这就是一个循环。4置换为4本身,这也算一个循环。左右两个表示是等价的,从后面的表示可以清楚的看到每个循环,以及循环节的个数。

4.3 Polya定理

设\(\overline{G}\)是\(n\)个对象的一个置换群,用\(m\)种颜色涂染这\(n\)个对象,则不同染色的方案数为

\[l=\frac{1}{|\overline{G}|}[m^{c(\overline{a_1})}+m^{c(\overline{a_2})}+\cdots+m^{c(\overline{a_g})}] \]

其中,\(\overline{G}=\{\overline{a_1},\overline{a_2},\cdots,\overline{a_g}\}\),\(c(\overline{a_k})\)为置换\(\overline{a_k}\)的循环节数

\(n\)个对象可用\(1,2,...,n\)编号,故\(\overline{G}\)可当作\((1,2,\cdots,n)\)的一个置换群


例题:用2种颜色去染排成一个环的6个棋子,如果通过旋转得到则只算一种,一共有多少种染色方案?

:典型的满足polya公式的条件,\(m=2\),\(n=6\)。因为是旋转得到的置换,所以存在6个置换(自己置换到自己也算)。

\[\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6\\ 2 & 3 & 4 & 5 & 6 & 1 \end{pmatrix}=(123456) \]

\[\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6\\ 3 & 4 & 5 & 6 & 1 & 2 \end{pmatrix}=(135)(246) \]

\[\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6\\ 4 & 5 & 6 & 1 & 2 & 3\end{pmatrix}=(14)(25)(36) \]

\[\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6\\ 5 & 6 & 1 & 2 & 3 & 4 \end{pmatrix}=(153)(246) \]

\[\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6\\ 6 & 1 & 2 & 3 & 4 & 5\end{pmatrix}=(165432) \]

\[\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6\\ 1 & 2 & 3 & 4 & 5 & 6\end{pmatrix}=(1)(2)(3)(4)(5)(6) \]

每个置换的循环节已经标出了。所以根据polya定理公式可以算出,染色方案数为\(\frac{1}{6}(2^1+2^2+2^3+2^2+2^1+2^6)=14\)。


例题:一个3×3的方格,用10种颜色给每个格子染色,旋转0度、90度、180度、270度后相同的算成相同,问总共有多少种方案?

img

  1. 旋转0度:(1)(2)(3)(4)(5)(6)(7)(8)(9)
  2. 旋转90度:(3179)(6248)(5)
  3. 旋转180度:(19)(28)(37)(46)(5)
  4. 旋转270度:(7931)(4862)(5)

所以根据Polya定理,总方案数就是\(\frac{1}{4}(10^9+10^3+10^5+10^3)\)。

参考资料

标签:begin,end,cdot,定理,元素,overline,pmatrix,数学,Polya
From: https://www.cnblogs.com/gengduc/p/17155654.html

相关文章

  • 高中数学二级结论个人收录
    圆锥曲线椭圆第二定义动点\(M(x_0,y_0)\)到定点\(F(c,0)\)和定直线\(x=\frac{a^2}{c}\)的距离之比为离心率\(\frac{c}{a}\),则\(M\)点轨迹为椭圆\(C:\frac{x^2......
  • 我是怎么丧失对数学的兴趣的
    和很多人一样,自从大一结束高数课,我的数学水平就停滞了,直到写下此文的此刻,我对数学的认知仍然没有走出微积分的范畴。究其原因,我的数学学习一直没有走出功利的范畴,那就是:一些......
  • 组合数学_第3章_容斥原理与鸽巢原理
    第3章容斥原理与鸽巢原理3.1DeMorgan定理德摩根(DeMorgan)定理:若\(A\)和\(B\)是集合\(U\)的子集,则\(\overline{A\cupB}=\overline{A}\cap\overline{B}\)\(\ov......
  • P3213 [HNOI2011]勾股定理 题解
    据说是NP问题。很明显我们要先预处理出来勾股数对。但由于数过于大,所以常规的枚举是解决不了问题的。但也貌似没有什么很好的办法可以立马找到一个数的勾股数对。所以......
  • 【YBT2023寒假Day14 B】二进制数(数位DP)(数学)
    二进制数题目链接:YBT2023寒假Day14B题目大意问你[A,B]之间有多少个整数,满足它二进制表示下(不要前导0)子串00,01,10,11个数分别是a,b,c,d。其中A,B<=2^{100000},a......
  • Codeforces - 1244C - The Football Season(暴力 + 数学规律 + 数论 / *2000)
    1244C-TheFootballSeason(⇔源地址)目录1244C-TheFootballSeason(⇔源地址)tag题意思路暴力解(枚举)数论解(扩展欧几里得)AC代码错误次数:2tag⇔......
  • 优思学院:历史的今天2月23日,数学家高斯逝世,他和六西格玛有什么关系你知道吗?
    数学家高斯(CarlFriedrichGauss)是历史上最杰出的数学家之一。他生于1777年,逝于1855年的今天,享年77岁。他不仅在数学上有极大的成就,而且还是物理学、天文学和地理学等领域的......
  • 电路定理
    本章介绍一些童要的电路定理,包括叠加定理(舍齐性定理),替代定理,戴维南定理,诺顿定理,最大功率传输定理,特勒根定理、互易定理,并扼要介绍有关对偶原理的概念。叠加定理叠加定......
  • 组合数学_第2章_递推关系与母函数
    第2章递推关系与母函数2.1递推关系递推关系的引入:汉诺塔-维基百科,自由的百科全书(wikipedia.org)斐波那契数-维基百科,自由的百科全书(wikipedia.org)2.2母......
  • 【YBT2023寒假Day12 C】树的计数 II(prufer)(结论)(数学)
    树的计数II题目链接:YBT2023寒假Day12C题目大意给你一个长度为n的排列p,问你有多少个不同的有标号无根树,满足如果i,j有边那pi,pj也有边。思路首先可以把排列变......