【51NOD1847】奇怪的数学题(杜教筛,min_25筛,第二类斯特林数解决自然数幂求和)

这篇博客探讨了一种数论问题的解决方法,涉及到最大公约数(GCD)、欧几里得算法、第二类斯特林数以及杜教筛等数学工具。文章详细解释了如何利用这些工具解决关于次大因数的求和问题,通过分块和前缀和优化算法复杂度。同时,文章还介绍了如何处理质数和合数的特殊情况,以及在计算过程中如何避免模数不支持取逆的问题。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

f ( n ) f(n) f(n) 表示 n n n 的次大因数。
∑ i = 1 n ∑ j = 1 n f ( gcd ⁡ ( i , j ) ) k = ∑ d = 1 n f ( d ) k ∑ i = 1 ( n / d ) ∑ j = 1 ( n / d ) [ gcd ⁡ ( i , j ) = 1 ] = ∑ d = 1 n f ( d ) k ( 2 ∑ i = 1 ( n / d ) φ ( i ) − 1 ) \begin{aligned} &\sum_{i=1}^n\sum_{j=1}^nf(\gcd(i,j))^k\\ =&\sum_{d=1}^nf(d)^k\sum_{i=1}^{(n/d)}\sum_{j=1}^{(n/d)}[\gcd(i,j)=1]\\ =&\sum_{d=1}^nf(d)^k\left(2\sum_{i=1}^{(n/d)}\varphi(i)-1\right) \end{aligned} ==i=1nj=1nf(gcd(i,j))kd=1nf(d)ki=1(n/d)j=1(n/d)[gcd(i,j)=1]d=1nf(d)k2i=1(n/d)φ(i)1
(其中第二步推到第三步是根据 φ \varphi φ 的定义,括号内 − 1 -1 1 是因为 i = j = 1 i=j=1 i=j=1 的情况我们算了两次)

我们数论分块,然后后面括号里的 φ \varphi φ 的前缀和可以用杜教筛解决。

对于前面的 f ( d ) k f(d)^k f(d)k 的前缀和,我们分为质数和合数两部分。

对于质数, f ( p ) = 1 f(p)=1 f(p)=1,于是询问的就是区间质数个数,这个可以用 min_25 筛解决。

对于合数,观察 min_25 筛中推导 g k ( n , i ) = ∑ x = 1 n [ x ∈ P ∨ lpf ⁡ ( x ) > p i ] x k g_k(n,i)=\sum\limits_{x=1}^n[x\in \mathbb{P}\lor \operatorname{lpf}(x)>p_i]x^k gk(n,i)=x=1n[xPlpf(x)>pi]xk 的过程: g k ( n , i ) g_k(n,i) gk(n,i) g k ( n , i − 1 ) g_k(n,i-1) gk(n,i1) 减去最小质因数为 p i p_i pi 的合数的贡献得到。所以我们只需要加上求 g k ( n , i ) g_k(n,i) gk(n,i) 过程中用 g k ( n , i − 1 ) g_k(n,i-1) gk(n,i1) 减去的东西即可。

但是注意初始化 g k ( n , 0 ) = ∑ x = 2 n x k g_k(n,0)=\sum\limits_{x=2}^nx^k gk(n,0)=x=2nxk 时,不能直接用拉格朗日插值来求自然数幂求和,因为模数 2 32 2^{32} 232 不支持取逆。

那么就需要用到第二类斯特林数了:
∑ i = 0 n i k = ∑ j = 0 k { k j } ( n + 1 ) j + 1 ‾ j + 1 \sum_{i=0}^ni^k=\sum_{j=0}^k\begin{Bmatrix}k\\j\end{Bmatrix}\dfrac{(n+1)^{\underline{j+1}}}{j+1} i=0nik=j=0k{kj}j+1(n+1)j+1
我们 O ( k 2 ) O(k^2) O(k2) 预处理第二类斯特林数,然后每次 O ( k 2 ) O(k^2) O(k2) 查询。

#include<bits/stdc++.h>

#define K 55
#define ll unsigned int

using namespace std;

inline ll poww(ll a,int b)
{
	int ans=1;
	while(b)
	{
		if(b&1) ans=ans*a;
		a=a*a;
		b>>=1;
	}
	return ans;
}

