群的定义

在数学中,群是由一种集合以及一个二元运算所组成的,符合“群公理”的代数结构。

一个群是一个集合 \(G\) 加上对 \(G\) 的二元运算。二元运算用 \(\cdot\) 表示,它结合了任意两个元素 \(a\) 和 \(b\) 形成了一个属于 \(G\) 的元素,记为 \(a\cdot b\)。

群的公理化定义

群公理包含下述四个性质(有时略去封闭性,只有三个性质)。若非空集合 \(G\) 和 \(G\) 上的运算 \(\cdot\) 构成的代数结构 \((G,\cdot\ )\) 满足以下性质:

  1. 封闭性: 对于所有 \(G\) 中 \(a,b\),运算 \(a\cdot b\) 的结果也在 \(G\) 中。

  2. 结合律: 对于 \(G\) 中所有的 \(a,b,c\) ,等式 \((a\cdot b)\cdot c=a\cdot (b\cdot c)\) 成立。

  3. 单位元: \(G\) 中存在一个元素 \(e\),使得对于 \(G\) 中的每一个 \(a\),都有一个 \(e\cdot a=a\cdot e=a\) 成立。这样的元素是独一无二的。它被称为群的标识元素。

  4. 逆元: 对于每个 \(G\) 中的 \(a\) ,总存在 \(G\) 中的一个元素 \(b\) 使 \(a\cdot b=b\cdot a=e\),此处 \(e\) 为单位元,称 \(b\) 为 \(a\) 的逆元,记为 \(a^{-1}\)。

则称 \((G,\cdot\ )\) 为一个 。例如,整数集和整数间的加法 \((Z,+)\) 构成一个群,单位元是 \(0\),一个整数的逆元是它的相反数。

\[\]

置换

置换的定义

有限集合到自身的双射(即一一对应)称为置换。集合 \(S=\{a_1,a_2,...,a_n\}\) 上的置换可以表示为

\[f=\begin{pmatrix} a_1,a_2,...,a_n\\ a_{p_1},a_{p_2},...,a_{p_n} \end{pmatrix}
\]

意为将 \(a_i\) 映射为 \(a_{p_i}\) ,其中 \(p_1,p_2,...,p_n\) 是 \(1,2,...,n\) 的一个排列。显然 \(S\) 上所有置换的数量为 \(n!\)。

置换的乘法

对于两个置换 \(
f=\begin{pmatrix} a_1,a_2,...,a_n\\ a_{p_1},a_{p_2},...,a_{p_n} \end{pmatrix}
\) 和 \(
g=\begin{pmatrix} a_{p_1},a_{p_2},...,a_{p_n}\\ a_{q_1},a_{q_2},...,a_{q_n} \end{pmatrix}
\),\(f\) 和 \(g\) 的乘积记为 \(f\circ g\) ,其值为:

\[f\circ g=\begin{pmatrix} a_1,a_2,...,a_n\\ a_{q_1},a_{q_2},...,a_{q_n} \end{pmatrix}
\]

简单来说就是先后经过 \(f\) 的映射,再经过 \(g\) 的映射。

置换群

易证,集合 \(G\) 上的所有置换关于置换的乘法满足封闭性、结合律、有单位元(恒等置换,即每个元素映射成它自己)、有逆元(交换置换表示中的上下两行),因此构成一个群。这个群的任意一个 子群 即称为 置换群

置换群通常用来解决一些涉及“本质不同”的计数问题,例如用 3 种颜色给一个立方体染色,求本质不同的方案数(经过翻转后相同的两种方案视为同一种)。

循环置换

循环置换是一类特殊的置换,可表示为

\[(a_1,a_2,...,a_n)=\begin{pmatrix} a_1,a_2,...,a_n\\ a_{2},a_{3},...,a_{1} \end{pmatrix}
\]

若两个循环置换不含有相同的元素,则称它们是 不相交 的。有如下定理:

任意一个置换都可以分解为若干不相交的循环置换的乘积,例如:

\[\begin{pmatrix} a_1,a_2,a_3,a_4,a_5\\ a_3,a_2,a_1,a_5,a_4 \end{pmatrix}=\begin{pmatrix} a_1,a_2,a_3\\ a_3,a_2,a_1 \end{pmatrix}\circ \begin{pmatrix} a_4,a_5\\ a_5,a_4 \end{pmatrix}
\]

该定理的证明也非常简单。如果把元素视为图的节点,映射关系视为有向边,则每个节点的入度和出度都为 1,因此形成的图形必定是若干个环的集合,而一个环即可用一个循环置换表示。

