[MtOI2019]幽灵乐团
一个很暴力的辣鸡做法
考虑到两个数的\(\gcd\)是所有质数次幂取\(\min\),两个数的\(\rm lcm\)是所有质数次幂取\(\max\),于是最后的答案一定是\(\prod p_i^{c_i}\),而且这里最大的质数不会超过\(n\),于是我们考虑算出每一个质数的次幂是多少
于是我们成功的将\(\prod\)转换成了\(\sum\),指数上得对\(\rm mod-1\)取模
对于\(\rm type=0\),我们枚举一个质数\(p\),计算它的次幂
即为
\]
这个很显然啊,就是我们枚举当前这个质数的最大次幂,之后枚举这个拥有这个最大次幂的数,即为\(p^i\times t_1\),但是如果\(t_1\)和\(p\)不互质,那么\(i\)就不是\(p^i\times t\)的最大次幂,于是还必须得保证\(t_1\perp p\)
我们改变一下求和顺序即为
\]
又发现求\(\max(i,j)\)和\(\min(i,k)\)是相当独立的,于是我们可以强行拆成
\]
减去
\]
现在思考一下这个\(\sum_{t_1=1}^{\left \lfloor \frac{A}{p^i} \right \rfloor}[t_1\perp p]\)到底怎么求,和一个质数互质只要不是这个质数的倍数就行了,于是我们简单的减去\(1\)到\(\left \lfloor \frac{A}{p^i} \right \rfloor\)里\(p\)的倍数即可,也就是\(\left \lfloor \frac{A}{p^i} \right \rfloor-\left \lfloor \frac{A}{p^{i+1}} \right \rfloor\)
也就是我们现在只需要求
\]
我们可以直接\(O(\log_p^2 A)\)来计算这个柿子,但是我们处理一下\(\left \lfloor \frac{A}{p^i} \right \rfloor-\left \lfloor \frac{A}{p^{i+1}} \right \rfloor\)的前缀和强行讨论一下也可以做到\(O(\log_p A)\)
一到\(n\)内的质数大概有\(\frac{n}{\ln n}\)个,每一个质数的计算需要\(O(\log_p n)\)的复杂度,于是做一遍复杂度大概就是\(O(n)\)的
对于\(\rm type=1\),柿子变成了
\]
强行一搞也能变成上面的形式,同样可以在\(O(n)\)时间求出来
对于\(\rm type=2\),我们考虑枚举上面的\(\gcd\)
设\(f(A,B,C)\)为第一问的答案,也就是三个上标分别取到\(A,B,C\)时的贡献
套路枚举\(\gcd\)为\(d\)即\(d\)的倍数时的贡献
\]
就是\(\left \lfloor \frac{A}{d} \right \rfloor,\left \lfloor \frac{B}{d}\right \rfloor,\left \lfloor \frac{C}{d} \right \rfloor\)内的数乘上\(d\)分别不会超过\(A,B,C\),且这些数的\(\gcd\)都是\(d\)或\(d\)的倍数
再套路交换一下求和顺序
\]
于是直接大力整除分块,复杂度应该不会超过\(O(n\ln n)\)
吧。
请大力卡常
代码
#include<bits/stdc++.h>
#define re register
#define LL long long
#define max(a,b) (a>b?a:b)
#define min(a,b) (a<b?a:b)
#pragma GCC optimize(3)
#pragma GCC optimize("-fcse-skip-blocks")
const int maxn=1e5+5;
int mod,P,T,R;
int is[maxn],p[maxn>>1],pre[maxn],phi[maxn],pw[maxn>>1];
int r[2],tax[2][20],pr[2][20];
inline int ksm(int a,int b) {
int S=1;
for(;b;b>>=1,a=1ll*a*a%mod) if(b&1) S=1ll*S*a%mod;
return S;
}
inline int qm(int x) {return x>=P?x-P:x;}
inline int dqm(int x) {return x+=x>>31&P;}
inline int calc(int n,int p) {
return dqm(pre[n]-1ll*pre[n/p]*p%P);
}
inline int out(int A) {
int ans=1;
for(re int i=1;i<=p[0]&&p[i]<=A;i++)
ans=1ll*ans*ksm(p[i],pw[i])%mod;
return ans;
}
inline void clear(int A) {
for(re int i=1;i<=p[0]&&p[i]<=A;i++) pw[i]=0;
}
inline void Solve(int A,int B,int C,int v) {
int ans1=1;
for(re int t=1;t<=p[0];t++) {
if(p[t]>A&&p[t]>B&&p[t]>C) break;
int now=0,tot=0;
for(re int i=0,aa=A;aa;i++,aa/=p[t]) pr[0][i]=tax[0][i]=aa-aa/p[t],r[0]=i;
for(re int j=0,bb=B;bb;j++,bb/=p[t]) pr[1][j]=tax[1][j]=bb-bb/p[t],r[1]=j;
R=max(r[0],r[1]);
for(re int i=1;i<=R;i++) pr[0][i]=qm(pr[0][i]+pr[0][i-1]);
for(re int j=1;j<=R;j++) pr[1][j]=qm(pr[1][j]+pr[1][j-1]);
for(re int i=0;i<=r[0];i++)
now=qm(now+1ll*tax[0][i]*pr[1][i]*i%P);
for(re int j=1;j<=r[1];j++)
now=qm(now+1ll*tax[1][j]*pr[0][j-1]*j%P);
for(re int i=1;i<=R;i++) pr[1][i]=0;
for(re int i=r[0]+1;i<=R;i++) pr[0][i]=0;
now=1ll*now*C%P;
for(re int k=0,cc=C;cc;k++,cc/=p[t]) pr[1][k]=tax[1][k]=cc-cc/p[t],r[1]=k;
R=max(r[0],r[1]);
for(re int i=r[0]+1;i<=R;i++) pr[0][i]=qm(pr[0][i-1]+pr[0][i]);
for(re int k=1;k<=R;k++) pr[1][k]=qm(pr[1][k]+pr[1][k-1]);
for(re int i=1;i<=r[0];i++)
tot=qm(tot+1ll*i*tax[0][i]*dqm(pr[1][r[1]]-pr[1][i-1])%P);
for(re int k=1;k<=r[1];k++)
tot=qm(tot+1ll*k*tax[1][k]*dqm(pr[0][r[0]]-pr[0][k])%P);
for(re int i=0;i<=R;i++) pr[1][i]=pr[0][i]=0;
now=dqm(now-1ll*B*tot%P);
pw[t]=qm(pw[t]+1ll*now*v%P);
}
}
inline int Calc(int n,int m,int h) {
int U=min(min(n,m),h);
for(re int l=2,r;l<=U;l=r+1) {
r=min(n/(n/l),m/(m/l));
r=min(r,h/(h/l));
Solve(n/l,m/l,h/l,dqm(phi[r]-phi[l-1]));
}
return out(max(max(n,m),h));
}
int A,B,C;
int main() {
scanf("%d%d",&T,&mod);P=mod-1;phi[1]=1;
for(re int i=2;i<maxn;i++) {
if(!is[i]) p[++p[0]]=i,phi[i]=i-1;
for(re int j=1;j<=p[0]&&p[j]*i<maxn;j++) {
is[p[j]*i]=1;if(i%p[j]==0) {
phi[p[j]*i]=phi[i]*p[j];break;
}
phi[p[j]*i]=phi[i]*phi[p[j]];
}
}
for(re int i=1;i<maxn;i++)
pre[i]=qm(pre[i-1]+i),phi[i]=qm(phi[i-1]+phi[i]);
while(T--) {
scanf("%d%d%d",&A,&B,&C);
int ans2=1;
for(re int t=1;t<=p[0];t++) {
if(p[t]>A&&p[t]>B&&p[t]>C) break;
int now=0,tot=0;
for(re LL i=0,a=1;a<=A;i++,a*=p[t])
for(re LL j=0,b=1;b<=B;j++,b*=p[t]) {
int v=1ll*max(i,j)*a*b%P;
tot=qm(tot+1ll*v*calc(A/a,p[t])*calc(B/b,p[t])%P*pre[C]%P);
}
for(re LL i=1,a=p[t];a<=A;i++,a*=p[t])
for(re LL k=1,c=p[t];c<=C;k++,c*=p[t]) {
int v=1ll*min(i,k)*a*c%P;
now=qm(now+1ll*v*calc(A/a,p[t])*calc(C/c,p[t])%P*pre[B]%P);
}
ans2=1ll*ans2*ksm(p[t],dqm(tot-now))%mod;
}
Solve(A,B,C,1);printf("%d ",out(max(max(A,B),C)));
printf("%d %d\n",ans2,Calc(A,B,C));clear(max(max(A,B),C));
}
}
[MtOI2019]幽灵乐团的更多相关文章
- 题解-MtOI2019 幽灵乐团
题面 MtOI2019 幽灵乐团 给定 \(p\),\(Cnt\) 组测试数据,每次给 \(a,b,c\),求 \[\prod_{i=1}^a\prod_{j=1}^b\prod_{k=1}^c\le ...
- [SDOI2017]数字表格 & [MtOI2019]幽灵乐团
P3704 [SDOI2017]数字表格 首先根据题意写出答案的表达式 \[\large\prod_{i=1}^n\prod_{j=1}^mf_{\gcd(i,j)} \] 按常规套路改为枚举 \(d ...
- P5518 [MtOI2019]幽灵乐团 / 莫比乌斯反演基础练习题
瞎扯 建议在阅读题解之前欣赏这首由普莉兹姆利巴姐妹带来的的合奏. Q:你参加省选吗?不是说好了考完 NOIP 就退吗. A:对啊. Q:那你学这玩意干啥? A:对啊,我学这玩意干啥? 写这题的动机? ...
- 洛谷 P5518 - [MtOI2019]幽灵乐团 / 莫比乌斯反演基础练习题(莫比乌斯反演+整除分块)
洛谷题面传送门 一道究极恶心的毒瘤六合一题,式子推了我满满两面 A4 纸-- 首先我们可以将式子拆成: \[ans=\prod\limits_{i=1}^A\prod\limits_{j=1}^B\p ...
- 「THP3考前信心赛」题解
目录 写在前面 A 未来宇宙 B 空海澄澈 C 旧约酒馆 算法一 算法二 D 博物之志 算法一 算法二 算法三 写在前面 比赛地址:THP3 考前信心赛. 感谢原出题人的贡献:第一题 CF1422C, ...
- 莫比乌斯反演&各种筛法
不学莫反,不学狄卷,就不能叫学过数论 事实上大概也不是没学过吧,其实上赛季头一个月我就在学这东西,然鹅当时感觉没学透,连杜教筛复杂度都不会证明,所以现在只好重新来学一遍了(/wq 真·实现了水平的负增 ...
- Rafy 框架 - 幽灵插件(假删除)
Rafy 框架又添新成员:幽灵插件.本文将解释该插件的场景.使用方法.原理. 场景 在开发各类数据库应用系统时,往往需要在删除数据时不是真正地删除数据,而只是把数据标识为'已删除'状态.这些数 ...
- 听着好像很牛的特效——幽灵按钮DOM
给大家分享一个听着好像很牛的东西——幽灵按钮,这个玩意对于艺术设计细胞在高中决定不在考试试卷上画画的我来说,实在不感冒.但是这个按钮的设计元素很流行,一个网页东西不做几个,光放上几个按钮就会显得很高端 ...
- [QDB] 幽灵分享:QDataSet+TQMSSQLConverter 实战技巧
转载自QDAC官网网站,文章发现问题可能随时更新,最新版本请访问:http://blog.qdac.cc/?p=3066 [注]本文由网友 幽灵 分享,由 swish 整理并重新编辑.1.将A数据库A ...
随机推荐
- 用C语言实现yield
用C语言实现yield C/C++中没有yield语法,有的时候想用产生器,自己实现一个循环会感觉很麻烦.C/C++应该如何实现产生器呢? class FibonacciGenerator { pub ...
- maven学习整理-进阶知识
在maven的阶知识主要学习的是maven在eclipse中的使用.依赖相关的问题.继承(父子工程).统一版本管理.聚合等相关知识 1.maven在eclipse中的使用 由上篇基础知识学习到怎样下载 ...
- POJ 2451 Uyuw's Concert (半平面交)
题目链接:POJ 2451 Problem Description Prince Remmarguts solved the CHESS puzzle successfully. As an awar ...
- Java 序列化和反序列化(一)Serializable 使用场景
目录 Java 序列化和反序列化(一)Serializable 使用场景 1. 最简单的使用:Serializable 接口 2. 序列化 ID 的问题 3. 静态字段不会序列化 4. 屏蔽字段:tr ...
- Keepalived 双主虚拟路由配置实例
Keepalived 双主虚拟路由配置实例 演示前说明: 2台centos7.2 主机:node-00,node-01 VIP1:10.1.38.19预定node-00占有 VIP2:10.1.38. ...
- 32-Ubuntu-用户权限-03-修改文件权限
chmod 简介 chmod可以修改用户或组对文件或目录的权限. 命令格式如下: chmod +/-rwx 文件名/目录名 修改文件权限 例:demo.txt 1.增加权限 例:增加demo.txt的 ...
- ArrayList、Vector、LinkedList的区别
ArrayList.Vector.LinkedList的区别 1.底层数据结构: ArrayList底层实现是动态数组 Vector底层实现是动态数组 LinkedList底层实现是双链表 2.扩容 ...
- python_django_在views模块中操作状态保持(session)
什么叫状态保持? 就比如说我们登陆一个网站,登陆之后的当前页面显示的是登陆状态,但是我们要再跳转同一网站的其他页面,则显示的未登录状态,状态保持就是:我们在当前页面登陆后,再访问其他页面时也显示为登陆 ...
- line-height 行高的使用
line-height:normal; 默认 字体 line-height:1.5; line-height:200%; line-height:50px; ps : 固定的值 line-heig ...
- vue 外卖app (1) 项目目录介绍
api 与后台交互文件夹 common 通用资源文件夹 components 非路由组件文件夹 filters 自定义过滤器模块文件夹 mock 模拟数据文件夹 pages 路由组件文件夹 r ...