也许更好的阅读体验

\(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引理的更多相关文章

  1. 等价类计数问题(Polya定理和burnside引理)

    零.约定: (置换等名词会在前置知识中有解释) \(1.\)在本文中,题目要求的染色方案等统称为"元素". \(2.\)两个元素严格相等我们记做"\(=\)", ...

  2. Burnside引理与Polya定理 学习笔记

    原文链接www.cnblogs.com/zhouzhendong/p/Burnside-Polya.html 问题模型 有一个长度为 $n$ 的序列,序列中的每一个元素有 $m$ 种取值. 如果两个序 ...

  3. 【群论】polya定理

    对Polya定理的个人认识     我们先来看一道经典题目:     He's Circles(SGU 294)         有一个长度为N的环,上面写着“X”和“E”,问本质不同的环有多少个(不 ...

  4. Polya定理

    http://www.cnblogs.com/wenruo/p/5304698.html 先看 Polya定理,Burnside引理回忆一下基础知识.总结的很棒. 一个置换就是集合到自身的一个双射,置 ...

  5. [BZOJ1004] [HNOI2008] Cards (Polya定理)

    Description 小春现在很清闲,面对书桌上的N张牌,他决定给每张染色,目前小春只有3种颜色:红色,蓝色,绿色.他询问Sun有多少种染色方案,Sun很快就给出了答案.进一步,小春要求染出Sr张红 ...

  6. Burnside引理与polay定理

    #Burnside引理与polay定理 引入概念 1.置换 简单来说就是最元素进行重排列 是所有元素的异议映射,即\([1,n]\)映射到\([1,n]\) \[ \begin{pmatrix} 1& ...

  7. 「算法笔记」Polya 定理

    一.前置概念 接下来的这些定义摘自 置换群 - OI Wiki. 1. 群 若集合 \(s\neq \varnothing\) 和 \(S\) 上的运算 \(\cdot\) 构成的代数结构 \((S, ...

  8. Burnside引理与Polya定理

    感觉这两个东西好鬼畜= = ,考场上出了肯定不会qwq.不过还是学一下吧用来装逼也是极好的 群的定义 与下文知识无关.. 给出一个集合$G = \{a, b, c, \dots \}$和集合上的二元运 ...

  9. 等价类计数(Polya定理/Burnside引理)学习笔记

    参考:刘汝佳<算法竞赛入门经典训练指南> 感觉是非常远古的东西了,几乎从来没有看到过需要用这个的题,还是学一发以防翻车. 置换:排列的一一映射.置换乘法相当于函数复合.满足结合律,不满足交 ...

随机推荐

  1. Q_DECLARE_METATYPE(继承QObject的类都已经自动注册),注册后的类型可以作为QVariant的自定义类型

    简介 这个宏用来注册一个类(含默认构造.默认析构.拷贝构造函数)为QMetaType类型 ,注册后的类型可以作为QVariant的自定义类型. 这个宏应该放在类或者结构体外面的下面,也可以放在一个非公 ...

  2. Zookeeper 部署Zookeeper仲裁模式集群

    部署Zookeeper仲裁模式集群 本例在一台服务器上部署3个zk服务:z1.z2.z3. 1.下载Zookeeper https://zookeeper.apache.org/ 2.解压缩 .tar ...

  3. xe5 for android 地理定位GPS

    先上源码,在解释. implementation uses androidapi.jni.JavaTypes, androidapi.jni.Location, FMX.helpers.android ...

  4. 627.Swap Salary-(LeetCode之Database篇)

    问题描述 给出下面的表,名为salary. id name sex salary 1 A m 2500 2 B f 1500 3 C m 5500 4 D f 500 要求执行一个UPDATE语句,将 ...

  5. ThreadLocal使用原理、注意问题、使用场景

    想必很多朋友对ThreadLocal并不陌生,今天我们就来一起探讨下ThreadLocal的使用方法和实现原理.首先,本文先谈一下对ThreadLocal的理解,然后根据ThreadLocal类的源码 ...

  6. 生产力工具:shell 与 Bash 脚本

    生产力工具:shell 与 Bash 脚本 作者:吴甜甜 个人博客网站: wutiantian.github.io 注意:本文只是我个人总结的学习笔记,不适合0基础人士观看. 参考内容: 王顶老师 l ...

  7. HDU 2795:Billboard(线段树)

    http://acm.hdu.edu.cn/showproblem.php?pid=2795 Billboard Problem Description   At the entrance to th ...

  8. HDU 2089:不要62(数位DP)

    http://acm.hdu.edu.cn/showproblem.php?pid=2089 不要62 Problem Description   杭州人称那些傻乎乎粘嗒嗒的人为62(音:laoer) ...

  9. 对于Spring中AOP,DI,IoC概念的理解

    IOC IoC(inversion of Control),控制反转.就好像敏捷开发和SCRUM一样,不是什么技术,而是一种方法论,一种工程化的思想.使用IoC的思想意味着你将设计好的对象交给容器控制 ...

  10. SQL Server 2016 + AlwaysOn 无域集群

    目录 AlwaysOn 搭建 WSFC 配置计算机的 DNS 后缀 安装故障转移集群 验证集群 创建集群 创建文件共享见证 配置 AlwaysOn 新建可用性组 创建侦听器 可读副本的负载均衡 主角色 ...