莫比乌斯反演练习

前置知识

莫比乌斯函数:

$$\mu (n)=\{\begin{array}{rcl}1& & n=1\\ (-1{)}^k& & 任意质因子指数为1，k为质因子个数\\ 0& & 存在质因子个数大于1\end{array}$$

$s(n)={\sum }_{d|n}\mu (d)=[n=1]$(当且仅当n=1时[n=1]为1，否则为0)

莫比乌斯反演:

存在两种反演：

1、当$F(n)={\sum }_{d|n}f(d)$时，有$f(n)={\sum }_{d|n}\mu (d)F(\frac{n}{d})$

2、当$F(n)={\sum }_{n|d}f(d)$时，有$f(n)={\sum }_{n|d}\mu (\frac{d}{n})F(d)$

证就不证了，一大把证的比我好的，把结论写下来能拿来用就行。

例题

problem b

题目链接：https://www.acwing.com/problem/content/2704/

大意

对于给出的 n 个询问，每次求有多少个数对 (x,y)，满足 a≤x≤b，c≤y≤d，且 gcd(x,y)=k

思路

求{(x,y)|a≤x≤b,c≤y≤d}内的满足条件的数对数量

令$$S(x,y)=\sum _{i=1}^x\sum _{j=1}^y[gcd(i,j)=k]$$

则满足条件的数对数量为$$S(b,d)-S(a-1,d)-S(b,c-1)+S(a-1,c-1)$$

那么本题转变为求$S(x,y)$

我们可以构造两个函数：

$$f(n)=\sum _{i=1}^x\sum _{j=1}^y[gcd(i,j)=n]$$

$$F(n)=\sum _{i=1}^x\sum _{j=1}^y[n|gcd(i,j)]$$

且$$F(n)=\sum _{n|d}f(d)$$满足第二种反演

则$$f(n)=\sum _{n|d}\mu (\frac{d}{n})F(d)$$

∵$$d|gcd(i,j)$$

∴$$d|i且d|j$$

即F(d)内个数为[1,x]区间内n倍数的个数乘[1,y]区间内n倍数的个数

∴$$F(d)=\lfloor \frac{x}{d}\rfloor \lfloor \frac{y}{d}\rfloor$$

∴$$f(n)=\sum _{n|d}\mu (\frac{d}{n})\lfloor \frac{x}{d}\rfloor \lfloor \frac{y}{d}\rfloor$$

设$$d^{\prime }=\frac{d}{n}$$则$$d=d^{\prime }\ast n$$

则$$f(n)=\sum _{d^{\prime }=1}^{\infty }\mu (d^{\prime })\lfloor \frac{x}{d^{\prime }n}\rfloor \lfloor \frac{y}{d^{\prime }n}\rfloor$$

又$d^{\prime }>\frac{x}{n}或d^{\prime }>\frac{y}{n}$后+0无意义

所以$$f(n)=\sum _{d^{\prime }=1}^{min(\frac{x}{n},\frac{y}{n})}\mu (d^{\prime })\lfloor \frac{x}{d^{\prime }n}\rfloor \lfloor \frac{y}{d^{\prime }n}\rfloor$$

令n=k,则S(x,y)=f(k);

所以求出莫比乌斯函数的前缀和后整数分块求乘积即可（每次 后面两个向下取整式子值一定时提出来乘以这段范围的莫比乌斯值之和）

CODE

#include<cstdio>  
#include<cstring>  
#include<algorithm>  
#include<iostream>  
#include<string>  
#include<vector>  
#include<stack>  
#include<bitset>  
#include<cstdlib>  
#include<cmath>  
#include<set>  
#include<list>  
#include<deque>  
#include<map>  
#include<queue> 
using namespace std;
typedef long long ll;
const int N=1e5+7;
const ll mod=1e9+7;
const ll maxn=5e4;
int prime[maxn+7];
int vis[maxn+7];
int mobius[maxn+7];
int sum[maxn+7];
int n,k;
int a,b,c,d;
void get_mobius()
{
    mobius[1]=1;
    for(int i=2;i<=maxn;i++)
    {
        if(!vis[i])
        {
            prime[++prime[0]]=i;
            mobius[i]=-1;
        }
        for(int j=1;j<=prime[0]&&i*prime[j]<=maxn;j++)
        {
            vis[i*prime[j]]=1;
            if(i%prime[j]==0)
            {
                mobius[i*prime[j]]=0;
                break;
            }
            mobius[i*prime[j]]=-mobius[i];
        }
    }
    for(int i=1;i<=maxn;i++)
    {
        sum[i]=sum[i-1]+mobius[i];
    }
}
int solve(int x,int y)
{
    ll ans=0;
    for(int l=1,r;l<=min(x/k,y/k);l=r+1)
    {
        r=min(x/(x/l),y/(y/l));
        ans+=(sum[r]-sum[l-1])*(x/k/r)*(y/k/r);
    }
    return ans;
}
int main()
{
    ios::sync_with_stdio(0);
    cin>>n;
    get_mobius();
    while(n--)
    {
        cin>>a>>b>>c>>d>>k;
        cout<<solve(b,d)-solve(a-1,d)-solve(d,c-1)+solve(a-1,c-1)<<endl;
    }
    return 0;
}

LaTeX是真的难敲。。。本来准备敲两题题解的，看到又是一大堆公式劝退了。