zoukankan      html  css  js  c++  java
  • Burnside引理与polay定理

    Burnside引理与polay定理


    引入概念

    1.置换

    简单来说就是最元素进行重排列
    是所有元素的异议映射,即([1,n])映射到([1,n])

    [egin{pmatrix} 1&2&i ldots n \ a_{1} & a_{2}&a_{i} ldots a_{n} end{pmatrix} ]

    比如,把正方体绕中心旋转90度,可以看做四个顶点的一个置换
    (1)置换可以构成换:对于元素连一条有向边,连到置换中映射的元素,会构成n个环,(循环)
    (2)如果一个状态(S)经过置换后与原来相同,即$$S[1]=S[a_1],S[2]=S[a_2] ldots S[n]=S[a_n]$$
    那么称这个状态(S)为不动点
    (3)本质不同的方案数一般指方案类的种数,等价关系通常是一个置换集合,如果一个置换能把其中一个方案映射到另一个方案那么他么是等价的。置换构成的置换群就是交换排列顺序而已。
    (4)多个置换构成置换群

    2Brunside

    对于一个置换群(G),(G)是目标集[1,n]上的置换群,若一个染色方案(S)经过置换后不变,称(S)为G的不动点。将不动点的数目记为(C(G))则等价类(l)的数目为(C(G))的平均值

    [l=dfrac {1}{left| G ight| }[c_1(a_1)+c1(a_2)+ ldots +c_1(a_g)] ]

    证明

    明的话,泥萌还是去看抽象数学吧QAQ
    百度百科给了证明
    证明1:(gin G),记(X_g(x)=1)表示(g(x)=x)否则(X_g(x)=0)。考虑以下和式:

    对于上式最右边我们有:

    所以:

    例子

    一个正方形分成4格,着上两种颜色,有多少种方案?其中经过转动相同图像的算一种方案

    根据计数原理,每个格子都有两种颜色可选
    所以,一共有16种图像
    对于图中图像的置换可分为以下四种
    不动:

    [a_1=(1)(2)ldots (16) ]

    逆时针旋转90度

    [a_2=(1)(2)(3 4 5 6)(7 8 9 10) (11 12)(13 14 15 16) ]

    顺时针旋转90度

    [a_3=(1)(2)(6 5 4 3)(10 9 8 7)(11 12)(16 15 14 13) ]

    旋转180度

    [a_4=(1)(2)(3 5)(4 6)(7 9)(8 10)(11)(12) (13 15)(14 16) ]

    那么有Burnside引理可知
    第一种情况不动点种类为16(全)种
    第二种情况不动点种类为$(1) (2)(2种 第三种情况与第二种情况相同 第四种情况为)(1) (2) (11) (12)$4种
    那么有Burnside引理可知
    等价类的种类为(16+2+2+4)/4=6种

    例题:
    POJ 2154

    3Polya定理

    利用Burnside引理要首先列出所有(n^m)种可能的染色方案
    然后找出在每个置换下保持不变的方案数,显然当m或n很大的时候,复杂度会炸,这时就需要用到polya定理。
    Polya定理实际上是Burnside引理的具体化,提供了计算不动点的具体方法。
    假设一个置换有(sigma_k)个循环,就是轮换
    易知每个循环对应的所有位置颜色需一致,而任意两个循环之间选什么颜色互不影响。因此,如果有m种可选颜色,则该置换对应的不动点个数为(m^{sigma_k})
    用其替换Burnside引理中的(C(G)),即(C(G)=m^k)。得到等价类数目为:

    [M=dfrac {1}{left| G ight| }sum ^{|G|}_{k=1}m^{sigma _{k}} ]

    (|G|)表示置换的数目(sigma _k)表示第k个置换包含的循环数目

    例子

    仍然是一个正方形分成4格,着上两种颜色
    那么对于一种定点而言

    不动:(a_1=(1)(2)(3)(4)) //单个
    旋转90度 :(a_2=(1 2 3 4)) //全涂
    旋转180度 :(a_3=(1 3)(2 4)) //单排
    旋转270度:(a_4=(1 4 3 2)) //对角线
    那么(M=dfrac {1}{4} * (2^4+2^1+2^2+2^1)=6)

    例题

    POJ1286

  • 相关阅读:
    第六章 函数与宏定义实验报告
    第三次实验报告
    第五章 循环结构课后反思
    第二次实验报告
    第一次实验报告
    安装OpenCV时提示缺少boostdesc_bgm.i文件的问题解决方案
    2020软件工程最后一次作业
    2020软件工程第四次作业
    2020软件工程第三次作业
    2020软件工程第二次作业
  • 原文地址:https://www.cnblogs.com/sssy/p/8427745.html
Copyright © 2011-2022 走看看