莫比乌斯反演介绍

转自:http://blog.csdn.net/acdreamers/article/details/8542292

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

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

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

(1)若,那么

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

(3)其它情况下

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

(1)对任意正整数

(2)对任意正整数

 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后还有漏计算了的,那么有哪些呢?

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

 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)如果不整除,那么得到

 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 }
时间: 2025-01-16 00:28:44

莫比乌斯反演介绍的相关文章

BZOJ 2301: [HAOI2011]Problem b(莫比乌斯反演)

http://www.lydsy.com/JudgeOnline/problem.php?id=2301 题意:对于给出的n个询问,每次求有多少个数对(x,y),满足a≤x≤b,c≤y≤d,且gcd(x,y) = k,gcd(x,y)函数为x和y的最大公约数. 思路: 先简单介绍一下莫比乌斯反演在数论中的作用: 那么怎么做这道题呢? 接下来我们只需要枚举d就可以了,但是这里还有一个可以优化的地方,我们依次+1枚举d的时候,有时候n/d和m/d是不会改变的,比如说现在n=m=,那么d=3,4,5时

数学(论)里的一些定理(莫比乌斯反演,傅立叶变换,数论变换...)

莫比乌斯反演 莫比乌斯反演在数论中占有重要的地位,许多情况下能大大简化运算.那么我们先来认识莫比乌斯反演公式. 定理:和是定义在非负整数集合上的两个函数,并且满足条件,那么我们得到结论 在上面的公式中有一个函数,它的定义如下: (1)若,那么 (2)若,均为互异素数,那么 (3)其它情况下 对于函数,它有如下的常见性质: (1)对任意正整数有 (2)对任意正整数有 线性筛选求莫比乌斯反演函数代码. void Init() { memset(vis,0,sizeof(vis)); mu[1] =

莫比乌斯反演2

\documentclass[12pt,UTF8,titlepage]{article} \usepackage[colorlinks,linkcolor=blue]{hyperref} \usepackage{fontspec} \usepackage{xunicode} \usepackage{xltxtra} \usepackage{amstext} \usepackage{amsmath} \usepackage{amssymb} \usepackage{listings} \usepa

bzoj 2820 / SPOJ PGCD 莫比乌斯反演

那啥bzoj2818也是一样的,突然想起来好像拿来当周赛的练习题过,用欧拉函数写掉的. 求$(i,j)=prime$对数 \begin{eqnarray*}\sum_{i=1}^{n}\sum_{j=1}^{m}[(i,j)=p]&=&\sum_{p=2}^{min(n,m)}\sum_{i=1}^{\lfloor\frac{n}{p}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{p}\rfloor}[i⊥j]\newline&=&\sum_{p=

hdu1695(莫比乌斯反演)

题目链接: http://acm.hdu.edu.cn/showproblem.php?pid=1695 题意: 对于 a, b, c, d, k . 有 x 属于 [a, b],  y 属于 [c, d], 求 gcd(x, y) = k 的 x, y 的对数 . 其中 a = b = 1 . 注意: (x, y), (y, x) 算一种情况 . 思路: 莫比乌斯反演 可以参考一下: http://blog.csdn.net/lixuepeng_001/article/details/5057

算法学习——莫比乌斯反演(1)

.. 省选GG了,我果然还是太菜了.. 突然想讲莫比乌斯反演了 那就讲吧! 首先我们看一个等式-- (d|n表示d是n的约束) 然后呢,转换一下 于是,我们就发现! 没错!F的系数是有规律的! 规律is here! 公式: 这个有什么卵用呢? 假如说有一道题 F(n)可以很simple的求出来而求f(n)就比较difficult了,该怎么办呢? 然后就可以用上面的式子了 是莫比乌斯函数,十分有趣 定义如下: 若d=1,则=1 若d=p1*p2*p3...*pk,且pi为互异素数,则=(-1)^k

bzoj2301 [HAOI2011]Problem b【莫比乌斯反演 分块】

传送门:http://www.lydsy.com/JudgeOnline/problem.php?id=2301 很好的一道题.首先把每个询问转化为4个子询问,最后的结果就是这四个子询问的记过加加减减,类似二维前缀和.那么问题转化为在1 <= x <= lmtx, 1 <= y <= lmty时gcd(x, y) == k的对数,这个问题在转化一下,转化成1 <= x <= lmtx / k,1 <= y <= lmty / k时x与y互质的对数.莫比乌斯反

BZOJ2301: [HAOI2011]Problem b 莫比乌斯反演

分析:对于给出的n个询问,每次求有多少个数对(x,y),满足a≤x≤b,c≤y≤d,且gcd(x,y) = k,gcd(x,y)函数为x和y的最大公约数. 然后对于求这样单个的gcd(x,y)=k的,我们通常采用莫比乌斯反演 但是,时间复杂度是O(n*(n/k))的,当复杂度很坏的时候,当k=1时,退化到O(n^2),超时 然后进行分块优化,时间复杂度是O(n*sqrt(n)) #include<cstdio> #include<cstring> #include<queue

BZOJ2005: [Noi2010]能量采集 莫比乌斯反演的另一种方法——nlogn筛

分析:http://www.cnblogs.com/huhuuu/archive/2011/11/25/2263803.html 注:从这个题收获了两点 1,第一象限(x,y)到(0,0)的线段上整点的个数是gcd(x,y) 2,新学了一发求gcd(x,y)=k有多少对的姿势,已知0<x<=n,0<y<=m 令x=min(n,m),令f[i]代表gcd(x,y)=i的对数, 那么通过O(xlogx)的复杂度就可以得到f[1]到f[n](反着循环) 普通的容斥(即莫比乌斯反演)其实也