莫比乌斯反演


反演

​ 举个例子:

​ 像这样的过程就是反演,换言之,就是一个函数$f$由$g$推导而来,已知$f$,求$g$

1、提出一个问题

1.1、先模拟出f

​ 通过以上的等式,可以将相应的g求出:

​ 通过这个模拟可以看出一丝小小的规律:

​ 将$n$先改写成$p_1^{\alpha_1}p_2^{\alpha_2}p_3^{\alpha_3}….p_k^{\alpha_k}$,然后代入$g(n)$,根据上面的模拟将$g(n)$展开

1.2、浓缩展开式

​ 我们通过上面的模拟可以确定最终反演的$g$,一定是长成上面那个复杂的等式的样子,但是这样一个等式不怎么好记,因此我们将上述展开式进行抽象:

碰巧!!!在数论有这样一个函数——莫比乌斯函数$\mu$

1.3、莫比乌斯函数

​ 这个时候我们便可以将$(-1)^{|k|}$用$\mu(n)$进行替换

​ 举个例子便可知道是否正确了:

2、莫比乌斯反演

​ 通过上述过程我们便证明了定理1:

2.1、定理一:

​ 除此之外,还有一个常见的

2.2、定理二:

​ 证明的方式和定理一异曲同工。

3、莫反好题:

3.1、牛客14648

题目连接:https://ac.nowcoder.com/acm/problem/14648

#include <iostream>
#include <algorithm>
#include <cmath>
#include <vector>
#include <string.h>
using namespace std;
#define int long long
const int maxn = 1e5 + 10;
vector<int> primes;
bool isnp[maxn];
int mu[maxn];
int a[maxn];
int b[maxn];
void EularMu(int n)//求莫比乌斯函数
{
    mu[1] = 1;
    for (int i = 2; i <= n; i++)
    {
        if (!isnp[i])
        {
            primes.push_back(i);
            mu[i] = -1;
        }
        for (auto p : primes)
        {
            if (i * p > n)
                break;
            isnp[p * i] = 1;
            if (i % p == 0)
            {
                mu[i*p]=0;
                break;
            }
            mu[i * p] = -mu[i] ;
        }
    }
}
int num[maxn];
int getg(int d, int n)//求g函数
{
    int ans = 0;
    for (int x = d; x <= n; x += d)
    {
        num[a[b[x]]]++;
    }
    for (int y = d; y <= n; y += d)
    {
        ans += num[b[a[y]]];
    }
    for (int x = d; x <= n; x += d)
    {
        num[a[b[x]]]--;
    }
    return ans;
}
signed main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    EularMu(maxn);
    int n;
    cin >> n;
    for (int i = 1; i <= n; i++)
    {
        cin >> a[i];
    }
    for (int i = 1; i <= n; i++)
    {
        cin >> b[i];
    }
    int ans = 0;
    for (int i = 1; i <= n; i++)
    {
        ans += mu[i] * getg(i, n);
    }
    cout << ans << endl;
    return 0;
}

3.2、AtCoder Grand Contest 038C

题目连接:https://atcoder.jp/contests/agc038/tasks/agc038_c

下面贴上代码(加了注释):

#include <iostream>
#include <algorithm>
#include <cmath>
#include <vector>
using namespace std;
#define int long long
const int maxn = 1e6 + 10;
const int mod = 998244353;
vector<int> primes;
bool isnp[maxn];
int mu[maxn];
int a[maxn];
int gf[maxn];
int cnt[maxn];
int inv[maxn];
void Eular_mu(int n)//欧拉筛求莫比乌斯函数
{
    mu[1] = 1;
    for (int i = 2; i <= n; i++)
    {
        if (!isnp[i])
        {
            primes.push_back(i);
            mu[i] = -1;
        }
        for (auto p : primes)
        {
            if (i * p > n)
                break;
            isnp[i * p] = 1;
            if (i % p == 0)
            {
                mu[i * p] = 0;
                break;
            }
            mu[i * p] = -mu[i];
        }
    }
}
int qp(int a, int x)//用快速幂
{
    int ans = 1;
    while (x)
    {
        if (x & 1)
        {
            ans = ans * a % mod;
        }
        a = a * a % mod;
        x >>= 1;
    }
    return ans;
}
signed main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    int n;
    cin >> n;
    int maxx = 0;
    int sum = 0;
    for (int i = 0; i < n; i++)
    {
        cin >> a[i];
        maxx = max(a[i], maxx);
        sum += a[i];
        cnt[a[i]]++;//记录a[i]的数量
    }
    Eular_mu(maxn);
    for(int i=1;i<=maxn;i++){//快速幂套费马小定理初始化逆元
        inv[i]=qp(i,mod-2);
    }
    for (int d = 1; d <= maxx; d++)//求g函数
    {
        for (int i = d; i <= maxx; i += d)
        {
            gf[d] = (gf[d] + i * cnt[i] % mod) % mod;
//由于是枚举d的倍数,如果符合条件一定存在a[i]和此时d的倍数相等,这个时候cnt的作用体现出来
//利用cnt便可以直接求和
        }
        gf[d] = gf[d] * gf[d] % mod;
    }
    int ans = 0;
    for (int d = 1; d <= maxx; d++)
    {
        for (int i = d; i <= maxx; i += d)
        {
            ans = (ans + mu[i / d] * gf[i] %mod* inv[d] % mod) % mod;
//同理枚举d的倍数,原理和g函数相似,最后直接套推出来的公式
        }
    }
    cout << (ans - sum%mod+mod ) % mod * inv[2] % mod << endl;
//sum容易吧mod爆了,一定要取模
    return 0;
}

文章作者: fatzard
版权声明: 本博客所有文章除特別声明外,均采用 CC BY 4.0 许可协议。转载请注明来源 fatzard !
评论
  目录
本站总访问量