Classical Algorithm-有限群论+费马小定理+polya

群

群 $G$ 上的运算 $\times$ 满足$G\times G\to G$：
1. 封闭性：$\forall x,y\in G,x\times y\in G;$
2. 单位元：$\exists e\in G,\forall x\in G,x\times e=e\times x=x;$
3. 逆元：$\forall x\in G,\exists x^{-1},x\times x^{-1}=e;$
4. 结合律：$\forall x,y,z\in G,(x\times y)\times z=x\times (y\times z);$

子群(subgroup)

$H\subset G,同时H在G的\times 下构成一个群。有限群中|G|\equiv 0(mod|H|)$

陪集(coset)

$对一个子群H，g\in G,g\times H是群G的一个左陪集。$
Lemma 1 $g_1,g_2\in G,g_1\times H\cap g_2\times H\ne \varnothing ,当且仅当g_1\times H=g_2\times H$
$g_1,g_2\in H\to g_2=g_{1}h\to g_2\times H=g_{1}h\times H\subset g_{1}H\to g_{2}H\subset g_{1}H$
同理 $g_{1}H\subset g_{2}H\to g_{1}H=g_{2}H$
每个陪集都是一个等价类。
等价关系$g_1\sim g_2$
1.自反：$a\sim a$
2.对称：$a\sim b\to b\sim a$
3.传递：$a\sim b,b\sim c\to a\sim c$

7的模群，$G$={1，2，3，4，5，6};$H$={1,6}
$|G|=6|H|=2|G:H|=3$
可以证明对于同一个$H$,不同等价类里的元素个数相同，都是$|H|$。
$$|H_1|+|H_2|+|H_3|..+|H_k|=|G|$$
$$k|H|=|G|$$
Lagrange Theorem：
$$|G|=|G:H||H|$$
费马小定理：对于一个p的模群中的一个元素的循环群$H$，必然是模群$G$的一个子群
$$循环群：a^{|H|}=1(modp)$$
$$Lagrange：a^{|G|}=1(modp)$$
对质数有最大$|H|=p-1$，和数为$\Phi (p)$;

置换群

orbit-stabilizer theorem:
stabilizer: G x = { g ∈ G ∣ g   x = x } G_x=\{g\in G|g\ x=x\} Gx​={g∈G∣g x=x}(x的stabilizer)
X g = { x ∈ X ∣ g   x = x } X^g=\{x\in X|g\ x=x\} Xg={x∈X∣g x=x}
orbit：$Gx=G:G_x$
$$|Gx||G_x|=|G|$$
Burnside:
$${\Sigma }_{x\in X}|G_x|=|G|{\Sigma }_{x\in X}\frac{1}{|Gx|}=|G|{\Sigma }_{x\in X/G}{\Sigma }_{x\in A}\frac{1}{|A|}$$
$$=|G|{\Sigma }_{x\in X/G}1=|G||X/G|={\Sigma }_{g\in G}|X^g|$$
$$|X/G|=\frac{1}{|G|}{\Sigma }_{g\in G}|X^g|$$

Polya

m种颜色的染色问题，置换群元$g\in G$拆分成互不相交的$c(g)$个循环乘积，每个循环中颜色都要对应，有m种选择，$|X^g|=m^{c(g)}$,再用Burnside，
$$|X/G|=\frac{1}{|G|}{\Sigma }_{g\in G}{m}^{c(g)}$$

Example

四点的三染色
只允许保距变换
G = { e , r 1 , r 2 , r 3 } G=\{e,r^1,r^2,r^3\} G={e,r1,r2,r3}
$e=(1)(2)(3)(4),r^1=(4123),r^2=(13)(24),r^3=(2341)$
$|X/G|=\frac{1}{4}(3^4+3^1+3^2+3^1)=24$

UVA10601
有12根不同颜色的棒，可以组成多少个本质不同的正方体