波利亚计数定理

✍ dations ◷ 2025-04-04 11:13:05 #组合数学

波利亚计数定理(英语: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}

相关

  • 平和县平和县位于中国福建省南部,是漳州市下辖的一个县。辖10个镇、5个乡:小溪镇、山格镇、文峰镇、南胜镇、坂仔镇、安厚镇、大溪镇、霞寨镇、九峰镇、芦溪镇、五寨乡、国强乡、崎
  • 南北议和南北议和,或称1911年南北议和,辛亥革命时期以孙中山为代表的南方革命省份与以袁世凯为代表的清政府军事实力派的谈判事件。1911年四川保路运动兴起,清朝调动武昌新军前往镇压,革
  • 1997年1997年被中华人民共和国处决的死刑犯列表,旨在列出1997年被中华人民共和国处决的死刑犯。
  • 第498号决议朝鲜半岛与联合国 联合国安全理事会第702号决议 (1991年获得成员资格) 联合国安全理事会朝鲜相关决议列表 朝鲜人权状况调查委员会报告 (2014)联合国大会第498号决议是联合
  • 独立品独立品 (英文: Independent goods)  指某一种产品需求交叉零弹性。产品的需求及价格变化将不会影响到其他需求的独立品。现有两种产品A 和B,A 是独立品的情形会有两种情况
  • .dm.dm为多米尼克国家及地区顶级域(ccTLD)的域名。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az  B .ba .bb .bd .be .bf .bg .bh .bi .bj .bm .
  • 拉克拉克(印地语:लाख;旁遮普语:ਲੱਖ/لکھ‬;英语:Lakh或Lac),佛经中翻译为“洛叉”,是印度、巴基斯坦等国独特的货币计量单位。一个拉克等于十万(100,000)。在印度数字系统里书写成1,
  • 锅岛直茂锅岛直茂(1538年4月12日-1618年7月24日)是日本战国时代、安土桃山时代的武将,龙造寺氏的家臣。锅岛清房的次男,幼名彦法师,别名锅岛信生。在晚年更取代龙造寺氏,被丰臣秀吉允许成为
  • 麦克唐纳飞行器公司麦克唐纳飞行器公司(McDonnell Aircraft Corporation)是一家美国航空航天制造企业,总部设在密苏里州圣路易斯附近。麦克唐纳飞行器公司于1939年由詹姆斯·史密斯·麦克唐纳创建
  • 存储层次存储层次是在计算机体系结构下存储系统层次结构的排列顺序。每一层于下一层相比都拥有较高的速度和较低延迟性,以及较小的容量(也有少量例外,如AMD早期的Duron CPU)。大部分现今