题目描述

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\geq 2f[n]=f[n−1]+f[n−2],n≥2

Doris用老师的超级计算机生成了一个n×mn×m 的表格,

第ii 行第jj 列的格子中的数是f[\gcd(i,j)]f[gcd(i,j)] ,其中\gcd(i,j)gcd(i,j) 表示i,ji,j 的最大公约数。

Doris的表格中共有n×mn×m 个数,她想知道这些数的乘积是多少。

答案对10^9+7109+7 取模。

输入输出格式

输入格式:

有多组测试数据。

第一个一个数TT ,表示数据组数。

接下来TT 行,每行两个数n,mn,m

输出格式:

输出TT 行,第ii 行的数是第ii 组数据的结果

输入输出样例

输入样例#1: 复制

3
2 3
4 5
6 7
输出样例#1: 复制

1
6
960

说明

对10\%10% 的数据,1\leq n,m\leq 1001≤n,m≤100

对30\%30% 的数据,1\leq n,m\leq 10001≤n,m≤1000

另外存在30\%30% 的数据,T\leq 3T≤3

对100\%100% 的数据,T\leq1000,1\leq n,m\leq 10^6T≤1000,1≤n,m≤106

时间限制:5s

内存限制:128MB

一道明年也做不出来的反演题,。

参考了一下洛谷题解

$$\prod_{d=1}^n\prod_{i=1}^n\prod_{j=1}^mif(gcd(i,j)==d)f[gcd(i,j)]$$

$$\prod_{d=1}^{n}f[d]^{\sum_{i=1}^{n/d}\sum_{j=1}^{m/d}[gcd(i,j)==1]}$$

观察上面的$$\sum_{i=1}^{n/d}\sum_{j=1}^{m/d}[gcd(i,j)==1]$$

这是一个经典反演问题,它等价于

$$\sum_{i=1}^{n/d}\mu(i)[\frac{n}{id}][\frac{m}{id}]$$

令$T=id$

$$\prod_{T=1}^{n}\prod_{d|T}f[d]^{[n/T][m/T]\mu(T/d)}$$

$$\prod_{T=1}^{n}(\prod_{d|T}f[d]^{\mu(T/d)})^{[n/T][m/T]}$$

然后对于$[n/T]$和$[m/T]$分块

里面的那一个直接暴力,

不明白为什么最后要%mod-1QWQ...

// luogu-judger-enable-o2
#include<cstdio>
#include<cmath>
#include<algorithm>
#include<cstring>
using namespace std;
const int mod=1e9+;
const int MAXN=1e6;
inline int read()
{
char c=getchar();int x=,f=;
while(c<''||c>''){if(c=='-')f=-;c=getchar();}
while(c>=''&&c<=''){x=x*+c-'';c=getchar();}
return x*f;
}
int fastpow(int a,int p)
{
int base=;
while(p)
{
if(p&) base=1LL*base%mod*a%mod;
a=1LL*a%mod*a%mod%mod;
p>>=;
}
return base%mod;
}
int mu[MAXN+],sum[MAXN+],fib[MAXN+],nfib[MAXN+],vis[MAXN+],prime[MAXN],tot;
void Pre()
{
fib[]=;
for(int i=;i<=MAXN;i++) fib[i]=(fib[i-]%mod+fib[i-]%mod)%mod;
for(int i=;i<=MAXN;i++)
nfib[i]=(fastpow(fib[i],mod-)+mod)%mod;
vis[]=;mu[]=;
for(int i=;i<=MAXN;i++)
{
if(!vis[i]) prime[++tot]=i,mu[i]=-;
for(int j=;j<=tot&&i*prime[j]<=MAXN;j++)
{
vis[i*prime[j]]=;
if(i%prime[j]==) {mu[i*prime[j]]=;break;}
else mu[i*prime[j]]=-mu[i];
}
}
fill(sum,sum+MAXN,);
for(int i=;i<=MAXN;i++)
{
if(mu[i]==) continue;
for(int j=i;j<=MAXN;j+=i)
{
if(mu[i]==-) sum[j]=1ll*sum[j]%mod*nfib[j/i]%mod;
if(mu[i]==) sum[j]=1ll*sum[j]%mod*fib[j/i]%mod;
}
}
for(int i=;i<=MAXN;i++) sum[i]=1ll*sum[i-]*sum[i]%mod;
}
int main()
{
#ifdef WIN32
freopen("a.in","r",stdin);
#endif
Pre();
int QWQ=read();
while(QWQ--)
{
int N=read(),M=read();
if(N>M) swap(N,M);
long long int ans=;
for(int i=,nxt;i<=N;i=nxt+)
{
nxt=min(N/(N/i),M/(M/i));
long long int pw=1ll*sum[nxt]*fastpow(sum[i-],mod-)%mod;
ans=(1ll*ans*(fastpow(pw,1ll*(N/i)*(M/i)%(mod-))))%mod;
}
printf("%lld\n",(ans+mod)%mod);
}
return ;
}

