Description
今天的数学课上,Crash小朋友学习了最小公倍数 (Least Common Multiple)。对于两个正整数a和b,LCM(a, b)表示能同时被a和b整除的最小正整数。例如,LCM(6, 8) = 24。回到家后,Crash还在想着课上学的东西,为了研究最小公倍数,他画了一张N*M的表格。每个格子里写了一个数字,其中第i行第j列的那个格子里 写着数为LCM(i, j)。一个4*5的表格如下: 1 2 3 4 5 2 2 6 4 10 3 6 3 12 15 4 4 12 4 20 看着这个表格,Crash想到了很多可以思考的问题。不过他最想解决的问题却是一个十分简单的问题:这个表格中所有数的和是多少。当N和M很大 时,Crash就束手无策了,因此他找到了聪明的你用程序帮他解决这个问题。由于最终结果可能会很大,Crash只想知道表格里所有数的和mod 20101009的值。
Input
输入的第一行包含两个正整数,分别表示N和M。
Output
输出一个正整数,表示表格中所有数的和mod 20101009的值。
Sample Input
Sample Output
【数据规模和约定】
100%的数据满足N, M ≤ 10^7。
HINT
Source
真的是好久没写博了,鬼知道我这几天经历了什么,LaTeX真TMD不好用,打错了不负责....
发一道数学题真不容易...
这个题要求:
根据数学常识等价于:
根据莫比乌斯的套路,出现gcd的话就相当于是枚举一个gcd则转为:
再次利用莫比乌斯的套路,出现gcd(i,j)==g的就把枚举范围除以g,变为gcd(i,j)==1:
约分加上常见变形:
再次利用莫比乌斯的套路,先在外面枚举t(第二个j上面的n改成m...手贱):
因为t是既是i的约数又是j的约数,可以两个sigma同时除以t:
再用一个常见的肮脏套路,令Q=gt:
令:(那么这个可以用等差数列求和实现,可以预处理O(1))
原式通过约分:
问题的瓶颈在于求解:
令:
我们发现这是一个积性函数(由定义法暴力乘开,然后mu函数本身为积性函数,然后这个也是积性函数),然后我们就可以通过线性筛后,O(1)求解
原式变为:
复杂度为O(n)
看到后面两个S式子显然就可以用数论分块做,然后前面那个东西就记一个f(i)*i的前缀和即可
复杂度为O(n+T*sqrt(n));
附上代码:
// MADE BY QT666 #include<cstdio> #include<algorithm> #include<cmath> #include<iostream> #include<queue> #include<set> #include<cstdlib> #include<cstring> #include<string> #include<ctime> #define lson num<<1 #define rson num<<1|1 #define RG register using namespace std; typedef long long ll; const int N=10000010; const int mod=1e8+9; int gi() { RG int x=0,flag=1; RG char ch=getchar(); while(ch<'0'||ch>'9'){if(ch=='-') flag=-1;ch=getchar();} while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar(); return x*flag; } int f[N],tot[N],tot2[N],vis[N],prime[N],tt; void work(){ f[1]=1;tot[1]=1,tot2[1]=1; for(RG int i=2;i<N;i++){ if(!vis[i]){ prime[++tt]=i;f[i]=mod-i+1; } for(RG int j=1;j<=tt&&i*prime[j]<N;j++){ vis[i*prime[j]]=1; if(i%prime[j]==0){ f[i*prime[j]]=f[i]; break; } else{ f[i*prime[j]]=((ll)f[i]*(ll)f[prime[j]])%mod; } } tot[i]=(tot[i-1]+i)%mod; tot2[i]=((ll)tot2[i-1]+((ll)f[i]*(ll)i)%mod)%mod; } } int main() { RG int T=gi(); work(); while(T--){ RG int n=gi(),m=gi(); if(n>m) swap(n,m);int pos=0; ll ans=0; for(RG int i=1;i<=n;i=pos+1){ pos=min(n/(n/i),m/(m/i)); ans+=((((ll)tot[n/i]%mod)*((ll)tot[m/i]%mod))%mod*(((ll)tot2[pos]-tot2[i-1])%mod))%mod; ans=(ans+mod)%mod; } printf("%lld ",ans); } }