关于 ⌊ n i ⌋ \lfloor \frac{n}{i} \rfloor ⌊in⌋的值域大小
当 1 ≤ i ≤ ⌊ n ⌋ 1 \le i \le \lfloor \sqrt n \rfloor 1≤i≤⌊n⌋时, ⌊ n i ⌋ \lfloor \frac{n}{i} \rfloor ⌊in⌋的不同数值个数显然是不超过 ⌊ n ⌋ \lfloor \sqrt n \rfloor ⌊n⌋。
当 ⌊ n ⌋ < i ≤ n \lfloor \sqrt n \rfloor < i \le n ⌊n⌋<i≤n时,因为 1 ≤ ⌊ n i ⌋ ≤ n 1 \le \lfloor \frac{n}{i} \rfloor \le \sqrt n 1≤⌊in⌋≤n,所以不同数值个数还是不超过 ⌊ n ⌋ \lfloor \sqrt n \rfloor ⌊n⌋。
综合上述两种情况, ⌊ n i ⌋ \lfloor \frac{n}{i} \rfloor ⌊in⌋的不同数值个数严格不大于 2 n 2 \sqrt n 2n
数论分块的相关概念
“数论分块”这个名词,其实比较模糊,没有一个广泛认同的严格定义。这里讲一下我个人的理解:
令 f ( i ) = ⌊ n i ⌋ f(i)=\lfloor \frac{n}{i} \rfloor f(i)=