acm-polya计数公式

来源:互联网 发布:汽车维修自学软件 编辑:程序博客网 时间:2024/05/18 20:05

新浪博客 发表时间 -- 2009-07-26 21:37:42)

polya计数公式

Redfield-Polya 定理是组合数学理论中最重要的定理之一.自从 1927 年 Redfield 首次运用 group reduction function 概念,现在称之为群的循环指标(circle index of a group),至今 60 多年来,他在许多实际计数问题上得到了广泛的应用,它以置换群为理论基础,与生成函数有机地结合在一起,揭示了一类具有组合意义的计数的规律性.  
例子:
acm-polya计数公式 是有限集, acm-polya计数公式 有限赋权集, acm-polya计数公式acm-polya计数公式 上的置换群. acm-polya计数公式 . 由 acm-polya计数公式 可确定 acm-polya计数公式 总元素的等价关系“acm-polya计数公式 ”, 由“acm-polya计数公式 ”, 集合 acm-polya计数公式 可分解为若干互不交的等价类之并, 等价类的全体组成的集合记为 acm-polya计数公式 , acm-polya计数公式 中的元素为 acm-polya计数公式 , 那么等价类的权的和就可以用 acm-polya计数公式 的轮换示式表示. 即  定理 3  (Polya 1937) acm-polya计数公式 ,如果对 acm-polya计数公式 , 均取 acm-polya计数公式 , 则得等价类的元素个数为 acm-polya计数公式   证明  (见相关知识)   例 12  用红蓝二色对正立方体 acm-polya计数公式 的六个面染色, 对红、蓝色赋权 acm-polya计数公式 (红)=acm-polya计数公式 , acm-polya计数公式 (蓝)=acm-polya计数公式 , 此时的轮换示式为 acm-polya计数公式 对正方体的两个面染色法, 如果经过群 acm-polya计数公式 的任意旋转, 都不能使旋转前后正方体对应的面染色相同, 则称为本质上不同的, 于是, 对正方体的面染色, 本质上不同的染色数是 acm-polya计数公式 对具有四个红面, 两个蓝面的本质上不同的染色数, 是多项式 acm-polya计数公式                                acm-polya计数公式  acm-polya计数公式                     acm-polya计数公式 的系数, 即 2. 如果欲求具有 acm-polya计数公式 个红面, acm-polya计数公式 个蓝面的染色数 acm-polya计数公式 . 既有 acm-polya计数公式 .   例 13  用 2 个蓝珠, 1 个红珠, 1 个黄珠可串成多少种不同的项链?    设珠子集合为 acm-polya计数公式 , 颜色集 acm-polya计数公式 {蓝、红、黄}, 赋权为 acm-polya计数公式 (蓝)acm-polya计数公式 , acm-polya计数公式 (红)acm-polya计数公式 , acm-polya计数公式 (黄)acm-polya计数公式 , acm-polya计数公式 上的置换群是二面体群:

acm-polya计数公式

acm-polya计数公式acm-polya计数公式 ,

 acm-polya计数公式 的循环指标多项式为: acm-polya计数公式  acm-polya计数公式 中全部模型的存储为:  acm-polya计数公式   acm-polya计数公式   acm-polya计数公式 ,所求模型的权 acm-polya计数公式 , 其系数为 2, 即有两种不同的项链.  例 14  acm-polya计数公式 是有限集, acm-polya计数公式acm-polya计数公式 上的置换群, 称 acm-polya计数公式 的子集 acm-polya计数公式acm-polya计数公式 等价(记为 acm-polya计数公式 ), 如果存在 acm-polya计数公式 , 使得 acm-polya计数公式 , 试求等价类的数目.    设集 acm-polya计数公式 , 赋权为: acm-polya计数公式 , 映射 acm-polya计数公式 , acm-polya计数公式 其中 acm-polya计数公式 , 这样集 acm-polya计数公式 的子集与 acm-polya计数公式 中的映射一一对应, acm-polya计数公式 , 均有 acm-polya计数公式 , 从而子集的等价类为映射的等价类, 故子集等价类的数目等于 acm-polya计数公式 中全部模型(在 acm-polya计数公式 )的存储, 由 Redfidld-Polya 定理, 等价类的数目为 acm-polya计数公式 .  如果对集 acm-polya计数公式 重新呀赋权为 acm-polya计数公式 , 这里 acm-polya计数公式 是变量, 有 acm-polya计数公式 个元素的子集对应的映射 acm-polya计数公式 的权 acm-polya计数公式 , 从而 acm-polya计数公式 中全部模型在此赋权下的存储为: acm-polya计数公式 , 在细多项式中 acm-polya计数公式 的系数 acm-polya计数公式 是个有 acm-polya计数公式 个元素的子集的等价类的数目, 当 acm-polya计数公式 取遍全部非负整数时, acm-polya计数公式 . 多项式 acm-polya计数公式 是有 acm-polya计数公式 个元素子集的等价类的数目的母函数.