洛谷 P3700 - [CQOI2017]小Q的表格(找性质+数论)
又是一道需要一些观察的数论 hot tea……
注意到题目中 \(b·f(a,a+b)=(a+b)·f(a,b)\) 这个柿子长得有点像求解 \(\gcd\) 的辗转相除法,因此考虑从这方面入手解决这道题,不难发现对于两个数 \((a,b)\),通过辗转相除法咱们总可以得到 \(f(\gcd(a,b),\gcd(a,b))\) 处。那么我们考虑归纳求出 \(f(a,b)\) 是个什么东西,记 \(d=\gcd(a,b)\),由于我们不管怎么辗转相除都只能除到 \(f(d,d)\) 处,因此我们保持 \(f(d,d)\) 不变好了,那么 \(f(d,2d)=2f(d,d),f(d,3d)=3f(d,d),\cdots,f(d,kd)=kf(d,d)\),而 \(f((k+1)d,kd)=(k+1)f(d,kd)=k(k+1)f(d,d)\),\(f((2k+1)d,kd)=\dfrac{2k+1}{k+1}·f((k+1)d,kd)=(2k+1)kf(d,d)\),如此归纳下去不难得出:
\]
也就是说我们只用维护所有 \(f(d,d)\) 的变化即可。
注意到当我们改变某个 \(f(a,b)=x\) 时候,由于 \(f(a,b)=\dfrac{ab}{\gcd(a,b)^2}f(\gcd(a,b),\gcd(a,b))\),因此改变 \(f(a,b)\) 会影响 \(f(\gcd(a,b),\gcd(a,b))\),也进而影响其他满足 \(\gcd(x,y)=\gcd(a,b)\) 的 \(f(x,y)\) 的值。而对于 \(d\ne\gcd(a,b)\),改变 \(f(a,b)\) 显然是不会影响 \(f(d,d)\) 的值的,因此改变 \(f(a,b)\) 只会影响一个 \(f(d,d)\) 的值。
接下来考虑求解答案。
ans&=\sum\limits_{i=1}^k\sum\limits_{j=1}^k\dfrac{ij}{\gcd(i,j)^2}f(\gcd(i,j),\gcd(i,j))\\
&=\sum\limits_{d=1}^kf(d,d)\dfrac{1}{d^2}\sum\limits_{i=1}^{n/d}\sum\limits_{j=1}^{n/d}id·jd[\gcd(i,j)=1]\\
&=\sum\limits_{d=1}^kf(d,d)\sum\limits_{i=1}^{n/d}\sum\limits_{j=1}^{n/d}ij[\gcd(i,j)=1]\\
\end{aligned}
\]
设
\]
那么
\]
我们先不考虑 \(g(x)\) 怎么求,假设我们已经求得了所有 \(g(x)\),那么显然可以对 \(\lfloor\dfrac{k}{d}\rfloor\) 整除分块,那么我们需要求出 \(f(d,d)\) 的前缀和,又因为要修改,因此我们需要一个支持修改、查询前缀和的数据结构。有人肯定会想树状数组,不过对于此题而言,由于修改次数为 \(m\),查询次数为 \(m\sqrt{n}\),因此直接 BIT 复杂度为 \(m\sqrt{n}\log n\) 无法通过,因此考虑根号平衡的思想,众所周知分块可以实现 \(\mathcal O(\sqrt{n})\) 修改 \(\mathcal O(1)\) 查询前缀和,使用这样的数据结构维护一下即可 \(\mathcal O(m\sqrt{n})\) 查询。
最后考虑 \(g(x)\) 怎么求,直接整除分块是 \(n\sqrt{n}\) 的,无法通过。因此考虑不反演。首先证明一个 Lemma:
\]
证明大概就 \(\forall i\le x\),若 \(i\perp x\),那么 \((x-i)\perp x\),那么我们就对于所有 \(i\le x,i\perp x\),将 \(i\) 与 \(x-i\) 配对形成一个 \(x\) 即可,这样共可以配成 \(\dfrac{\varphi(x)}{2}\) 对,然后对 \(x=1\) 和 \(x=2\) 特判一下即可。
又这个引理可知
g(x)&=g(x-1)+2x\sum\limits_{i=1}^xi[\gcd(i,x)=1]-\epsilon(x)\\
&=g(x-1)+x^2(\varphi(x)+\epsilon(x))-\epsilon(x)\\
&=g(x-1)+x^2\varphi(x)
\end{aligned}
\]
因此
\]
线筛算算即可。
const int MAXN=4e6;
const int BLK=2000;
const int MOD=1e9+7;
void pls(int &x,int v){((x+=v)>=MOD)&&(x-=MOD);}
int n,qu,phi[MAXN+5],pr[MAXN/8+5],prcnt=0,s[MAXN+5];
bitset<MAXN+5> vis;
void sieve(int n){
phi[1]=1;
for(int i=2;i<=n;i++){
if(!vis[i]) phi[i]=i-1,pr[++prcnt]=i;
for(int j=1;j<=prcnt&&pr[j]*i<=n;j++){
vis[pr[j]*i]=1;
if(i%pr[j]==0){phi[i*pr[j]]=phi[i]*pr[j];break;}
else phi[i*pr[j]]=phi[i]*phi[pr[j]];
}
}
for(int i=1;i<=n;i++) s[i]=(s[i-1]+1ll*i*i%MOD*phi[i])%MOD;
}
int L[BLK+5],R[BLK+5],bel[MAXN+5],blk_cnt,blk_sz;
int sum_blk[BLK+5],sum_tot[MAXN+5];
void add(int x,int v){
for(int i=bel[x];i<=blk_cnt;i++) pls(sum_blk[i],v);
for(int i=x;i<=R[bel[x]];i++) pls(sum_tot[i],v);
}
int ask(int x){if(!x) return 0;return (sum_blk[bel[x]-1]+sum_tot[x])%MOD;}
int f[MAXN+5];
int main(){
scanf("%d%d",&qu,&n);sieve(n);
// for(int i=1;i<=n;i++) printf("%d\n",s[i]);
blk_sz=(int)sqrt(n);blk_cnt=(n-1)/blk_sz+1;
int sum=0;
for(int i=1;i<=blk_cnt;i++){
L[i]=(i-1)*blk_sz+1;R[i]=min(i*blk_sz,n);int sum0=0;
for(int j=L[i];j<=R[i];j++){
bel[j]=i;sum0=(sum0+1ll*j*j)%MOD;
sum_tot[j]=sum0;f[j]=1ll*j*j%MOD;
// printf("%d %d\n",j,sum0);
} pls(sum,sum0);sum_blk[i]=sum;
// printf("%d %d\n",i,sum);
}
while(qu--){
int a,b,k;ll v;scanf("%d%d%lld%d",&a,&b,&v,&k);
int d=__gcd(a,b);add(d,(MOD-f[d])%MOD);
f[d]=(v/(1ll*a*b/d/d))%MOD;add(d,f[d]);
int res=0;
for(int l=1,r;l<=k;l=r+1){
r=k/(k/l);
// printf("%d %d %d\n",l,r,(ask(r)-ask(l-1)+MOD)%MOD);
res=(res+1ll*(ask(r)-ask(l-1)+MOD)*s[k/l])%MOD;
} printf("%d\n",res);
}
return 0;
}
洛谷 P3700 - [CQOI2017]小Q的表格(找性质+数论)的更多相关文章
- [bzoj4815] [洛谷P3700] [Cqoi2017] 小Q的表格
Description 小Q是个程序员. 作为一个年轻的程序员,小Q总是被老C欺负,老C经常把一些麻烦的任务交给小Q来处理. 每当小Q不知道如何解决时,就只好向你求助.为了完成任务,小Q需要列一个表格 ...
- 洛咕 P3700 [CQOI2017]小Q的表格
洛咕 P3700 [CQOI2017]小Q的表格 神仙题orz 首先推一下给的两个式子中的第二个 \(b\cdot F(a,a+b)=(a+b)\cdot F(a,b)\) 先简单的想,\(F(a,a ...
- 洛谷 P3698 [CQOI2017]小Q的棋盘 解题报告
P3698 [CQOI2017]小Q的棋盘 题目描述 小 Q 正在设计一种棋类游戏. 在小 Q 设计的游戏中,棋子可以放在棋盘上的格点中.某些格点之间有连线,棋子只能在有连线的格点之间移动.整个棋盘上 ...
- BZOJ4813或洛谷3698 [CQOI2017]小Q的棋盘
BZOJ原题链接 洛谷原题链接 贪心或树形\(DP\)都可做,但显然\(DP\)式子不好推(因为我太菜了),所以我选择贪心. 很显然从根出发主干走最长链是最优的,而剩下的点每个都需要走两步,所以用除去 ...
- 洛谷P3698 [CQOI2017]小Q的棋盘
传送门 考虑一个贪心,先在根节点周围转一圈,然后再往下走最长链肯定是最优的 然后设最长链的长度为$d$,如果$m\leq d$,那么答案为$m+1$ 否则的话还剩下$m-d+1$步,又得保证能走回来, ...
- 【BZOJ4815】[CQOI2017]小Q的表格(莫比乌斯反演,分块)
[BZOJ4815][CQOI2017]小Q的表格(莫比乌斯反演,分块) 题面 BZOJ 洛谷 题解 神仙题啊. 首先\(f(a,b)=f(b,a)\)告诉我们矩阵只要算一半就好了. 接下来是\(b* ...
- bzoj 4815: [Cqoi2017]小Q的表格 [数论]
4815: [Cqoi2017]小Q的表格 题意: 单点修改,查询前缀正方形和.修改后要求满足条件f(a,b)=f(b,a), b×f(a,a+b)=(a+b)*f(a,b) 一开始sb了认为一次只会 ...
- [BZOJ4815][CQOI2017]小Q的表格(莫比乌斯反演)
4815: [Cqoi2017]小Q的表格 Time Limit: 20 Sec Memory Limit: 512 MBSubmit: 832 Solved: 342[Submit][Statu ...
- [bzoj4815]: [Cqoi2017]小Q的表格
来自FallDream的博客,未经允许,请勿转载,谢谢. 小Q是个程序员. 作为一个年轻的程序员,小Q总是被老C欺负,老C经常把一些麻烦的任务交给小Q来处理.每当小Q不知道如何解决时,就只好向你求助. ...
随机推荐
- noj -> 跳马
00 题目 描述: 在国际象棋中,马的走法与中车象棋类似,即俗话说的"马走日",下图所示即国际象棋中马(K)在一步能到达的格子(其中黑色的格子是能到达的位置). 现有一200*20 ...
- skywalking实现分布式系统链路追踪
一.背景 随着微服务的越来越流行,我们服务之间的调用关系就显得越来越复杂,我们急需一个APM工具来分析系统中存在的各种性能指标问题以及调用关系.目前主流的APM工具有CAT.Zipkin.Pinpoi ...
- time_formatter攻防世界学习
time_formatter 前言:这题说实话分析量蛮大的,首先是程序内壁比较绕,而且调用了之前许多没有见到的函数---如snprintf_che,以及strsup(好像打错了),getegid(), ...
- 梦开始的地方(Noip模拟3) 2021.5.24
T1 景区路线规划(期望dp/记忆化搜索) 一看题目发现肯定是概率期望题,再仔细想想这三天做的题,就知道是个期望dp. 考试思路(错): 因为聪聪与可可的10分打法根深蒂固,导致在考试时想到了用深搜( ...
- 从零开始 DIY 智能家居 - 基于 ESP32 的智能紫外线传感器模块
目录 前言 硬件选择 二.使用步骤 获取代码 设备控制命令: 设备和协议初始化流程: 配置设备信息 回调函数注册 数据获取与上报流程 总结 前言 做了这么多传感器都是自己玩,这次家里人看不下去了,非得 ...
- 使用.NET6打造动态API
ApiLite是直接将Service层自动生成api路由,可以不用添加Controller,支持模块插件化,在项目开发中能够提高工作效率,降低代码量. 开发环境 .NET SDK 6.0.100-rc ...
- Python3 装逼神器---词云(wordcloud)
词云 (Word Cloud)是对文本中出现频率较高的词语给予视觉化展示的图形, 是一种常见的文本挖掘的方法. 实例: 依赖包: # pip3 install wordcloud jieba ...
- Jenkins MultiJob
前提:项目有十几个服务每次发版/更新服务需要一个个去编译 目的:希望能够建立一个任务一次构建可以批量编译很多服务,并且需要输入一个参数指定编译的分支 需要插件: MultiJob 安装插件 1.在Je ...
- upload-labs通关攻略(全)
upload-labs通关攻略 upload-labs是练习文件上传很好的一个靶场,建议把upload-labs关卡全部练习一遍 1.下载安装 下载地址 链接:https://pan.baidu.co ...
- Edge屏蔽CSDN (必应)
国内的中文论坛都一样的烂(博客园除外),CSDN和微博只是烂的方式不一样.当你想找解决方法的时候却发现搜索出来的结果是同一篇文章被n个人投了n遍,查询内容不仅不能解决问题,还浪费了大量时间.这几天偶尔 ...