bzoj4816: [Sdoi2017]数字表格

Posted lrj998244353

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了bzoj4816: [Sdoi2017]数字表格相关的知识,希望对你有一定的参考价值。

Description

Doris刚刚学习了\(fibonacci\)数列。用\(f[i]\)表示数列的第\(i\)项,那么

\[\begin{align}f[0]&=0\\f[1]&=1\\f[n]&=f[n-1]+f[n-2],n>=2\end{align}\]

Doris用老师的超级计算机生成了一个\(n\times m\)的表格,第\(i\)行第\(j\)列的格子中的数是\(f[\mathrm{gcd}(i,j)]\),其中\(\mathrm{gcd}(i,j)\)表示\(i\),\(j\)的最大公约数。Doris的表格中共有\(n\times m\)个数,她想知道这些数的乘积是多少。答案对\(10^9+7\)取模。

Input

有多组测试数据。第一个一个数\(T\),表示数据组数。

接下来\(T\)行,每行两个数\(n,m\)

\(T \leq 1000\),\(1 \leq n\),\(m \leq 10^6\)

Output

输出\(T\)行,第\(i\)行的数是第\(i\)组数据的结果

Sample Input

3
2 3
4 5
6 7

Sample Output

1
6
960

题解

要求的东西是
\[ ans=\prod_{i=1}^n\prod_{j=1}^mf[\mathrm{gcd}(i,j)] \]
假设\(n<m\),根据常见套路,枚举约数
\[ ans=\prod_{d=1}^nf(d)^{\sum_{i=1}^n\sum_{j=1}^m[\mathrm{gcd}(i,j)==d]} \]
把指数拿出来化简
\[ \begin{align} &\sum_{i=1}^n\sum_{j=1}^m[\mathrm{gcd}(i,j)==d]\=&\sum_{i=1}^{\left \lfloor \frac{n}{d} \right \rfloor}\sum_{j=1}^{\left \lfloor \frac{m}{d} \right \rfloor}[\mathrm{gcd}(i,j)==1]\=&\sum_{i=1}^{\left \lfloor \frac{n}{d} \right \rfloor}\sum_{j=1}^{\left \lfloor \frac{m}{d} \right \rfloor}\sum_{k|\mathrm{gcd}(i,j)}\mu(k)\=&\sum_{k=1}^{\left \lfloor \frac{n}{d} \right \rfloor}\mu(k)\left \lfloor \frac{n}{kd} \right \rfloor\left \lfloor \frac{m}{kd} \right \rfloor \end{align} \]
\(T=kd\),代入上式
\[ \sum_{k=1}^{\left \lfloor \frac{n}{d} \right \rfloor}\mu(k)\left \lfloor \frac{n}{kd} \right \rfloor\left \lfloor \frac{m}{kd} \right \rfloor=\sum_{T=1}^n\mu(\frac{T}{d})\left \lfloor \frac{n}{T} \right \rfloor\left \lfloor \frac{m}{T} \right \rfloor\\]
\(T\)放到外面枚举
\[ ans=\prod_{T=1}^n\prod_{d|T}f(d)^{\mu(\frac{T}{d})\left \lfloor \frac{n}{T} \right \rfloor\left \lfloor \frac{m}{T} \right \rfloor} \]
令函数\(g(x)=\prod_{d|x}f(d)^{\mu(\frac{x}{d})}\)
\[ ans=\prod_{T=1}^ng(T)^{\left \lfloor \frac{n}{T} \right \rfloor\left \lfloor \frac{m}{T} \right \rfloor} \]
只要我们求出了\(g(x)\)的前缀积以及对应的逆元就可以整除分块了。

只要预处理出莫比乌斯函数和\(f\)以及\(f\)的逆元,\(g(x)\)就可以通过枚举每个数的筛它的倍数求出,复杂度是调和级数。

问题就是如何求所有\(f\)以及对应的逆元\(invf\)

这里我们需要一个辅助的东西\(mulf\),表示\(f\)的前缀积,即\(mulf(x)=\prod_{i=1}^x f(i)\).

