Description

  



  

  

  

Solution

  

  一开始的时候我是这么推的(\(f(n)\)表示斐波那契数列的第\(n\)项)

\[\begin{aligned}
Ans&=\prod_{x=1}^{\min(n,m)}f(x)^{(\sum_{i=1}^n\sum_{j=1}^m[\gcd(i,j)=x])}\\
&=\prod_{x=1}^{\min(n,m)}f(x)^{\sum_{e=1}^{\min(\lfloor\frac nx\rfloor,\lfloor \frac mx\rfloor)}\mu(e)\lfloor\frac n {ex}\rfloor\lfloor\frac m {ex}\rfloor}\\
\end{aligned}
\]

​  然后我想,根号分段套根号分段,\(\mathcal O(\sqrt n(\log+\sqrt n))\)解决!嗯不错,一看数据组数1000........不过还是能拿70的分。

  

  

  

  题解的思路非常神。

  

  假设我们能构造一个函数\(g\),使得

\[f(n)=\prod_{d|n}g(d)
\]

​  那么答案就变成

\[\begin{aligned}
Ans&=\prod_{i=1}^n\prod_{j=1}^mf({\gcd(i,j))}\\
&=\prod_{i=1}^n\prod_{j=1}^m\prod_{d|i,d|j}g(d)\\
&=\prod_{d=1}^{\min(n,m)}g(d)^{\lfloor\frac nd\rfloor\lfloor\frac md\rfloor}
\end{aligned}
\]

  这样就可以在\(\mathcal O(2\sqrt n)\)的时间内处理每一个询问了。前提是我们知道\(g\)及其前缀积。

  

​  考虑式子\(f(n)=\prod_{d|n}g(d)\)十分像莫比乌斯反演,能否用类似的形式反演出\(g\)呢?

  

​  在\(\sum\)的意义下

\[g_n=\sum_{d|n}\mu(d)f({\frac nd})
\]

​  反演的本质是通过加减来容斥出所需要的组合。而在乘法的意义下,不就是通过乘除来容斥出所需要的组合吗?所以有:

\[g_n=\prod_{d|n}f({\frac nd})^{\mu(d)}=\prod_{d|n}f(d)^{\mu(\frac nd)}
\]

​  因此我们可以在\(\mathcal O(n \lg n)\)的时间内处理出\(g\)的取值和前缀积。那么上面的根号分段也就迎刃而解了。

  

  总体思路是仿造莫比乌斯反演构造一个可求函数,利用该函数化简式子使得答案求和式变得简明且复杂度较低,再通过传统根号分段求解。

  

  

  

Code

  

#include <cstdio>
using namespace std;
const int N=1e6+10,MOD=1e9+7,PMOD=MOD-1;
int n,m;
int fib[N],ifib[N],g[N],ig[N];
bool vis[N];
int p[N],pcnt,mu[N];
inline int min(int x,int y){return x<y?x:y;}
inline int fmi(int x,int y){
int res=1;
for(;y;x=1LL*x*x%MOD,y>>=1)
if(y&1) res=1LL*res*x%MOD;
return res;
}
void sieve(){
mu[1]=1;
for(int i=2;i<=1e6;i++){
if(!vis[i]) p[++pcnt]=i,mu[i]=-1;
for(int j=1;j<=pcnt&&i*p[j]<=1e6;j++){
int x=i*p[j];
vis[x]=true;
if(i%p[j]==0){
mu[x]=0;
break;
}
mu[x]=-mu[i];
}
}
}
void prework(){
sieve();
fib[0]=0; fib[1]=1; ifib[1]=1;
for(int i=2;i<=1e6;i++){
fib[i]=(fib[i-2]+fib[i-1])%MOD;
ifib[i]=fmi(fib[i],MOD-2);
}
for(int i=1;i<=1e6;i++) g[i]=1;
for(int d=1;d<=1e6;d++)
for(int n=d;n<=1e6;n+=d)
g[n]=1LL*g[n]*(mu[n/d]==1?fib[d]:(mu[n/d]==-1?ifib[d]:1))%MOD;
g[0]=ig[0]=1;
for(int i=1;i<=1e6;i++){
g[i]=1LL*g[i]*g[i-1]%MOD;
ig[i]=fmi(g[i],MOD-2);
}
}
int main(){
prework();
int T,up,ans;
scanf("%d",&T);
while(T--){
scanf("%d%d",&n,&m);
up=min(n,m);
ans=1;
for(int i=1,j;i<=up;i=j+1){
j=min(n/(n/i),m/(m/i));
ans=1LL*ans*fmi(1LL*g[j]*ig[i-1]%MOD,1LL*(n/i)*(m/i)%PMOD)%MOD;
}
printf("%d\n",ans<0?ans+MOD:ans);
}
return 0;
}

