Mcginn's Blog

Pólya计数法

2019/10/31

题目

Necklace of Beads

来源 POJ 1286

题意 使用 RGB 三种颜色对长为 的项链染色,求本质不同的方案数。一种方案如果经过旋转翻转得到另一种方案,两种方案视为同一种。

注意 在本题中会出现,测试数据输出 0。

分析 使用 Polya 计数公式求解,即对于正 边形的顶点对称群 的循环因子分解。

  1. 旋转置换 的循环个数为 证明 旋转置换中的每个元素在一个有向圈 ,其中 是最小正整数。那么 ,令 ,则 。所以有向圈的长度为 ,个数为 个。

    根据定理 3 可得,

  2. 反射置换 需要根据 的奇偶性考虑。

    为奇数时,有 个关于角点与其对边中点的连线的反射,每个反射置换的型为 根据定理 3 可得 为偶数时,有 个关于对角点的反射和 个关于对边中点连线的反射,两种置换的型分别为

    根据置换的型和定理 3 可求得 ,最后使用 Burnside 定理即可求解不同着色的方案数。

Color

来源 POJ 2154LG 4980

题意 给定长为 的项链,使用至多 种颜色对项链上的珠子着色,考虑在旋转条件下的不同着色方案数,结果对 取模。

分析 旋转置换 的循环个数为 根据 Polya 定理,总方案数为 枚举 的所有约数 (因为前 10 个质数乘积大于 ,因此约数个数最多只有 个),快速幂求

Magic Bracelet

来源 POJ 2888

题意 给定长为 的项链,使用 种颜色对项链上的珠子着色,考虑旋转同构的不同着色方案数,结果对 9973 取模。此外,限制部分颜色对不能着色于相邻的珠子上。数据保证

分析 已知循环置换 的循环个数为 。对于一个循环圈可表示为 ,则在同一个循环的元素 要满足 ,即循环节大小为 。因为相邻珠子不能着限制颜色对,此时保证前 个元素不出现禁止的颜色对即可,问题转化成求解 个珠子的项链不出现禁止颜色对的方案数。

转化后的问题可以使用动态规划解决, 表示前 个元素中最后一个元素的颜色为 的方案数。记不能相邻的颜色对集合为 ,则转移方程为 由于 很大而 很小,因此可以使用矩阵 + 快速幂解决。另一方面,项链首尾相接的问题可以通过枚举第一个元素的颜色解决。

Birthday Toy

来源 HDU 2865

题意 使用 种颜色对形如图 1的项链着色,项链包括 个小珠子以及一个中心的大珠子。要求相邻珠子不能同色,求旋转同构的不同着色方案数,结果对 取模。

图 1. 特殊形状的项链

分析 由于中心点的大珠子与所有小珠子均相邻,因此可从 种颜色中先选一种颜色对大珠子着色,使得问题转化为使用 种颜色对普通项链着色。

进而本问题与 POJ 2888 Magic Bracelet 类似,问题进一步转化成长为 的项链相邻珠子不同构的着色方案数。使用动态规划思想解决, 表示前 个珠子最后一个颜色为 的方案数,转移方程为 项链需要解决首尾相接问题,此时通过 枚举第一个元素的颜色解决。由于颜色数 很大,因此不能使用线性递推的动态规划做法。

在枚举第一个元素的颜色时,不失一般性,假设第一个元素的颜色为 1,那么颜色 2,...,k 是等价的。可以理解为只用 2 种颜色着色,只是第 2 种颜色有 种替换, ​因此动态规划的状态只有 ,因此转移方程可写成 写成矩阵形式 使用快速幂优优化计划 ,进而方案数为

《组合数学》摘录

置换群与对称群

置换

定义 是一个有限集 的每个置换 可视为到其自身定义的一对一函数 ,用 阵列表示: 的所有 个置换构成的集合记为

运算 置换的合成运算“”满足结合律,但不满足交换律: 恒等置换 各数对应到自身的置换 逆函数 如果 ,那么

置换群

定义 的非空子集 的一个置换群,则满足:

  1. ,即合成运算的封闭性。
  2. 恒等置换 ,即包含单位元。
  3. ,即逆元的封闭性。

特殊 的所有置换的集合 是一个置换群,记为 阶对称群。集合 也是一个置换群。

性质 置换群满足消去律:若 ,那么

Burnside定理

计算集合 的不等价着色数。

的一个置换群, 是一个着色集合,使着色 保持不变的集合: 集合 称为 稳定核,任何着色的稳定核是一个置换群。

作用下使着色 保持不变的 中所有着色的集合: 定理1 对于每一种着色 的稳定核 是一个置换群,且对 中任意置换 , 当且仅当 属于

推论1 中的一种着色,那么与 等价的着色数等于 中的置换个数除以 的稳定核中的置换个数 证明 对于 ,有 ,从而对于每个置换 ,恰好存在 个置换,这些置换作用在 上跟 有同样的效果。

定理2 的一个置换群, 的一个着色集并且使得对于 中的任意 中的任意 ,则 中不等价的着色数 换言之, 中不等价的着色数等于使着色通过 中的置换保持不变的着色的平均数。

证明 计数满足 个数。使用两种不同的方式计数,然后使计数相等。

一种从置换 考察,根据等价着色的定义计数结果为 一种从着色 考察,每个 对结果的贡献为 计数结果为 按等价类(根据置换群的性值,等价具有传递性)将着色归类,每个等价类的总贡献为 ,等价类的个数就是不等价类的着色数 ,因此公式(10) 等于 联立公式(8) 和公式(11) 得到

Pólya计数公式

通过考虑置换的循环结构,计算可变得容易简便。

的一个置换, 是顶点集为 且弧集为 的有向图。该有向图有 个顶点与 条弧,各顶点的入度和出度等于1,因此弧集 被划分为若干个有向圈,且每个顶点恰好只属于一个有向圈。

如果某些元素以循环的方式被置换且余下元素保持不变,那么称这样的置换为循环置换或简称循环。如果循环中的元素个数为 ,则称它为 循环。

是集合 的任意置换,关于合成运算 有化成循环的因子分解 公式(13) 称为 循环因子分解。

对于 分解中的每个循环,该循环中的所有元素着色相同,因此着色方案数与循环阶数无关,而与循环个数有关。置换 的循环因子分解中的循环个数记为 定理3 是集合 的一个置换,假如用 种颜色对 的元素进行着色,令 的所有着色的集合,则 保持 中着色不变的着色数为 假设 的循环因子分解有 -循环,因 的各元素在 循环因子分解中恰好出现在一个训话中,所以 是非负整数且满足 元组 是置换 ,记为 循环数为 因为置换的型仅取决于循环因子分解中循环的阶数,所以不同置换可以有相同的型,我们可引进 个不定元 其中, 对应一个 阶循环()。对于具有 的每个置换 ,定义 单项式 的一个置换群。对 中每个置换 的单项式求和,得到关于 中的置换按照型的生成函数 合并公式(15) 中的同类型, 的系数等于型为 中的置换个数。

循环指数定义为该生成函数除以 中的置换个数 ,即 定理4 是有 个元素的一个集合,假设有 种可用的颜色集可用来对 的元素进行着色。令 的所有 种着色的集合, 的一个置换群。则不等价的着色数是用 带入 的循环指数中而得到的数,即 定理5(Polya定理) 是一个元素集合, 的一个置换群, 种颜色的一个集合, 的任意着色集并且 上的一个置换群,那么根据各颜色的数目, 的不等价着色数的生成函数是由循环指数 通过做变量代换 而得到的表达式