标签：约数 lfloor frac int sum rfloor mu 反演 习题

题目

传送门

思路

对于\(d(ij)\)有一个性质\(d(ij)=\sum_{u|i}\sum_{v|j}[gcd(u,v)==1]\)

大概就是\(ij\)中的每一个约数必然有一部分来自于\(i\)，有一部分来自于\(j\)，1也算一部分，然后加上限制条件

\[\begin{aligned}ans&=\sum_{i=1}^{n}\sum_{j=1}^{m}d(ij)\\&=\sum_{i=1}^{n}\sum_{j=1}^{m}\sum_{u|i}\sum_{v|j}[gcd(u,v)==1]\\&=\sum_{i=1}^{n}\sum_{j=1}^m\sum_{u|i}\sum_{v|j}\sum_{d|gcd(u,v)}\mu(d)\end{aligned} \]

套路性的交换枚举顺序

\[\begin{aligned}ans&=\sum_{u=1}^{n}\sum_{v=1}^{m}\sum_{i=1}^{\lfloor\frac{n}{u}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{v}\rfloor}\sum_{d|gcd(u,v)}\mu (d)\\&=\sum_{u=1}^n\sum_{v=1}^{m}\lfloor\frac{n}{u}\rfloor\lfloor\frac{m}{v}\rfloor\sum_{d|gcd(u,v)}\mu(d)\\&=\sum_{d=1}^{min(n,m)}\mu(d)\sum_{u=1}^{n}\sum_{v=1}^{m}\lfloor\frac{n}{u}\rfloor\lfloor\frac{m}{v}\rfloor[d|gcd(u,v)]\\&=\sum_{d=1}^{min(n,m)}\sum_{u=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{v=1}^{\lfloor\frac{m}{d}\rfloor}\lfloor\frac{n}{ud}\rfloor\lfloor\frac{m}{vd}\rfloor\mu (d)\\&=\sum_{d=1}^{min(n,m)}\mu (d)(\sum_{u=1}^{\lfloor\frac{n}{d}\rfloor}\lfloor\frac{n}{ud}\rfloor)(\sum_{u=1}^{\lfloor\frac{m}{d}\rfloor}\lfloor\frac{m}{ud}\rfloor)\\&=\sum_{d=1}^{min(n,m)}\mu (d)(\sum_{u=1}^{\lfloor\frac{n}{d}\rfloor}\lfloor\frac{\lfloor\frac{n}{d}\rfloor}{u}\rfloor)(\sum_{u=1}^{\lfloor\frac{m}{d}\rfloor}\lfloor\frac{\lfloor\frac{m}{d}\rfloor}{u}\rfloor)\end{aligned} \]

\[设f(n)=\sum_{i=1}^{n}\lfloor\frac{n}{i}\rfloor \]

显然 \(f(n)\)是可以用整除分块预处理出来的

故时间复杂度\(O(n\sqrt n+T\sqrt n)\)

代码

#include<iostream>
using namespace std;
bool vis[50005];
int pri[50005],lenp;
int mu[50005];
long long f[50005];
int t;
int n,m;
void sieve(int n)
{
    mu[1]=1;
    for(int i=2;i<=n;i++)
    {
        if(vis[i]==0)
        {
            pri[++lenp]=i;
            mu[i]=-1;
        }
        for(int j=1;j<=lenp&&1ll*pri[j]*i<=n;j++)
        {
            vis[i*pri[j]]=1;
            mu[i*pri[j]]=-mu[i];
            if(i%pri[j]==0)
            {
                mu[i*pri[j]]=0;
                break;
            }
        }
        mu[i]+=mu[i-1];
    }
}
void prepa(int n)
{
    for(int i=1;i<=n;i++)
    {
        for(int l=1,r;l<=i;l=r+1)
        {
            r=i/(i/l);
            f[i]=f[i]+1ll*(r-l+1)*(i/l);
        }
    }
}
void c_in()
{
    cin>>n>>m;
    long long ans=0;
    for(int l=1,r;l<=min(n,m);l=r+1)
    {
        //cout<<"debug:"<<l<<' '<<r<<'\n';
        r=min(min(n,m),min(n/(n/l),m/(m/l)));
        ans=ans+1ll*(mu[r]-mu[l-1])*f[n/l]*f[m/l];
    }
    cout<<ans<<'\n';
}
int main()
{
    ios::sync_with_stdio(false);
    sieve(50000);
    prepa(50000);
    cin>>t;
    for(int i=1;i<=t;i++)
        c_in();
    return 0;
}

标签：约数,lfloor,frac,int,sum,rfloor,mu,反演,习题
来源： https://www.cnblogs.com/loney-s/p/14272813.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。