假设我们知道了\(mulf(i+1)\)的逆元\(invm(i+1)\),那么有
\[ \begin{align} invm(i+1) &\equiv invm(i)\times invf(i+1) (\mathrm{mod}\ P)\invm(i)&\equiv invm(i+1)\times f(i+1)(\mathrm{mod}\ P) \end{align} \]
\(invf(i)\equiv invm(i)*mulf(i-1)(\mathrm{mod} P)\),这样我们就可以求出\(f\)以及\(invf\)了。

用同样的方法,我们也可以求出\(g(x)\)的前缀积以及对应的逆元。

代码

#include<bits/stdc++.h>
#define MAXN 1000010
#define P 1000000007
#define LL long long
namespace IO{
    char buf[1<<15],*fs,*ft;
    inline char gc(){return (fs==ft&&(ft=(fs=buf)+fread(buf,1,1<<15,stdin),fs==ft))?0:*fs++;}
    inline int qr(){
        int x=0,rev=0,ch=gc();
        while(ch<'0'||ch>'9'){if(ch=='-')rev=1;ch=gc();}
        while(ch>='0'&&ch<='9'){x=(x<<1)+(x<<3)+ch-'0';ch=gc();}
        return rev?-x:x;}
}using namespace IO;
using namespace std;
LL f[MAXN],invm[MAXN],invf[MAXN],g[MAXN],invg[MAXN],mulf[MAXN],mulg[MAXN],ans;
int p[MAXN],cnt,u[MAXN],T,N,M;
bool np[MAXN]; 
inline LL qp(LL x,LL y){
    LL ret=1;
    while(y){
        if(y&1)ret=ret*x%P;
        x=x*x%P;y>>=1; 
    }
    return ret;
}
int main(){
    #ifndef ONLINE_JUDGE
    freopen("product.in","r",stdin);
    freopen("product.out","w",stdout);
    #endif
    f[0]=0;
    f[1]=u[1]=np[1]=g[1]=mulf[1]=mulg[1]=invm[0]=1;
    for(int i=2;i<=1000000;i++){
        f[i]=(f[i-1]+f[i-2])%P;
        mulf[i]=mulf[i-1]*f[i]%P;
        g[i]=1;
        if(!np[i])p[++cnt]=i,u[i]=-1;
        for(int j=1;j<=cnt;j++){
            int t=p[j]*i;
            if(t>1000000)break;
            np[t]=1;
            if(i%p[j]==0){u[t]=0;break;}
            u[t]=-u[i];
        }
    }
    invm[1000000]=qp(mulf[1000000],P-2);
    invf[1000000]=qp(f[1000000],P-2);
    for(int i=999999;i>=1;i--){
        invm[i]=invm[i+1]*f[i+1]%P;
        invf[i]=mulf[i-1]*invm[i]%P;
    } 
    for(int i=2;i<=1000000;i++){
        for(int j=1,k;(k=j*i)<=1000000;j++){
            if(u[j]==1)g[k]=g[k]*f[i]%P;
            else if(u[j]==-1)g[k]=g[k]*invf[i]%P;
        }
        mulg[i]=mulg[i-1]*g[i]%P;
    }
    invg[1000000]=qp(mulg[1000000],P-2);
    for(int i=999999;i>=0;i--)invg[i]=invg[i+1]*g[i+1]%P;
    T=qr();
    while(T--){
        N=qr();M=qr();ans=1;
        if(N>M)swap(N,M);
        for(int i=1,j;i<=N;i=j+1){
            j=min(N/(N/i),M/(M/i));
            ans=ans*qp(mulg[j]*invg[i-1]%P,1LL*(N/i)*(M/i)%(P-1))%P;
        }
        printf("%lld\n",ans);
    }
    return 0;
}

以上是关于bzoj4816: [Sdoi2017]数字表格的主要内容,如果未能解决你的问题,请参考以下文章

bzoj 4816 [Sdoi2017]数字表格

[BZOJ4816][Sdoi2017]数字表格

[BZOJ4816][SDOI2017]数字表格(莫比乌斯反演)

BZOJ4816[Sdoi2017]数字表格 莫比乌斯反演

BZOJ4816: [Sdoi2017]数字表格

Bzoj4816 [Sdoi2017]数字表格