首页 > 其他分享 >【学习笔记】Burnside引理与Polya定理(无证)

【学习笔记】Burnside引理与Polya定理(无证)

时间:2023-01-27 16:55:26浏览次数:54  
标签:定理 笔记 Burnside 引理 Polya 置换

群论笔记

Burnside引理

\[置换后本质不同的数量= \frac{1}{置换方式总数} \times 所有置换后与原来相同的构造方案 \]

注意:单位元也是置换

Polya定理

举例说明。

考虑立方体染色问题。分析以相对棱的中点连线为轴的 180^\circ 旋转,如果将前、后、上、下、左、右 6 个面依次编号为 1 到 6,则该置换可以表示为(翻转后原来编号为 1 的面的位置变为了编号为 3 的面,以此类推):

\[\begin{pmatrix} 1,3,2,4,5,6 \\ 3,1,4,2,6,5 \\ \end{pmatrix} = (1,3)·(2,4)·(5,6) \]

分割成为三个循环群,设其数量为\(k\)。

那么:

\[本质不同的数量=\frac{1}{置换方式总数} \times \sum_{第i种置换} 颜色数^{k_i} \]

详见oiwiki

OIwiki yyds!!!

标签:定理,笔记,Burnside,引理,Polya,置换
From: https://www.cnblogs.com/T-water/p/17069028.html

相关文章

  • P4980 【模板】Pólya 定理
    作为板子题,先上公式:\[|X/G|=\frac1{|G|}\sum_{g\inG}|B|^{c(g)}\]显然,\(|G|=n\)用\(g_i\)表示旋转\(i\)个的置换,则\(c(g_i)=(n,i)\)我们要算下式:\[\begin{ali......
  • 抽象代数:置换群,Burnside 引理和 Polya 定理
    群群的定义给定集合\(G\)和二元运算\(\cdot\)满足如下性质:封闭性:\(\foralla,b\inG\),有\((a\cdotb)\inG\)结合律:\(\foralla,b,c\inG\),有\((a\cdotb)\cdot......
  • Atcoder Beginner Contest ABC 284 Ex Count Unlabeled Graphs 题解 (Polya定理)
    题目链接弱化版(其实完全一样)u1s1,洛谷上这题的第一个题解写得很不错,可以参考直接边讲Polya定理边做这题问题引入:n颗珠子组成的手串,每颗珠子有两种不同的颜色,如果两......
  • Atcoder Beginner Contest ABC 284 Ex Count Unlabeled Graphs 题解 (Polya定理)
    题目链接弱化版(其实完全一样)u1s1,洛谷上这题的第一个题解写得很不错,可以参考直接边讲Polya定理边做这题问题引入:n颗珠子组成的手串,每颗珠子有两种不同的颜色,如果两......
  • (组合数学笔记)Pólya计数理论_Part.10_Pólya定理的推广——De Bruijn定理的母函数形式
    文章目录写在前面介绍DeBruijn定理的母函数形式,由此《(组合数学笔记)Pólya计数理论》系列完结。引入与Pólya定理的母函数形式的推导类似,首先引入模式清单的概念,并介绍两个......
  • 定理(Theorem)、引理(Lemma)、推论(Corollary)的区别
    名詞解釋Theorem:就是定理,比較重要的,簡寫是Thm。Lemma:小小的定理,通常是為了證明後面的定理,如果證明的篇幅很長時,可能會把證明拆成幾個部分來敘述,雖然篇幅可能變多,但脈絡......
  • Burnside引理和Polya定理
    Burnside引理设\(A\)和\(B\)为有限集合,\(X\)为\(A\toB\)的一个映射集合,\(G\)是\(A\)上的一个置换群,\(X/G\)表示置换群\(G\)作用在\(X\)上产生的所有映射......
  • 【XSY3032】画画(Burnside引理,计数)
    为了方便,我们肯定是先考虑有标号图的个数,再用Burnside引理去重,但是用Burnside引理时得先考虑清楚映射集合\(X\)是哪个集合\(A\)到哪个集合\(B\)的哪些映射,以及作......
  • LGV引理
    一句话题意,给定\(n\),\(m\),求(\(1\),\(2\))到(\(n-1\),\(m\))和(\(2\),\(1\))到(\(n\),\(m-1\))的不相交路径方案数。考虑使用\(LGV\)引理解题。(虽然可以......
  • 群论 polya burnside
    ​​http://www.elijahqi.win/archives/3388​​群论什么是群?元素和建立在元素上的二元运算构成的代数系统如何判定是否是一个群?要求满足四条群公理阶G中所含元素的......