莫比乌斯反演总结——Chemist
懵逼乌斯反演果然名不虚传,自闭了两天的我打算学习一下这一块比较实用的数论内容。
(注:1.为了区分狄尼克雷卷积与乘法,本篇文章中乘号全部省略,卷积全部用" * "表示。2.用gcd(a,b)表示a和b的最大公约数。3.用lcm(a,b)表示a和b的最小公倍数。4.用C(n,m)表示在n个数中选择m个数的方案数。5." ^ "在本篇文章中表示乘方而不是异或。)
知识点:
一、数论函数:
定义:定义域为正整数,(陪域为复数)的函数。
二、积性函数
1.定义:满足f(ab)=f(a)f(b)(gcd(a,b)=1)的数论函数。
*完全积性函数定义:满足f(ab)=f(a)f(b)的数论函数。
2.常见积性函数:(1)欧拉函数φ(n)(2)莫比乌斯函数μ(n)(3)除数函数dk(n)表示n的所有正因子k次幂和
3.积性函数性质:
(1)设n=∏pici ,则f(n)=∏f(pici),由定义显然。因此大多数积性函数可以线性筛预处理。
(2)若f(n),g(n)均为积性函数,h(n)=f(n)g(n),h(n)=f(n)/g(n)也为积性函数。
证明:h(a)h(b)=f(a)g(a)f(b)g(b)=f(a)f(b)g(a)g(b)=f(ab)g(ab)=h(ab),满足定义,得证。
(3)欧拉函数φ(n)的性质:(φ*1)(n)=n。
证明:
(φ*1)(n)=∑d|n φ(d)1(n/d)=∑d|n φ(d),
分解质因数得n=∏(i:1~k)pici ,
由于欧拉函数为积性函数,∑d|n φ(d)=∏(i:1~k)(∑(j:0~ci)φ(pij)),(将式子拆开显然)
由φ(1)=1得 ∑d|n φ(d)=∏(i:1~k)(∑(j:1~ci)φ(pij)+1)
由φ(pe)=(p-1)pe-1 =pe -pe-1 ,可得∑d|n φ(d)=∏(i:1~k)(∑(j:1~ci)(pij - pij-1)+1)
将∑内的式子拆开得,∑d|n φ(d)=∏pici =n。
三、狄尼克雷卷积
1.定义:两个数论函数的狄尼克雷卷积 (f*g)(n)=∑d|n f(d)g(n/d)。
2.性质:
(1)满足交换律。
感性证明:每一个数的因子都是两两对应的,所以无论是什么顺序,都会将所有的f(d)和g(n/d)的乘积都加一遍。
(2)满足结合律。
证明如图:

(3)满足分配律。
证明:设k(n)=g(n)+h(n),f*(g+h)(n)=(f*k)(n)=∑d|n f(n)k(n/d)=∑d|n f(n)(g(n/d)+h(n/d))=∑d|n f(n)g(n/d)+∑d|n f(n)h(n/d)=(f*g)(n)+(f*h)(n),得证。
(4)积性函数的卷积还是积性函数。
证明如图:

