莫比乌斯反演

http://www.bilibili.com/video/av14325327/

懒得听我bb的可以去看视频 这位大爷讲的太好辣orz

我突然意识到我一个还挣扎在NOIP一等奖线上的弱鸡竟然突然学会了

赶紧码着别忘了。。。

 

一、莫比乌斯反演是什么

如果有两个定义在Z+上的函数F(x)和G(x)满足

 

则根据这个式子我们可以发现一些性质    如下图:

所以以后我们遇到计算G(x)不好算(或者更实际一点,直接算就TLE)的时候,我们可以考虑先计算F(x)   用F(x)来计算G(x)

 

所以我们要对上面那个式子进行一下变形

观察表格的规律  直观的来讲变形后式子应该形如

其中μ(x)是我们强行定义的一个函数  当然并不是我们定义的 是前人定义的  所以它正式的名字叫做莫比乌斯函数

然后我们做一下换元 令T=x/d

就可以让最后μ函数中不含x 最后的表达式为

(并非严谨证明    详细过程可见百度百科http://baike.baidu.com/link?url=gpiZ99LcvuK_Vf7K4KszIWRgmmRQkcIpyir9IgzBkyaA3FgVCAG7mouZNVzkZgqyYWdNYUpIwFOixrM6fc8fb_#3 )

现在  我们研究的重点就跑到了这个μ(d)上面

到目前为止  我们掌握的性质就只有由观察得到的:μ(d)的值域为{-1,0,1}(当然严谨数学证明依然见百度百科)

如:

μ(1) = 1

μ(2) = -1

μ(3) = -1

μ(4) = 0

μ(5) = -1

μ(6) = 1

(上述6个莫比乌斯函数的取值是由表格得到的)

我很想给出莫比乌斯函数的定义 但是我一个前MO选手现NOIP选手自己都看不懂

所以只能给一个通俗的解释

(1) d = 1时,μ(d) = 1

(2) d = p1 × p2 × … × pk ,(其中p1,p2..pk是互不相同的质数) 则μ(d) = (-1)^k (-1的k次方)

(3) 其余情况 μ(d) = 0

根据定义 莫比乌斯函数显然有一个很重要的性质

莫比乌斯函数是积性函数

即对于任何的a,b∈Z+

有μ(ab)=μ(a)μ(b)

具体证明。。。代入就好了吧

由此引入我们的下一个板块

二、怎么求莫比乌斯函数

根据莫比乌斯函数的积性和它与素数间的关系

我们可以用线性筛求素数的方法来求莫比乌斯函数

bool vis[MAXN];
int primes[MAXN];
int miu[MAXN];
int tot;
int getmiu(int lim)
{
    miu[1]=1;
    for(int i=2;i<=lim;i++)
    {
        if(!vis[i])
        {
            primes[tot++]=i;
            miu[i]=-1;
        }
        for(int j=0;j<tot;j++)
        {
            int k=i*primes[j];   
            if(k>lim)break;
            vis[k]=true;
            if(i%primes[j])         //i不是primes[j]的整数倍时,i*primes[j]就不会包含相同质因子.
                miu[k]=-miu[i];     //此时根据其积性函数的特性得 miu[k]=miu[i]*miu[primes[j]],因为primes[j]是质数,miu值为-1
            else break;                
        }
    }
}
重点的地方已经打了注释

很短  压一下行也就10行  于是大家会产生疑惑  就是下一个板块——

三、莫比乌斯函数在OI中的应用

由于很多很难的数学题推导过程写得比代码还长

我们这里先看一道入门题BZOJ2440

题意:求第k个没有完全平方因子(此处1不算完全平方数)的数

k的范围是10^9

分析:有人说答案应该小于2*k  那这道题就是一个很裸的二分了

二分判定的时候要判“小于等于mid且无完全平方因子的数的个数”

判断的时候  我们可以发现“没有完全平方因子”的意思其实是“所有质因数的指数全为奇”

于是题目变为 求小于等于mid的质因数指数都为1的数的个数

容斥原理搞一下答案就是n-奇数个质数的平方的倍数的个数+偶数个质数的平方的倍数的个数

也就是

(显然i如果大于根号n并不存在)

要说还有什么值得注意的地方 就是这题爆longlong 要用unsigned longlong

还有就是数据太大 我们的线性筛用不了 只能采用普通筛法

/**************************************************************
    Problem: 2440
    User: Ez3real
    Language: C++
    Result: Accepted
    Time:4192 ms
    Memory:2068 kb
****************************************************************/
 
#include<cstdio>
#include<iostream>
#include<cstdlib>
#include<algorithm>
#include<cmath>
#include<cstring>
#include<vector>
#include<queue>
using namespace std;
#define LL unsigned long long
const int Max=100010;
const LL INF=2e16+7;
 
LL mou[Max];
void init()
{
    for(LL i=2; i<Max; i++)
    {
        if(!mou[i])
        {
            mou[i]=i;
            for(LL j=i*i; j<Max; j+=i)
                mou[j]=i;
        }
    }
    mou[1]=1;
    for(int i=2; i<Max; i++)
    {
        if(i/mou[i]%mou[i]==0) mou[i]=0;
        else mou[i]=-mou[i/mou[i]];
    }
}
int k;
LL getnum(LL middle)
{
    LL ans=0;
    for(LL i=1; i*i<=middle; i++)
    {
        ans+=mou[i]*(middle/(i*i));
    }
    return ans;
}
int main()
{
    init();
    int t;
    cin>>t;
    while(t--)
    {
        scanf("%d",&k);
        LL left=1,right=INF;
        while(left<=right)
        {
            int middle=(left+right)/2;
            if(getnum(middle)<k)
                left=middle+1;
            else
                right=middle-1;
        }
        cout<<left<<'\n';
    }
    return 0;
}
View Code

未完待续

posted @ 2017-11-05 22:34  探险家Mr.H  阅读(462)  评论(0编辑  收藏  举报