Burnside & Pólya


(详细内容请参阅《组合数学》或2008年cyx的论文,这里只写一些我学习的时候理解困难的几个点,觉得我SB的请轻鄙视……如果有觉得不科学的地方欢迎留言)

Burnside:

  我们要证明的是:$$N(G,C)=\frac{1}{|G|} \sum_{f \in G}|C(f)|$$

  难点一:非等价着色数=等价类数目($N(G,C)$),这其实是从等价类的定义来的。。。因为一个等价类表示着一种与众不同的染色方案,当然有多少个等价类就有多少种非等价染色方案啦……(我是SB没想到QAQ)

  证明主要是这样一个过程:(UOJ群神犇_数学迷:算两次,即同一个量以两种方法计算得到一个式子的方法)

  难点二:我们的式子是:$$\sum_{f \in G} |C(f)| = \sum_{c \in C} |G(c)| $$

  (我以二分图的模型来解释或许好理解一些?)

  我们现在有 n 种染色方式(其中有一些是等价的),m 种置换。对于某种染色$c$和置换$f$,如果我们有 $f*c=c$,我们就连一条边 $c->f$

  所以左边的点的度数和=右边的点的度数和=总边数

  接下来,因为有(这个大概也算个难点吧……)$$ (与c等价的着色数)=\frac{|G|}{|G(c)|} $$

  所以:$$ |G(c)|=\frac{|G|}{(与c等价的着色数)} $$

  因此我们可以对刚刚的右边的式子变形,得到:$$ \sum_{c \in C} |G(c)|=|G| \sum_{c \in C} \frac{1}{(与c等价的着色数)}$$

  难点三:这里我们发现:每一种着色方式我们都加了$\frac{1}{(与c等价的着色数)}$,我们可以按等价类分开,等价类中的每一种着色方式都加了$$\frac{1}{这个等价类的大小}$$所以每个等价类的贡献就是1,所以刚刚的右边的式子等于$$|G|*N(G,C)$$

  得证。

Pólya:

  了解了Burnside定理以后,我们对于等价类计数就有了这样一个方法:枚举染色方式(枚举每一格的染色方式)和置换方式,找到每个置换方式的不动点数目……然而这个复杂度比较高,所以我们可以拿Pólya来优化一下~

  Pólya的做法是:只考虑染色的种类以及置换的方式,然后直接用【循环分解】的方式计算出每个置换的不动点数目,这样就少枚举了一维,降低了复杂度。(枚举每个置换,循环分解是O(p)的,p是格子数)

(然而刚刚的bb其实是不完整的,不过先这样理解好了。。。复杂一点的我也不会TAT)

  刚刚说到直接用循环分解的方式计算出每个置换的不动点数目,这是怎么回事呢?我们发现,在这个置换下不动的染色方案,每一个循环一定是染了相同的颜色,所以这个置换方式下不动点数目就是 $(颜色数)^{(循环数)}$

  不过我刚刚说的只是限于一种简单的情况……更多更完整的问题……还是看书吧T_T我这么弱……是吧……

