心血来潮跑来实现以下这个东西

我们应该知道杜教筛的理论是 \(f * g=h\),那么问题在于如何找 \(g\)。

之前的blog应该提到过可以令 \(g(p)=-f(p)\),这样一来 \(h\) 就只会在PN处有值。于是可以大力爆搜 \(h\),而 \(g\) 的块筛又很好处理。

但是这样复杂度会有一个下限为 \(O(n^{\frac 2 3})\),有没有办法去除呢?

办法是有的,反过来,设 \(h * g=f\)。

此时我们构造 \(g(p)=f(p)\) 即可得到和上面相同的结论,但此时只需处理 \(g\) 的块筛即可,复杂度下降至 \(O(\frac{n^{\frac 3 4}}{\log n})\) 或者更低。

问题来了,当 \(k>2\) 时,\(g(p^k)\) 应该是多少?

实际上是多少否无所谓,因为有 \(\sum_{i=0}^k h(p^i)g(p^{k-i})=f(p^k)\),一般情况令 \(g(p^k)=0\)。

但是我在实现的时候 推 错 了 \(g\) 的 块 筛 柿 子,懒得重新推。又发现我的柿子实际上是令 \(g(p^k)=f(p)^k\),如果直接暴力做卷积那么复杂度会变成 \(O(\sqrt n\log n)\),于是来优化一下:

\[\sum_{i=0}^kh(p^i)f(p)^{k-i}=f(p^k)
\]
\[f(p)^k\sum_{i=0}^kh(p^i)f(p)^{-i}=f(p^k)
\]

于是处理出 \(\frac{f(p^k)}{f(p)^k}\),然后来个差分求逆元就好,复杂度变回了 \(O(\sqrt n)\),不过需要存在逆元才行。

但是?

\[h(p^k)f(p)^{-k}=\frac{f(p^k)}{f(p)^k}-\frac{f(p^{k-1})}{f(p)^{k-1}}
\]
\[h(p^k)=f(p^k)-f(p^{k-1})f(p)
\]

不需要逆元也可以。

这里丢一下 DIVCNTK 的实现,目前是 lgrk2,spojrk7:

#include<cstdio>
#include<cmath>
typedef unsigned ui;
typedef __uint128_t L;
typedef unsigned long long ull;
const ui M=1e5+5;
ull n,K,h[M],F[M],G[M],f0[M],g0[M];L B[M];ui S,top,pri[M];
ull DFS(const ull&n,const ui&k){
ull ans=n<=S?G[n]+1:F[::n/n]+1;
for(ui i=k+1;i<=top&&1ull*pri[i]*pri[i]<=n;++i){
ull*H=h+2;
for(ull N=(n*B[pri[i]]>>64)*B[pri[i]]>>64;N;N=N*B[pri[i]]>>64){
ans+=*H++*DFS(N,i);
}
}
return ans;
}
inline ull PN(const ull&n){
ui i,j,k,tp=0,sqr;ull w,lim;top=0;
for(S=1;1ull*S*S<=n;++S)f0[S]=(n*B[S]>>64)-1,g0[S]=S-1;
sqr=sqrt(--S);
for(i=2;i<=S;++i)if(g0[i]^g0[i-1]){
w=n*B[i]>>64;lim=w*B[i]>>64;if(lim>S)lim=S;k=S*B[i]>>64;++tp;
const ull&S0=g0[i-1];
for(j=1;j<=k;++j)f0[j]-=f0[i*j]-S0;
for(;j<=lim;++j)f0[j]-=g0[w*B[j]>>64]-S0;
if(i<=sqr){
for(lim=k*i,j=S;k>=i;lim-=i,--k){
for(const ull&V0=g0[k]-S0;j>=lim;--j)g0[j]-=V0;
}
}
}
for(i=1;i<=S;++i)F[i]=f0[i]*K,G[i]=g0[i]*K;top=tp++;
for(i=S;i>1;--i)if(g0[i]^g0[i-1]){
const ull&g=g0[i-1]*K;
if(i<=sqr){
for(k=i,lim=(k+1)*i,j=lim-i;lim<=S;lim+=i,++k){
for(const ull&V=K*(G[k]-g);j<lim;++j)G[j]+=V;
}
for(const ull&V=K*(G[k]-g);j<=S;++j)G[j]+=V;
}
w=n*B[i]>>64;lim=w*B[i]>>64;if(lim>S)lim=S;k=S*B[i]>>64;pri[--tp]=i;
for(j=lim;j>k;--j)F[j]+=K*(G[w*B[j]>>64]-g);
for(j=k;j>=1;--j)F[j]+=K*(F[i*j]-g);
}
lim=log(n)/log(2);K=(K-1)*(K-1);
for(i=1;i<=lim;++i)h[i]=-K*(i-1);
return DFS(n,0);
}
signed main(){
ui T;for(T=1;T<M;++T)B[T]=((L(1)<<64)+T-1)/T;scanf("%u",&T);
while(T--)scanf("%llu%llu",&n,&K),++K,printf("%llu\n",PN(n));
}

