题目分析:

比较有意思,但是套路的数学题。

题目要求$ \prod_{i=1}^{n} \prod_{j=1}^{m}Fib(gcd(i,j)) $.

注意到$ gcd(i,j) $有大量重复,采用莫比乌斯反演。可以写成:

$ \prod_{i=1}^{min(n,m)}Fib(i)^{\sum_{i|d}\mu(\frac{d}{i})\lfloor \frac{n}{d}\rfloor\lfloor \frac{m}{d}\rfloor} $.

更进一步的,我们可以发现幂是一个求和,那么把求和依次提出,再重新组合在一起,就变成了:

$ \prod_{i=1}^{min(n,m)}(\prod_{i|d}Fib(i)^{\mu(\frac{d}{i})})^{\lfloor\frac{n}{d}\rfloor\lfloor\frac{m}{d}\rfloor} $.

可以发现最外层的积的下标是$ i $或$ d $对答案没有影响,原因我们可以考虑当下标是$ i $的时候,它会对它的每个倍数产生影响,而倍数的影响是不论$ i $的。所以对于每个倍数我们同样可以枚举因数,式子可以写成:

$ \prod_{d=1}^{min(n,m)}(\prod_{i|d}Fib(i)^{\mu(\frac{d}{i})})^{\lfloor\frac{n}{d}\rfloor\lfloor\frac{m}{d}\rfloor} $.

注意这个式子,它的里层是一个只与当前的$ d $有关的式子,而外层是一个典型的分块。那么我们预处理出里面的情况并做前缀积,外面再采用分块,这道题就可以顺利解决。

对于里面的式子,我们需要$ O(nlog{n}) $进行预处理,而每个询问我们可以分块解决,单次询问的时间复杂度是$ O(\sqrt{n}log{n}) $所以时间复杂度是$O(nlog{n}+T\sqrt{n}log{n})$.

注意到这题没有用到斐波那契数列的任何性质,所以函数$ Fib(x) $可以改成任意其它函数。

代码:

 #include<bits/stdc++.h>
using namespace std; const int mod = ;
const int maxn = ; const int N = ; int n,m;
int Fib[maxn],Inv[maxn];
int MFib[maxn],MInv[maxn]; int flag[maxn],prime[maxn>>],mu[maxn],num; int fast_pow(int now,long long pw){
int z = now,ans = ;long long im = ;
while(im <= pw){
if(im & pw) ans = (1ll*ans*z)%mod;
z = (1ll*z*z)%mod; im <<= ;
}
return ans;
} void GetMiu(){
flag[] = ;mu[] = ;
for(int i=;i<=N;i++){
if(!flag[i]) prime[++num] = i,mu[i] = -;
for(int j=;j<=num&&i*prime[j]<=N;j++){
flag[i*prime[j]] = ;
if(i % prime[j] == ) {mu[i*prime[j]] = ;break;}
else mu[i*prime[j]] = -mu[i];
}
}
} void init(){
GetMiu();
Fib[] = ; Fib[] = ;
for(int i=;i<=N;i++) Fib[i] = (Fib[i-]+Fib[i-])%mod;
for(int i=;i<=N;i++) Inv[i] = fast_pow(Fib[i],mod-);
for(int i=;i<=N;i++) MFib[i] = ;
for(int i=;i<=N;i++){
for(int j=;i*j<=N;j++){
if(mu[j] == ) continue;
if(mu[j] == ) MFib[i*j] = (1ll*MFib[i*j]*Fib[i])%mod;
else MFib[i*j] = (1ll*MFib[i*j]*Inv[i])%mod;
}
}
for(int i=;i<=N;i++) MFib[i] = (1ll*MFib[i]*MFib[i-])%mod;
for(int i=;i<=N;i++) MInv[i] = fast_pow(MFib[i],mod-);
} void work(){
int res = ;
for(int i=;i<=min(n,m);){
int nxt = min(n/(n/i),m/(m/i));
long long z1 = 1ll*(n/i)*(m/i);
res = (1ll*res*fast_pow((1ll*MFib[nxt]*MInv[i-])%mod,z1))%mod;
i = nxt+;
}
printf("%d\n",res);
} int main(){
init();
int T; scanf("%d",&T);
while(T--){
scanf("%d%d",&n,&m);
work();
}
return ;
}

