Polya 定理
Redfield-Polya (Pólya enumeration theorem,简称PET)定理是组合数学理论中最重要的定理之一。
其提出者波里亚在众多数学的分支:函数论、变分学、概率论、数论、组合数学以及计算数学和应用数学领域中,都颇有建树,他共发表了200多篇著名论文,以他的名字命名的Polya计数定理,则是近代组合数学的重要工具。波里亚还是杰出的数学教育家,有著丰富的数学教育思想和精湛的数学教学艺术,他对数学思维一般规律的研究,堪称是对人类思想宝库的特殊贡献。
Polya 定理可以用于解决关于集合互异状态的计数问题,是解决此类问题的简洁高效的一个工具
例题引入
描述
把一个 \(2\times 2\) 的方格棋盘用黑白两色涂色,规定经过旋转重合的图案是一种图案,问能涂出多少种不同的图案?
分析
不考虑旋转,所有涂色方案如下图:
可以发现图中共有 16 种涂色方案,但是把经过旋转的 \(\begin{Bmatrix} 1&2&3&4 \end{Bmatrix}\),\(\begin{Bmatrix} 5&6&7&8 \end{Bmatrix}\),\(\begin{Bmatrix} 9&10&11&12 \end{Bmatrix}\),\(\begin{Bmatrix} 13&14 \end{Bmatrix}\) 都算作一种方案,我们发现方案数其实只有 6 种
问题规模较小时,我们固然可以通过枚举所有可能的情况计算得出满足题目条件的情况数目,但如果我们面对了一个 \(20\times 20\),甚至 \(200\times 200\),穷举算法在那时将会达到 \(O(2^{200})\) 的时间复杂度,就连计算机也不能保证在有生之年给我们问题的答案
于是,数学家就开始研究这类问题的共性,试图得出这类问题的通式,然后就有了 Polya 定理
预备知识
群
若一个一个集合 \(G\) 和二元运算 \(a \bullet b\) ,满足下列条件:
- 封闭性:对于 \(\forall a,\;b\in G\),有 \((a \bullet b)\in G\)
- 结合律:对于 \(\forall a,\;b,\;c\in G\),有 \((a\bullet b)\bullet c=a\bullet (b\bullet c)\)
- 单位元:对于 \(\forall a\in G\), 存在 \(e\in G\),使得 \(a\bullet e=a\)
- 逆元:对于 \(\forall a\in G\),存在 \(f\in G\),使得 \(a\bullet f=f\bullet a=e\),且记 \(f=a^{-1}\)
则称集合 \(G\) 是运算法则 \(\bullet\) 下的一个群, \(\bullet\) 通常表示乘法运算,此时则称 \(G\) 是一个乘法群
一个简单的例子:对于 \(\forall a\in Z\),即所有整数组成的集合,在加法原则下满足上面四个条件,其中 1,2 很好解释,单位元则是 0,逆元则是 \(a\) 的对应相反数,这个群便叫做 整数加法群
群按照集合中元素个数分为 无限群 和 有限群,Polya定理 主要针对有限群进行分析操作
置换和置换群
简单来说,