Burnside引理
来源:互联网 发布:天正建筑软件最新版 编辑:程序博客网 时间:2024/06/10 17:16
Burnside引理
神呐,st大神群论之王。。。
以下内容仅为本人浅显的理解,如果有误,还请指出
目录
- 需要的姿势
- 群
- 置换群
- Burnside引理
- 稳定核
- Burnside引理
- 应用
- BZOJ1004HNOI2008Cards
- 参考资料
需要的姿势
1.群
给定一个集合
若
1. 封闭的,即
2. 可结合的,即
3. 有单位元,即
4.
则称
2.置换群
置换:集合
{a1,a2,⋯,an} 中的元素对该集合中元素的一一映射为一元置换。即集合中每个元素换到了集合的另一个位置eg.{1,2,3}→{2,3,1}
记为:σ=(a1σ(a1)a2σ(a2)a3σ(a3)⋯⋯anσ(an))
其中,对于G 的一些置换方式σi 作为元素组成的集合就是一个G 的置换群。
ps:有一种特殊的置换——单位置换,满足∀ai∈G, 有σ(ai)==ai .置换“乘法”
个人感觉这个不能称之为乘法,只是一个群的二元运算设
Sn 是G 的一个置换群,σi,σj∈Sn ,定义它们的“乘积”为x(σi∗σj)=(xσi)σj, 其中x∈G .
这里
举个栗子(
设
全体置换运算
∗ 构成的群Sn ,称为n 次对称群,(Sn,∗) 的任意子群称为置换群。
所以,把
那么显然,这和先把
3. 循环
置换
循环是一种简单但特殊的置换,它只与相邻的元素有关,即每个元素被置换为了集合中的下一个元素。
由于循环也是一种置换,所以若干循环的“乘积”,我们可以表示任意一个置换。
栗子:
性质和定理:
- 如果两个循环中没有公共元素,则称这两个循环是不相交的;
- 任何一个置换都可以表示称若干个互不相交的循环的乘积,且表示方法是唯一的。
Burnside引理
OI计数问题中,有一种类型是给出一些置换方式,问本质不同的染色有多少种,而Burnside引理即是用于解决此类问题的!
稳定核
设
(。・∀・)ノ栗子:
↑循环有省略部分(自己置换为自己的)
则
Burnside引理
若
G⊆Sn,g∈G ,设λ(g) 为置换g 中不变元的个数,则群G 的等价类个数(即染色问题中本质不同的方案数)为1|G|∑g∈Gλ(g) .
证明
应用
[BZOJ1004]HNOI2008Cards
题解
参考资料
- ST巨佬口述
- ZC大神的博客
- Burnside引理
- 【burnside引理】
- Burnside引理
- burnside引理
- Burnside引理
- Polya定理,Burnside引理
- Rolya定理 Burnside引理
- 【Burnside引理】疫苗
- Polya定理,Burnside引理
- Polya定理,Burnside引理
- Polya定理,burnside引理
- #置换#Burnside引理Polya定理
- [BZOJ1004][HNOI2008]Cards-Burnside引理
- 【Burnside引理】【Polya定理】Arif in Dhaka
- [BZOJ1004][HNOI2008][Burnside引理][DP]Cards
- BZOJ 1004 HNOI2008 Cards Burnside引理
- 【BZOJ 1004】 [HNOI2008]Cards 【burnside引理】
- BZOJ 1004 HNOI 2008 Cards Burnside引理
- jq和js用mousemove获取鼠标当前位置
- 2017杭电多校联赛-Add More Zero 数学找公式
- 虚函数和纯虚函数的区别
- webstorm 使用时 链接上级目录下的样式 不起作用
- dubbo原理特点
- Burnside引理
- Redux:百行代码千行文档
- hessian简单示例
- 会声会影X9中文版 v19.1.0.14
- Dubbo-02:使用zookeeper的简单demo
- C.Primer.Plus(第六版)第14章 编程练习
- opencv: 形态学 转换(图示+源码)
- JavaScript中隐式的强制转换
- TensorFlow概要