这是群论。
置换群是群论的一种:
必须要知道的:
理解一下;
这里置换就是旋转同构的表示,方案就是“染色方案”
m种置换,假如所有可能的方案,每种同构的方案都算了m次。(每种置换都有一次),那么直接除以m即可。
但是有的方案并没有被计算m次。例如旋转同构的11111只计算了1次。
为了都出现m次,保证能直接除法,就把少算的加上,最后除以m
burnside引理的思想就是这样。
扫描二维码关注公众号,回复:
4770380 查看本文章
更具体地,我们称不动点表示一个置换下置换前后不动的方案。
显然对于每个置换的不动点,那么这个不动点会在总方案中少出现一次(起码这个置换不会多一次),就要补上1
所以,
本质不同的“染色方案”,就是每个置换下不动点的个数除以置换数。
polya定理相当于一个辅助。