洛谷P3704 [SDOI2017]数字表格的更多相关文章

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

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

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

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

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

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

  4. 洛谷 P3704 SDOI2017 数字表格

    题意: 给定两个整数 \(n, m\),求: \[\prod_{i = 1} ^ n \prod_{j = 1} ^ m \operatorname{Fib}_{\gcd\left(n, m\righ ...

  5. 洛谷3704 [SDOI2017] 数字表格 【莫比乌斯反演】

    题目分析: 比较有意思,但是套路的数学题. 题目要求$ \prod_{i=1}^{n} \prod_{j=1}^{m}Fib(gcd(i,j)) $. 注意到$ gcd(i,j) $有大量重复,采用莫 ...

  6. 洛咕 P3704 [SDOI2017]数字表格

    大力推式子 现根据套路枚举\(\gcd(i,j)\) \(ans=\Pi_{x=1}^nfib[x]^{\sum_{i=1}^{n/x}\sum_{j=1}^{n/x}[\gcd(i,j)=1]}\) ...

  7. P3704 [SDOI2017]数字表格

    P3704 [SDOI2017]数字表格 链接 分析: $\ \ \ \prod\limits_{i = 1}^{n} \prod\limits_{j = 1}^{m} f[gcd(i, j)]$ $ ...

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

    [题目链接] https://www.luogu.org/problemnew/show/P3704 [题解] https://www.luogu.org/blog/cjyyb/solution-p3 ...

  9. luogu P3704 [SDOI2017]数字表格

    传送门 我是真的弱,推式子只能推一半 下面假设\(n<m\) 考虑题目要求的东西,可以考虑每个gcd的贡献,即\[\prod_{d=1}^{n}f[d]^{\sum_{i=1}^{\lfloor ...

随机推荐

  1. 05《UML大战需求分析》之五

    调研需求的时候,用户会说这个软件要具备怎样的功能,能做什么事情等,这些是功能性的需求.部署图和构件图是用来描述软件架构的,但是我又怀疑软件需求调研也需要确定软件架构吗? 我阅读了一个例子,一个软件公司 ...

  2. 设置Pycharm在创建py文件时自动添加文件头注释(类似于钩子特性)

    在每次新建一个py文件的时候 1 如何自动添加 #!/usr/bin/env python2 自动添加       #-*- coding: utf-8 -*- 操作方法: File -> se ...

  3. vue .sync修饰符

    .sync 修饰符 对一个 prop 进行“双向绑定”时,真正的双向绑定会带来维护上的问题,因为子组件可以修改父组件,且在父组件和子组件都没有明显的改动来源. 那这个修饰符的原理是什么呢?其实还是vu ...

  4. Python数据结构2-----队列和堆

    一.线性结构:栈.队列.双端队列.列表 二.非线性结构:树.图.堆 [算法中看堆是非线性的,因为其相当于完全二叉树,但堆的存储元素是采用线性的顺序表数组来实现的] 三.队列: 1.队列类型:FIFO. ...

  5. BZOJ 3878 [AHOI&JSOI2014]奇怪的计算器 (线段树)

    题面:BZOJ传送门 洛谷传送门 线段树好题 题目保证$a$一定是正整数,容易发现计算结果是单调的 我们把询问离线,并按照从小到大排序 某次操作可能导致某些位置达到边界$L/R$ 根据单调性的结论 这 ...

  6. TCP连接的11中状态

    1.CLOSED:初始状态,表示TCP连接时关闭状态,没有任何连接. 2.LISTEN:表示服务器端的某个SOCKET处于监听状态,可以接收客户端的连接请求. 3.SYN_RCVD:表示服务器接收到来 ...

  7. groupadd(创建组)重要参数介绍

    -g :值定用户组GID值.除非接 -o 参数(如:groupadd -g 666 -o oldboy),否则ID值必须是唯一的数字(不能为负数). 如果不指定 -g 参数,则默认从500开始 

  8. MPlayer 开始支持RTSP/RTP流媒体文件

    hostzhu点评:MPlayer对流媒体的支持,让大家能更进一步地利用linux来看网络直播,对Linux下多媒体应用的推动作用可以说不可度量. RTSP/RTP streaming support ...

  9. PHP面向对象(二)

    7 多态 多态: 多种形态 多态分俩种: 方法重写和方法加载 7.1 方法重写 子类重写了父类的同名的方法 <?php class Person{ public function show(){ ...

  10. C++ decltype类型说明符

    本系列文章由 @yhl_leo 出品,转载请注明出处. 文章链接: http://blog.csdn.net/yhl_leo/article/details/50865552 1 基本语法 declt ...