bzoj2154 Crash的数字表格（反演）

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

4 5

Sample Output

122

HINT

100%的数据满足N, M ≤ 10^7。

[ Submit][ Status][ Discuss] 

分析：
我一开始十分naive：
但是我发现并没有定理可以把Σ拆到分子分母上

实际上，这道题是一道数论神题！！！

题目要求：

我们枚举d=gcd(i,j)

令

这就是gcd=d的数对之积的和
显然有：

现在我们的问题就在f函数的求解上：

令

所以：

tip

ans=(ans+((mu[last]-mu[i-1])%p*sum(n/i)%p*sum(m/i)%p)%p+p)%p;

一开始我这里在遇到减法的时候立刻+p%p，
结果就WA了，改成现在这样就A了

#include<cstdio>
#include<cstring>
#include<iostream>
#define ll long long

using namespace std;

const int maxn=1e7+2;
const ll p=20101009;
int n,m;
ll mu[maxn];
int sshu[maxn],tot=0;
bool no[maxn];

void make(int n)
{
    mu[1]=1;
    for (int i=2;i<=n;i++)
    {
        if (!no[i]) {
            sshu[++tot]=i;
            mu[i]=-1;
        }
        for (int j=1;j<=tot&&sshu[j]*i<=n;j++)
        {
            no[sshu[j]*i]=1;
            if (i%sshu[j]==0) 
            {
                mu[sshu[j]*i]=0;
                break;
            }
            mu[sshu[j]*i]=-mu[i];
        }
    }

    for (int i=2;i<=n;i++) mu[i]=((ll)i*i*mu[i]%p+mu[i-1]%p)%p;
    //mu(i)*i*i
}

ll sum(int n)
{
    return (ll)n*(n+1)/2%p;
}

ll cal(int n,int m)
{
    ll ans=0;
    int last;
    for (int i=1;i<=min(n,m);i=last+1)   //枚举式子中的k 
    {
        last=min(n/(n/i),m/(m/i));
        ans=(ans+((mu[last]-mu[i-1])%p*sum(n/i)%p*sum(m/i)%p)%p+p)%p;
    }
    return ans;
}

ll solve(int n,int m)
{
    ll ans=0;
    int last;
    for (int i=1;i<=min(n,m);i=last+1)   //枚举式子中的d 
    {
        last=min(n/(n/i),m/(m/i));
        ans=(ans+(ll)(i+last)*(last-i+1)/2%p*cal(n/i,m/i))%p;
        //(i+last)*(last-i+1)/2   区间中*d的贡献 
    }
    return ans;
}

int main()
{
    scanf("%d%d",&n,&m);
    make(min(n,m));
    printf("%lld",solve(n,m));
    return 0;
}