摘要：
##引入 单位根反演一般用于求一类 $i \bmod k$ 的求和式，通过枚举 $j \equiv i \pmod{k}$，将式子转化为 $k$ 次单位根下的操作。这一般要求 $k \mid (\mathrm{mod} - 1)$。通常会结合二项式定理使用。 单位根反演 在 FFT 中我们其实已经见 阅读全文
摘要：
传送门 思路 考虑如何判无解，也就是说所有循环移位的 LIS 长度均大于 $n$。 一个括号序列的结论突然出现：令 $b_i = [p_i > n+1] - [p_i<n+1]$，那么 $b$ 中恰好包含 $n$ 个 $1$，$n$ 个 $1$ 和 $1$ 个 $0$。根据 Raney 引理的推论， 阅读全文