洛谷3704 [SDOI2017] 数字表格 【莫比乌斯反演】的更多相关文章

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

    [Sdoi2017]数字表格 题意:求 \[ \prod_{i=1}^n \prod_{j=1}^m f[(i,j)] \] 考场60分 其实多推一步就推倒了... 因为是乘,我们可以放到幂上 \[ ...

  2. 【bzoj4816】[Sdoi2017]数字表格 莫比乌斯反演

    题目描述 Doris刚刚学习了fibonacci数列.用f[i]表示数列的第i项,那么 f[0]=0 f[1]=1 f[n]=f[n-1]+f[n-2],n>=2 Doris用老师的超级计算机生 ...

  3. BZOJ4816 SDOI2017 数字表格 莫比乌斯反演

    传送门 做莫比乌斯反演题显著提高了我的\(\LaTeX\)水平 推式子(默认\(N \leq M\),分数下取整,会省略大部分过程) \(\begin{align*} \prod\limits_{i= ...

  4. bzoj 4816: 洛谷 P3704: [SDOI2017]数字表格

    洛谷很早以前就写过了,今天交到bzoj发现TLE了. 检查了一下发现自己复杂度是错的. 题目传送门:洛谷P3704. 题意简述: 求 \(\prod_{i=1}^{N}\prod_{j=1}^{M}F ...

  5. 洛谷P3704 [SDOI2017]数字表格(莫比乌斯反演)

    传送门 yyb大佬太强啦…… 感觉还是有一点地方没有搞懂orz //minamoto #include<cstdio> #include<iostream> #include& ...

  6. 洛谷 P3704 [SDOI2017]数字表格(莫比乌斯函数)

    题面传送门 题意: 求 \[\prod\limits_{i=1}^n\prod\limits_{j=1}^mfib_{\gcd(i,j)} \] \(T\) 组测试数据,\(1 \leq T \leq ...

  7. 洛谷P3704 [SDOI2017]数字表格

    题目描述 Doris刚刚学习了fibonacci数列.用f[i]f[i] 表示数列的第ii 项,那么 f[0]=0f[0]=0 ,f[1]=1f[1]=1 , f[n]=f[n-1]+f[n-2],n ...

  8. BZOJ.4816.[SDOI2017]数字表格(莫比乌斯反演)

    题目链接 总感觉博客园的\(Markdown\)很..\(gouzhi\),可以看这的. 这个好像简单些啊,只要不犯sb错误 [Update] 真的算反演中比较裸的题了... \(Descriptio ...

  9. BZOJ 4816 [Sdoi2017]数字表格 ——莫比乌斯反演

    大力反演出奇迹. 然后xjb维护. 毕竟T1 #include <map> #include <ctime> #include <cmath> #include & ...

随机推荐

  1. koa服务器搭建基础

    之前我一直使用rails搭建网站.rails与koa的基本理念很相似,都是基于中间件提供一层层的服务.所不同的是,rails有很多内置的中间件,这使得开发者只需要关注MVC模块以及页面路由.而Koa这 ...

  2. Python练习-2

    #1.使用while循环输入 1 2 3 4 5 6 8 9 10 count = 0 while count < 10: count += 1 # count = count + 1 if c ...

  3. Effective java ---遵守普遍接受的命名规则

    alibaba的java命名规范如下: . [强制]代码中的命名均不能以下划线或美元符号开始,也不能以下划线或美元符号结束. 反例: _name / __name / $Object / name_ ...

  4. httpd sshd firewalld 服务后面的d的意思

    在操作系统中,一般系统的服务都是以后台进程的方式存在,而且都会常驻系统中,直到关机才结束.这类服务也称Daemon,在Linux系统中就包含许多的Daemon. 判断Daemon最简单的方法就是从名称 ...

  5. C#的修饰符

    C#的修饰符 废话少说,直接上总结: 一.在命名空间下: 类:默认修饰符为internal 接口:默认的修饰符为internal 结构体:默认的修饰符为internal 枚举:默认的修饰符为inter ...

  6. [转帖]Ipvsadm参数详解(常用命令)

    Ipvsadm参数详解(常用命令) 2013年11月29日 12:41:40 怀素1980 阅读数:15901   版权声明:本文为博主原创文章,未经博主允许不得转载. https://blog.cs ...

  7. 1363. ZigZag Conversion

    public class Solution { /** * @param s: the given string * @param numRows: the number of rows * @ret ...

  8. bootstrap3兼容IE8

    <!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8&quo ...

  9. PermGen space 内存溢出

    1.修改D:\tools\tomcat\tomcat - 7\apache-tomcat-7.0.91\bin tomcat 路径下bin 文件的catalina.bat文件 添加 JAVA_OPTS ...

  10. hive子查询

    如果集合中含有空值,不能使用not in的语法指令:但是可以使用in