数字表格(product)的更多相关文章

  1. 数字表格(product)

    Portal -->broken qwq Description ​  求\(\prod\limits_{i=1}^n\prod\limits_{j=1}^m f[gcd(i,j)](mod\ ...

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

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

  3. BZOJ 2154: Crash的数字表格 [莫比乌斯反演]

    2154: Crash的数字表格 Time Limit: 20 Sec  Memory Limit: 259 MBSubmit: 2924  Solved: 1091[Submit][Status][ ...

  4. 【BZOJ】【2154】Crash的数字表格

    莫比乌斯反演 PoPoQQQ讲义第4题 题解:http://www.cnblogs.com/jianglangcaijin/archive/2013/11/27/3446169.html 感觉两次sq ...

  5. 【莫比乌斯反演】关于Mobius反演与lcm的一些关系与问题简化(BZOJ 2154 crash的数字表格&&BZOJ 2693 jzptab)

    BZOJ 2154 crash的数字表格 Description 今天的数学课上,Crash小朋友学习了最小公倍数(Least Common Multiple).对于两个正整数a和b,LCM(a, b ...

  6. 【BZOJ 2154】Crash的数字表格 (莫比乌斯+分块)

    2154: Crash的数字表格 Description 今天的数学课上,Crash小朋友学习了最小公倍数(Least Common Multiple).对于两个正整数a和b,LCM(a, b)表示能 ...

  7. BZOJ 4816 数字表格

    首先是惯例的吐槽.SDOI题目名称是一个循环,题目内容也是一个循环,基本上过几年就把之前的题目换成另一个名字出出来,喜大普奔亦可赛艇.学长说考SDOI可以考出联赛分数,%%%. 下面放解题报告.并不喜 ...

  8. BZOJ:4816: [Sdoi2017]数字表格

    4816: [Sdoi2017]数字表格 Time Limit: 50 Sec  Memory Limit: 128 MBSubmit: 501  Solved: 222[Submit][Status ...

  9. 【BZOJ4816】数字表格(莫比乌斯反演)

    [BZOJ4816]数字表格(莫比乌斯反演) 题面 BZOJ 求 \[\prod_{i=1}^n\prod_{j=1}^mf[gcd(i,j)]\] 题解 忽然不知道这个要怎么表示... 就写成这样吧 ...

  10. 【BZOJ2154】Crash的数字表格(莫比乌斯反演)

    [BZOJ2154]Crash的数字表格(莫比乌斯反演) 题面 BZOJ 简化题意: 给定\(n,m\) 求\[\sum_{i=1}^n\sum_{j=1}^mlcm(i,j)\] 题解 以下的一切都 ...

随机推荐

  1. Oracle扩展包(pipe,alert,job,scheduler)

    --定义包中函数的纯度级别 create or replace package purityTest is type dept_typ is table of dept%rowtype index b ...

  2. Netty源码分析第6章(解码器)---->第2节: 固定长度解码器

    Netty源码分析第六章: 解码器 第二节: 固定长度解码器 上一小节我们了解到, 解码器需要继承ByteToMessageDecoder, 并重写decode方法, 将解析出来的对象放入集合中集合, ...

  3. php从入门到放弃系列-01.php环境的搭建

    php从入门到放弃系列-01.php环境的搭建 一.为什么要学习php 1.php语言适用于中小型网站的快速开发: 2.并且有非常成熟的开源框架,例如yii,thinkphp等: 3.几乎全部的CMS ...

  4. 织梦调用多个栏目typeid="1,2,3"不支持的解决方法

    织梦arclist调用副栏目不显示的解决办法: 打开/include/taglib/arclist.lib.php,代码约位于295-296行,查找以下两行代码: if($CrossID=='') $ ...

  5. cnblogs.com用户体验

    一.是否提供了良好的体验给用户(同时提供价值)? 首先我觉得博客园给我们这些用户提供了良好的用户体验,博客园提供了一个纯净的技术交流空间,在这里我们可以找到几乎所有与IT技术有关的博文,而且可以在这里 ...

  6. C#简单窗体应用程序(三)

    使用C#创建窗体应用程序的基本步骤: (1)创建项目: (2)用户界面设计: (3)属性设置: (4)编写程序代码: (5)保存.调试.运行: 例题:设计歌曲列表界面,效果如下: 第一步:创建项目: ...

  7. Node.js记录

    在智能社上听了一些关于node.js的视频,总结一小部分内容,都是总结老师讲的知识点,并且也是在不断学习的过程,所以会不断更新.也是为了怕自己遗忘一些知识点,同时现今没有什么项目可以让我去真正实践,这 ...

  8. windows服务外壳工具

    Windows下将nginx安装为服务运行       今天看到nginx这个小服务器软件正式版更新到了1.4.2,想玩下它.这个服务器软件虽小,但功能强大,是开源软件,有着良好的性能,被很多个人.企 ...

  9. PAT 甲级 1010 Radix

    https://pintia.cn/problem-sets/994805342720868352/problems/994805507225665536 Given a pair of positi ...

  10. sql%bulk_rowcount && sql%rowcount 的使用

    说明: %BULK_ROWCOUNT 属性计算FORALL迭代影响行数 在进行SQL数据操作语句时,SQL引擎打开一个隐式游标(命名为SQL),该游标的标量属性(scalar attribute)有 ...