inline int read()
{
	int x=0,f=1;
	char ch=getchar();
	while(ch<'0'||ch>'9')
	{
		if(ch=='-') f=-1;
		ch=getchar();
	}
	while(ch>='0'&&ch<='9')
	{
		x=(x<<1)+(x<<3)+(ch^'0');
		ch=getchar();
	}
	return x*f;
}

int n,k;

namespace s1
{
	const int maxn=100000,N=maxn+10;
	const int SN=10010;
	int cnt,p[N];
	bool notprime[N];
	ll phi[N],sphi[SN];
	void init()
	{
		phi[1]=1;//!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
		for(int i=2;i<=maxn;i++)
		{
			if(!notprime[i])
			{
				p[++cnt]=i;
				phi[i]=i-1;
			}
			for(int j=1,x;j<=cnt&&(x=i*p[j])<=maxn;j++)
			{
				notprime[x]=1;
				if(!(i%p[j]))
				{
					phi[x]=phi[i]*p[j];
					break;
				}
				phi[x]=phi[i]*phi[p[j]];
			}
		}
		for(int i=2;i<=maxn;i++)
			phi[i]=phi[i-1]+phi[i];
	}
	int get(int x)
	{
		return n/x;
	}
	ll S(int n)
	{
		if(n<=maxn) return phi[n];
		if(sphi[get(n)]) return sphi[get(n)];
		ll ans=1ll*n*(n+1)/2;
		for(int l=2,r;l<=n;l=r+1)
		{
			r=n/(n/l);
			ans-=S(n/l)*(r-l+1);
		}
		return sphi[get(n)]=ans;
	}
	ll query(int n)
	{
		return S(n);
	}
}

namespace s2
{
	const int N=32000;
	int sn,tot,b[N<<1],id1[N],id2[N];
	int cnt,p[N];
	bool notprime[N];
	ll s[K][K];
	ll powk[N],gpk[N];
	ll g0[N<<1],gk[N<<1];
	ll ans1[N<<1];
	void init()
	{
		for(int i=2;i<=sn;i++)
		{
			if(!notprime[i])
			{
				p[++cnt]=i,powk[cnt]=poww(i,k);
				gpk[cnt]=gpk[cnt-1]+powk[cnt];
			}
			for(int j=1,x;j<=cnt&&(x=i*p[j])<=sn;j++)
			{
				notprime[x]=1;
				if(!(i%p[j])) break;
			}
		}
	}
	ll getsum(int n)
	{
		ll ans=0;
		for(int j=0;j<=k;j++)
		{
			ll tmp=1;
			for(int l=0;l<=j;l++)
			{
				if((n+1-l)%(j+1)) tmp*=(n+1-l);
				else tmp*=(n+1-l)/(j+1);
			}
			ans+=s[k][j]*tmp;
		}
		return ans;
	}
	int get(int x)
	{
		return x<=sn?id1[x]:id2[n/x];
	}
	void work()
	{
		sn=sqrt(n);
		init();
		s[0][0]=1;
		for(int i=1;i<=k;i++)
			for(int j=1;j<=k;j++)
				s[i][j]=s[i-1][j-1]+s[i-1][j]*j;
		for(int l=1,r;l<=n;l=r+1)
		{
			r=n/(n/l);
			int x=n/l;
			b[++tot]=x;
			if(x<=sn) id1[x]=tot;
			else id2[n/x]=tot;
			g0[tot]=x-1;
			gk[tot]=getsum(x)-1;
		}
		for(int i=1;i<=cnt;i++)
		{
			int pi2=p[i]*p[i];
			for(int j=1;j<=tot&&pi2<=b[j];j++)
			{
				int v=get(b[j]/p[i]);
				g0[j]=g0[j]-(g0[v]-(i-1));
				gk[j]=gk[j]-powk[i]*(gk[v]-gpk[i-1]);
				ans1[j]+=gk[v]-gpk[i-1];
			}
		}
	}
	ll query(int n)
	{
		return ans1[get(n)]+g0[get(n)];
	}
}

int main()
{
	n=read(),k=read();
	s1::init();
	s2::work();
	ll ans=0,lst=0;
	for(int l=1,r;l<=n;l=r+1)
	{
		r=n/(n/l);
		ll now=s2::query(r);
		ans+=(now-lst)*(s1::query(n/l)*2-1);
		lst=now;
	}
	cout<<ans<<endl;
	return 0;
}
/*
10 1
*/
/*
15 1
*/
/*
1000000 50
*/
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值