2023.9.10 闲话

推歌：

• リアライズ - 柊マグネタイト feat. 初音ミク .
• Summoning 101 - Mili .

---

我感觉杜教筛型递推大体已经被解明了：

$$f(n)=a_n-\sum_{i=2}^nz(i)\cdot f\left(\left\lfloor\dfrac ni\right\rfloor\right)$$

等价于：

$$\sum_{i=1}^nz(i)\cdot f\left(\left\lfloor\dfrac ni\right\rfloor\right)=a_n\text{ where }z(1)=1$$

那么反演即得：

$$f(n)=\sum_{i=1}^nz^{-1}(i)a_{\lfloor\frac ni\rfloor}$$

这里 $z^{-1}$ 是 $z$ 的 Dirichlet 卷积逆，差分后 Dirichlet 前缀和，$\Theta(n^{2/3}\log\log n)$ .

这种平衡思想可能也比较被人熟知 . 总之，一些题目：

• LOJ #6627 等比数列三角形 .
• 洛谷 P5218 无聊的水题 II .
• 洛谷 P9511 大豆 .
• CF1801F Another n-dimensional chocolate bar .
• NOI2016 循环之美 .
• LOJ #6222 幂数 ！（加强版） .

顺序随机排列 .

不过差分后应该可以成为块筛卷积形式，有很多方法是比杜教筛快的 .

关于别的形式的整除分块能不能反演，有广义反演定理：

广义反演定理

对于数论函数 $\alpha*\beta=1$ 和完全积性函数 $z$，和两个在 $\R_{\ge 1}$ 上有定义的函数 $F,G$，有：

$$G(n)=\sum_{i=1}^{\lfloor n\rfloor}z(i)\alpha(i)F\left(\dfrac ni\right)\iff F(n)=\sum_{i=1}^{\lfloor n\rfloor}z(i)\beta(i)G\left(\dfrac ni\right)$$

可以参考 .

不过相对来说 min25 筛型递推应当更实用一点吧，不过我还不怎么会 min25 筛，如果有机会的话我还是很希望了解的 .

---

刚学整除的 MO 舍友的题：对于奇数 $k$，证明 $1^k+2^k+\cdots+n^k$ 不被 $n+2$ 整除 .

可以看看，并不是很难 .