【LOJ#572】Misaka Network 与求和(莫比乌斯反演,杜教筛,min_25筛)

题面

LOJ

\[ans=\sum_{i=1}^n\sum_{j=1}^n f(gcd(i,j))^k
\]

其中\(f(x)\)表示\(x\)的次大质因子。

题解

这个数据范围不是杜教筛就是\(min\_25\)筛了吧。。。

看到次大质因子显然要\(min\_25\)筛了吧。。。

莫比乌斯反演的部分比较简单,懒得写过程了。

\[ans=\sum_{T=1}^n [\frac{n}{T}]^2\sum_{d|T}f(d)^k \mu(\frac{T}{d})
\]

后面带个指数好麻烦啊,就假装\(f(x)=f(x)^k\)吧。。。

显然要求的就是\(f\)和\(\mu\)狄利克雷卷积的前缀和。。。

令\(\displaystyle S(n)=\sum_{i=1}^n (f*\mu)(i)\),一脸杜教筛的感觉,类似杜教筛来写式子。

\[g(1)S(n)=\sum_{i=1}^n (f*\mu*g)(i)-\sum_{i=2}^n g(i)S([\frac{n}{i}])
\]

看到\(\mu\)了,直接令\(g(x)=1\),\((f*u*g)(i)=(f*(u*1))(i)=(f*e)(i)=f(i)\)。

写出来就是:

\[S(n)=\sum_{i=1}^nf(i)-\sum_{i=2}^n S([\frac{n}{i}])
\]

然后考虑怎么求\(\displaystyle \sum_{i=1}^n f(i)\),一脸\(min\_25\)筛。

行,本来以为不是\(min\_25\)筛就是杜教筛,没想到两个一起来。

好了,实现啥的就可以看看代码了。

复杂度因为杜教筛不能提前筛好一部分前缀和,所以似乎是\(O(n^{3/4})\)???

不太会算复杂度,那就当做\(O(\mbox{跑得过})\)了。

#include<iostream>
#include<cstdio>
#include<cmath>
#include<map>
using namespace std;
#define ll long long
#define uint unsigned int
#define MAX 100000
int K,blk;uint n;
int w[MAX],id1[MAX],id2[MAX],m;
int pri[MAX],tot;
bool zs[MAX];
uint g[MAX],prik[MAX];
uint fpow(uint a,int b)
{
uint s=1;
while(b){if(b&1)s*=a;a*=a;b>>=1;}
return s;
}
int getid(int x){return (x<=blk)?id1[x]:id2[n/x];}
void pre(int n)
{
for(int i=2;i<=n;++i)
{
if(!zs[i])pri[++tot]=i,prik[tot]=fpow(i,K);;
for(int j=1;j<=tot&&i*pri[j]<=n;++j)
{
zs[i*pri[j]]=true;
if(i%pri[j]==0)break;
}
}
}
uint calc(int x,int y)
{
if(x<=1||pri[y]>x)return 0;
uint ret=(g[getid(x)]-y+1)*prik[y-1];
for(int i=y;i<=tot&&1ll*pri[i]*pri[i]<=x;++i)
{
ll t1=pri[i],t2=1ll*pri[i]*pri[i];
for(int e=1;t2<=x;++e,t1=t2,t2*=pri[i])
ret+=calc(x/t1,i+1)+prik[i];
}
return ret;
}
uint M[MAX];bool vis[MAX];
uint S(int n)
{
if(vis[getid(n)])return M[getid(n)];
uint ret=calc(n,1)+g[getid(n)];
for(int i=2,j;i<=n;i=j+1)
j=n/(n/i),ret-=(j-i+1)*S(n/i);
vis[getid(n)]=true;
return M[getid(n)]=ret;
}
int main()
{
scanf("%u%d",&n,&K);pre(blk=sqrt(n));
for(uint i=1,j;i<=n;i=j+1)
{
j=n/(n/i);w[++m]=n/i;g[m]=w[m]-1;
if(w[m]<=blk)id1[w[m]]=m;
else id2[n/w[m]]=m;
}
for(int j=1;j<=tot&&1ll*pri[j]*pri[j]<=n;++j)
for(int i=1;i<=m&&1ll*pri[j]*pri[j]<=w[i];++i)
g[i]-=g[getid(w[i]/pri[j])]-(j-1);
uint ans=0,lt=0,nw;
for(uint i=1,j;i<=n;i=j+1)
{
j=n/(n/i);nw=S(j);
ans+=(uint)1*(n/i)*(n/i)*(nw-lt);
lt=nw;
}
printf("%u\n",ans);
return 0;
}

