定义简化版:

置换,就是一个1~n的排列,是一个1~n排列对1~n的映射

置换群,所有的置换的集合。

经常会遇到求本质不同的构造,如旋转不同构,翻转交换不同构等。

不动点:一个置换中,置换后和置换前没有区别的排列

Burnside引理:本质不同的方案数=每个置换下不动点的个数÷置换总数(一个平均值)

Polya定理:一个置换下不动点的个数=颜色^环个数。(辅助Burnside引理,防止枚举不动点复杂度过高)

这篇文章写得很详细了(具体的在此不说了):

Burnside引理与Polya定理

特殊模型的环个数:

①旋转同构,N个点,每个点移动k步(0<=k<=n-1),环个数gcd(k,N)

证明:

1.对于k是N的约数,显然成立。一个环用N/k个,可以分成N/(N/k)=k个环。gcd(k,N)=k也成立。

2.当k不是N的约数,最小的环长度是:lcm(N,k),环用的端点是:lcm/k个,可以凑成N/(lcm/k)=N*k/lcm=gcd(N,k)个。

证毕。

②对称同构:

奇数个点对称:1+(n-1)/2个(轴一定过一个顶点)

偶数:按边对称:n/2个

按点对称:2+(n-2)/2个。

(证明显然,画图自行理解)

**

例题:poj2154 Color

题解:

思路:列出式子,转化每个因子作为gcd的贡献。然后处理成欧拉函数即可。

而且,1/n的分母,因为化简的时候消掉了,不用求逆元之类的。(况且p不是质数,要EXLUCAS。。。)

(类似longge的问题(虽然这篇博客没用欧拉函数):[SDOi2012]longge的问题)

[学习笔记]置换群

置换群和Burnside引理,Polya定理相关推荐

  1. 【算法讲27:Polya定理】BurnSide 引理 Polya定理 | 洛谷 P4980

    [算法讲27:Polya定理]洛谷 P4980 前置 引入 前置:BurnSideBurnSideBurnSide 引理 Polya 定理 回到题目 代码 注:下文证明都略,只记录重要的性质结论 前置 ...

  2. ACM_置换群 burnside引理 Polya定理

    置换群也是群论当中一个比较重要的内容,可是在离散课上老师直接跳过了这章内容我也是--(日了dog了),自己看了半天资料总算是有点眉目了. 1.置换群: 首先我们来介绍一下置换,设S为一个n个元素的集合 ...

  3. Burnside引理Pólya定理

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

  4. 置换群,Polya引理和burnside引理(等价类计数问题)

    参考文章: 等价类计数问题 Burnside引理&Pólya定理 Burnside引理与Polya定理 置换群和Burnside引理,Polya定理 概念引入: 离散数学应该学过置换群的相关概 ...

  5. 群论:Burnside引理与Polya定理

    正题 在数学中,群表示一个拥有满足封闭性.满足结合律.有单位元.有逆元的二元运算的代数结构,包括阿贝尔群. 置换,简单来说就是对元素来进行一种重排列,即 [1,n][1,n][1,n] 映射到 [1, ...

  6. 组合数学常用内容——Polya定理+Burnside引理

    Burnside引理 设G是N{1,2,.....,n}上的置换群,G在N上可引出不同的等价类(在置换群中有置换的都等价),其不同的等价类的个数为LL=1/|G|*(c1(a1)+...c1(ai). ...

  7. Polya定理,Burnside引理

    涉及到组合数学的问题,首先是群的概念: 设G是一个集合,*是G上的二元运算,如果(G,*)满足下面的条件: 封闭性:对于任何a,b∈G,有a*b∈G; 结合律:对任何a,b,c∈G有(a*b)*c=a ...

  8. Polya定理与Burnside引理及其应用

    Polya定理及其应用 群与置换群 轮换 PolyaPolyaPolya定理 BurnsideBurnsideBurnside引理 PolyaPolyaPolya定理的简单应用 PolyaPolyaP ...

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

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

最新文章

  1. 【代码片段】base样式--针对bootstrap
  2. NeatUpload的安装使用
  3. java处理excel(java使用Apache POI处理Excel)
  4. 2018-2019-1 20165324_20165302_20165321 实验一 开发环境的熟悉
  5. idea 无法打开项目_Premiere出现quot;项目看来已经损坏,无法打开”的解决方法...
  6. 利用linux shell自己主动顶贴
  7. ResourceManager中的Resource Estimator框架介绍与算法剖析
  8. linux oracle流复制,oracle 流复制
  9. 【Python-GPU】GPU数据科学加速包——RAPIDS
  10. Linux查找大文件 (find的用法)
  11. GoAhead2.5源代码分析之10-web server主程序(main.c)
  12. boost::enable_shared_from_this<T>用途
  13. shell 命令/程序 CheatSheet
  14. H5面试题---HTTP状态码知道哪些
  15. 偷梁换柱“Windows 11安装包”竟成了恶意程序?
  16. 【汇编语言】第三章 寄存器(内存访问)
  17. delphi 画图表,曲线图
  18. 【Excel VBA】神操作之命名单元格或区域(一)——为单元格或区域命名
  19. zabbix监控nginx状态,显示状态active,accepts,handled,requests
  20. python文件打开的合法模式组合wr_Python Scapy wrpcap-如何将数据包附加到pcap文件?

热门文章

  1. 美颜算法之自动祛斑算法实现 | 案例分享
  2. 场景几何约束在视觉定位中的探索
  3. 实战 | 哪个瞬间让你突然觉得CV技术真有用?
  4. 用30行代码做一个微信智障机器人
  5. Zabbix安装配置(CentOS7.3)
  6. 《Python数据分析与挖掘实战》一第1章 数据挖掘基础1.1 某知名连锁餐饮企业的困惑...
  7. 软件篇:程序员如何提升自己的技能
  8. c++成员函数的调用
  9. Delphi 中的颜色常量及效果图
  10. 检查超时-Ajax之四