DTOJ 4781. 抗疫斗争

题意

新冠疫情爆发以来，病毒不断地扩散传播，而人类也在不断采取各种措施遏制病毒传播。于是我们可以为这场抗疫斗争建立一个数学模型，将病毒的不断传播和人类的不断采取措施抽象为一场双方轮流行动的博弈。我们认为人类与病毒的每轮行动都可以选择一个正整数作为行动值来评估。然而，出于各方面限制，双方的所有行动值总和必须等于一个数 $m$，且每次的行动值不能超过对方上轮的行动值。对人类来说，要遏制疫情，就应成为最后行动的一方，也就是说，在本方的某次行动后，行动值总和 $m$ 恰好被消耗完。

假设人类先行动，那么我们只需一鼓作气消耗完所有 $m$ 点行动值，就能战胜病毒。然而在最开始的阶段出于认识不到疫情的严重性，往往最难开展大规模行动。出于这个原因，我们令 $h_m$ 表示在行动值总和为 $m$ 的情况下，人类（即先行动方）的第一次行动最少要多少行动值，才能保证自己必胜。

出于统计需要，某科学家记 $f_i={\sum }_{m|i}{h}_m$，并想知道 ${\sum }_{i=1}^n{f}_i$。方便起见，对 $998244353$ 取模。你能帮个忙吗？

子任务编号	$n\le $	分值
$1$	$3$	$1$
$2$	$1000$	$9$
$3$	$10^5$	$31$
$4$	$10^{11}$	$28$
$5$	$5\times 10^{13}$	$26$
$6$	$10^{15}$	$5$

题解

首先容易猜想并用归纳法证明$h_m=2^{lowbit(m)-1}$，于是枚举$2^i$，它对每个倍数$f$值的贡献都是$2^{max(i-1,0)}$（本来想的是只对奇数倍数贡献$2^i$，但这样也是对的并且形式比较优美），直接数论分块的效率就是$O(sqrt(n))$的，但常数略大过不去。

有一个比较神奇的做法，考虑转移到坐标轴上，即为反比例函数在第一象限与$x,y$正半轴围成的部分的整点数。发现可以这个部分与直线$y=x$对称比较优美，可以把它分为左下角为顶点，边长为$sqrt(n)$的正方形与两个全等三角形，于是暴力枚举前$sqrt(n)$的答案，乘上2再减去正方形即可。