【luogu P4916 魔力环】【Burnside引理+组合数学】

题意

给出$n,m,k$，问有多少个长度为$n$的环，环上恰有$m$个黑珠子和$n-m$个白珠子，且不存在一段连续的黑珠子的长度超过$k$。两个环相等当且仅当他们循环同构。
$n,m,k\le 10^5$

分析

首先根据Burnside引理，设$f(d)$表示周期为$d$的合法序列数量，则 a n s = 1 n ∑ i = 0 n − 1 f ( g c d ( n , i ) ) = ∑ d ∣ n f ( d ) φ ( n d ) n ans=\frac{1}{n}\sum_{i=0}^{n-1}f(gcd(n,i))=\frac{\sum_{d|n}f(d)\varphi(\frac{n}{d})}{n} ans=n1​i=0∑n−1​f(gcd(n,i))=