【ACM數(shù)論】和式變換技術(shù),也許是最好的講解之一

在做數(shù)論題時,往往需要進行和式變換,然后變換成我們可以處理的和式,再針對和式做篩法、整除分塊等操作。

本文將介紹一些常見的和式變換技術(shù)。

以下出現(xiàn)的概念大部分為個人總結(jié),未必是學術(shù)界/競賽界的統(tǒng)一說法,有不嚴謹?shù)牡胤秸堈徑狻?/p>

?? 作者:Eriktse
?? 簡介:19歲,211計算機在讀,現(xiàn)役ACM銀牌選手??力爭以通俗易懂的方式講解算法!??歡迎關(guān)注我,一起交流C++/Python算法。(優(yōu)質(zhì)好文持續(xù)更新中……)??
?? 原文鏈接(閱讀原文獲得更好閱讀體驗):https://www.eriktse.com/algorithm/1101.html

和式的基本形式

和式一般有兩種:區(qū)間枚舉型整除枚舉型。

區(qū)間枚舉型

我們的前綴和就是一個典型的區(qū)間枚舉型和式。

假設我們有一個定義域為x\in[1, n],x\in Z^+的函數(shù)f(x),那么我們可以設一個前綴和函數(shù)F(x),定義為:

F(x) = \sum_{i=1}^{x}f(i) = f(1) + f(2) + ... + fx()

求和符號中,如果沒有特殊說明,一般枚舉的都是整數(shù),且步長為1。

整除枚舉型

約數(shù)個數(shù)是一個典型的整除枚舉型和式,我們可以容易的寫出它的表達式:

f(n) = \sum_{d|n}1

其中 d|n 表示 i 可以整除 n ,即 in 的因子。

約數(shù)之和也是一個整除枚舉型和式,表達式如下:

g(n) = \sum_{d|n}d

和式的基本性質(zhì)

可拆分性質(zhì)

第一種拆分如下:

\sum_{i=1}^{n}a_i = \sum_{i=1}^{m}a_i + \sum_{i=m+1}^{n}a_i

這是顯然的,但是基本上用不著。

第二種拆分如下:

\sum_{i=1}^{n}(a_i + b_i) = \sum_{i=1}^{n}a_i + \sum_{i=1}^{n}b_i

這也是顯然的。

常數(shù)可提取

當我們的和式里面乘上了一個常數(shù)k,那么這個常數(shù)是可以提出來的,由于我們討論的數(shù)域是整數(shù)域,這個k一般為整數(shù)。(其實對于實數(shù)也是滿足條件的)。

\sum_{i=1}^{n}ka_i = k\sum_{i=1}^{n}a_i

整除枚舉型變換為區(qū)間枚舉型(重要)

就比如上面那個約數(shù)之和的函數(shù):

g(i) = \sum_{d|n}d = \sum_{i=1}^{n}[d|n]

我們知道d的取值一定在[1, n],所以我們可以轉(zhuǎn)換枚舉類型,此時枚舉指標的范圍就要改變,同時加上一個布爾函數(shù)來限定。

我們稱枚舉的東西為“指標”,例如上面和式中d|n中的d,i=1中的i。

指標變換(重要)

給定一個整數(shù)k,對于下面這種和式,我們可以把指標進行轉(zhuǎn)換。

\sum_{i=1}^{n}\sum_{j=1}^{n}[gcd(i, j) = k]

現(xiàn)在令i = i'k,j=j'k,為什么會這么想呢?因為我們后面的布爾函數(shù)中要求i, j都包含因子k,如果枚舉的i, j不是k的倍數(shù)的時候這個式子是沒有貢獻的。

所以我們可以不一個個枚舉i, j,變?yōu)槊杜ek的倍數(shù)。我們進行整體的代換:

\sum_{i'k = 1}^{n}\sum_{j'k=1}^{n}[gcd(i'k, j'k) = k]

然后變換枚舉范圍和布爾函數(shù),注意這里i的起點本應該是\lfloor\frac{1}{k}\rfloor,但是0是沒有討論意義的所以我們從1開始。

\sum_{i=1}^{\lfloor\frac{n}{k}\rfloor}\sum_{j=1}^{\lfloor\frac{n}{k}\rfloor}[gcd(i, j) = 1]

現(xiàn)在我們可以發(fā)現(xiàn)后面這個布爾函數(shù)就變成了一個常見的積性函數(shù)\epsilon,接下來就可以通過公式\mu * I = \epsilon進行莫比烏斯反演(其中符號*表示狄利克雷卷積)。

交換求和次序(重要)

上式進行莫比烏斯反演后可以得到如下的和式(如果不懂莫比烏斯反演可以暫時先不管,之后再學),設m=\lfloor\frac{n}{k}\rfloor。

\sum_{i=1}^{m}\sum_{j=1}^{m}\sum_{d|gcd(i, j)}\mu(d)

我們可以發(fā)現(xiàn)d|gcd(i, j)這個條件等價于[d|i][d|j],即d同時是ij的因子。

接下來我們進行一次枚舉類型的轉(zhuǎn)換:

\sum_{i=1}^{m}\sum_{j=1}^{m}\sum_{d=1}^{m}[d|i][d|j]\mu(d)

接下來我們將d的求和符號從后面換到前面去,因為在\mu(d)中沒有包含i, j的內(nèi)容,可以直接換,這里需要自己理解一下。

