标签:
细细算来,看反演已经有一两个星期了
刚开始的时候也是走了不少的弯路
和其他的算法一样,只要你懂了,就会有一种不过如此的感觉(误
感觉反演还是刚入门,不过还是先写一篇不完全的总结吧,不然过段时间就要忘记了
虽说看反演看了好久才懂,但是现在回头看看,其实很多时间还是花费在弯路上,真正的输出时间不过是最近的一两天
然后就可以看反演啦
反演推荐的资料还是贾志鹏线性筛
不要在电脑上直接过一遍就算看过了,这个资料上面有一些不加证明就给出的结论,最好能一个一个自己证明出来
弱在电脑上看了好久并没有看懂,然后打印出来一点一点啃下来
其实也不需要太久的时间,如果你中途不用去补前置知识点的话,一两天足以,重要的还是不要跳着看
现在感觉反演重要的是他的两种形式 ,即使看不懂,也最好能记下来
当初眼花看成一种形式的也是绕了好多弯路
如果有
那么
如果有
那么
还是讲一个题吧
计算:
讲之前一些符号の约定
比如
显然
一个显然的正确做法就是一一的枚举所有的数对,然后一一算出gcd,然后一一的累加起来,时间复杂度是o(n*m)
虽然是正确的,但是会超时,因为
所以两两枚举是肯定不行的,这个时候你想起了
那么枚举gcd可不可以呢?看起来是可以的样子,让我们尝试一下
现在的问题转化为了对于每一个
好像没有什么卵用。因为如果暴力算的话这里的复杂度还是o(n*m),再乘上一个d,用时比刚才纯暴力的方法还慢……..
(如果能够快速的求出
先不要急,容我们回忆一下莫比乌斯反演的第二种形式
如果有
那么
再回忆一下我们要求的问题
(对于每一个
不妨设
如果我们设要求的东西为
那么
你可能会想到可以设
那么
每次计算时间复杂度是多少呢?
对于每个
那么总的复杂度呢?
诶,那么问题不就解决了吗
枚举所有可能
反演这个东西怎么说呢,其实就是原来要求的东西不好求,于是我们去找一个新的好求的东西,并且惊讶的发现原来不好求的东西用新搞出来的东西也变得好求了起来
update 5.6
最近发现了一个很顺畅的莫比乌斯反演的证明,感觉很有必要记下来
数论函数 : 定义域为正整数的函数(以下的
定义卷积 :
卷积存在单位元
不难得出
定义普通乘法:
同样的普通乘法也存在单位元
现在我们有两个运算了,要不要混合在一起玩玩呢?
记
其实
然后我们来看看莫比乌斯反演的第一个公式说了什么
如果有
那么
第一个等式说的其实是
第二个等式说的其实是
具体如何推下来的请等第三次更新
顺便给出一个求莫比乌斯函数的代码
memset(g,0,sizeof(g));
g[1] = 1;
for(int i=1;i<=n;i++){
for(int j=i+i;j<=n;j+=i){
g[j] -= g[i];
}
}
这个代码的作用其实是求数论函数g和μ的卷积,当g是卷积单位元的时候,最后的结果自然是μ
如果g的初始化为乘法单位元的话,那么卷积出来的结果是卷积单位元
还是一个挺有趣的玩意
标签:
原文地址:http://blog.csdn.net/a1s4z5/article/details/51333840