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. MySQL 相关知识细节及解析

    1,删除表中所有记录使用delete from 表名:还是用truncate table 表名 删除方式:delete 一条一条删除,不清空auto_increment记录数 truncate 直接将 ...

  2. CPU线程 和 Java线程

    一 cpu个数.核数.线程数的关系 cpu个数:是指物理上,也及硬件上的核心数: 核数:是逻辑上的,简单理解为逻辑上模拟出的核心数:一个CPU核心数模拟出2线程的CPU 线程数:是同一时刻设备能并行执 ...

  3. Android IntentService

    IntentService简要分析 IntentService 继承自 android.app.Service.内部实现极其简单. 首先在 onCreate()中去开启了一个 HandlerThrea ...

  4. Mac 上自带TFTP Server 软件的使用

    搬瓦工搭建SS教程 1.TFTP协议 简单文件传输协议Trivial File Transfer Protocol (TFTP)是一个基于UDP协议的简单的.低开销的文件传输协议,允许客户端get或者 ...

  5. 4040 EZ系列之奖金

    4040 EZ系列之奖金 时间限制: 1 s 空间限制: 64000 KB 题目等级 : 钻石 Diamond   题目描述 Description 由于无敌的WRN在2015年世界英俊帅气男总决选中 ...

  6. POJ 3177 Redundant Paths 双联通分量 割边

    http://poj.org/problem?id=3177 这个妹妹我大概也曾见过的~~~我似乎还没写过双联通分量的blog,真是智障. 最少需要添多少条边才能使这个图没有割边. 边双缩点后图变成一 ...

  7. Mistakes(Updating)

    1.当调试时发现无法正常调用函数时,检查是否发生爆栈 对于每个栈仅有4MB的空间,开int只能开大约5*10^5. 大数组一定要开全局变量 2.当long long=int*int时会爆int,一定要 ...

  8. bzoj 2178

    这题调精度真痛苦啊(向管理员要了数据才调出来). 用的是hwd在WC2015上讲的方法,考虑将原图分割,根据每个圆的左右边界和圆与圆交点的横坐标来分割,这样原图就被分成很多竖着的长条,并且每一条中间都 ...

  9. hdu 4676 Sum Of Gcd 莫队+phi反演

    Sum Of Gcd 题目连接: http://acm.hdu.edu.cn/showproblem.php?pid=4676 Description Given you a sequence of ...

  10. SPOJ 10234. Here Be Dragons

    The Triwizard Tournament's third task is to negotiate a corridor of many segments, and reach the oth ...