【LOJ#572】Misaka Network 与求和(莫比乌斯反演,杜教筛,min_25筛)的更多相关文章

  1. loj 572 Misaka Network 与求和 —— min_25筛

    题目:https://loj.ac/problem/572 推式子:https://www.cnblogs.com/cjoieryl/p/10150718.html 又学习了一下杜教筛hh: 原来 u ...

  2. LOJ572. 「LibreOJ Round #11」Misaka Network 与求和 [莫比乌斯反演,杜教筛,min_25筛]

    传送门 思路 (以下令\(F(n)=f(n)^k\)) 首先肯定要莫比乌斯反演,那么可以推出: \[ ans=\sum_{T=1}^n \lfloor\frac n T\rfloor^2\sum_{d ...

  3. [LOJ 572] Misaka Network 与求和

    一.题目 点此看题 二.解法 直接推柿子吧: \[\sum_{i=1}^n\sum_{j=1}^nf(\gcd(i,j))^k \] \[\sum_{d=1}^nf(d)^k\sum_{i=1}^{n ...

  4. 【XSY2754】求和 莫比乌斯反演 杜教筛

    题目描述 给你\(n,p\),求 \[ \sum_{i=1}^n\sum_{j=1}^i\sum_{k=1}^i\gcd(i,j,k)\mod p \] \(n\leq {10}^9\) 题解 \[ ...

  5. [复习]莫比乌斯反演,杜教筛,min_25筛

    [复习]莫比乌斯反演,杜教筛,min_25筛 莫比乌斯反演 做题的时候的常用形式: \[\begin{aligned}g(n)&=\sum_{n|d}f(d)\\f(n)&=\sum_ ...

  6. 【bzoj3930】[CQOI2015]选数 莫比乌斯反演+杜教筛

    题目描述 我们知道,从区间[L,H](L和H为整数)中选取N个整数,总共有(H-L+1)^N种方案.小z很好奇这样选出的数的最大公约数的规律,他决定对每种方案选出的N个整数都求一次最大公约数,以便进一 ...

  7. [BZOJ 3930] [CQOI 2015]选数(莫比乌斯反演+杜教筛)

    [BZOJ 3930] [CQOI 2015]选数(莫比乌斯反演+杜教筛) 题面 我们知道,从区间\([L,R]\)(L和R为整数)中选取N个整数,总共有\((R-L+1)^N\)种方案.求最大公约数 ...

  8. LOJ#6491. zrq 学反演(莫比乌斯反演 杜教筛)

    题意 题目链接 Sol 反演套路题? 不过最后一步还是挺妙的. 套路枚举\(d\),化简可以得到 \[\sum_{T = 1}^m (\frac{M}{T})^n \sum_{d \ | T} d \ ...

  9. LOJ#6229. 这是一道简单的数学题(莫比乌斯反演+杜教筛)

    题目链接 \(Description\) 求\[\sum_{i=1}^n\sum_{j=1}^i\frac{lcm(i,j)}{gcd(i,j)}\] 答案对\(10^9+7\)取模. \(n< ...

  10. 【bzoj4176】Lucas的数论 莫比乌斯反演+杜教筛

    Description 去年的Lucas非常喜欢数论题,但是一年以后的Lucas却不那么喜欢了. 在整理以前的试题时,发现了这样一道题目"求Sigma(f(i)),其中1<=i< ...

随机推荐

  1. Docker(五):Docker 三剑客之 Docker Machine

    上篇文章Docker(四):Docker 三剑客之 Docker Compose介绍了 Docker Compose,这篇文章我们来了解 Docker Machine . Docker Machine ...

  2. Qt Creator 中,如何更改h,cpp,ui的文件并不让ui失效

    这个星期在使用qt,碰到一个很蛋疼的问题:创建对话框的时候,不小心输错了名字.而且是在很迟才发现的.这个时候对话框都已经布局差不多了,为了改名字,碰到更蛋疼的问题,改了名字后就无法使用转到槽的功能了. ...

  3. ASP.NETZERO 开发者指南-目录篇

    前面的话 此教程适用于 ASP.NET MVC 5.x & Angularjs 1.x  的ABP框架(收费需要授权) 所以有能力的朋友还是希望你们多多支持 土牛.购买链接:https://w ...

  4. TRIO-basic指令--九九乘法表demo

    在路上闲的没事,想到之前自己用别的语言实现乘法口诀表,于是来了兴趣用TRIO-basic试一下,挺简单的一段代码,大家看看就好. ' TRIO-basic '实现乘法口诀表 定义两个整型的局部变量 D ...

  5. YouTube视频下载的12个软件(Win和Mac)

    如今,观看视频已经成为人们生活中重要的一部分.很多时候,我们都需要用到视频,比如教育用途.会议报告.休闲娱乐以及广告宣传等.如果你觉得有时候资源不好找的话,不放去看下YouTube.YouTube是世 ...

  6. BugPhobia开发终结篇章:Beta阶段第XI次Scrum Meeting

    0x01 :Scrum Meeting基本摘要 Beta阶段第十一次Scrum Meeting 敏捷开发起始时间 2015/01/06 00:00 A.M. 敏捷开发终止时间 2016/01/10 0 ...

  7. C#JSON与XML转换

    C#JSON转XML 输入:[{\'name\': \'yancy\',\'value\': \'0\'},{\'name\': \'jieny\',\'value\': \'1\'}] string ...

  8. Linux安装的分区问题

    对于一般的外部SATA存储设备,在ubuntu中会显示在/etc/sd*中,例如: SATA1插槽上的文件名:/dev/sda SATA5插槽上的文件名:/dev/sdb USB磁盘:/dev/sdc ...

  9. hive桶表

    创建桶表,提高查询速度, 下免.tom'jerry'scott如果他们经过hash计算,得到的hash值一样,则放到桶一个表中. 创建桶表 指明桶的分桶条件,以sname分桶;分为5个桶

  10. free命令详解

    free的命令详解   free命令可以显示当前系统未使用的和已使用的内存数目,还可以显示被内核使用的内存缓冲区. 语法 free [选项] 选项 -b 以Byte为单位显示内存的使用情况 -k 以K ...