莫比乌斯反演总结——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 ...
随机推荐
- jackon - com.fasterxml.jackson.databind.exc.InvalidDefinitionException && UnrecognizedPropertyException: Unrecognized field 异常
在用jackson解析json数据是碰到的问题 1.首先是InvalidDefinitionException 测试发现可能是目标类中无无参数构造方法导致异常. 添加无参构造方法后发现前一个异常解决但 ...
- Arcgis栅格时序地图制作---时间轴动态展示多期影像
转自原文 Arcgis栅格时序地图制作---时间轴动态展示多期影像 效果如何???满意您go on,不满意咱 say goodbye··· 题外话: 为了在这里动态展示下制作结果,也是费了老劲了,转换 ...
- Windows下C/C++连接mysql数据库的方法
步骤 安装MySQL数据库 项目属性页->C/C++->常规->附加包含目录:xxx\mysql Server 5.6\include 项目属性页->链接器->常规-&g ...
- 使用Android SwipeRefreshLayout了解Android的嵌套滑动机制
SwipeRefreshLayout 是在Android Support Library, revision 19.1.0加入到support v4库中的一个下拉刷新控件,关于android的下拉刷新 ...
- CentOS 5.11安装配置LAMP服务器(Apache+PHP5+MySQL)
http://www.osyunwei.com/archives/8880.html 准备篇: CentOS 5.x系统安装配置图解教程 http://www.osyunwei.com/archive ...
- centos6.5 (linux) 禁用模块 IPV6模块的方法
装完centos后,默认开启了一些模块.可是有些模块并非我们必须的.比方眼下尚未在中国普及的IPV6 怎样关闭IPV6呢 以下介绍的方法,也能够在关闭其它模块的时候使用 第一步: 查找模块名称 使用命 ...
- BZOJ 1091([SCOI2003]分割多边形-分割直线)
1091: [SCOI2003]分割多边形 Time Limit: 1 Sec Memory Limit: 162 MB Submit: 223 Solved: 82 [Submit][id=10 ...
- srand rand 随机函数
srand函数是随机数发生器的初始化函数.原型:voidsrand(unsigned int seed); srand和rand()配合使用产生伪随机数序列.rand函数在产生随机数前,需要系统提供的 ...
- HDU 1017 A Mathematical Curiosity【看懂题意+穷举法】
//2014.10.17 01:19 //题意: //先输入一个数N,然后分块输入,每块输入每次2个数,n,m,直到n,m同一时候为零时 //结束,当a和b满足题目要求时那么这对a和b就是一组 ...
- PHP swfupload图片上传实例
swfupload已经是第二次研究,这次自已整了个简单demo,无奈菜鸟最杯… PHP代码如下: if (isset($_FILES["Filedata"]) || !is_upl ...