powerful number筛的更多相关文章

  1. Powerful Number 筛学习笔记

    Powerful Number 筛学习笔记 用途 \(Powerful\ number\) 筛可以用来求出一类积性函数的前缀和,最快可以达到根号复杂度. 实现 \(Powerful\ number\) ...

  2. [笔记] Powerful Number 筛

    定义 Powerful Number(以下简称 PN)筛类似于杜教筛,可以拿来求一些积性函数的前缀和. 要求: 假设现在要求积性函数 \(f\) 的前缀和 \(F(n)=\sum_{i=1}^nf(i ...

  3. 利用powerful number求积性函数前缀和

    好久没更博客了,先水一篇再说.其实这个做法应该算是杜教筛的一个拓展. powerful number的定义是每个质因子次数都 $\geq 2$ 的数.首先,$\leq n$ 的powerful num ...

  4. Note - Powerful Number

    Powerful Number   对于 \(n\in\mathbb N_+\),若不存在素数 \(p\) 使得 \(p\mid n~\land~p^2\not\mid n\),则称 \(n\) 为 ...

  5. Powerful Number 筛法

    我也不想学筛法了,可你考试时候出一个新筛法就不厚道了吧,我还开始以为这是杜教筛... $tips:$学完杜教筛立马学$Powerful \ Number$筛法,此筛法强悍如斯 $Powerful \ ...

  6. powerful number求积性函数前缀和

    算法原理 本文参考了 zzq's blog . \(\text{powerful number}\) 的定义是每个质因子次数都 \(\ge 2\) 的数,有个结论是 \(\ge n\) 的 \(\te ...

  7. Powerful Number 学习笔记

    定义 对于一个正整数 \(n\) ,若完全分解之后不存在指数 \(=1\) ,则称 \(n\) 为 \(\text{Powerful Number}\) . 可以发现的是,在 \([1,n]\) 中, ...

  8. 【HDOJ6623】Minimal Power of Prime(Powerful Number)

    题意:给定大整数n,求其质因数分解的最小质数幂 n<=1e18 思路:常规分解算法肯定不行 考虑答案大于1的情况只有3种:质数的完全平方,质数的完全立方,以及p^2*q^3,p,q>=1三 ...

  9. 筛 sigma_k

    问题 定义 \(\sigma_k(n)\) 表示 \(n\) 的所有约数的 \(k\) 次方和,即 \[\sigma_k(n)=\sum_{d\mid n}d^k \] 问题:求 \(\sigma_k ...

随机推荐

  1. Java基础复习(四)

    1.Integer与int的区别 int是java提供的8种原始数据类型之一.Java为每个原始类型提供了封装类,Integer是java为int提供的封装类.int的默认值为0,而Integer的默 ...

  2. MAC上安装HEAAN库

    介绍 HEAN是一个软件库,它实现支持定点运算的同态加密(HE),此库支持有理数之间的近似运算.近似误差取决于某些参数,与浮点运算误差几乎相同.该库中的方案发表在"近似数算术的同态加密&qu ...

  3. 描述nginx中worker_processes、worker_cpu_affinity、worker_rlimit_nofile、worker_connections配置项的含义

    worker_processes worker进程的数量,应小于等于cpu核心数,auto为当前主机cpu核心数 work_processes 4 worker_cpu_affinity 配置CPU亲 ...

  4. 手写一个线程池,带你学习ThreadPoolExecutor线程池实现原理

    摘要:从手写线程池开始,逐步的分析这些代码在Java的线程池中是如何实现的. 本文分享自华为云社区<手写线程池,对照学习ThreadPoolExecutor线程池实现原理!>,作者:小傅哥 ...

  5. Failed to connect to raw.githubusercontent.com 443 解决方案

    wget 'https://raw.githubusercontent.com/CSSEGISandData/COVID-19/master/csse_covid_19_data/csse_covid ...

  6. Selenium对应版本

    下面是谷歌浏览器与chromedriver的版本对应关系,供参考: ChromeDriver v2.45 (2018-12-10)----------Supports Chrome v70-72Chr ...

  7. MybatisPlus二级缓存

    一.序言 本文承接[Mybatis缓存体系探究],提供基于MybatisPlus技术可用于生产环境下的二级缓存解决方案. 1.前置条件 掌握MyBatis二级缓存的原理 有关MyBatis缓存原理内容 ...

  8. Solution -「洛谷 P5236」「模板」静态仙人掌

    \(\mathcal{Description}\)   Link.   给定一个 \(n\) 个点 \(m\) 条边的仙人掌,\(q\) 组询问两点最短路.   \(n,q\le10^4\),\(m\ ...

  9. Django整体模型理解(1)

    Django大概理解 *models:  设计一个模型,即在数据库中设计一个表,一个模型就是对应一个数据库中的表:models是一个类,类名就是表名,而类的属性就是表的字段.如下例子设计了两个表: f ...

  10. MongoDB 带访问控制的副本集部署

    当你需要用到一个MongoDB 副本集集群,用于开发测试时, 可以通过下面的步骤简单完成. 版本及环境 MongoDB4.4  Centos6.5  一. 下载安装 MongoDB Server 及 ...