波利亚计数定理

✍ dations ◷ 2025-04-02 11:32:06 #组合数学

波利亚计数定理(英语:Pólya enumeration theorem,简称PET)用来研究不同着色方案的计数问题,它是组合数学中的一个重要的计数公式,是伯恩赛德引理的一般化,由波利亚·哲尔吉在1937年的论文中提出并被广泛应用,该结果首先由John Howard Redfield在1927年发表,但当时很少有人能理解,十年后由波利亚独立重新发现。对于含n个对象的置换群G,用t种颜色着色的不同方案数为:

其中 G = a 1 , a 2 , . . . , a g , c ( a k ) {\displaystyle G={a_{1},a_{2},...,a_{g}},c(a_{k})} 为置换 a k {\displaystyle a_{k}} 的循环指标(Cycle index)数目。

设对n个对象用m种颜色: b 1 , b 2 , , b m {\displaystyle b_{1},b_{2},\cdots ,b_{m}} 着色。设

m c ( p i ) = ( b 1 + b 2 + + b m ) c 1 ( p i ) ( b 1 2 + b 2 2 + + b m 2 ) c 2 ( p i ) ( b 1 n + b 2 n + + b m n ) c n ( p i ) {\displaystyle m^{c(p_{i})}=(b_{1}+b_{2}+\cdots +b_{m})^{c_{1}(p_{i})}(b_{1}^{2}+b_{2}^{2}+\cdots +b_{m}^{2})^{c_{2}(p_{i})}\cdots (b_{1}^{n}+b_{2}^{n}+\cdots +b_{m}^{n})^{c_{n}(p_{i})}} ,其中 c j ( p i ) {\displaystyle c_{j}(p_{i})} 表示置换群中第i个置换循环长度为j的个数。

S k = ( b 1 k + b 2 k + + b m k ) , k = 1 , 2 , n {\displaystyle S_{k}=(b_{1}^{k}+b_{2}^{k}+\cdots +b_{m}^{k}),k=1,2\cdots ,n} ,则波利亚计数定理的母函数形式为:

P ( G ) = 1 G j = 1 g Π k = 1 n S k c k ( p j ) {\displaystyle P(G)={\frac {1}{\mid G\mid }}\sum _{j=1}^{g}\Pi _{k=1}^{n}S_{k}^{c_{k}(p_{j})}}

波利亚计数定理只是给出计数,但没有给出相应的方案,而母函数形式的波利亚计数定理可以给出相应的方案。

使用两种颜色对正方体的六个面的面染色,不同的染色方案数有:

甲烷CH4的4个键任意用H(氢),Cl(氯),CH3(甲基), C2H5(乙基) 连接,有多少种方案? 

甲烷的结构为正四面体,设四面体的四个顶点分别为A、B、C、D,将正四面体的转动群按转动轴分类情况如下:

根据波利亚计数定理可得:

1 12 ( 4 4 + 8 × 4 2 + 3 × 4 2 )   = 36 {\displaystyle {\frac {1}{12}}\left(4^{4}+8\times 4^{2}+3\times 4^{2}\right)\ =36}

相关

  • 原生生物超类群与门以及众多不同分类会包括的分类单元原生生物(学名:Protist,发音: /ˈproʊtᵻst/)统称真核生物域中,不属于植物、动物和真菌,一般个体微小、多数为单细胞、有细胞核和原生
  • 一致在语言学中,一致(Agreement)是指句子或词组中的某些成分,其形式须要在一些语法范畴上保持一致。例如,在英语中,they is 是不正确的,因为 they 属复数,be动词须要使用复数限定形式(are
  • 黄履黄履(1030年-1101年),字安中。北宋邵武(今属福建)人。嘉佑年间进士,历知谏院,同修起居注,知制诰。神宗时,累官御史中丞。哲宗即位,除翰林学士兼侍讲。刘安世揭发其党附蔡确之罪,罢知越州
  • 线性变换向量 · 向量空间  · 行列式  · 矩阵标量 · 向量 · 向量空间 · 向量投影 · 外积 · 内积 · 数量积 · 向量积矩阵 · 行列式 · 线性方程组 · 秩 · 核 · 迹
  • 13位欧洲商品编码国际商品编码(International Article Number),即欧洲商品编码(European Article Number, EAN),原来只是欧洲范围内商品,而现在已是全球范围内产品交易的商品代码。为了适应读码器辨
  • 火箭燃料火箭推进器一般以某种形式大量存储在推进器容器里,过去被用来大量从火箭发动机喷射出以流体喷射物的形式,以产生推力作为推进。燃料推进剂往往与氧化剂推进剂燃烧产生大量非常
  • 食毛目见内文虱毛目(学名:Phthiraptera)是原虱目和食毛目的合称,通称虱或虱子(英语:louse)。全世界约有3,000种。虱寄生于人体、其他哺乳动物(除了单孔目和蝙蝠外)和鸟类的身上。以人类为宿
  • 性、谎言和录像带《性、谎言和录像带》(英语:Sex, Lies, and Videotape)是1989年的一部美国独立电影,为史蒂文·索德伯格执导的首部剧情长片,剧情主要是一位男子拍摄许多女人谈论她们性事的影片,并
  • 国际空间站载人发射任务列表国际空间站载人发射任务列表列出了国际空间站截至目前的所有载人发射任务。国际空间站的长期考察队员(远征队成员)在表格中以粗体标示,而对接时间一栏列出的是航天器的对接时间
  • 赛城赛城,全称赛柏再也(马来语:Cyberjaya,意即网络之城),是马来西亚多媒体超级走廊计划下的核心科技城市,位于雪兰莪州雪邦县,距首都吉隆坡以南约50公里,与联邦政府的行政中心布城毗邻。