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引理)学习笔记
参考:刘汝佳<算法竞赛入门经典训练指南> 感觉是非常远古的东西了,几乎从来没有看到过需要用这个的题,还是学一发以防翻车. 置换:排列的一一映射.置换乘法相当于函数复合.满足结合律,不满足交 ...
随机推荐
- CSS3 GENERATOR可以同时为一个元素完成border-radius、box-shadow、gradient和opacity多项属性的设置
CSS3 GENERATOR可以同时为一个元素完成border-radius.box-shadow.gradient和opacity多项属性的设置 CSS3 GENERATOR 彩蛋爆料直击现场 CS ...
- 全部的Windows消息对应值
以下是全部的Windows消息, 对于未在MSDN上的消息的WPARAM, LPARAM参数解释正确的给分 [已知 :0x0313, 0x01e2, 0x01e5, 0x01e ...
- 网络包抓取开发包 Npcap
Npcap 是 Nmap 项目的网络包抓取库在 Windows 下的版本. Npcap 是致力于采用 Microsoft Light-Weight Filter (NDIS 6 LWF) 技术和 Wi ...
- 记录一次PHP项目报502的问题
问题描述 最近有台服务器偶尔会报502错误,虽然量不多,每天就几十个,但是也必须得找到原因,避免让小问题变成大问题. 排查过程 502错误的原因,一般是对用户访问请求的响应超时造成的,一开始以为是请求 ...
- Python字典的合并与拆分
1.字典的合并 dict1={1:[1,11,111],2:[2,22,222]} dict2={3:[3,33,333],4:[4,44,444]} dictMerged2=dict(dict1, ...
- lock和synchronized如何选择?
1.lock是一个接口,而synchronized是java关键字,synchronized是内置的语言实现. 2.synchronized在发生异常时,会自动释放线程占有的锁,因此不会导致死锁,而l ...
- 你所忽略的,覆盖equals时需要注意的事项《effective java》
我们都知道Object的equals的比较其实就是==的比较,其实是内存中的存放地址的比较.正常逻辑上:类的每个实例本质上都是唯一的. 在工作中我们实际的业务逻辑往往有可能出现一些相对特殊的需求需要对 ...
- CQRS之旅——旅程7(增加弹性和优化性能)
旅程7:增加弹性和优化性能 到达旅程的终点:最后的任务. "你不能飞的像一只长着鹪鹩翅膀的老鹰那样."亨利·哈德逊 我们旅程的最后阶段的三个主要目标是使系统对故障更具弹性,提高UI ...
- 【Netty整理03-NIO】Java 实现 NIO demo
jdk提供的NIO使用: 概览:https://blog.csdn.net/the_fool_/article/details/83000648 博主抄写了网上的demo,略作修改与调整,原文链接: ...
- 私服 Nexus 的配置 (转)
https://www.cnblogs.com/yuanermen/p/4574473.html 一.概述 1.概要 现在的项目基本都是用Maven来管理工程,这样一来在公司内容搭建一个私服就非常有必 ...