【XSY2523】神社闭店之日 莫比乌斯反演
题目大意
给你\(a_1\ldots a_n,l,c\)每次给你\(x,y\),求有多少个序列满足:长度\(\leq l\),每个元素是\([1,c]\),循环右移\(a_j(x\leq j\leq y)\)次后和原序列相同。
\(n,q\leq 100000,l,c\leq{10}^9,lcm(a_1,\ldots a_n)\leq{10}^13\)
题解
显然只有右移\(\gcd(a_x,a_{x+1},\ldots,a_y)\)次后和原序列相同才满足条件。
先求出\(s=\gcd(a_x,a_{x+1},\ldots,a_y)\)
枚举长度\(i\),答案\(ans\)为
\]
先进行简单的莫比乌斯反演:
ans&=\sum_{i=1}^lc^{\gcd(i,s)}\\
&=\sum_{d|s}c^d\sum_{i=1}^l[\gcd(i,s)=d]\\
&=\sum_{d|s}c^d\sum_{i=1}^{\frac{l}{d}}[\gcd(i,\frac{s}{d})=1]\\
&=\sum_{d|s}c^d\sum_{i|\frac{s}{d}}\mu(i)\lfloor\frac{l}{id}\rfloor\\
\end{align}
\]
根据套路,我们要枚举\(j=id\)
ans&=\sum_{j|s}\lfloor\frac{l}{j}\rfloor\sum_{i|j}\mu(i)c^\frac{j}{i}\\
\end{align}
\]
记\(f(i)=\sum_{j|i}\mu(j)c^\frac{i}{j}\),发现\(f(i)\)与\(s\)无关,所以可以先把所有\(f(i)\)预处理出来,每次直接枚举\(s\)的因子计算。
注意到这题很有一个性质:所有\(a_i\)的lcm\(\leq {10}^{13}\),那么\(s\)一定是lcm的因子。\(\leq {10}^{13}\)的数最多有\(10752\)个因子,可以先把这些因子求出来,做一波\(因子个数\text{因子个数}^2\)的DP,询问时查表。
时间复杂度:\(因子个数O(\text{因子个数}^2+q\log n\log a)\)
代码
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cstdlib>
#include<ctime>
#include<utility>
#include<cmath>
#include<functional>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
void sort(int &a,int &b)
{
if(a>b)
swap(a,b);
}
void open(const char *s)
{
#ifndef ONLINE_JUDGE
char str[100];
sprintf(str,"%s.in",s);
freopen(str,"r",stdin);
sprintf(str,"%s.out",s);
freopen(str,"w",stdout);
#endif
}
int rd()
{
int s=0,c;
while((c=getchar())<'0'||c>'9');
do
{
s=s*10+c-'0';
}
while((c=getchar())>='0'&&c<='9');
return s;
}
void put(int x)
{
if(!x)
{
putchar('0');
return;
}
static int c[20];
int t=0;
while(x)
{
c[++t]=x%10;
x/=10;
}
while(t)
putchar(c[t--]+'0');
}
int upmin(int &a,int b)
{
if(b<a)
{
a=b;
return 1;
}
return 0;
}
int upmax(int &a,int b)
{
if(b>a)
{
a=b;
return 1;
}
return 0;
}
ll gcd(ll a,ll b)
{
return b?gcd(b,a%b):a;
}
ll lcm(ll a,ll b)
{
return a/gcd(a,b)*b;
}
const ll p=998244353;
ll fp(ll a,ll b)
{
ll s=1;
for(;b;b>>=1,a=a*a%p)
if(b&1)
s=s*a%p;
return s;
}
ll d[100010];
namespace seg
{
struct node
{
int l,r,ls,rs;
ll s;
};
node a[200010];
int rt;
int cnt;
void build(int &p,int l,int r)
{
p=++cnt;
a[p].l=l;
a[p].r=r;
if(l==r)
{
a[p].s=d[l];
return;
}
int mid=(l+r)>>1;
build(a[p].ls,l,mid);
build(a[p].rs,mid+1,r);
a[p].s=gcd(a[a[p].ls].s,a[a[p].rs].s);
}
ll query(int p,int l,int r)
{
if(l<=a[p].l&&r>=a[p].r)
return a[p].s;
int mid=(a[p].l+a[p].r)>>1;
ll s=0;
if(l<=mid)
s=gcd(s,query(a[p].ls,l,r));
if(r>mid)
s=gcd(s,query(a[p].rs,l,r));
return s;
}
}
struct hashset
{
ll v[20010];
int w[20010];
int t[20010];
int h[100010];
int n;
void insert(ll x,int y)
{
int hs=x%100007;
n++;
v[n]=x;
w[n]=y;
t[n]=h[hs];
h[hs]=n;
}
int query(ll x)
{
int hs=x%100007;
int i;
for(i=h[hs];i;i=t[i])
if(v[i]==x)
return w[i];
return 0;
}
};
hashset h;
struct list
{
int v[20000010];
int t[20000010];
int h[20010];
int n;
void add(int x,int y)
{
n++;
v[n]=y;
t[n]=h[x];
h[x]=n;
}
};
list li;
ll a[20010];
int m=0;
ll miu[20010];
ll f[20010];
ll l,c;
ll e=1;
ll g[20010];
ll gao(int x)
{
ll ans=0;
int i;
for(i=1;i<=x;i++)
if(a[x]%a[i]==0)
ans=(ans+l/a[i]*f[i])%p;
ans=(ans+p)%p;
return ans;
}
ll f1[20010];
ll f2[20010];
ll ans[20010];
int main()
{
open("b");
int i;
int n,q;
scanf("%d%lld%lld%d",&n,&l,&c,&q);
for(i=1;i<=n;i++)
{
scanf("%lld",&d[i]);
e=lcm(e,d[i]);
}
for(i=1;ll(i)*i<=e;i++)
if(e%i==0)
{
a[++m]=i;
if(ll(i)*i!=e)
a[++m]=e/i;
}
int j;
sort(a+1,a+m+1);
for(i=1;i<=m;i++)
{
g[i]=fp(c,a[i]);
h.insert(a[i],i);
}
for(i=1;i<=m;i++)
for(j=1;j<=i;j++)
if(a[i]%a[j]==0)
li.add(i,j);
for(i=1;i<=m;i++)
if(a[i]!=1)
{
if(a[i]<=1000000000ll&&e%(a[i]*a[i])==0)
f1[h.query(a[i]*a[i])]=1;
for(j=li.h[i];j;j=li.t[j])
if(li.v[j]!=1&&li.v[j]!=i)
{
f1[i]|=f1[li.v[j]];
f2[i]=1;
}
}
for(i=1;i<=m;i++)
if(f1[i])
miu[i]=0;
else
{
int s=0;
for(j=li.h[i];j;j=li.t[j])
if(!f2[li.v[j]])
s++;
miu[i]=(s&1?1:-1);
}
for(i=1;i<=m;i++)
{
f[i]=0;
for(j=li.h[i];j;j=li.t[j])
f[i]=(f[i]+g[li.v[j]]*miu[h.query(a[i]/a[li.v[j]])])%p;
}
for(i=1;i<=m;i++)
ans[i]=gao(i);
seg::build(seg::rt,1,n);
for(i=1;i<=q;i++)
{
int x,y;
scanf("%d%d",&x,&y);
ll s=seg::query(seg::rt,x,y);
ll ss=ans[h.query(s)];
printf("%lld\n",ss);
}
return 0;
}
【XSY2523】神社闭店之日 莫比乌斯反演的更多相关文章
- 7.12 NOI模拟赛 积性函数求和 数论基础变换 莫比乌斯反演
神题! 一眼powerful number 复习了一下+推半天. 可以发现G函数只能为\(\sum_{d}[d|x]d\) 不断的推 可以发现最后需要求很多块G函数的前缀和 发现只有\(\sqrt(n ...
- 莫比乌斯反演 BZOJ 2820
莫比乌斯反演真(TMD)难学.我自看了好长时间. BZOJ 2820: YY的GCD Time Limit: 10 Sec Memory Limit: 512 MBSubmit: 1384 Sol ...
- 【莫比乌斯反演】关于Mobius反演与gcd的一些关系与问题简化(bzoj 2301 Problem b&&bzoj 2820 YY的GCD&&BZOJ 3529 数表)
首先我们来看一道题 BZOJ 2301 Problem b Description 对于给出的n个询问,每次求有多少个数对(x,y),满足a≤x≤b,c≤y≤d,且gcd(x,y) = k,gcd( ...
- hdu_1695: GCD 【莫比乌斯反演】
题目链接 这题求[1,n],[1,m]gcd为k的对数.而且没有顺序. 设F(n)为公约数为n的组数个数 f(n)为最大公约数为n的组数个数 然后在纸上手动验一下F(n)和f(n)的关系,直接套公式就 ...
- 【Luogu3455】【POI2007】ZAP-Queries(莫比乌斯反演)
[Luogu3455][POI2007]ZAP-Queries(莫比乌斯反演) 题面 题目描述 FGD正在破解一段密码,他需要回答很多类似的问题:对于给定的整数a,b和d,有多少正整数对x,y,满足x ...
- 【CF809E】Surprise me!(动态规划,虚树,莫比乌斯反演)
[CF809E]Surprise me!(动态规划,虚树,莫比乌斯反演) 题面 洛谷 CodeForces 翻译: 给定一棵\(n\)个节点的树,每个点有一个权值\(a[i]\),保证\(a[i]\) ...
- (暂时弃坑)(半成品)ACM数论之旅18---反演定理 第二回 Mobius反演(莫比乌斯反演)((づ ̄3 ̄)づ天才第一步,雀。。。。)
莫比乌斯反演也是反演定理的一种 既然我们已经学了二项式反演定理 那莫比乌斯反演定理与二项式反演定理一样,不求甚解,只求会用 莫比乌斯反演长下面这个样子(=・ω・=) d|n,表示n能够整除d,也就是d ...
- 莫比乌斯函数&莫比乌斯反演
莫比乌斯函数:http://wenku.baidu.com/view/fbec9c63ba1aa8114431d9ac.html Orz PoPoQQQ
- luogu3455 [POI2007]ZAP-Queries 简单的莫比乌斯反演
link ms是莫比乌斯反演里最水的题... 题意:对于给定的整数a,b和d,有多少正整数对x,y,满足x<=a,y<=b,并且gcd(x,y)=d. 多组询问, T<=50000, ...
随机推荐
- Git_GitHub详解
Git和Github详细教程 一 概述 说到Git和Github,前几天我们知道微软以75亿美元收购全球最大的代码托管和写作平台GitHub,而GitHub是全球最大的代码仓库,很多开发人员都将代码 ...
- adb命令集合
1. 获取序列号: adb get-serialno 2. 查看连接计算机的设备: adb devices 3. 重启机器: adb reboot 4. 重启到bootloader,即刷机模式: ad ...
- 使用publisher模式控制频繁的UI输出,避免Winform界面假死
http://www.cnblogs.com/Charltsing/p/publisher.html 最近测试task并发任务的效率与线程池的区别,发现了另外一个问题.task建立任务的速度很快,输出 ...
- Vue2.0 搭建Vue脚手架(vue-cli)
介绍 Vue.js是一套构建用户界面的渐进式框架.Vue 只关注视图层,采用自底向上增量开发的设计.Vue 的目标是通过尽可能简单的 API 实现响应的数据绑定和组合的视图组件. 阅读之前需要了解的知 ...
- 如何优化Docker储存
大家在使用Docker的过程中,有没有想过,Docker在本地存储镜像时把文件存储在哪里了呢?有没有对文件的总大小做一定的限制呢?能不能调整本地存储的位置及总限制大小呢?今天,我们就从这些问题入手,来 ...
- js处理ajax返回的json数组
一.json对象和json数组的区别 jsonObject = {} # json对象 jsonArray=[{},{}] # json数组 二.数据处理 前台接收到后台传过来的json数组实际上是一 ...
- 01-学习vue前的准备工作
起步 1.扎实的HTML/CSS/Javascript基本功,这是前置条件. 2.不要用任何的构建项目工具,只用最简单的<script>,把教程里的例子模仿一遍,理解用法.不推荐上来就直接 ...
- 敏捷与CMM的恩怨
模式不同,一种是灵活,一种是严肃.
- .net 报错汇总——持续更新
1.未能找到 CodeDom 提供程序类型“Microsoft.CodeDom.Providers.DotNetCompilerPla PM> Install-Package Microsoft ...
- 开发工具之Sublime编辑器
sublime是一款轻量级的编辑器,可以从官网上进行下载最新版本.它有很多使用并且强大的功能支持.例如:GOTO,package 等快捷操作.但有时候下载的版本不能进行安装package contro ...