莫比乌斯反演 两种形式

2024-08-26 13:58

本文主要是介绍莫比乌斯反演 两种形式,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

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

 

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

 

     

 

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

 

    (1)若,那么

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

    (3)其它情况下

 

 

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

 

    (1)对任意正整数

  

                            

 

        (2)对任意正整数

 

         

 

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

[cpp]  view plain copy 在CODE上查看代码片 派生到我的代码片
  1. void Init()  
  2. {  
  3.     memset(vis,0,sizeof(vis));  
  4.     mu[1] = 1;  
  5.     cnt = 0;  
  6.     for(int i=2; i<N; i++)  
  7.     {  
  8.         if(!vis[i])  
  9.         {  
  10.             prime[cnt++] = i;  
  11.             mu[i] = -1;  
  12.         }  
  13.         for(int j=0; j<cnt&&i*prime[j]<N; j++)  
  14.         {  
  15.             vis[i*prime[j]] = 1;  
  16.             if(i%prime[j]) mu[i*prime[j]] = -mu[i];  
  17.             else  
  18.             {  
  19.                 mu[i*prime[j]] = 0;  
  20.                 break;  
  21.             }  
  22.         }  
  23.     }  
  24. }  


 

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

 

证明

 

 

证明完毕!

 

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

 

 

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

 

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

 

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

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

 

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

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

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

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

 

代码:

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


 

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

 

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

     围是

 

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

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

 

     

 

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

 

     

 

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

 

     对于本题,我们设

 

     为满足的对数

     为满足的对数

 

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

 

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

 

     

 

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

 

     我们设,那么继续得到

 

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

 

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

 

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

 

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

 

       

 

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

 

       

 

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

这篇关于莫比乌斯反演 两种形式的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1108763

相关文章

Docker镜像pull失败两种解决办法小结

《Docker镜像pull失败两种解决办法小结》有时候我们在拉取Docker镜像的过程中会遇到一些问题,:本文主要介绍Docker镜像pull失败两种解决办法的相关资料,文中通过代码介绍的非常详细... 目录docker 镜像 pull 失败解决办法1DrQwWCocker 镜像 pull 失败解决方法2总

在C#中调用Python代码的两种实现方式

《在C#中调用Python代码的两种实现方式》:本文主要介绍在C#中调用Python代码的两种实现方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录C#调用python代码的方式1. 使用 Python.NET2. 使用外部进程调用 Python 脚本总结C#调

IDEA中Git版本回退的两种实现方案

《IDEA中Git版本回退的两种实现方案》作为开发者,代码版本回退是日常高频操作,IntelliJIDEA集成了强大的Git工具链,但面对reset和revert两种核心回退方案,许多开发者仍存在选择... 目录一、版本回退前置知识二、Reset方案:整体改写历史1、IDEA图形化操作(推荐)1.1、查看提

Android自定义Scrollbar的两种实现方式

《Android自定义Scrollbar的两种实现方式》本文介绍两种实现自定义滚动条的方法,分别通过ItemDecoration方案和独立View方案实现滚动条定制化,文章通过代码示例讲解的非常详细,... 目录方案一:ItemDecoration实现(推荐用于RecyclerView)实现原理完整代码实现

Redis解决缓存击穿问题的两种方法

《Redis解决缓存击穿问题的两种方法》缓存击穿问题也叫热点Key问题,就是⼀个被高并发访问并且缓存重建业务较复杂的key突然失效了,无数的请求访问会在瞬间给数据库带来巨大的冲击,本文给大家介绍了Re... 目录引言解决办法互斥锁(强一致,性能差)逻辑过期(高可用,性能优)设计逻辑过期时间引言缓存击穿:给

VSCode中C/C++编码乱码问题的两种解决方法

《VSCode中C/C++编码乱码问题的两种解决方法》在中国地区,Windows系统中的cmd和PowerShell默认编码是GBK,但VSCode默认使用UTF-8编码,这种编码不一致会导致在VSC... 目录问题方法一:通过 Code Runner 插件调整编码配置步骤方法二:在 PowerShell

Java中数组转换为列表的两种实现方式(超简单)

《Java中数组转换为列表的两种实现方式(超简单)》本文介绍了在Java中将数组转换为列表的两种常见方法使用Arrays.asList和Java8的StreamAPI,Arrays.asList方法简... 目录1. 使用Java Collections框架(Arrays.asList)1.1 示例代码1.

C++实现回文串判断的两种高效方法

《C++实现回文串判断的两种高效方法》文章介绍了两种判断回文串的方法:解法一通过创建新字符串来处理,解法二在原字符串上直接筛选判断,两种方法都使用了双指针法,文中通过代码示例讲解的非常详细,需要的朋友... 目录一、问题描述示例二、解法一:将字母数字连接到新的 string思路代码实现代码解释复杂度分析三、

Springboot中分析SQL性能的两种方式详解

《Springboot中分析SQL性能的两种方式详解》文章介绍了SQL性能分析的两种方式:MyBatis-Plus性能分析插件和p6spy框架,MyBatis-Plus插件配置简单,适用于开发和测试环... 目录SQL性能分析的两种方式:功能介绍实现方式:实现步骤:SQL性能分析的两种方式:功能介绍记录

Python读取TIF文件的两种方法实现

《Python读取TIF文件的两种方法实现》本文主要介绍了Python读取TIF文件的两种方法实现,包括使用tifffile库和Pillow库逐帧读取TIFF文件,具有一定的参考价值,感兴趣的可以了解... 目录方法 1:使用 tifffile 逐帧读取安装 tifffile:逐帧读取代码:方法 2:使用