BZOJ4816 [Sdoi2017]数字表格 数论 莫比乌斯反演
原文链接http://www.cnblogs.com/zhouzhendong/p/8666106.html
题目传送门 - BZOJ4816
题意
定义$f(0)=0,f(1)=1,f(i)=f(i-1)+f(i-2)$。
$T$组数据,每组数据两个整数$n,m$,求$\prod_{i=1}^n\prod_{j=1}^m f(\gcd(i,j))$。
$T\leq 1000,1\leq n,m \leq 10^6$
题解
先推一波式子。
$$\prod_{i=1}^n\prod_{j=1}^m f(\gcd(i,j))\\=\prod_{d=1}^n f(d)^{\sum_{i=1}^{\left\lfloor\frac nd\right\rfloor}\sum_{j=1}^{\left\lfloor\frac md\right\rfloor}[\gcd(i,j)=1]}\\=\prod_{d=1}^n f(d)^{\sum_{i=1}^{\left\lfloor\frac nd\right\rfloor}\sum_{j=1}^{\left\lfloor\frac md\right\rfloor}\sum_{p|i,p|j}\mu(p)}\\=\prod_{d=1}^n f(d)^{\sum_{p=1}^{\left\lfloor\frac nd\right\rfloor}\mu(p)\left\lfloor\frac{n}{pd}\right\rfloor\left\lfloor\frac{m}{pd}\right\rfloor}$$
设$D=pd$。
$$\prod_{i=1}^n\prod_{j=1}^m f(\gcd(i,j))\\=\prod_{d=1}^n f(d)^{\sum_{p=1}^{\left\lfloor\frac nd\right\rfloor}\mu(p)\left\lfloor\frac{n}{pd}\right\rfloor\left\lfloor\frac{m}{pd}\right\rfloor}\\=\prod_{D=1}^{n}(\prod_{d|D}f(d)^{\mu(\frac Dd)})^{\left\lfloor\frac nD\right\rfloor\left\lfloor\frac mD\right\rfloor}$$
先顺手预处理$\mu$。
于是我们先预处理$f(x)$以及$f(x)$的逆元,然后再$O(n \log n)$预处理出所有$g(D)=\prod_{d|D}f(d)^{\mu(\frac Dd)}$。
然后再预处理出$g$的前缀积以及前缀积的逆元。
这些的复杂度都是$O(n \log n)$。
然后回答一个询问的时候再整除分块一下,单次询问复杂度为$O(\sqrt n \log n)$。
所以总复杂度为$O(n \log n+T\sqrt n \log n)$。
所有测试点的总时限开了50s。
哈哈应该稳过了吧!
但是!!!!!!
BZOJ毒!瘤!卡!常!!!!!!
于是我们需要常数优化。
考虑处理一个序列的逆元。
我们求出当前序列的前缀积是$O(n)$的。
记$a$为原序列。
记$inv_i$为的$i$项的逆元。
记$presum_i$为序列前$i$项的前缀积。
记$preinv_i$为序列钱$i$项的前缀积的逆元。
则:
$$inv_i=preinv_i\times presum_{i-1}$$
$$preinv_{i-1}=preinv_i\times a_i$$
于是你就可以倒着来求逆元了,复杂度$O(n)$。
但是求$g$的时候复杂度还是$O(n \log n)$。
所以总的复杂度还是$O(n \log n+T\sqrt n \log n)$。
但是你卡常数了!!!
你过了!!!
QAQ
代码
#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
const int N=1e6+5,mod=1e9+7;
LL prime[N],u[N],pcnt;
bool isprime[N];
LL f[N],pref[N],invf[N],g[N],preg[N],invg[N];
int T,n,m;
LL Pow(LL a,LL b){
if (!b)
return 1LL;
LL x=Pow(a,b/2);
x=x*x%mod;
if (b&1LL)
x=x*a%mod;
return x;
}
LL Inv(LL a){
return Pow(a,mod-2);
}
void get_prime(int n){
memset(isprime,true,sizeof isprime);
u[1]=1,pcnt=isprime[0]=isprime[1]=0;
for (int i=2;i<=n;i++){
if (isprime[i])
prime[++pcnt]=i,u[i]=-1;
for (int j=1;j<=pcnt&&i*prime[j]<=n;j++){
isprime[i*prime[j]]=0;
if (i%prime[j])
u[i*prime[j]]=-u[i];
else {
u[i*prime[j]]=0;
break;
}
}
}
}
void init(int n){
get_prime(n);
f[0]=0,f[1]=invf[1]=g[0]=1;
for (int i=2;i<=n;i++)
f[i]=(f[i-1]+f[i-2])%mod;
pref[0]=1;
for (int i=1;i<=n;i++)
pref[i]=pref[i-1]*f[i]%mod;
LL v=Inv(pref[n]);
for (int i=n;i>=1;i--)
invf[i]=v*pref[i-1]%mod,v=v*f[i]%mod;
for (int i=1;i<=n;i++)
g[i]=1;
for (int i=1;i<=n;i++)
for (int j=1;i*j<=n;j++){
if (u[j]==-1)
g[i*j]=g[i*j]*invf[i]%mod;
if (u[j]==1)
g[i*j]=g[i*j]*f[i]%mod;
}
preg[0]=1;
for (int i=1;i<=n;i++)
preg[i]=preg[i-1]*g[i]%mod;
invg[n]=Inv(preg[n]);
for (int i=n-1;i>=0;i--)
invg[i]=invg[i+1]*g[i+1]%mod;
}
int main(){
init(1e6);
scanf("%d",&T);
while (T--){
scanf("%d%d",&n,&m);
if (n>m)
swap(n,m);
LL ans=1;
for (int D=1,i;D<=n;D=i+1){
i=min(n/(n/D),m/(m/D));
ans=ans*Pow(preg[i]*invg[D-1]%mod,1LL*(n/D)*(m/D)%(mod-1))%mod;
}
printf("%lld\n",ans);
}
return 0;
}
BZOJ4816 [Sdoi2017]数字表格 数论 莫比乌斯反演的更多相关文章
- BZOJ4816 [Sdoi2017]数字表格 【莫比乌斯反演】
题目 Doris刚刚学习了fibonacci数列.用f[i]表示数列的第i项,那么 f[0]=0 f[1]=1 f[n]=f[n-1]+f[n-2],n>=2 Doris用老师的超级计算机生成了 ...
- 【BZOJ4816】数字表格(莫比乌斯反演)
[BZOJ4816]数字表格(莫比乌斯反演) 题面 BZOJ 求 \[\prod_{i=1}^n\prod_{j=1}^mf[gcd(i,j)]\] 题解 忽然不知道这个要怎么表示... 就写成这样吧 ...
- 洛谷3704 [SDOI2017] 数字表格 【莫比乌斯反演】
题目分析: 比较有意思,但是套路的数学题. 题目要求$ \prod_{i=1}^{n} \prod_{j=1}^{m}Fib(gcd(i,j)) $. 注意到$ gcd(i,j) $有大量重复,采用莫 ...
- bzoj 4816: [Sdoi2017]数字表格【莫比乌斯反演+逆元】
把题意简化,就是要求 \[ \prod_{d=1}^{min(n,m)}f[d]^{\sum_{i=1}^{n}\sum_{j=1}^{m}e[gcd(i,j)==d]} \] 把幂用莫比乌斯反演转化 ...
- 【BZOJ4816】[SDOI2017] 数字表格(莫比乌斯反演)
点此看题面 大致题意: 求\(\prod_{i=1}^n\prod_{j=1}^mf(gcd(i,j))\). 推式子 首先,按照套路我们枚举\(gcd\),得到: \[\prod_{d=1}^{mi ...
- P3704 [SDOI2017]数字表格 (莫比乌斯反演)
[题目链接] https://www.luogu.org/problemnew/show/P3704 [题解] https://www.luogu.org/blog/cjyyb/solution-p3 ...
- BZOJ 4816[SDOI2017]数字表格(莫比乌斯反演)
题目链接 \(Description\) 用\(f_i\)表示\(fibonacci\)数列第\(i\)项,求\(\prod_{i=1}^{n}\prod_{j=1}^{m}f[gcd(i,j)]\) ...
- [SDOI2017]数字表格 (莫比乌斯反演)
链接:https://ac.nowcoder.com/acm/problem/20391来源:牛客网 时间限制:C/C++ 1秒,其他语言2秒 空间限制:C/C++ 262144K,其他语言52428 ...
- 洛谷P3704 [SDOI2017]数字表格(莫比乌斯反演)
传送门 yyb大佬太强啦…… 感觉还是有一点地方没有搞懂orz //minamoto #include<cstdio> #include<iostream> #include& ...
随机推荐
- 切换目录查询目录 tcp
服务器 import socket import os import json sk = socket.socket() sk.bind(('127.0.0.1',8080)) sk.listen() ...
- GZip、deflate和sdch压缩(网摘整理)
GZip和deflate: gzip是一种数据格式,默认且目前仅使用deflate算法压缩data部分:deflate是一种压缩算法,是huffman编码的一种加强. deflate与gzip解压的代 ...
- ORACLE 字段AES算法加密、解密
ORACLE 字段AES算法加密.解密(解决中文乱码问题)2014年02月12日 17:13:37 华智互联 阅读数:97971.加解密函数入口 CREATE OR REPLACE FUNCTION ...
- swift 实践- 11 -- UISlider
import UIKit class ViewController: UIViewController { override func viewDidLoad() { super.viewDidLoa ...
- 银联支付Java开发
注:原来来源于: < 银联支付Java开发 > 银联的demo写的不错,基本上可以直接使用. 首先是对acp_sdk.properties的内容修改,注意这个文件的文件名不能进行修改. ...
- Confluence 6 管理你的 Confluence 许可证
你的许可证能够让你在运行 Confluence 的时候在指定的时间段获得特定的支持.同时这个许可证也定义了在你 Confluence 中可以使用的用户数量. 希望快速的查看当前的许可证信息,你可以进入 ...
- 【VBA】数组定义时,括号内的数值n为最大下标,其长度为n+1
定义数组 dim arr(9) as integer注意这是数组的长度为10,而9指的是最大下标值. 所以在redim和赋值的时候要特别小心,防止错位.
- elementui上传图片到七牛云服务器
注册七牛云 首先,注册七牛云,并且完成实名认证,完成后会在个人中心->秘钥管理中看到两个秘钥AccessKey/SecretKey 创建存储空间(必须要实名认证) 生成上传凭证 为了实现上传,我 ...
- samba 二进制包 tar.gz 安装
一.下载 sudo wget https://download.samba.org/pub/samba/stable/samba-4.8.10.tar.gz 二.解压 sudu tar -xvzf s ...
- 雅礼 noip2018 模拟赛 day3 T3
典型树形dp 这里,我们应该看到一些基本性质: ①:如果这个边不能改(不是没有必要改),我们就不改,因为就算改过去还要改回来,显然不是最优的 注意:"不能改"是指边的性质和要求的相 ...