\[\]

Burnside 引理

\[|X/G|=\frac 1 {|G|}∑_{g∈G}|x^g|
\]

证明

考虑一个等价类,有

\[|x||g^x|=|G|,x∈X/G
\]

其中,\(x\) 为 \(X\) 的一个等价类,\(|g_x|\) 为使它不发生改变的置换个数,

\(G\) 为总置换个数,\(X/G\) 为 \(X\) 在 \(G\) 置换群下的等价类的集合。

可以感性认知,对于一个等价类,有 \(|g_x|\) 种使它不发生改变的置换,

因为对于等价类 \(x\),本质不同的置换可以其中一个元素变为其他任意元素,所以有 \(|x|\) 种。

\[本质不同的置换个数×不变的置换个数=总置换个数。
\]

考虑枚举每一个等价类,有

\[∑_{x∈X/G}|x||g_x|=|G|⋅|X/G|
\]

每一个等价类对右式的贡献为 \(|G|\),共 \(|X/G|\) 个。

考虑交换枚举顺序,有

\[∑_{x∈X}|g_x|=∑_{g∈G}|x^g|
\]

其中 \(x\) 指 \(X\) 的一个元素,\(|g_x|\) 为使它不发生改变的置换个数,

此处的 \(|g_x|\) 与上面相同,因为同一个等价类 \(|g_x|\) 一定相同。

等式右半部分 \(g\) 为 \(G\) 中的一个置换,\(|x^g|\) 为在该置换下不发生改变的元素个数。

由于 \(∑_{x∈X/G}|x|\) 可以等价于枚举完所有的元素,有

\[|G|⋅|X/G|=∑_{x∈X/G}|x||g_x|(x指等价类)\\
=∑_{x∈X}|g_x|(x指元素)\\
=∑_{g∈G}|x^g|
\]
\[\]

Pólya 定理

\[|Y^X/G|=\frac 1 {|G|}∑_{g∈G}|Y|^{c(g)}
\]

即:

\[染色方案数(等价类的个数)=\frac 1 {珠子数(总置换数)}∑_{对于每种置换}颜色数(映射数)^{循环节数}
\]

由 \(\text{Burnside}\) 引理显然可得。

例题

给定一个 \(n\) 个点,\(n\) 条边的环,有 \(n\) 种颜色,给每个顶点染色,问有多少种本质不同的染色方案 ?

考虑枚举所有置换,可以将环顺时针旋转 \(1\) ~ \(n\) 个珠子的位置,共 \(n\) 种置换。

其中长度为 \(i\) 的置换会将整个环分成 \(gcd(n,i)\) 个部分,每部分颜色相同。

因此答案为:

\[\frac 1 n\sum_{i=1}^{n}n^{gcd(n,i)}
\]

此时复杂度为 \(O(n)\) ,考虑枚举 \(gcd(i,n)\):

\[\frac 1 n\sum_{d|n}n^{d}\sum_{i=1}^{n}[gcd(i,n)==d]\\
=\frac 1 n\sum_{d|n}n^{d}\varphi(\frac{n}{d})
\]

即可在 \(O(\sqrt n)\) 时间复杂度内解决该问题。

【模板】Pólya 定理

#include<bits/stdc++.h>
using namespace std;
int T;
const long long md=1e9+7;
inline long long phi(long long x){
long long res=x;
for(int i=2;1ll*i*i<=x;i++){
if(x%i==0){
res-=res/i;
while(x%i==0)x/=i;
}
}
if(x^1)res-=res/x;
return res%md;
}
inline long long pwr(long long x,long long y){
long long res=1;
while(y){
if(y&1)res=res*x%md;
x=x*x%md;y>>=1;
}return res;
}
inline void solve(){
long long n;scanf("%lld",&n);
long long res=0;
for(int i=1;1ll*i*i<=n;i++){
if(n%i==0){
res=(res+pwr(n,n/i)*phi(i))%md;
if(i*i!=n)res=(res+pwr(n,i)*phi(n/i))%md;
}
}
printf("%lld\n",res*pwr(n,md-2)%md);
}
int main(){
scanf("%d",&T);
while(T--)solve(); return 0;
}