3.单位元:e(n),e(1)=1,e(n)=0(n!=1)。(单位元:若对于任意的数论函数f(n),都有(f*e)(n)=f(n),则e(n)称为单位元。)
证明:(f*e)(n)=∑d|n f(d)e(n/d),当且仅当d==n时,e(n/d=1)=1,因此只会在d==n时对答案有贡献,贡献为f(n),因此(f*e)(n)=f(n),得证。
四、莫比乌斯函数
(1)定义:μ(1)=1;当n含平方因子时,μ(n)=0;否则μ(n)=(-1)^k,k为n的本质不同的质因子个数。
(2)定义狄尼克雷卷积的单位元为e(n),e(n)=∑d|n μ(d)。
e(n)=∑d|n μ(d),
将n分解质因数得:n=∏(i:1~k)pici ,令n'=∏(i:1~k)pi ,由μ的定义可知,μ(n)的大小只与n本质不同的质因子有关,得:
e(n)=∑d|n' μ(d),
枚举d为i个质因子的乘积,在k个质因子中选择i的方案数为C(k,i),得:
e(n) = ∑(i:0~k) C(k,i)μ(i)
= ∑(i:0~k) C(k,i)(-1)^i
= ∑(i:0~k) C(k,i)(-1)^i 1^(k-i)
根据二项式定理,原式=((-1)+1)^k,当k==0即n==1时e(n)=1,否则e(n)=0。
五、莫比乌斯反演
设f(n),g(n)为两个数论函数,
如果有f(n)=(g*1)(n),
那么有g(n)=(f*μ)(n)。
证明:
将一式带入二式得,g(n)=(f*μ)(n)=(g*1*μ)(n),
根据卷积的结合律得,g(n)=(g*(μ*1))(n),
(μ*1)(n)=∑d|n μ(d)=e(n),
带入上式得,g(n)=(g*e)(n)=g(n),成立。
六、线性筛
前文已经提到,绝大多数积性函数可以用线性筛筛出来,下面附上线性筛筛素数,欧拉函数,莫比乌斯函数的代码:
int n,prime[N],num=0,phi[N],miu[N];
bool notprime[N];
void get()
{
notprime[1]=1;
phi[1]=1;
miu[1]=1;
for(int i=2;i<=n;i++)
{
if(!notprime[i]){
prime[++num]=i;
phi[i]=i-1;
//φ(p)=p-1
miu[i]=-1;
//质数本质不同的质因子只有自己,因此μ(p)=(-1)^1=-1
}
for(int j=1;j<=num;j++)
{
if(i*prime[j]>n)break;
notprime[i*prime[j]]=1;
//每个素数只会被自己的最小质因子筛一次
if(i%prime[j]==0){
phi[i*prime[j]]=phi[i]*prime[j];
miu[i*prime[j]]=0;
//i*prime[j]含有平方因子prime[j]^2,因此μ(i*prime[j])=0
break;//确保每个数只会被最小质因子筛一次
}
else {
phi[i*prime[j]]=phi[i]*phi[prime[j]];
miu[i*prime[j]]=miu[i]*miu[prime[j]];
//μ(n),φ(n)均满足积性函数性质
}
}
}
}
七、杜教筛
1.作用:O(n^(2/3))地求数论函数的前缀和。
2.推导:
设f(n)为一数论函数,
我们要求S(n)=∑(i:1~n)f(i),
我们找到另一个积性数论函数g(n),则
∑(i:1~n) (f*g)(n)=∑(i:1~n)∑d|i g(d)f(i/d)
把d提出来得,∑(i:1~n) (f*g)(n)=∑(d:1~n)g(d)∑d|i f(i/d)
=∑(i:1~n)g(i)∑(j:1~(n/i))f(j)=∑(i:1~n)g(i)S(n/d)
根据前缀和思想,g(1)S(n)=∑(i:1~n)g(i)S(n/i)-∑(i:2~n)g(i)S(n/i)
=∑(i:1~n)(g*f)(i)-∑(i:2~n)g(i)S(n/i)
未完
莫比乌斯反演总结——Chemist的更多相关文章
- hdu1695 GCD(莫比乌斯反演)
题意:求(1,b)区间和(1,d)区间里面gcd(x, y) = k的数的对数(1<=x<=b , 1<= y <= d). 知识点: 莫比乌斯反演/*12*/ 线性筛求莫比乌 ...
- BZOJ 2154: Crash的数字表格 [莫比乌斯反演]
2154: Crash的数字表格 Time Limit: 20 Sec Memory Limit: 259 MBSubmit: 2924 Solved: 1091[Submit][Status][ ...
- BZOJ2301: [HAOI2011]Problem b[莫比乌斯反演 容斥原理]【学习笔记】
2301: [HAOI2011]Problem b Time Limit: 50 Sec Memory Limit: 256 MBSubmit: 4032 Solved: 1817[Submit] ...
- Bzoj2154 Crash的数字表格 乘法逆元+莫比乌斯反演(TLE)
题意:求sigma{lcm(i,j)},1<=i<=n,1<=j<=m 不妨令n<=m 首先把lcm(i,j)转成i*j/gcd(i,j) 正解不会...总之最后化出来的 ...
- 莫比乌斯函数筛法 & 莫比乌斯反演
模板: int p[MAXN],pcnt=0,mu[MAXN]; bool notp[MAXN]; void shai(int n){ mu[1]=1; for(int i=2;i<=n;++i ...
- 【BZOJ-2440】完全平方数 容斥原理 + 线性筛莫比乌斯反演函数 + 二分判定
2440: [中山市选2011]完全平方数 Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 2371 Solved: 1143[Submit][Sta ...
- POI2007_zap 莫比乌斯反演
题意:http://hzwer.com/4205.html 同hdu1695 #include <iostream> #include <cstring> #include & ...
- hdu.5212.Code(莫比乌斯反演 && 埃氏筛)
Code Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 65536/65536 K (Java/Others) Total Submi ...
- CSU 1325 莫比乌斯反演
题目大意: 一.有多少个有序数对(x,y)满足1<=x<=A,1<=y<=B,并且gcd(x,y)为p的一个约数: 二.有多少个有序数对(x,y)满足1<=x<=A ...
随机推荐
- redis连接数据库进行操作
该项目需要的类目录 1.首先我们需要创建我们的实体类 2.放置我们的dao层,在里面写入方法 3.配置类Appconfig需要加入我们的JdbcTemplate方法,因为我们用的是spring,所以需 ...
- git获取远程分支
运行 git checkout -b local-branchname origin/remote_branchname 就可以将远程分支映射到本地命名为local-branchname 的一分支 ...
- c++之虚基类初始化
C++虚基类构造函数下面文章详细介绍C++虚基,所谓C++虚基类:是由最派生类的构造函数通过调用虚基类的构造函数进行初始化的,但前提是要深入理解到底什么是C++虚基类,及他是怎么运行的. 前面讲过,为 ...
- topcoder srm 610
div1 250pt: 题意:100*100的01矩阵,找出来面积最大的“类似国际象棋棋盘”的子矩阵. 解法:枚举矩阵宽(水平方向)的起点和终点,然后利用尺取法来找到每个固定宽度下的最大矩阵,不断更新 ...
- leetcode——Implement strStr() 实现字符串匹配函数(AC)
Implement strStr(). Returns a pointer to the first occurrence of needle in haystack, or null if need ...
- I2S简单学习
以下只是个人看法,有不妥之处,请批评指出. 参考资料:http://blog.csdn.net/ce123_zhouwei/article/details/6919954: 一.I2S接口简述 I²S ...
- 3.5Linux设备驱动--块设备(一)之概念和框架☆☆
基本概念 块设备(blockdevice) --- 是一种具有一定结构的随机存取设备,对这种设备的读写是按块进行的,他使用缓冲区来存放暂时的数据,待条件成熟后,从缓存一次性写入设备或者从设备一次性 ...
- How to Execute Page_Load() in Page's Base Class?
https://stackoverflow.com/questions/2737092/how-to-execute-page-load-in-pages-base-class We faced th ...
- The input stream is not a valid binary format.
The input stream is not a valid binary format. The starting contents (in bytes) are: 53-79-73-74-65- ...
- UICollectionView基础/UICollectionViewCell的四种创建方式
前言 UICollectionViewCell的四种创建方式:http://blog.csdn.net/ZC_Huang/article/details/52002302 这个控件,看起来与UITab ...