HDU 6063 RXD and math

HDU 6063 RXD and math

原题连接
http://acm.hdu.edu.cn/showproblem.php?pid=6063

题目的意思是要求计算：

$$\sum_{i=1}^{n^k}\mu^2(i)\Big\lfloor \sqrt{\frac{n^k}{i}} \Big\rfloor$$

直接计算显得有点力不从心。

这个式子可以通过逻辑推理得出。

$$\sum_{i=1}^{S}\mu^2(i)\Big\lfloor \sqrt{\frac{S}{i}} \Big\rfloor=S$$

建立一种映射。

对于n的质因数分解形式：

$$n=\prod_{i=1}^rP_i^{a_i}$$

指数为偶数和奇数时区分对待。

当某个素因子指数为奇数时。我们提出一个这个素数。

我们记被提出的素因子组成的集合为$b(b是一个数字)$

剩余的素因子组成的集合为$a^2(这是因为，剩余素因子个数都是偶数)$

这时候有：

$$n=a^2b，a,b>0$$

且此时。$a$最大。

这里最大的意思是说。对于任意正整数$n$

我们将其改写成$n=a^2b$的形式

则$a$是所有形式中最大的那个。

如果用有序对$(a,b)$表示$a^2b$

那么每一个正整数$n$都有且只对应一个有序对$(a,b)$ ，有且只对应一个$b$

其中$\mu(b)!=0$

那么对于$n\in[1,S]$中，$b$所对应的$n$的数量为：

$$\mu^2(b)\Big \lfloor\sqrt{\frac{S}{b}}\Big\rfloor$$

当$b$含有两个相同素因子时，那么$a$必然不是最大。

这里莫比乌斯函数更像是一种真值表达式。

$$\big[b中不含有两个以上相同素因子\big]=\mu^2(b)$$

因为$n$只对应一个$b$,且$b<=n$

所以：

$$\sum_{i=1}^{S}\mu^2(i)\Big\lfloor \sqrt{\frac{S}{i}} \Big\rfloor=S$$

$$answer=n^k$$