数论分块 学习笔记
核心: r = n ÷ ( n ÷ l ) , l = r + 1 r=n\div (n\div l),l=r+1 r=n÷(n÷l),l=r+1
原理:被除数除以除数,商要尽可能大,而在 n ÷ l n\div l n÷l 一样的情况下就找最大的 r r r 。
拓展:多维数论分块,取最小值。如二维即为 r = m i n ( n ÷ ( n ÷ l ) , m ÷ ( m ÷ l ) ) r=min(n\div (n\div l),m\div (m\div l)) r=min(n÷(n÷l),m÷(m÷l)) 。
例题 1.P3935 Calculating
题意:求 ∑ i = l r f ( i ) \sum\limits_{i=l}^rf(i) i=l∑rf(i) ,其中 f ( i ) = ∑ k = 1 i [ k ∣ i ] f(i)=\sum\limits_{k=1}^i [k|i] f(i)=k=1∑i[k∣i] 。
思路:很妙。设 g ( x ) = ∑ i = 1 x f ( i ) = ∑ i = 1 x ∑ k = 1 i [ k ∣ i ] g(x)=\sum\limits_{i=1}^x f(i)=\sum\limits_{i=1}^x \sum\limits_{k=1}^i [k|i] g(x)=i=1∑xf(i)=i=1∑xk=1∑i[k∣i] 。
**关键在交换主体,**试着把 k k k 提到外面来减小计算量。
k k k 能够取 [ 1 , x ] [1,x] [1,x] ,那么 i i i 能取它的倍数,于是 g ( x ) = ∑ k = 1 x ∑ i = 1 x [ k ∣ i ] g(x)=\sum\limits_{k=1}^{x}\sum\limits_{i=1}^x[k|i] g(x)=k=1∑xi=1∑x[k∣i] 。
观察到后面那个式子可以减小计算量,于是 g ( x ) = ∑ k = 1 x ⌊ x k ⌋ g(x)=\sum\limits_{k=1}^x ⌊\dfrac{x}{k}⌋ g(x)=