Polya

最新推荐文章于 2024-09-04 15:29:39 发布

dingjiapeng1234

最新推荐文章于 2024-09-04 15:29:39 发布

阅读量749

点赞数 17

分类专栏：算法文章标签：算法

本文链接：https://blog.csdn.net/dingjiapeng1234/article/details/141728818

版权

算法专栏收录该内容

5 篇文章 0 订阅

订阅专栏

群

群的定义

定义集合 GG 和作用与集合 GG 的二元运算 ××

若其满足以下 44 个性质，则称其为一个群(Group)(Group)，记为 ( G,× )( G,× )：

1.1. 封闭性 (Closure)(Closure)

若存在 aa 和 bb 满足 a∈G,b∈Ga∈G,b∈G ，则有 a×b∈Ga×b∈G

2.2. 结合律 (Associativity)(Associativity)

对于任意 a,b,ca,b,c 有 (a×b)×c=a×(b×c)(a×b)×c=a×(b×c)

3.3. 单位元 (Identity)(Identity)

存在 e∈Ge∈G，满足对于任意 a∈Ga∈G 有： a×e=e×a=aa×e=e×a=a

这样的 ee 被称为单位元。容易证明单位元唯一（你假设有多个可以马上推出矛盾）

e.g:e.g: 实数的乘法运算就是一个群，模意义下的乘法运算（不包括00）同样是一个群。这些例子中的单位元均为 11

4.4. 逆元 (Inverse)(Inverse)

对于任意 a∈Ga∈G 存在 a′∈Ga′∈G 满足 a×a′=a′×a=ea×a′=a′×a=e

值得注意的是这个 a′a′ 是唯一的。读者可以尝试自行证明。

性质的实际应用：

1−question:1−question: 为什么不能使用传统的树状数组实现区间最值查询。

1−answer:1−answer: 树状数组在于运算上存在一个差分的过程，换而言之需要"逆元"的存在，然而最值函数与数集SS不构成群。~~（好像在扯淡）~~

子群：

如果 HH 为 GG 的一个子集，且有 ( H,× )( H,× ) 构成一个群，那么称 (H,×)(H,×) 为 (G,×)(G,×) 的一个子群。简记为 H≤GH≤G。

如果 GG 是一个群，HH 为其一个子群，且有 g∈Gg∈G，那么：

gH=g×h,h∈HgH=g×h,h∈H，称其为 HH 在 GG 内的关于 gg 的左陪集。

Hg=h×g,h∈HHg=h×g,h∈H，称其为 HH 在 GG 内的关于 gg 的右陪集。

陪集的一些性质：

下面只讨论右陪集：（左陪集同理）

1.1. ∀g∈G∀g∈G，∣H∣=∣Hg∣∣H∣=∣Hg∣

证明：注意到 "群的性质" ：逆元唯一，所以有对于任意的 g×h1g×h1 与 g×h2g×h2 其必然不同。

2.2. ∀g∈G∀g∈G，g∈Hgg∈Hg

证明：注意到 HH 是一个群，所以 HH 必然包括了单位元ee，所以 e×g∈Hg ⟺ g∈Hge×g∈Hg⟺g∈Hg

3.3. Hg=H ⟺ g∈HHg=H⟺g∈H

证明显然，由于封闭性可以得到。

4.4. Ha=Hb ⟺ a×b−1∈HHa=Hb⟺a×b−1∈H

证明：

首先你发现陪集像极了运算，所以有：Ha=Hb ⟹ Ha×b−1=HHa=Hb⟹Ha×b−1=H 由于性质33 得到： a×b−1∈Ha×b−1∈H

由于 a×b−1∈Ha×b−1∈H 所以 Ha=HbHa=Hb ...这个显然，配合性质 33 食用。

5.5. Ha∩Hb≠∅→Ha=HbHa∩Hb=∅→Ha=Hb

这个性质非常有用，其意味着一个子群 HH 的陪集的交集要么是空要么两个相等。

证明：假设 c∈Ha,c∈Hbc∈Ha,c∈Hb ，于是有 ∃ h1,h2∈H∃ h1,h2∈H，h1×a=c,h2×b=ch1×a=c,h2×b=c 所以我们得到：ab−1=h2h1−1∈Hab−1=h2h1−1∈H 由于性质44 得到 Ha=HbHa=Hb。

6.6. HH 的全体右陪集的并为 GG

证明：因为 HH 存在单位元，gg 取遍 GG 中每一个元素。

较为常见的表述：

若 H≤GH≤G，则 G/HG/H 代表 GG 中所有的 HH 的左陪集即{gH,g∈G}{gH,g∈G}

若 H≤GH≤G，则 [G:H][G:H] 表示 GG 中 HH 的不同的陪集的数量。

拉格朗日定理：

对于有限群 GG 与有限群 HH ，若 HH 为 GG 的子群，那么有：

∣H∣整除∣G∣∣H∣整除∣G∣

即 HH 的阶整除 GG 的阶。

更具体点：

∣H∣×[G:H]=∣G∣∣H∣×[G:H]=∣G∣

证明：

