基于Polya枚举的项链计数：等距着色影响及C₆群约束问题

咱们先从基础的Polya枚举法逻辑说起，计算项链数量的核心是轨道数公式：

根据定理，群$G$作用在集合$B$上的轨道数为$Z_G(|B|,\dots,|B|)$

拿6阶循环群$C_6$（对应6颗珠子的旋转对称）举例，它的循环指标已经推导完成：
Z_{C_6}=\frac{1}{6}(2t_6+2t_3^2+t_2^3+t_1^6)
对应的轨道数计算公式就是：
\frac{1}{6}(2b+2b^2+b^3+b^6)
这里的$b$代表允许的珠子颜色数，比如选红、蓝两色时，直接把$b=2$代入公式，就能算出无约束条件下的6珠项链总数。

现在核心问题来了：如果加个额外约束——只考虑6颗珠子里绿色珠子呈等距分布的项链，这个问题能不能简化成研究$C_3$群？

咱们先拆解“绿色珠子等距分布”的具体情况：对于6颗珠子的圆周项链，绿色珠子的位置必须满足任意两颗绿色珠子的圆周间隔完全相等，可能的场景包括：

• 0颗或6颗绿色（全同色，天然满足等距要求）
• 2颗绿色：间隔必须是3颗珠子（比如位置1和4）
• 3颗绿色：间隔必须是2颗珠子（比如位置1、3、5）

再看对称群的变化：原来的$C_6$包含6种旋转操作（旋转0、1、2、3、4、5步），但现在只有能保持绿色珠子等距分布的旋转才是有效的对称操作：

• 对于2颗绿色的情况，只有旋转0步（不动）和旋转3步（交换两颗绿色珠子）能维持等距状态；
• 对于3颗绿色的情况，旋转0、2、4步都能保持绿色位置的等距性（旋转2步后，绿色位置1→3→5→1，依然满足间隔要求）；
• 全绿或全非绿的情况，所有旋转都有效，但这部分可以归到其他场景统一处理。

如果我们把项链的位置按模3分组：{1,4}、{2,5}、{3,6}，那么绿色等距分布就等价于“每个分组内的珠子颜色完全一致”（要么全绿，要么全非绿）。这时候，原项链就可以看作是由3个“分组单元”组成的新项链，对应的对称群就是$C_3$（旋转0、2、4步对应$C_3$的旋转0、1、2步）。

所以结论是：当约束绿色珠子等距分布时，这个问题确实可以简化为研究$C_3$群的作用——我们把原项链的位置按等距要求分组为3个等价单元，每个单元对应新项链的一个“珠子”，再用$C_3$的循环指标计算轨道数即可。

内容的提问来源于stack exchange，提问作者user265675