前言
莫比烏斯反演是數論數學中很重要的內容,可以用於解決很多組合數學的問題。莫比烏斯反演的應用非常廣泛,內容很多但是結論卻並不複雜。
一道經典的莫比烏斯反演題:
求:
也就是說有多少對的爲。
先知
常見積性函數1
1.——除數函數。用式子表示爲:。
2.——約數函數。表示n的約數的個數。用式子表示爲:,也可寫作: (其實沒什麼太大區別)。
3.——約數和函數。用式子表示爲:。
4.——歐拉函數。表示不大於n且與n互質的正整數個數,十分常見的數論函數。用式子表示: 注意:n=1時,。
5.——莫比烏斯函數2 。
常見完全積性函數
1.——元函數。也有人把它叫作e(n),我們只需要知道。(代表if(n==1) n=1; else n=0;)
2.——恆等函數。所謂恆等就是這個函數的值恆爲1。
3.——單位函數。。
4.——冪函數。。
PS:積性函數有一個特別重要的性質,那就是(積性函數∗積性函數)仍然爲積性函數!!!這個性質可以用來判斷能否被杜教篩!
接下來就到了狄利克雷卷積,似乎是很高深的東西。
狄利克雷卷積3
定義:對於函數,定義它們的卷積爲(d|n代表d是n的因子 ),很明顯,所得也是一個數論函數,其中表示爲將卷,後面的括號代表範圍。(PS:後面的括號一般可以省略不寫,默認爲n)
很顯然,狄利克雷卷積滿足以下運算規律,可以類比爲乘法的運算法則:
交換律 (f∗g=g∗f);
結合律 ((f∗g)∗h=f∗(g∗h));
分配律 ((f+g)∗h=f∗h+g∗h);
任意函數卷積單位元仍爲它本身
不要小看元函數,它充當單位元,當元函數配合上結合律時還可以用來證明一些結論
因爲
所以
因爲
所以
因爲
所以
莫比烏斯函數
莫比烏斯反演定理形式一:
證明:
變形得到:
因爲
所以當且僅當,即,,其餘時間爲0。
故
莫比烏斯反演定理形式二:
證明:
令,得到
所以當且僅當,即,,其餘時間爲0。
故
證畢。
歐拉函數
歐拉函數爲積性函數(若互質,有)
歐拉函數φ(n)定義爲,1~n中與n的最大公約數爲1的數字的個數。例如 φ(5) = 4, φ(6) = 2
若爲質數,顯然
若, 則n的大於1的約數有共個數。所以
歐拉函數有一個很著名的性質:。
因爲
所以對於任意
或者寫成這種形式:
莫比烏斯函數和歐拉函數的關係:
杜教篩
考慮如何求μ的前綴和
比如說? 線篩會T。這時我們就需要杜教篩了。
杜教篩是以低於線性的時間複雜度來計算積性函數的前綴和的神奇篩法!
即我們需要計算的式子爲:(爲積性函數)
杜教篩的套路式
我們構造兩個積性函數和。使得。記。
接着,我們將右邊式子的第一項給提出來,可以得到:
其中的;
經各種分析,只要當你的的前綴和很好求,能在較短的時間內求出,那麼當我們對後面的式子進行整除分塊時,求的複雜度爲。對於與需要從我們對狄利克雷卷積中的各種式子的熟悉和仔細觀察式子的能力中得到。
應用
一:求;
根據那個套路式:,我們只需要找一個積性函數使得這個函數與μ的卷積的前綴和容易求。如果你認真的看了上文,應該就可以很輕鬆的想到一個積性函數。
我們知道,很顯然,單位元的前綴和非常好求,就是1,並且十分方便整除分塊。所以我們把這個積性函數帶入上述式子中可以得到:
這就是杜教篩莫比烏斯函數的前綴和。
二:求
與求莫比烏斯函數的思路類似。
我們在腦海中找到一個與歐拉函數有關的卷積式子:
我們可以發現,在篩歐拉函數前綴和所選擇的積性函數g同樣也是I喲!代入得:
前面那個式子可以利用等差數列求和公式的計算出結果,後面同樣利用整除分塊。
所以,我們又學會了如何篩歐拉函數的前綴和啦!
三:求
這個式子是不是無法一眼看出需要配什麼積性函數了呢?
我們考慮狄利克雷卷積的形式:
我們看前面這個不太爽,考慮後面配出一個積性函數使得這個能夠被約掉。因此,我們嘗試將配成。這樣就可以把給弄沒!代入得:
我們驚喜的發現,似乎配對了!!!
得:
對於這個式子,我們前面可以利用平方和的公式算出結果,後面的式子利用等差數列求和公式進行整除分塊。
我們可以通過以上的思路求得這個看似無法篩的積性函數的前綴和。
代碼實現
我們首先先線篩出數據範圍根號左右的積性函數的前綴和。再遞歸的實現杜教篩。特別要注意的是,杜教篩篩出的前綴和一定要存下來!!!
如果你比較的勤勞,那就去手寫hash,如果你想偷懶,那就最好用stl中的unordered_map,最好不要用map,平白無故多個log的複雜度,何必呢…
還有一點,一定要記得取模!!!以及,判斷要不要開long long,搞不好你TLE就是因爲取模去多了,或者long long開多啦!
代碼如下:
#include<bits/stdc++.h>
using namespace std;
const int maxx = 10000001 * 2;
bool isprime[maxx];
int prime[maxx/10];
int mu[maxx];
int countp;
map<long long,int> mp;
void Get_mu(int maxn) //求莫比烏斯函數
{
memset(isprime,1,sizeof(isprime));
isprime[1] = true;
mu[1] = 1;
for(int i=2; i<=maxn; i++)
{
if(isprime[i])
prime[++countp] = i, mu[i] = -1;
for(int j=1; i*prime[j]<=maxn&&j<=countp; j++)
{
int t = i * prime[j];
isprime[t] = false;
if(!(i%prime[j]))
{
mu[t] = 0;
break;
}
else mu[t] = -mu[i];
}
}
}
long long n,m;
long long nn,top;
long long ans;
int get(long long x)
{
int sum = 0;
for(long long i=2; i<=x; i++)
{
long long zz = x/i;
long long next = x/zz;
if(zz <= top)
sum += (next-i+1) * mu[zz];
else
{
if(mp[zz])
sum += (next-i+1) * (mp[zz]);
else
sum += (next-i+1) * get(zz);
}
i = next;
}
if(x>top)
mp[x] = (1-sum);
return (1-sum);
}
int main()
{
cin>>n>>m;
top = maxx-1;
Get_mu(maxx-1);
for(int i=1; i<=top; i++)
mu[i]+=mu[i-1];
ans = get((long long)m) - get((long long)(n-1));
cout<<ans<<endl;
}
莫比烏斯函數
莫比烏斯函數是一個由容斥係數所構成的函數。
的定義是:
- 當時,;
- 當且爲互異素數時,。(說直白點,就是分解質因數後,沒有冪次大於平方的質因子,此時函數值根據分解的個數決定);
只要當含有任何質因子的冪次大於2,則函數值爲0.
即
當然,莫比烏斯函數也有很多有趣的性質:- 對於任意正整數,(表示只有當成立時,返回值爲1;否則,值爲0;(這個就是用是容斥係數的性質可以證明)(PS:這一條性質是莫比烏斯反演中最常用的)
- 對於任意正整數n,∑d|nμ(d)d=ϕ(n)n。(這個性質很奇妙,它把歐拉函數和莫比烏斯函數結合起來,或許我之後寫杜教篩的學習筆記時會去證明吧)
程序實現並不難,求。
- 打表:
//線性篩法求莫比烏斯函數
bool check[MAX+10];
int prime[MAX+10];
int mu[MAX+10];
void Moblus()
{
memset(check,false,sizeof(check));
mu[1] = 1;
int tot = 0;
for(int i = 2; i <= MAX; i++)
{
if( !check[i] )
{
prime[tot++] = i;
mu[i] = -1;
}
for(int j = 0; j < tot; j++)
{
if(i * prime[j] > MAX)
break;
check[i * prime[j]] = true;
if( i % prime[j] == 0)
{
mu[i * prime[j]] = 0;
break;
}
else
{
mu[i * prime[j]] = -mu[i];
}
}
}
}
- 非打表:
ll getmob(ll a)
{
ll x=a,tmp=a;
int cnt=0,now=0;
for(ll j=2; j*j<=x; j++)
{
now=0;
if(x%j==0)
{
while(x%j==0)
now++,x/=j;
if(now>1)
return 0;
cnt++;
}
}
if(x!=1)
cnt++;
return (cnt&1)?-1:1;
}
莫比烏斯反演
莫比烏斯反演是數論中的重要內容,在許多情況下能夠簡化運算。
我們考慮以下列函數:
可推導得:
這就稱作莫比烏斯反演定理。
莫比烏斯反演證明
莫比烏斯反演的證明有兩種方式。
定義證明方法:
當,即時,(2)式纔不爲0。所以(2)式只剩下一項了。
莫比烏斯反演還有另外的一種形式,當F(n)和f(n)滿足:
可以推出:
莫比烏斯反演公式總結
約數的莫比烏斯反演:
若:
則:
倍數的莫比烏斯反演:
若:
則:
借鑑自:https://www.cnblogs.com/peng-ym/p/8647856.html
[積性函數百度百科]
(https://baike.baidu.com/item/積性函數/8354949?fr=aladdin) ↩︎[狄利克雷卷積百度百科]
(https://baike.baidu.com/item/狄利克雷乘積/18903903?fr=aladdin) ↩︎