由于陪集的性质1,5,61,5,6，所有本质不同的陪集互不相交且大小均为 ∣H∣∣H∣ 且并的大小为∣G∣∣G∣，可以得到不同的陪集数量乘以陪集大小(∣H∣)(∣H∣)为 GG 。你会发现有了陪集的性质之后这些都特别自然了。

置换

备注：一个充满魔法的科技。

一些定义：

Two−linenotationTwo−linenotation

双行表示法，大概就是用两个括号括起来，然后令 "元素/置换" 表示一个从【上列】到【下列】的置换。

比如：

σ=(1234525431)σ=(1225344351)

其表示的置换为将排列 1 2 3 4 51 2 3 4 5 变为 2 5 4 3 12 5 4 3 1 的一个置换，可以理解为用原本第二个元素代替第一个元素，用原本的第 55 个元素代替第 22 个元素...依次类推。

不过我更喜欢强行规定第一列是 (1,2,...n)(1,2,...n)

然后第二列就是：

σ=(a1,a2...an)σ=(a1,a2...an) 表示一个置换。

每个置换都是一个这样的排列，一个长度为 nn 的不同的置换的数量为 n!n!

运算：

可以写为 σ×aσ×a 不过更习惯被表示为 σ(a)σ(a)

其运算规则为：σ(a)=(aσ1,aσ2...aσn)σ(a)=(aσ1,aσ2...aσn)

没错，这是一个运算，通常可以称呼其为置换的「魔法」/「乘法」，如上例可以用文字描述为：σσ 和 aa「魔法」起来。（这里是我个人认为它非常神奇而称呼其为「魔法」诸位笑笑便好）

更正式的，我们称呼其为置换的「合成」

置换群：

不妨令集合 N={1,2,3...n}N={1,2,3...n} ，令集合 MM 为 NN 的若干个排列构成的集合，我们令群 G=(M,×)G=(M,×)，其中 ×× 这个运算为「魔法」/「合成」，若再此基础上，其满足群的性质。则我们称 GG 是一个置换群。

我们现在来验证一个例子，NN 的所有可能的排列与运算「魔法」构成的 "二元组?"（这里不太清楚如何称呼）是一个合法的置换群：

1.1. 封闭性，显然，注意上面定义的是所有可能的排列。

2.2. 单位元 :e=(1,2,...n) :e=(1,2,...n)

容易发现 σσ「魔法」e=ee=e「魔法」σ=σσ=σ

3.3. 结合律：容易验证「魔法」满足结合律。

4.4. 逆元：容易验证「魔法」运算存在逆元。

「群作用」

分为左群作用和右群作用。具体不太记得了...下面描述的是左群作用的定义，下文出于方便，将同一称为「群作用」，并使用此处的定义。

定义：

对于一个集合 MM 和群 GG 。

若给定了一个二元函数 φ(v,k)φ(v,k) 其中 vv 为群中的元素，kk 为集合元素，且有：

φ(e,k)=k(e 是单位元)φ(e,k)=k(e 是单位元)

φ(g,φ(s,k))=φ(g×s,k)φ(g,φ(s,k))=φ(g×s,k)

则称呼群 GG 作用于集合 MM。

轨道-稳定子定理：

轨道

考虑一个作用在 XX 上的群 GG 。 XX 中的一个元素 xx 的「轨道」则是 xx 通过 GG 中的元素可以转移到的元素的集合。xx 的轨道被记为 G(x)G(x)，方便起见，我们用 g(x)g(x) 表示群 GG 元素 gg 作用于 xx 的群作用的返回值，即 g(x)=φ(g,x)g(x)=φ(g,x)。

稳定子

稳定子被定义为：Gx={g∣g∈G,g(x)=x}Gx={g∣g∈G,g(x)=x}

使用语言描述，便是群 GG 中满足 g(x)=xg(x)=x 的所有元素 gg 所构成的集合。

e.g:e.g:

给定一个 2×22×2 的矩形，每个点可以使用黑白染色，这样得到的所有矩形构成的集合为 MM

给定一个群 GG ，其成员为 1.1. 顺时针旋转9090°，2.2. 顺时针旋转180180°，3.3. 顺时针旋转270270°，4.4. 顺时针旋转00°。其运算为模360360意义下的加法（大概，想必诸位理解我的意思）

那么对于一个 MM 内的一个元素（00表示白，11表示黑）

(1100)(1010)

而言，其稳定子 GxGx 为 {{顺时针旋转00°}}

其轨道为：

(1100),(0101),(0011),(1010)(1010),(0011),(0101),(1100)

似乎有一个巧合，轨道大小与稳定子的大小乘积为 44 刚好是群 GG 的大小！

诸位可以去举其他例子来类比，总是可以发现这个规律。

这个东西有一个名字，叫做轨道-稳定子定理：

轨道-稳定子定理：

∣Gx∣×∣G(x)∣=∣G∣∣Gx∣×∣G(x)∣=∣G∣

首先可以证明：GxGx 是 GG 的一个子群。

首先根据群作用的定义，我们得知：e∈Gxe∈Gx