【Burnside定理】&【Pólya定理】的更多相关文章

  1. 置换群 Burnside引理 Pólya定理(Polya)

    置换群 设\(N\)表示组合方案集合.如用两种颜色染四个格子,则\(N=\{\{0,0,0,0\},\{0,0,0,1\},\{0,0,1,0\},...,\{1,1,1,1\}\}\),\(|N|= ...

  2. Burnside引理&Pólya定理

    Burnside's lemma 引例 题目描述 一个由2*2方格组成的正方形,每个格子上可以涂色或不涂色, 问共有多少种本质不同的涂色方案. (若两种方案可通过旋转互相得到,称作本质相同的方案) 解 ...

  3. 数学:Burnside引理与Pólya定理

    这个计数定理在考虑对称的计数中非常有用 先给出这个定理的描述,虽然看不太懂: 在一个置换群G={a1,a2,a3……ak}中,把每个置换都写成不相交循环的乘积. 设C1(ak)是在置换ak的作用下不动 ...

  4. @总结 - 12@ burnside引理与pólya定理

    目录 @0 - 参考资料@ @1 - 问题引入@ @2 - burnside引理@ @3 - pólya定理@ @4 - pólya定理的生成函数形式@ @0 - 参考资料@ 博客1 @1 - 问题引 ...

  5. Burnside 引理与 Pólya 定理

    群 群的定义 在数学中,群是由一种集合以及一个二元运算所组成的,符合"群公理"的代数结构. 一个群是一个集合 \(G\) 加上对 \(G\) 的二元运算.二元运算用 \(\cdot ...

  6. 置换及Pólya定理

    听大佬们说了这么久Pólya定理,终于有时间把这个定理学习一下了. 置换(permutation)简单来说就是一个(全)排列,比如 \(1,2,3,4\) 的一个置换为 \(3,1,2,4\).一般地 ...

  7. Pólya 定理学习笔记

    在介绍\(Polya\) 定理前,先来介绍一下群论(大概了解一下就好): 群是满足下列要求的集合: 封闭性:即有一个操作使对于这个集合中每个元素操作完都使这个集合中的元素 结合律:即对于上面那个操作有 ...

  8. 【BZOJ1478】Sgu282 Isomorphism Pólya定理神题

    [BZOJ1478]Sgu282 Isomorphism 题意:用$m$种颜色去染一张$n$个点的完全图,如果一个图可以通过节点重新标号变成另外一个图,则称这两个图是相同的.问不同的染色方案数.答案对 ...

  9. 【POJ2154】Color Pólya定理+欧拉函数

    [POJ2154]Color 题意:求用$n$种颜色染$n$个珠子的项链的方案数.在旋转后相同的方案算作一种.答案对$P$取模. 询问次数$\le 3500$,$n\le 10^9,P\le 3000 ...

  10. 【POJ2409】Let it Bead Pólya定理

    [POJ2409]Let it Bead 题意:用$m$种颜色去染$n$个点的环,如果两个环在旋转或翻转后是相同的,则称这两个环是同构的.求不同构的环的个数. $n,m$很小就是了. 题解:在旋转$i ...

随机推荐

  1. Linux下 rz 和 sz 命令的安装与使用

    目录 Linux下 rz 和 sz 命令的安装与使用 rz/sz命令的安装 sz命令-发送文件到本地(下载): rz命令-本地上传文件到服务器(上传): 声明 Linux下 rz 和 sz 命令的安装 ...

  2. HTML Input 表单校验之datatype

    凡要验证格式的元素均需绑定datatype属性,datatype可选值内置有10类,用来指定不同的验证格式. 如果还不能满足您的验证需求,可以传入自定义datatype,自定义datatype是一个非 ...

  3. 「长乐集训 2017 Day10」划分序列 (二分 dp)

    「长乐集训 2017 Day10」划分序列 题目描述 给定一个长度为 n nn 的序列 Ai A_iA​i​​,现在要求把这个序列分成恰好 K KK 段,(每一段是一个连续子序列,且每个元素恰好属于一 ...

  4. php操作mongodb or查询这样写!

    $where['$or'] = [ ['id' => ['lt'=>0]], ['id2' => ['lt'=>1]] ]; 这个是查询 id>0 或者id2>1的 ...

  5. 转 Java高级程序员面试题

    1.你认为项目中最重要的过程是那些? 分析.设计阶段  尽量找出进度的优先级 2.如果给你一个4-6人的team,怎么分配? 挑选一技术过硬的人作为我的替补.其它人平均分配任务,每周进行全面的任务分配 ...

  6. 一台电脑如何安装多个版本的JDK

    1 . 准备两个版本的jdk我的两个jdk路径为:  C:\Program Files\Java\jdk1.6.0_43  C:\Program Files\Java\jdk1.8.0_25 2 . ...

  7. linux中的文件编码及编码修改

    查看文件编码 在Linux中查看文件编码可以通过以下几种方式: 1.在Vim中可以直接查看文件编码 :set fileencoding 即可显示文件编码格式. 如果你只是想查看其它编码格式的文件或者想 ...

  8. Codeforces Round #361 (Div. 2) A. Mike and Cellphone 水题

    A. Mike and Cellphone 题目连接: http://www.codeforces.com/contest/689/problem/A Description While swimmi ...

  9. ZOJ 2819 Average Score 牡丹江现场赛A题 水题/签到题

    ZOJ 2819 Average Score Time Limit: 2 Sec  Memory Limit: 60 MB 题目连接 http://acm.zju.edu.cn/onlinejudge ...

  10. Codeforces Round #293 (Div. 2) B. Tanya and Postcard 水题

    B. Tanya and Postcard time limit per test 2 seconds memory limit per test 256 megabytes input standa ...