【51NOD1847】奇怪的数学题 min_25筛
题目描述
记\(sgcd(i,j)\)为\(i,j\)的次大公约数。
给你\(n\)，求
\]
对\(2^{32}\)取模。
\(n\leq {10}^9,k\leq 50\)
题解
记\(f(n)\)为\(n\)的次大因数
显然\(sgcd(i,j)=f(gcd(i,j))\)
先推一波式子。
&\sum_{i=1}^n\sum_{j=1}^n{sgcd(i,j)}^k\\
=&\sum_{i=1}^n{f(i)}^k(2\sum_{j=1}^\frac{n}{i}\varphi(j)-1)
\end{align}
\]
后面那个\(\varphi(i)\)的前缀和可以杜教筛/min_25筛+数论分块解决，所以只用关心前面这部分。
观察min_25筛求质数的\(k\)次方的前缀和的过程，发现在求\(f_{n,j}=\sum_{i=2}^n[i\text{是质数或}i\text{的每个质因子都}>p_j]i^k\)的时候，减掉的那部分就是（最小质因子\(=p_j\)的数除以\(p_j\)后的值）的\(k\)次方和。所以直接把这些东西加起来就是我们要求的答案了。
还要加上质数的答案，即区间质数个数。
自然数幂求和要用第二类斯特林数那个做法。
S_m(n)&=\sum_{i=1}^ni^m\\
&=\sum_{i=1}^n\sum_{j=1}^m\begin{Bmatrix}m\\j\end{Bmatrix}i^\underline{j}\\
&=\sum_{j=1}^m\begin{Bmatrix}m\\j\end{Bmatrix}\sum_{i=1}^ni^\underline{j}\\
&=\sum_{j=1}^m\begin{Bmatrix}m\\j\end{Bmatrix}\frac{{(n+1)}^\underline{j+1}}{j+1}
\end{align}
\]
时间复杂度：\(O(\sqrt{n}k^2+\frac{n^\frac{3}{4}}{\log n})\)或\(O(\sqrt{n}k^2+\frac{n^\frac{3}{4}}{\log n}+n^\frac{2}{3})\)
代码
1
#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,b=0;
while(((c=getchar())<'0'||c>'9')&&c!='-');
if(c=='-')
{
c=getchar();
b=1;
}
do
{
s=s*10+c-'0';
}
while((c=getchar())>='0'&&c<='9');
return b?-s: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 n;
int k;
int fp(int a,int b)
{
int s=1;
for(;b;b>>=1,a*=a)
if(b&1)
s*=a;
return s;
}
int S[60][60];
int s[60];
int calc(ll x)
{
s[0]=x;
for(int i=1;i<=k;i++)
{
s[i]=1;
ll v=(x+1)/(i+1)*(i+1);
s[i]*=(x+1)/(i+1);
for(ll j=x+1;j>=x-i+1;j--)
s[i]*=(j==v?1:j);
for(int j=0;j<i;j++)
s[i]-=S[i][j]*s[j];
}
return s[k];
}
void init()
{
S[0][0]=1;
for(int i=1;i<=k;i++)
for(int j=1;j<=i;j++)
S[i][j]=S[i-1][j-1]-(i-1)*S[i-1][j];
}
namespace gao1
{
const int m=100000;
const int M=100010;
int b[M],pri[M];
int cnt;
int f1[M],f2[M];
int g1[M],g2[M];
int ans1[M],ans2[M];
void init()
{
for(int i=2;i<=m;i++)
{
if(!b[i])
pri[++cnt]=i;
for(int j=1;j<=cnt&&i*pri[j]<=m;j++)
{
b[i*pri[j]]=1;
if(i%pri[j]==0)
break;
}
}
}
void gao()
{
init();
for(int i=1;i<=m;i++)
{
f1[i]=calc(i)-1;
g1[i]=i-1;
}
for(int i=1;n/i>m;i++)
{
f2[i]=calc(n/i)-1;
g2[i]=n/i-1;
}
for(int i=1;i<=cnt;i++)
{
int j;
int v=fp(pri[i],k);
for(j=1;n/pri[i]/j>m&&n/j>=(ll)pri[i]*pri[i];j++)
{
ans2[j]+=f2[pri[i]*j]-f1[pri[i]-1];
f2[j]-=v*(f2[pri[i]*j]-f1[pri[i]-1]);
g2[j]-=g2[pri[i]*j]-g1[pri[i]-1];
}
for(;n/j>m&&n/j>=(ll)pri[i]*pri[i];j++)
{
ans2[j]+=f1[n/pri[i]/j]-f1[pri[i]-1];
f2[j]-=v*(f1[n/pri[i]/j]-f1[pri[i]-1]);
g2[j]-=g1[n/pri[i]/j]-g1[pri[i]-1];
}
for(j=m;j>=2&&j>=(ll)pri[i]*pri[i];j--)
{
ans1[j]+=f1[j/pri[i]]-f1[pri[i]-1];
f1[j]-=v*(f1[j/pri[i]]-f1[pri[i]-1]);
g1[j]-=g1[j/pri[i]]-g1[pri[i]-1];
}
}
for(int i=1;i<=m;i++)
ans1[i]+=g1[i];
for(int i=1;n/i>m;i++)
ans2[i]+=g2[i];
}
int query(ll x)
{
return x<=m?ans1[x]:ans2[n/x];
}
}
namespace gao2
{
const int m=1000000;
const int M=1000010;
int pri[M],b[M],cnt;
int phi[M],s[M];
int b2[M],s2[M];
void init()
{
phi[1]=1;
for(int i=2;i<=m;i++)
{
if(!b[i])
{
pri[++cnt]=i;
phi[i]=i-1;
}
for(int j=1;j<=cnt&&i*pri[j]<=m;j++)
{
b[i*pri[j]]=1;
if(i%pri[j]==0)
{
phi[i*pri[j]]=phi[i]*pri[j];
break;
}
phi[i*pri[j]]=phi[i]*phi[pri[j]];
}
}
for(int i=1;i<=m;i++)
s[i]=s[i-1]+phi[i];
}
void gao()
{
init();
}
int query(ll x)
{
if(x<=m)
return s[x];
if(b2[n/x])
return s2[n/x];
b2[n/x]=1;
int &res=s2[n/x];
res=x*(x+1)/2;
for(ll i=2,j;i<=x;i=j+1)
{
j=x/(x/i);
res-=query(x/i)*(j-i+1);
}
return res;
}
}
int main()
{
open("51nod1847");
scanf("%lld%d",&n,&k);
init();
gao1::gao();
gao2::gao();
int ans=0;
for(ll i=2,j;i<=n;i=j+1)
{
j=n/(n/i);
ans+=(gao1::query(j)-gao1::query(i-1))*(2*gao2::query(n/i)-1);
}
printf("%u\n",(unsigned)ans);
return 0;
}
2
#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,b=0;
while(((c=getchar())<'0'||c>'9')&&c!='-');
if(c=='-')
{
c=getchar();
b=1;
}
do
{
s=s*10+c-'0';
}
while((c=getchar())>='0'&&c<='9');
return b?-s: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 n;
int k;
int fp(int a,int b)
{
int s=1;
for(;b;b>>=1,a*=a)
if(b&1)
s*=a;
return s;
}
int S[60][60];
int s[60];
int calc(ll x)
{
s[0]=x;
for(int i=1;i<=k;i++)
{
s[i]=1;
ll v=(x+1)/(i+1)*(i+1);
s[i]*=(x+1)/(i+1);
for(ll j=x+1;j>=x-i+1;j--)
s[i]*=(j==v?1:j);
for(int j=0;j<i;j++)
s[i]-=S[i][j]*s[j];
}
return s[k];
}
void init()
{
S[0][0]=1;
for(int i=1;i<=k;i++)
for(int j=1;j<=i;j++)
S[i][j]=(S[i-1][j-1]-(i-1)*S[i-1][j]);
}
namespace gao1
{
const int m=100000;
const int M=100010;
int b[M],pri[M];
int cnt;
int f1[M],f2[M];
int ans1[M],ans2[M];
// vector<int> s1[M],s2[M];
// vector<short> b1[M],b2[M];
void init()
{
for(int i=2;i<=m;i++)
{
if(!b[i])
pri[++cnt]=i;
for(int j=1;j<=cnt&&i*pri[j]<=m;j++)
{
b[i*pri[j]]=1;
if(i%pri[j]==0)
break;
}
}
}
void gao()
{
init();
for(int i=1;i<=m;i++)
f1[i]=calc(i)-1;
for(int i=1;n/i>m;i++)
f2[i]=calc(n/i)-1;
for(int i=1;i<=cnt;i++)
{
int j;
int v=fp(pri[i],k);
for(j=1;n/pri[i]/j>m&&n/j>=(ll)pri[i]*pri[i];j++)
{
int x=f2[pri[i]*j]-f1[pri[i]-1];
ans2[j]+=x;
f2[j]-=v*x;
}
for(;n/j>m&&n/j>=(ll)pri[i]*pri[i];j++)
{
int x=f1[n/pri[i]/j]-f1[pri[i]-1];;
ans2[j]+=x;
f2[j]-=v*x;
}
for(j=m;j>=(ll)pri[i]*pri[i];j--)
{
int x=f1[j/pri[i]]-f1[pri[i]-1];
ans1[j]+=x;
f1[j]-=v*x;
}
}
}
int query(ll x)
{
return x<=m?ans1[x]:ans2[n/x];
}
}
namespace gao2
{
const int m=100000;
const int M=100010;
int pri[M],b[M],cnt;
int f1[M],f2[M],g1[M],g2[M];
int s1[M],s2[M];
int b1[M],b2[M];
void init()
{
for(int i=2;i<=m;i++)
{
if(!b[i])
pri[++cnt]=i;
for(int j=1;j<=cnt&&i*pri[j]<=m;j++)
{
b[i*pri[j]]=1;
if(i%pri[j]==0)
break;
}
}
pri[cnt+1]=m+1;
pri[0]=1;
}
void gao()
{
init();
for(int i=1;i<=m;i++)
{
f1[i]=(ll)(i+2)*(i-1)/2;
g1[i]=i-1;
}
for(int i=1;n/i>m;i++)
{
f2[i]=(n/i&1?(n/i-1)/2*(n/i+2):(n/i+2)/2*(n/i-1));
g2[i]=n/i-1;
}
for(int i=1;i<=cnt;i++)
{
int j;
int x=f1[pri[i]-1];
int y=g1[pri[i]-1];
for(j=1;n/pri[i]/j>m&&n/j>=(ll)pri[i]*pri[i];j++)
{
f2[j]-=pri[i]*(f2[pri[i]*j]-x);
g2[j]-=g2[pri[i]*j]-y;
}
for(;n/j>m&&n/j>=(ll)pri[i]*pri[i];j++)
{
f2[j]-=pri[i]*(f1[n/pri[i]/j]-x);
g2[j]-=g1[n/pri[i]/j]-y;
}
for(j=m;j>=2&&j>=(ll)pri[i]*pri[i];j--)
{
f1[j]-=pri[i]*(f1[j/pri[i]]-x);
g1[j]-=g1[j/pri[i]]-y;
}
}
for(int i=1;i<=m;i++)
gao1::ans1[i]+=g1[i];
for(int i=1;n/i>m;i++)
gao1::ans2[i]+=g2[i];
for(int i=1;i<=m;i++)
f1[i]-=g1[i];
for(int i=1;n/i>m;i++)
f2[i]-=g2[i];
for(int i=1;i<=m;i++)
s1[i]=f1[i];
for(int i=1;n/i>m;i++)
s2[i]=f2[i];
for(int i=cnt;i>=1;i--)
{
int x=pri[i];
for(int j=1;n/j>m&&n/j>=(ll)x*x;j++)
{
s2[j]-=x-1;
ll x2=n/j/x;
int s=x-1;
for(;x2;x2/=x,s*=x)
s2[j]+=((x2<=m?s1[x2]-f1[min((int)x2,pri[i])]:s2[n/x2]-f1[pri[i]])+1)*s;
}
for(int j=m;j>=(ll)x*x;j--)
{
s1[j]-=x-1;
int x2=j/x;
int s=x-1;
for(;x2;x2/=x,s*=x)
s1[j]+=(s1[x2]-f1[min(x2,pri[i])]+1)*s;
}
}
}
int query(ll x)
{
return (x<=m?s1[x]:s2[n/x])+1;
}
}
int main()
{
open("51nod1847");
scanf("%lld%d",&n,&k);
init();
gao1::gao();
gao2::gao();
int ans=0;
for(ll i=2,j;i<=n;i=j+1)
{
j=n/(n/i);
ans+=(gao1::query(j)-gao1::query(i-1))*(2*gao2::query(n/i)-1);
}
printf("%u\n",ans);
return 0;
}
【51NOD1847】奇怪的数学题 min_25筛的更多相关文章
- 51nod1847 奇怪的数学题 (Min_25筛+第二类斯特林数)
link \(\sum_{i=1}^n\sum_{j=1}^n\mathrm{sgcd}(i,j)^k=\sum_{p=1}^ns(p)^k\sum_{i=1}^n\sum_{j=1}^n[\gcd( ...
- 【51NOD1965】奇怪的式子 min_25筛
题目描述 给你\(n\),求 \[ \prod_{i=1}^n{\sigma_0(i)}^{i+\mu(i)} \] 对\({10}^{12}+39\)取模. \(\sigma_0(i)\)表示约数个 ...
- 51nod 1965 奇怪的式子——min_25筛
题目:http://www.51nod.com/Challenge/Problem.html#!#problemId=1965 考虑 \( \prod_{i=1}^{n}\sigma_0^i \) \ ...
- [51nod1847]奇怪的数学题
description 51nod 求\[\sum_{i=1}^{n}\sum_{j=1}^{n}sgcd(i,j)^k\]其中\(sgcd(i,j)\)表示\(i,j\)的次大公约数,如果\(gcd ...
- 51nod 1965 奇怪的式子 —— min_25筛
题目:http://www.51nod.com/Challenge/Problem.html#!#problemId=1965 推式子就同这里:https://www.cnblogs.com/yoyo ...
- 【51NOD 1847】奇怪的数学题（莫比乌斯反演，杜教筛，min_25筛，第二类斯特林数）
[51NOD 1847]奇怪的数学题(莫比乌斯反演,杜教筛,min_25筛,第二类斯特林数) 题面 51NOD \[\sum_{i=1}^n\sum_{j=1}^nsgcd(i,j)^k\] 其中\( ...
- 51nod1965. 奇怪的式子（min_25筛）
题目链接 http://www.51nod.com/Challenge/Problem.html#!#problemId=1965 题解 需要求的式子显然是个二合一形式,我们将其拆开,分别计算 \(\ ...
- [51nod 1847]奇怪的数学题
[ 51nod 1847 ]奇怪的数学题 题目 点这里看题目. 分析 是挺奇怪的...... 以下定义质数集合为\(P\),\(p_i\)为第\(i\)个质数. 定义\(mp(x)\) ...
- [复习]莫比乌斯反演,杜教筛,min_25筛
[复习]莫比乌斯反演,杜教筛,min_25筛 莫比乌斯反演 做题的时候的常用形式: \[\begin{aligned}g(n)&=\sum_{n|d}f(d)\\f(n)&=\sum_ ...
随机推荐
- Xaramin IOS 开发常见问题
调试时提示找不到obj某某文件,勾选后编译,再取消勾选后再次调试 APP不能上网(而且无法通过配置允许上网的APP,因为根本 找不到需要的APP),不要使用IOS11测试版本,自动禁网 截图路径 %U ...
- OpenCL中的half与float的转换
在kernel中使用half类型可以在牺牲一定精度的代价下来提升运算速度. 在kernel中, 可以比较方便的对half数据进行计算, 但在host上的, 对half的使用就没那么方便了. 查看cl_ ...
- 微信小程序 从含有tabbar的页面跳转到不含有tabbar的页面
如何离开含有tabbar的页面 在微信小程序开发过程中,我们会碰到从某页跳转到一个含有tabbar的页面的需求, 用 wx.navigateTo({url: '...',}) 不起作用,需要使用 w ...
- 防xss攻击
官方:https://jsxss.com/zh/index.html xss csrf https://www.cnblogs.com/443855539-wind/p/6055816.html 一. ...
- adb部署及使用
一 掌握adb部署&使用方法及常用命令 1.何为adb? sdk软件开发套件software development kit apk是安卓应用安装包 adb是android sdk的一个工具, ...
- Elasticsearch 安装操作手册
第一部分 ES安装环境的准备和初始化 现在交心的版本Elasticsearch 5.6.3 官方建议安装Oracle的JDK8,安装前先检查机器是否已安装JDK. Step 1 检查环境机器是否已安装 ...
- 获取spring security用户相关信息
在JSP中获得 使用spring security的标签库 在页面中引入标签 <%@ taglib prefix="sec" uri="http://www.spr ...
- python粗谈面向对象（二）
浅谈super() super并不是一个函数,是一个类名,形如super(B, self)事实上调用了super类的初始化函数,产生了一个super对象:Python的多继承类是通过mro的方式来保证 ...
- c/c++ 多线程 detach的困惑
多线程 detach的困惑 求大神解答: 1,当在一个函数里启动一个线程后,并detach了 2,detach的线程里使用了这个函数里new出来的一个对象 3,detach后,delete了这个对象 ...
- c/c++ 网络编程 UDP 改变网关和网卡名字
网络编程 UDP 改变网关和网卡名字 在程序里动态改变网关和网卡名字 1,改变网卡名字 #include <stdio.h> #include <string.h> #incl ...