Mobius反演(莫比乌斯反演)

莫比乌斯反演在数论中占有重要的地位,许多情况下能大大简化运算。那么我们先来认识莫比乌斯反演公式。

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

 

     

 

在上面的公式中有一个函数,它的定义如下:

 

    (1)若,那么

    (2)若均为互异素数,那么

    (3)其它情况下

证明莫比乌斯反演公式的得出: 依旧通过例题来找规律

我们令 n=6;

那么 在计算 F(6)的时候,我们会用到 G(1) G(2) G(3) G(6)

我们考察者4个G

G(1) = F(1)

G(2) = F(1)+F(2)

G(3) = F(1)+F(3)

G(6) = F(1)+F(2)+F(3)+F(6)

观察上面可以发现 每个 G(n)都是由一些F(d)累加得到的

当我们需要逆向有G得到F(n)时,只需要将一些 与 F(n) 有关的 G进行容斥,最终组合得到F(n)!

比如 F(6) = G(6)-G(2)-G(3)+G(1)

根据上述公式知:F(6) =u(1) G(6)-u(3)G(2)-u(2)G(3)+u(6)G(1) 

由 u 的公式知,u(1)=1, u(2)=(-1)^1=-1, u(3)=(-1)^1=-1, u(4)=(-1)^2=1;  

则 F(6) = G(6)-G(2)-G(3)+G(1)  

这类莫比乌斯反演的实质也就是容斥原理的应用!! 

对于函数,它有如下的常见性质:

 

    (1)对任意正整数

  

                           

 

        (2)对任意正整数

 

        

 

线性筛选求莫比乌斯反演函数代码。

    void Init()
    {
        memset(vis,0,sizeof(vis));
        mu[1] = 1;
        cnt = 0;
        for(int i=2; i
    #include 
    #include 
    #include 
     
    using namespace std;
    typedef long long LL;
    const int N = 10000010;
     
    bitset prime;
    LL phi[N];
    LL f[N];
    int p[N];
    int k;
     
    void isprime()
    {
        k = 0;
        prime.set();
        for(int i=2; i>= 1;
        for(int i=3; i

有了上面的知识,现在我们来证明莫比乌斯反演定理。

 

证明

 

 

证明完毕!

 

嗯,有了莫比乌斯反演,很多问题都可以简化了,接下来我们来看看莫比乌斯反演在数论中如何简化运算的。

 

 

题目:http://bz.cdqzoi.com/JudgeOnline/problem.php?id=2818

 

题意:给一个正整数,其中,求使得为质数的的个数,

 

分析:对于本题,因为是使得为质数,所以必然要枚举小于等于的质数,那么对于每一个质数,只

     需要求在区间中,满足有序对互质的对数。

 

     也就是说,现在问题转化为:在区间中,存在多少个有序对使得互质,这个问题就简单啦,因为

     是有序对,不妨设,那么我们如果枚举每一个,小于有多少个互素,这正是欧拉函数。所以

     我们可以递推法求欧拉函数,将得到的答案乘以2即可,但是这里乘以2后还有漏计算了的,那么有哪些呢?

     是且为素数的情况,再加上就行了。

 

代码:


   
   
   
   
  1. #include
  2. #include
  3. #include
  4. #include
  5. using namespace std;
  6. typedef long long LL;
  7. const int N = 10000010;
  8. bitset prime;
  9. LL phi[N];
  10. LL f[N];
  11. int p[N];
  12. int k;
  13. void isprime()
  14. {
  15. k = 0;
  16. prime. set();
  17. for( int i= 2; i
  18. {
  19. if(prime[i])
  20. {
  21. p[k++] = i;
  22. for( int j=i+i; j
  23. prime[j] = false;
  24. }
  25. }
  26. }
  27. void Init()
  28. {
  29. for( int i= 1; i
  30. for( int i= 2; i2) phi[i] >>= 1;
  31. for( int i= 3; i2)
  32. {
  33. if(phi[i] == i)
  34. {
  35. for( int j=i; j
  36. phi[j] = phi[j] - phi[j] / i;
  37. }
  38. }
  39. f[ 1] = 0;
  40. for( int i= 2;i
  41. f[i] = f[i -1] + (phi[i]<< 1);
  42. }
  43. LL Solve(int n)
  44. {
  45. LL ans = 0;
  46. for( int i= 0; i
  47. ans += 1 + f[n/p[i]];
  48. return ans;
  49. }
  50. int main()
  51. {
  52. Init();
  53. isprime();
  54. int n;
  55. scanf( "%d",&n);
  56. printf( "%I64d\n",Solve(n));
  57. return 0;
  58. }


 

嗯,上题不算太难,普通的欧拉函数就可以搞定,接下来我们来看看它的升级版。

 

题意:给定两个数,其中,求为质数的有多少对?其中的范

     围是

 

分析:本题与上题不同的是不一定相同。在这里我们用莫比乌斯反演来解决,文章开头也说了它能大大简化

     运算。我们知道莫比乌斯反演的一般描述为:

 

    

 

     其实它还有另一种描述,本题也是用到这种。那就是:

 

     

 

     好了,到了这里,我们开始进入正题。。。

 

     对于本题,我们设

 

     为满足的对数

     为满足的对数

 

     那么,很显然,反演后得到

 

     因为题目要求是为质数,那么我们枚举每一个质数,然后得到

 

    

 

     如果直接这样做肯定TLE,那么我们必须优化。

 

     我们设,那么继续得到

 

     到了这里,可以看出如果我们可以先预处理出所有的对应的的值,那么本题就解决了。

 

     我们设,注意这里为素数,

 

     那么,我们枚举每一个,得到,现在分情况讨论:

 

     (1)如果整除,那么得到

 

      

 

     (2)如果不整除,那么得到

 

       

 


   
   
   
   
  1. #include
  2. #include
  3. #include
  4. using namespace std;
  5. typedef long long LL;
  6. const int N = 10000005;
  7. bool vis[N];
  8. int p[N];
  9. int cnt;
  10. int g[N],u[N],sum[N];
  11. void Init()
  12. {
  13. memset(vis, 0, sizeof(vis));
  14. u[ 1] = 1;
  15. cnt = 0;
  16. for( int i= 2;i
  17. {
  18. if(!vis[i])
  19. {
  20. p[cnt++] = i;
  21. u[i] = -1;
  22. g[i] = 1;
  23. }
  24. for( int j= 0;j
  25. {
  26. vis[i*p[j]] = 1;
  27. if(i%p[j])
  28. {
  29. u[i*p[j]] = -u[i];
  30. g[i*p[j]] = u[i] - g[i];
  31. }
  32. else
  33. {
  34. u[i*p[j]] = 0;
  35. g[i*p[j]] = u[i];
  36. break;
  37. }
  38. }
  39. }
  40. sum[ 0] = 0;
  41. for( int i= 1;i
  42. sum[i] = sum[i -1] + g[i];
  43. }
  44. int main()
  45. {
  46. Init();
  47. int T;
  48. scanf( "%d",&T);
  49. while(T--)
  50. {
  51. LL n,m;
  52. cin>>n>>m;
  53. if(n > m) swap(n,m);
  54. LL ans = 0;
  55. for( int i= 1,last;i<=n;i=last+ 1)
  56. {
  57. last = min(n/(n/i),m/(m/i));
  58. ans += (n/i)*(m/i)*(sum[last]-sum[i -1]);
  59. }
  60. cout<endl;
  61. }
  62. return 0;
  63. }

 

 

 

你可能感兴趣的:(ACM,----,数论,ACM,----,知识点)