NKOJ 4040 (CQOI 2017) 小Q的表格（莫比乌斯反演+分块+递推+线性筛/欧拉函数+分块+线性筛）

P4040小Q 的表格

问题描述

---

题目给出了一个有规律的表格，因此我们先随便修改一个数找一下所有被修改的数之间有没有什么规律，很容易发现好像被修改的数的行号和列号的gcd是一样的，于是我们考虑证明，实际上我们的修改过程和辗转相减的过程是一样的，因此很容易得证。
接着我们来考虑gcd一样的这些格子的数有什么特点，容易发现他们的倍数关系是固定的，等于行号列号乘积之商，所以我们用A[d]表示（d，d）这个格子的值，列出求和式

$$Ans=\sum_{d=1}^k A[d] \sum_{i=1}^k \sum_{j=1}^k (gcd(i,j)==d) \frac{i*j}{d^2}$$

接下来就有两种做法了。

---

做法一：

上面的式子看起来很眼熟，于是我们将他变形

$$Ans=\sum_{d=1}^k A[d] \sum_{i=1}^{\lfloor{\frac{k}{d}}\rfloor} \sum_{j=1}^{\lfloor{\frac{k}{d}}\rfloor}(gcd(i,j)==1) i*j$$
于是莫比乌斯反演一下，

f(x)=∑i=1⌊kd⌋∑j=1⌊kd