\\sum_{d=1}^{m}\mu(d)\sum_{i=1}^{m}[d|i]\sum_{j=1}^{m}[d|j]

轉(zhuǎn)換為整除分塊形式(十分重要)

上式轉(zhuǎn)換完成后,我們可以發(fā)現(xiàn)后面兩坨是可以進行整除分塊的。

\sum_{i=1}^{m}[d|i] = \lfloor\frac{m}u0z1t8os\rfloor

怎么理解呢?這個式子表達的就是當d確定了,在區(qū)間[1, n]中有多少整數(shù)是d的倍數(shù),顯然是\lfloor\frac{m}u0z1t8os\rfloor個。

那么和式就可轉(zhuǎn)換為:

\sum_{i=1}^{m}\lfloor\frac{m}u0z1t8os\rfloor\lfloor\frac{m}u0z1t8os\rfloor

例題

luogu P2257 YY的GCD:https://www.luogu.com.cn/problem/P2257

閱讀題意我們可以知道題目所求為,不妨設n\le m

ans=\sum_{i=1}^{n}\sum_{j=1}^{m}[gcd(i,j)\in prim]

接下來開始變換:

\sum_{i=1}^{n}\sum_{j=1}^{m}\sum_{p\in prim}[gcd(i,j)=p]

\sum_{p\in prim}\sum_{i=1}^{\lfloor\frac{n}{p}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{p}\rfloor}[gcd(i,j)=1]

莫比烏斯反演:

\sum_{p\in prim}\sum_{i=1}^{\lfloor\frac{n}{p}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{p}\rfloor}\sum_{d|gcd(i,j)}\mu(d)

注意這里n\le m,接著變換。

\sum_{p\in prim}\sum_{i=1}^{\lfloor\frac{n}{p}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{p}\rfloor}\sum_{d=1}^{\lfloor\frac{n}{p}\rfloor}[d|i][d|j]\mu(d)

\sum_{p\in prim}\sum_{d=1}^{\lfloor\frac{n}{p}\rfloor}\mu(d)\sum_{i=1}^{\lfloor\frac{n}{p}\rfloor}[d|i]\sum_{j=1}^{\lfloor\frac{m}{p}\rfloor}[d|j]

后面兩坨可以進行整除分塊,同時換一下p的枚舉類型:

\sum_{p=1}^{n}[p\in prim]\sum_{d=1}^{\lfloor\frac{n}{p}\rfloor}\mu(d)\lfloor\frac{n}{pd}\rfloor\lfloor\frac{m}{pd}\rfloor

T=pd,交換求和次序。

\sum_{p=1}^{n}[p\in prim][p|T]\sum_{T=1}^{n}\mu(\frac{T}{p})\lfloor\frac{n}{T}\rfloor\lfloor\frac{m}{T}\rfloor

再交換求和次序:

\sum_{T=1}^{n}\lfloor\frac{n}{T}\rfloor\lfloor\frac{m}{T}\rfloor\sum_{p=1}^{n}[p\in prim][p|T]\mu(\frac{T}{p})

現(xiàn)在發(fā)現(xiàn)p后面那一塊,可以通過類似歐拉篩的方法進行預處理。

我們設一個函數(shù):

F(T) = \sum_{p=1}^{n}[p \in prim][p|T]\mu(\frac{T}{p})

那么F(T)的含義就是對于T的每一個質(zhì)因子p,將它的\mu(\frac{T}{p})加到自身上。

做完了。

Code:

#include <bits/stdc++.h>
#define int long long
using namespace std;
const int N = 1e7 + 9;

int sum[N], mu[N];

void init(int n = N - 2)
{
    bitset<N> vis;
    vector<int> prim;
    vis[1] = true;
    mu[1] = 1;
    
    for(int i = 2;i <= n; ++ i)
    {
        if(!vis[i])prim.push_back(i), mu[i] = -1;
        
        for(int j = 0;j < prim.size() and i * prim[j] <= n; ++ j)
        {
            vis[i * prim[j]] = true;
            if(i % prim[j] == 0)break;//此時i * prim[j]含有平方因子
            
            mu[i * prim[j]] = -mu[i];//此時i * prim[j]的本質(zhì)不同質(zhì)因子+1,或已經(jīng)含有平方因子
        }
    }
    
    for(int i = 0;i < prim.size(); ++ i)
    {
        for(int j = 1; prim[i] * j  <= n; ++ j)
        {
            sum[prim[i] * j] += mu[j];
        }
    }
    
    for(int i = 1;i <= n; ++ i)sum[i] += sum[i - 1];
    
}

void solve()
{
    int n, m;scanf("%lld %lld", &n, &m);
    if(n > m)swap(n, m);
    int ans = 0;
    for(int l = 1, r;l <= n; l = r + 1)
    {
        r = min(n / (n / l), m / (m / l));
        ans += (sum[r] - sum[l - 1]) * (n / l) * (m / l);
    }
    printf("%lld\n", ans);
}

signed main()
{
    init();
    int _;scanf("%lld", &_);
    while(_ --)solve();
    return 0;
}

結(jié)束

?? 本文由eriktse原創(chuàng),創(chuàng)作不易,如果對您有幫助,歡迎小伙伴們點贊??、收藏?、留言??

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時請結(jié)合常識與多方信息審慎甄別。
平臺聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點,簡書系信息發(fā)布平臺,僅提供信息存儲服務。

相關(guān)閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容