Polya定理与Burnside引理
\(Burnside引理\)
- 公式
\(\begin{aligned}L=\frac{1}{|G|}\sum_{i=1}^{|G|}D_{G_i}\end{aligned}\) - 一些定义
\(E_i\) 表示与\(i\)同类的方案
\(Z_i\) 表示使\(i\)不变的置换
\(G\) 表示所有的置换方法
\(D_i\) 表示第\(i\)种置换能使多少方案不变
\(n\) 表示方案总数
\(L\) 表示本质不同的方案数 引理的引理
\(|E_i|*|Z_i|=|G|\) \(\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ //\)这个我不会证明
\(\begin{aligned}n=\sum_{i=1}^{L}{|E_i|}\end{aligned}\)\(\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ //\)这个就是按照定义,注意的是\(E_i\)表示的是本质不同的第\(i\)种方案
\(\begin{aligned}\sum_{i=1}^n|Z_i|=\sum_{i=1}^{|G|}D_{G_i}\end{aligned}\)\(\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ //\)这个也是按照定义,就是换了个计算方法,计算的是同样的东西Burnside引理
\(\begin{aligned}\sum_{j=1}^n|Z_j|=\sum_{i=1}^L\sum_{j \in E_i}|Z_j|=\sum_{i=1}^L|E_i|·|Z_i|=L·|G| \end{aligned}\)
\(\begin{aligned}\therefore L·|G|=\sum_{j=1}^{|G|}D_{G_i} \end{aligned}\)
\(\begin{aligned}\therefore L=\frac{1}{|G|}\sum_{i=1}^{|G|}D_{G_i} \end{aligned}\)
\(Polya定理\)
- 公式
\(\begin{aligned}L=\frac{1}{|G|}\sum_{i=1}^{|G|}m^{C_{G_i}}\end{aligned}\)
其中\(m\)为颜色个数,\(C_i\)为第\(i\)种置换有多少个循环
\(一个置换的循环个数\)
一个项链有\(n\)个珠子,用\(k\)种颜色涂染会形成多少种不同的项链
两条可通过旋转得到的项链为相同项链
有\(n\)种置换方式\((\)每次旋转\(0,1,2...n\)个珠子\()\)
对于一次旋转\(i\)个珠子的方式,有\(gcd(i,n)\)个循环
证明
每个循环有的珠子的个数因是一样的
假设从\(x\)号珠子开始置换,循环结束时一定回到\(x\)号珠子 如\(x->(x+i-1)\%n+1->(x+2i-1)\%n+1->x\)
假设循环有\(p\)个珠子,那么循环\(p\)次就回到原来的珠子,此时转过\(i\)和\(n\)的最小公倍数个珠子
\(p·i=i·n/gcd(i,n) \ \ \ k\in Z\)
\(\therefore p=n/gcd(i,n)\)
每个循环有\(p\)个珠子那么就有\(n/p=gcd(i,n)\)个循环
Polya定理与Burnside引理的更多相关文章
- 等价类计数问题(Polya定理和burnside引理)
零.约定: (置换等名词会在前置知识中有解释) \(1.\)在本文中,题目要求的染色方案等统称为"元素". \(2.\)两个元素严格相等我们记做"\(=\)", ...
- Burnside引理与Polya定理 学习笔记
原文链接www.cnblogs.com/zhouzhendong/p/Burnside-Polya.html 问题模型 有一个长度为 $n$ 的序列,序列中的每一个元素有 $m$ 种取值. 如果两个序 ...
- 【群论】polya定理
对Polya定理的个人认识 我们先来看一道经典题目: He's Circles(SGU 294) 有一个长度为N的环,上面写着“X”和“E”,问本质不同的环有多少个(不 ...
- Polya定理
http://www.cnblogs.com/wenruo/p/5304698.html 先看 Polya定理,Burnside引理回忆一下基础知识.总结的很棒. 一个置换就是集合到自身的一个双射,置 ...
- [BZOJ1004] [HNOI2008] Cards (Polya定理)
Description 小春现在很清闲,面对书桌上的N张牌,他决定给每张染色,目前小春只有3种颜色:红色,蓝色,绿色.他询问Sun有多少种染色方案,Sun很快就给出了答案.进一步,小春要求染出Sr张红 ...
- Burnside引理与polay定理
#Burnside引理与polay定理 引入概念 1.置换 简单来说就是最元素进行重排列 是所有元素的异议映射,即\([1,n]\)映射到\([1,n]\) \[ \begin{pmatrix} 1& ...
- 「算法笔记」Polya 定理
一.前置概念 接下来的这些定义摘自 置换群 - OI Wiki. 1. 群 若集合 \(s\neq \varnothing\) 和 \(S\) 上的运算 \(\cdot\) 构成的代数结构 \((S, ...
- Burnside引理与Polya定理
感觉这两个东西好鬼畜= = ,考场上出了肯定不会qwq.不过还是学一下吧用来装逼也是极好的 群的定义 与下文知识无关.. 给出一个集合$G = \{a, b, c, \dots \}$和集合上的二元运 ...
- 等价类计数(Polya定理/Burnside引理)学习笔记
参考:刘汝佳<算法竞赛入门经典训练指南> 感觉是非常远古的东西了,几乎从来没有看到过需要用这个的题,还是学一发以防翻车. 置换:排列的一一映射.置换乘法相当于函数复合.满足结合律,不满足交 ...
随机推荐
- 修改用户名后TSF出现"需要本地工作区。工作区 xxx 并未驻留在本计算机上"
解决方法就是:1,打开vs下的"开发人员命令提示"2,按下面格式输入命令:tf workspaces /collection:http://192.168.0.110:8080/t ...
- QT 线程池 + TCP 小试(三)实现最终功能
*免分资源链接点击打开链接http://download.csdn.net/detail/goldenhawking/4492378 有了TCP.线程池,我们就可以把他们连接起来.使用最简单的 QMa ...
- AngularJS 1.4对动画系统进行了彻底的重构
分享 <关于我> 分享 [中文纪录片]互联网时代 http://pan.baidu.com/s/1qWkJfcS 分享 <HTML开发MacOSAp ...
- qt的demo中,经常可以看到emum
最近开始看QT的文档,发现了很多好东西,至少对于我来说 收获很多~~~ 当然很多东西自己还不能理解的很透彻,也是和朋友讨论以后才渐渐清晰的,可能对于QT中一些经典的用意我还是存在会有些认识上的偏差,欢 ...
- Delphi中inherited问题
inherited Create(AOwner); 和直接写inherited有区别吗 有区别,inherited Create是指定调用父类的Create方法,当然你也可以inherited Des ...
- 打开并锁定一个文件(使用LockFile API函数)
var aHandle : THandle; aFileSize : Integer; aFileName : String; procedure TForm1.Button3Click(Sender ...
- Codility---CountFactors
Task description A positive integer D is a factor of a positive integer N if there exists an integer ...
- LeetCode : Given a string, find the length of the longest serial substring without repeating characters.
Given a string, find the length of the longest serial substring without repeating characters. Exampl ...
- SYN4505型 标准同步时钟
SYN4505型 标准同步时钟 标准同步时钟电厂时间同步使用说明视频链接: http://www.syn029.com/h-pd-245-0_310_1_-1.html 请将此链接复制到浏览器打开观看 ...
- asp.net core系列 66 Dapper介绍--Micro-ORM
一.概述 目前对于.net的数据访问ORM工具很多,EF和EF Core是一个重量级的框架.最近在搭建新的项目架构,来学习一下轻量级的数据访问ORM工具Dapper.Dapper支持SQL Serve ...