Burnside 引理与 Pólya 定理的更多相关文章

  1. @总结 - 12@ burnside引理与pólya定理

    目录 @0 - 参考资料@ @1 - 问题引入@ @2 - burnside引理@ @3 - pólya定理@ @4 - pólya定理的生成函数形式@ @0 - 参考资料@ 博客1 @1 - 问题引 ...

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

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

  3. 置换群和Burnside引理,Polya定理

    定义简化版: 置换,就是一个1~n的排列,是一个1~n排列对1~n的映射 置换群,所有的置换的集合. 经常会遇到求本质不同的构造,如旋转不同构,翻转交换不同构等. 不动点:一个置换中,置换后和置换前没 ...

  4. Burnside引理与polay定理

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

  5. Burnside引理与Polya定理

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

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

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

  7. 【POJ2888】Magic Bracelet Burnside引理+欧拉函数+矩阵乘法

    [POJ2888]Magic Bracelet 题意:一个长度为n的项链,有m种颜色的珠子,有k个限制(a,b)表示颜色为a的珠子和颜色为b的珠子不能相邻,求用m种珠子能串成的项链有多少种.如果一个项 ...

  8. 【BZOJ1004】[HNOI2008]Cards Burnside引理

    [BZOJ1004][HNOI2008]Cards 题意:把$n$张牌染成$a,b,c$,3种颜色.其中颜色为$a,b,c$的牌的数量分别为$sa,sb,sc$.并且给出$m$个置换,保证这$m$个置 ...

  9. 【uva 10294】 Arif in Dhaka (First Love Part 2) (置换,burnside引理|polya定理)

    题目来源:UVa 10294 Arif in Dhaka (First Love Part 2) 题意:n颗珠子t种颜色 求有多少种项链和手镯 项链不可以翻转 手镯可以翻转 [分析] 要开始学置换了. ...

随机推荐

  1. (2020行人再识别综述)Person Re-Identification using Deep Learning Networks: A Systematic Review

    目录 1.引言 2.研究方法 2.1本次综述的贡献 2.2综述方法 2.3与现有综述的比较 3.行人再识别基准数据集 3.1基于图像的再识别数据集 3.2基于视频的再识别数据集 4.基于图像的深度再识 ...

  2. 小米手机简单 ROOT教程(百分百成功)

    大家都知道啊,由于小米自带的换机软件不支持一些应用数据的还原,所以需要使用钛备份来还原应用和数据.但是钛备份需要root才能用,因为有些机器刚出没多久,第三方的recovery也没有,所以需要找到一种 ...

  3. 我向PostgreSQL社区贡献的功能:空闲会话超时

    经过约八个月的努力,终于完成了 PostgreSQL 空闲会话超时断开的功能. 该功能将在版本 14 中发布. 这是我第一次向 PostgreSQL 提供功能,虽然之前也有向社区提供过补丁,但是这次整 ...

  4. 类变量_main方法_代码块

    需要解决的问题: 统计一共创建了多少个对象 类变量(静态变量) 被所有对象共享 可以通过 类名(推荐)|对象名.变量名 方式来访问 main main 方法 是虚拟机在调用  args 传值灵活 结果 ...

  5. Kubernetes 的这些原理,你一定要了解

    点击上方"开源Linux",选择"设为星标" 回复"学习"获取独家整理的学习资料! 作者:fredalxin地址:https://freda ...

  6. 容器内的Linux诊断工具0x.tools

    原创:扣钉日记(微信公众号ID:codelogs),欢迎分享,转载请保留出处. 简介 Linux上有大量的问题诊断工具,如perf.bcc等,但这些诊断工具,虽然功能强大,但却需要很高的权限才可以使用 ...

  7. css实现弹框

    CSS遮罩层实现思路:遮罩层的影藏方式一般有display:none.visibility:none.opacity: 0.遮罩层从无到有的出现效果一般是opacity值从0~1,结合transiti ...

  8. CTFHub-HTTP协议五关刷题解答

    CTFHub 开箱即用的CTF学习解决方案 地址:https://www.ctfhub.com/#/skilltree 本次解答一共包括五关,没有先后顺序. 1.技能树一:请求方式 题目描述 打开后得 ...

  9. 深入HTTP请求流程

    1.HTTP协议介绍 HTTP协议(HyperText Transfer Protocol,超文本传输协议)是因特网上应用最为广泛的一种网络传输协议,它是从WEB服务器传输超文本标记语言(HTML)到 ...

  10. c++ :STL

    基础知识 容器 容器就是一些模板类的集合,不同之处就是容器中封装的是数据结构 1.序列容器 主要有vector向量容器.list列表容器.deque双端队列容器 元素在容器中是无序的 2.排序容器 包 ...