Burnside引理与Polya定理

解决本质不同方案数

参考博客

"引理"和"定理"并没有什么区别

Burnside引理

$$|X/G|=\frac{{\sum }_{g\in G}|X^g|}{|G|}$$

定义

符号	定义	解释
$X$	$A,B$为两个有限集合,$X=B^A$表示所有从$A$到$B$的映射	相当于给小球集合$A$中的每个求涂上颜色集合$B$中的颜色
$G$	作用在$A$上的置换群	字面意思
$X/G$	$X$上产生的所有等价类的集合	若$X$中的两个映射能经过$G$中的置换作用后相等,那么称它们在同一个等价类中
$X^g$	{ x \{x {x|$x\in X,g(x)=x\}$	$X$在置换$g$下的不动点(字面意思)集合

证明

根据轨道-稳定子定理,证明在这里

注意当$X\subseteq B^A$时,$Burnside$引理依然成立,因为证明中并没有用到$X=B^A$的条件

Polya定理

$Burnside$引理在处理染色问题的化简形式
$$ans=\frac{{\sum }_{g\in G}{m}^{c(g)}}{|G|}$$

定义

符号	定义	解释
$m$	可用的颜色数
$c(g)$	置换$g$中的轮换数	对于$g$中的每个映射连一条有向边,最后显然形成若干个简单环(因为是双射,每个点入度出度为1),环数即为轮换数

证明

证明在这里

其实比较显然,这里要化简的是计算不动点的数量

对于每一个置换$g$,若其存在不动点,每个置换环上的点颜色显然分别相同,总共有$c(g)$个环可以自由染色,其不动点数为$m^{c(g)}$

应用

[MtOI2018]魔力环

题目描述

给定一个$n$元环,把其中$m$个点染成黑色,满足没有超过连续$k$个点相连,求满足条件的本质不同的方案数

题解

G = ( { G=(\{ G=({顺时针旋转$0$步,顺时针旋转$1$步…顺时针旋转$n-1$步$\},+\mathrm{m}\mathrm{o}\mathrm{d}n)$

考虑每个置换对答案的贡献

对于顺时针旋转$k$步而言,一个元素是不动点当且仅当它有长度为$a$的循环节且满足$a|k$.显然,$a|n$.所以一个元素是不动点的条件等价于它有长度为$\gcd (k,n)$的循环节

显然,$k=0$时,任意一个合法的元素都是不定点,不过为了方便起见暂且把它认为是顺时针旋转$n$步

这样的话, G = ( { G=(\{ G=({顺时针旋转$1$步,顺时针旋转$2$步…顺时针旋转$n$步$\},+)$

设$f(n,m)$表示将一个$n$元环其中$m$个点染成黑色,满足没有超过连续$k$个点相连方案数

$$ans=\frac{{\sum }_{k=1}^n[\frac{n}{\gcd (k,n)}|m]f(\gcd (k,n),\frac{m\times \gcd (k,n)}{n})}{n}$$

因为循环节首尾相连,和环的情况差不多

套路,枚举$\gcd$

$$ans=\frac{{\sum }_{d|n}^n{\sum }_{k=1}^n[\gcd (k,n)=d][\frac{n}{d}|m]f(d,\frac{m\times d}{n})}{n}$$
$$=\frac{{\sum }_{d|n}^n[\frac{n}{d}|m]f(d,\frac{m\times d}{n}){\sum }_{k=1}^{\frac{n}{d}}[\gcd (k,\frac{n}{d}=1]}{n}$$
$$=\frac{{\sum }_{d|n}^n[\frac{n}{d}|m]f(d,\frac{m\times d}{n})\phi (\frac{n}{d})}{n}$$

这样的话考虑如何求出$f$就行了

$f(n,m)$相当于将$m$个无标号黑点插进$n-m$个有标号白点的环中,且没有连续$k$个黑点的方案数,要乘上$(i+1)$是因为若第一个白点前黑点的数量($\in [0,n]$)不同也算不同的方案

枚举$1$号白点与$n$号白点之间有几个黑点,把环上的问题转换成序列上的问题

$f(n,m)={\sum }_{i=0}^{\min (m,k)}(i+1)\times g(n-m-1,m-i)$,$g(n,m)$为将$m$个点分为$n$个有标号组,且每组的数量$\in [0,n]$的方案数

钦点一些组打破限制

设$G(n,m,qwq)$为将$m$个点分为$n$个有标号组(可以为$0$),至少有$qwq$组数量$\in (k,\infty ]$的方案数,$T(n,m)$为将$m$个点分为$n$个有标号组,且每组的数量$\in [0,\infty ]$的方案数

$$G(n,m,qwq)=C_n^{qwq}T(n,m-(k+1)\times qwq)$$
$$T(n,m)=C_{n+m-1}^{n-1}$$
$$g(n,m)=\sum _{i=0}^{\min (n,\lfloor \frac{m}{k+1}\rfloor )}(-1{)}^{i}G(n,m,i)$$
$$=\sum _{i=0}^{\min (n,\lfloor \frac{m}{k+1}\rfloor )}(-1{)}^i{C}_n^{i}T(n,m-(k+1)\times i)$$
$$=\sum _{i=0}^{\min (n,\lfloor \frac{m}{k+1}\rfloor )}(-1{)}^i{C}_n^i{C}_{n+m-(k+1)\times i-1}^{n-1}$$

现在单个$g(n,m)$可以在$O(\min (n,\frac{m}{k}))=O(\frac{m}{k})$的时间内求出

那么单个$f(d,\ast )$可以在$O(d)$的时间内求出

注意到在$ans=\frac{{\sum }_{d|n}^n[\frac{n}{d}|m]f(d,\frac{m\times d}{n})\phi (\frac{n}{d})}{n}$一式中仅当$\frac{n}{d}|m$时会产生贡献,所以最后的复杂度为$O(\sigma (\gcd (n,m)))$

烷基计数

题目描述

已知碳原子个数$n$，求对应的烷基有多少种同分异构体

不考虑空间异构

题解

就是$n$个点的每个点的子节点个数$\le 3$的无标号有根树计数

一共有$6$种置换,考虑每种置换下不动点的数量

先考虑简单$DP$吧,设$f_x$为有$x$个碳原子的烷基计数

$$f_x=\frac{{\sum }_{i+j+k+1=x}{f}_i{f}_j{f}_k+3\times {\sum }_{2i+j+1=x}{f}_i{f}_j+2\times {\sum }_{3i+1=x}{f}_i}{6}$$

然后拿生成函数优化这个柿子

设$F(x)$为$f$的$OGF$

$$F(x)=x\frac{F^3(x)+3\times F(x^2)F(x)+2\times F(x^3)}{6}+1$$
$$6F(x)=x{F}^3(x)+3x\times F(x^2)F(x)+2x\times F(x^3)+6$$
$$G(F(x))=x{F}^3(x)+3F(x^2)xF(x)+2xF(x^3)+6-6F(x)=0$$

$Newton$迭代

$x,F(x^2),F(x^3)\mathrm{m}\mathrm{o}\mathrm{d}{x}^n$相当于常数项

$$G^{\prime }(F(x))=3x{F}^2(x)+3xF(x^2)-6$$

$$F(x)\equiv f(x)-\frac{G(f(x))}{G^{\prime }(f(x))}\mathrm{m}\mathrm{o}\mathrm{d}{x}^n$$

烷烃计数

已知碳原子个数$n$，求对应的烷烃有多少种同分异构体

不考虑空间异构

题解

就是$n$个点的每个点的度数个数$\le 4$的无标号无根树计数

参考博客

无标号无根数还是很难做,考虑怎么做成除根节点外每个点的子节点个数$\le 3$,根节点的子节点个数$\le 4$的无标号有根树计数

考虑对于一棵无根树,设枚举一个点为关键点,整棵树的点等价类数为$p$,枚举一条边为关键边,整棵树的边等价类数为$q$,设$s=1$当且仅当有两个重心且两个重心等价,那么有$p-q+s=1$

$s=0$时,考虑除重心外的每个点与其父亲边(以重心为根)的贡献.若两个点等价,那么这两个点的父亲边(以重心为根)也等价,所以除重心外的贡献为$0$

对于重心,它不可能与其他任何一个点等价,所以贡献为$1$

$s=1$时,因为两个重心等价,所以$p-q=-1$

这样,对于每棵无标号无根树用$p-q+s$统计答案即可做到不重不漏

对于$\sum p,\sum q,\sum s$分别统计答案

$\sum p$

枚举无标号无根树并统计点等价类,将每个点作为根,就相当于求无标号有根树

即相当于除根节点外每个点的子节点个数$\le 3$,根节点的子节点个数$\le 4$的无标号有根树计数

除根外的节点的子节点个数$\le 3$,即相当于前面做过的烷基计数

设烷基计数的$OGF$为$A(x)$

对根节点再做一遍$Burnside$,设$\sum p$的$OGF$为$P(x)$

一共有$4!=24$种置换,分类讨论即可

$$p_{x+1}=\frac{{\sum }_{i_i+i_2+i_3+i_4=x}{a}_{i_1}{a}_{i_2}{a}_{i_3}{a}_{i_4}+6{\sum }_{2i_1+i_2+i_3=x}{a}_{i_1}{a}_{i_2}{a}_{i_3}+3{\sum }_{2i_1+2i_2=x}{a}_{i_1}{a}_{i_2}+8{\sum }_{3i_1+i_2=x}{a}_{i_1}{a}_{i_2}+6{\sum }_{4i_1=x}{a}_{i_1}}{24}$$

$$P(x)=x\frac{A^4(x)+6A(x^2)A^2(x)+3A(x^2{)}^2+8A(x^3)A(x)+6A(x^4)}{24}$$

$\sum q$

就是求两个无标号有根树的根连起来后的不同构方案数

设答案的$OGF$为$Q(x)$

$$Q(x)=\frac{(A(x)-1{)}^2+A(x^2)-1}{2}$$

$-1$是因为$0$个点并不能被计入方案

$\sum s$

设答案的$OGF$为$S(x)$

$$S(x)=A(x^2)$$

那么答案就是$P(x)-Q(x)+S(x)$

烯烃计数

已知碳原子个数$n$，求对应的烯烃有多少种同分异构体

不考虑空间异构

题解

把碳-碳双键看作关键边,断开这条关键边,两边分别是一棵根节点的子节点个数$\le 2$,除根节点外子节点个数$\le 3$的无标号有根树

先用$Burnside$引理求出这棵树的方案再合并即可

设$n$个点的烷基计数的$OGF$为$A(x)$,要求的树的$OGF$为$P(x)$

$$P(x)=x\frac{A(x{)}^2+A(x^2)}{2}$$

设答案的$OGF$为$Q(x)$

$$Q(x)=\frac{(P(x)-1{)}^2+P(x^2)-1}{2}$$

同样,$-1$是因为$0$个点不能被算入方案