环计数问题

环计数问题

Statement

假设$n$个元组成一个环, 每个元都是$1,\dots ,r$中的一个数, 两个环是不同的当且仅当它们不能通过旋转使得两个环对应的每个元素都相等.

Solution

如果我们现在先考虑链的情况, 那么一个长度为$n$的链, 每个元素是$1,\dots ,r$中的一个数的方案数为$r^n$.

我们设$f_x$表示最小循环节为$x$的环的方案数. 则我们可以得到如下性质.

• 性质1: $r^n=\sum _{d|n}df(d)$.
  • 上式的组合意义就是, 我不妨考虑$n$元环是存在循环节的, 那循环节长度必然得是$n$的因子. 也就是$a_1,a_2,\dots ,a_d,a_{d+1},\dots ,n$循环节长度为$d$则有$a_1=a_{d+1},a_2=a_{d+2},\dots$. 由于循环节长度为$d$那我们破环为链一共会有$d$中本质不同的链.
• 根据莫比乌斯反演可得$nf(n)=\sum _{d|n}\mu (\frac{n}{d})r^d$. 得$f(n)=\frac{1}{n}\sum _{d|n}\mu (\frac{n}{d})r^d$.

则$Ans=\sum _{d|n}f(n)$.