码迷,mamicode.com
首页 > 其他好文 > 详细

[知识点]莫比乌斯反演入门

时间:2017-12-07 00:40:12      阅读:205      评论:0      收藏:0      [点我收藏+]

标签:gcd   logs   数论   tar   nbsp   images   分享图片   .com   blank   

因为今天有较为充足的时间,于是果断入坑反演OvO

直接上公式和概念:

定理技术分享图片技术分享图片是定义在非负整数集合上的两个函数,并且满足条件技术分享图片,那么我们得到结论

 技术分享图片

在上面的公式中有一个函数技术分享图片,称其为莫比乌斯函数

它的定义如下:

    (1)若技术分享图片,那么技术分享图片

    (2)若技术分享图片技术分享图片均为互异素数,那么技术分享图片

    (3)其它情况下技术分享图片

对于技术分享图片函数,它有如下的常见性质:

    (1)对任意正整数技术分享图片有              

   技术分享图片

   (2)对任意正整数技术分享图片

  技术分享图片

   (3)为积性函数

  数论上积性函数的定义:

    技术分享图片

  积性函数的性质:
  ① 技术分享图片

  ②积性函数的前缀和也是积性函数

由此可以线性求出莫比乌斯函数:

    mu[1]=1;notprime[1]=1;
    pos(i,2,N-10){
        if(!notprime[i]){
            mu[i]=-1;
            prime[++prime[0]]=i;
        }
        for(int j=1;j<=prime[0]&&prime[j]*i<=N-10;j++){
            notprime[i*prime[j]]=1;
            if(i%prime[j]==0){
                mu[i*prime[j]]=0;break;
            }
            mu[i*prime[j]]=-mu[i];
        }
    }  

莫比乌斯反演一般描述为

技术分享图片

但是我们做题一般是用到

技术分享图片

来几道入门题感受一下:

[BZOJ 2301]Problem B 题解  

[BZOJ 2820]YY的GCD     

[知识点]莫比乌斯反演入门

标签:gcd   logs   数论   tar   nbsp   images   分享图片   .com   blank   

原文地址:http://www.cnblogs.com/Hallmeow/p/7994506.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!