懵逼乌斯反演果然名不虚传,自闭了两天的我打算学习一下这一块比较实用的数论内容。

(注: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 =p-pe-1 ,可得∑d|n φ(d)=∏(i:1~k)(∑(j:1~ci)(pi- 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)p,由μ的定义可知,μ(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的更多相关文章

  1. hdu1695 GCD(莫比乌斯反演)

    题意:求(1,b)区间和(1,d)区间里面gcd(x, y) = k的数的对数(1<=x<=b , 1<= y <= d). 知识点: 莫比乌斯反演/*12*/ 线性筛求莫比乌 ...

  2. BZOJ 2154: Crash的数字表格 [莫比乌斯反演]

    2154: Crash的数字表格 Time Limit: 20 Sec  Memory Limit: 259 MBSubmit: 2924  Solved: 1091[Submit][Status][ ...

  3. BZOJ2301: [HAOI2011]Problem b[莫比乌斯反演 容斥原理]【学习笔记】

    2301: [HAOI2011]Problem b Time Limit: 50 Sec  Memory Limit: 256 MBSubmit: 4032  Solved: 1817[Submit] ...

  4. Bzoj2154 Crash的数字表格 乘法逆元+莫比乌斯反演(TLE)

    题意:求sigma{lcm(i,j)},1<=i<=n,1<=j<=m 不妨令n<=m 首先把lcm(i,j)转成i*j/gcd(i,j) 正解不会...总之最后化出来的 ...

  5. 莫比乌斯函数筛法 & 莫比乌斯反演

    模板: int p[MAXN],pcnt=0,mu[MAXN]; bool notp[MAXN]; void shai(int n){ mu[1]=1; for(int i=2;i<=n;++i ...

  6. 【BZOJ-2440】完全平方数 容斥原理 + 线性筛莫比乌斯反演函数 + 二分判定

    2440: [中山市选2011]完全平方数 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 2371  Solved: 1143[Submit][Sta ...

  7. POI2007_zap 莫比乌斯反演

    题意:http://hzwer.com/4205.html 同hdu1695 #include <iostream> #include <cstring> #include & ...

  8. hdu.5212.Code(莫比乌斯反演 && 埃氏筛)

    Code Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/65536 K (Java/Others) Total Submi ...

  9. CSU 1325 莫比乌斯反演

    题目大意: 一.有多少个有序数对(x,y)满足1<=x<=A,1<=y<=B,并且gcd(x,y)为p的一个约数: 二.有多少个有序数对(x,y)满足1<=x<=A ...

随机推荐

  1. linux修改PS1,自定义命令提示符样式

    目录 参数说明 修改颜色 linux默认的命令提示符是这样的: 白色的,如果当前执行的命令很多的话,一整块屏幕上全是一堆输出信息,上一条命令在哪?我刚输入的命令在哪?找的头晕.有没有办法可以修改命令提 ...

  2. zookeeper一二三

    1.zookeeper介绍 ZooKeeper 是一个开源的分布式协调服务,由雅虎创建,是 Google Chubby 的开源实现.分布式应用程序可以基于 ZooKeeper 实现诸如数据发布/订阅. ...

  3. google官方建议使用的网站性能测试工具

    转自:http://www.laokboke.net/2013/05/12/google-official-recommended-site-performance-testing-tools/ 最近 ...

  4. 关于maven多个模块的build顺序 [INFO] Reactor Build Order

    对于一个maven项目,如果有多个模块,那么它们的执行顺序是什么样的呢? 在执行mvn操作的时候,你可以看到如下信息,这个便是maven的build顺序 那么maven是如何决定顺序的呢?如下: 在多 ...

  5. (转)Delphi2009初体验 - 语言篇 - 智能指针(Smart Pointer)的实现

     转载:http://www.cnblogs.com/felixYeou/archive/2008/08/27/1277250.html 快速导航 一. 回顾历史二. 智能指针简介三. Delphi中 ...

  6. [正在学习开发板]分享--- iTOP-4412移植CAN

    首先拷贝迅为提供的 libcanjni.tar.gz 压缩包到 android 源代码的"iTop4412_ICS/device/samsung/common"文件夹以下,然后使用 ...

  7. Error Code: 2006 - MySQL 鏈嶅姟鍣ㄥ凡绂荤嚎

    将sql文件导入到mysql时候,就一直报这个错误. 我试过网上各种方法都行不通. 最后将以下一句运行了一下就能够了,并且没有重新启动mysql. SET GLOBAL max_allowed_pac ...

  8. 【机器学习具体解释】SVM解二分类,多分类,及后验概率输出

    转载请注明出处:http://blog.csdn.net/luoshixian099/article/details/51073885 CSDN−勿在浮沙筑高台 支持向量机(Support Vecto ...

  9. SLF4J: Failed to load class的问题及解决

    今天在做接口测试,一运行测试程序,就跳出这样一个大大的错误: SLF4J: Failed to load class “org.slf4j.impl.StaticLoggerBinder”. SLF4 ...

  10. 阿里云 oss 小文件上传进度显示

    对阿里云OSS上传小文件时的进度,想过两个方法:一是.通过多线程监測Inputstream剩余的字节数来计算,可是由于Inputstream在两个线程中共用,假设上传线程将Inputstream关闭, ...