题目大意
对某个奇怪东西计数。
分析
非常经典的环形计数。
不难观察得到,需要计数的结构是一个分组,并且不需要对旋转进行去重。
考虑 DP,假设 $1$ 和 $n$ 不在一个分组,考虑设状态 $f_i$ 为对 $1$ 到 $i$ 进行分组的方案数,那么递推式有
$$ f_j = \sum_{i=0}^{j - 1} f_i \times (j - i) = \sum_{i=0}^{j-1} \sum_{k=0}^j f_k $$
乘 $j-i$ 的原因是最后一个分组的长度是 $j-i$,其每个元素都有可能和中心连线。
接下来考虑 $1$ 和 $n$ 在同一个分组的情况,假设 $1$ 和末尾 $i$ 个元素同一个分组,因此
$$ g_i = \sum_{j=i}^{n} f_{n-j} \times j $$
全体求和即为
$$ h_n = \sum_{i=1}^n g_i = \sum_{j=1}^{n-1} f_{n-j} \times j^2 $$
可以得到 $h$ 的 OGF
$$ h(x) = \frac{x+x^2}{(1-3x+1)(1-x)} $$
不难还原出递推式。
全部代码请看:Luogu/2x/P2144.cpp。