结合律显然满足，我们接下来考虑证明逆元和封闭性。

封闭性：f∈Gx,g∈Gxf∈Gx,g∈Gx 则 f(x)=x,g(x)=xf(x)=x,g(x)=x 根据群作用的定义，此时有：(f×g)(x)=x(f×g)(x)=x，所以 f×g∈Gxf×g∈Gx

逆元：若 g∈Gxg∈Gx 则 g(x)=xg(x)=x 又因为 (g×g−1)(x)=e(x)=x(g×g−1)(x)=e(x)=x 所以 g−1(x)=xg−1(x)=x 所以 g−1∈Gxg−1∈Gx

所以按照拉格朗日定理有： ∣Gx∣×[G:Gx]=∣G∣∣Gx∣×[G:Gx]=∣G∣

于是只需要证明 [G:Gx]=∣G(x)∣[G:Gx]=∣G(x)∣

然后这个东西直观感受挺对的...但是还是丢一个严谨的证明：

我们只需要证明，每一个 g(x)g(x) 都能对应 [G:Gx][G:Gx] 中的一个左陪集/右陪集即可。

不妨这样构造一个一一对应的关系：

若 f(x)=g(x)f(x)=g(x) 则可得：f×g−1=x=e(x)∈Gxf×g−1=x=e(x)∈Gx，由于陪集的性质f×Gx=g×Gxf×Gx=g×Gx ，这意味着我们证明了相同的 f(x)f(x) 都可以对应相同的陪集。

反之亦然 fGx=gGx ⟺ f(x)=g(x)fGx=gGx⟺f(x)=g(x)

于是每一个 g(x)g(x) 我们令 gGxgGx 表示它对应的陪集即可，正确性由上述性质保证不会重复，相同的 g(x)g(x) 总是对应着相同的陪集。

Burnside 定理

公式：

定义 GG 为一个置换群，定义其作用于 XX，如果 x,y∈Xx,y∈X 在 GG 作用下可以相等即存在 f∈Gf∈G 使得 f(x)=yf(x)=y 则定义x,yx,y 属于一个等价类，则不同的等价类的数量为：

∣X/G∣=1∣G∣∑g∈GXg∣X/G∣=∣G∣1g∈G∑Xg

其中， XgXg 为 XX 在 gg 作用下的不动点的数量。即满足 g(x)=xg(x)=x 这样的 xx 的数量。

文字描述：XX 在群 GG 作用下的等价类总数等于每一个 gg 作用于 XX 的不动点的算数平均值。

证明：

由于每个元素属于仅属于一个轨道，轨道内部在群 GG 作用下互达，(陪集性质) 所以我们可以得到：

∣X/G∣=∑x∈X1[G:Gx]∣X/G∣=x∈X∑[G:Gx]1

根据轨道-稳定子定理，得到：

[G:Gx]=G∣Gx∣[G:Gx]=∣Gx∣G

∣X/G∣=∑x∈XGxG∣X/G∣=x∈X∑GGx

∣X/G∣=1∣G∣∑x∈XGx∣X/G∣=∣G∣1x∈X∑Gx

后面那一坨，反过来，就是对于每一个群作用 gg ，其作用下不动点的数量。

综上，我们得到 BurnsideBurnside 定理。

Poˊlya 定理

考虑如何快速的使用 BurnsideBurnside 定理进行计算。

我们可以注意到在一般的染色问题/类似的问题求本质不同的xxx的问题当中（即 BurnsideBurnside 派上用场的时候）我们一般都是要求不动点的数量。

对于一个置换 (a1,a2...an)(a1,a2...an) 按照前文，我们规定上列为 (1,2...n)(1,2...n) 则其描述的是第一个位置变成 a1a1...诸如此类的轮换。

在使用 BurnsideBurnside 解决染色问题的时候，我们需要求的是不动点的数量，而对于上述的置换，假设我们令每个 ii 向 aiai 连一条边容易发现会得到若干个环，仔细思考，每个环的颜色应当相同。

我们定义这个环的数量为 c(g)c(g) 即置换 gg 的轮换(环)数。

那么我们现在可以改写 BurnsideBurnside 定理为：

1∣G∣∑g∈Gmc(g)∣G∣1g∈G∑mc(g)

mm 表示可用的颜色数。

这就是 PoˊlyaPoˊlya 定理辣！

如果你认真的读完了前文的内容，那么这一步应该是相当显然的

dingjiapeng1234

关注

17
点赞
踩
5

收藏

觉得还不错? 一键收藏
0
评论
Polya

定义集合 GG 和作用与集合 GG 的二元运算 ××若其满足以下 44 个性质，则称其为一个群(Group)(Group)，记为 ( G,× )( G,× )：1.1. 封闭性 (Closure)(Closure)若存在 aa 和 bb 满足 a∈G,b∈Ga∈G,b∈G ，则有 a×b∈Ga×b∈G2.2. 结合律 (Associativity)(Associativity)对于任意 a,b,ca,b,c 有 (a×b)×c=a×(b×c)(a×b)×c=a×(b×c)
复制链接

扫一扫