【刷题】BZOJ 3512 DZY Loves Math IV

Description

给定n,m,求 模10^9+7的值。

Input

仅一行,两个整数n,m。

Output

仅一行答案。

Sample Input

100000 1000000000

Sample Output

857275582
数据规模:
1<=n<=105,1<=m<=109,本题共4组数据。

Solution

这题还真是要一点函数基础
\(S(n,m)=\sum_{i=1}^m\varphi(in)\) ,所以答案就是 \(\sum_{i=1}^nS(i,m)\)
对于一个 \(S(n,m)\) ,寻找它的性质,发现:

  • \(\mu(n)=0\) 时,\(S(n,m)=\prod_ip_i^{a_i-1}S(\prod_ip_i,m)\)
  • \(|\mu(n)|=1\) 时,\(S(n,m)=\sum_{d|n}\varphi(\frac{n}{d})S(d,\lfloor\frac{m}{d}\rfloor)\)

第一个性质很显然吧,类似于线性筛嘛,如果 \(i\%j==0\)\(\varphi(ij)=j\times\varphi(i)\)
第二个性质证明如下:

我们试着找出 \(\varphi(in)\) 的式子
\(gcd(i,n)=x\) ,同时,\(n=x \times y\) ,由于 \(|\mu(n)|=1\) ,所以 \(gcd(x,y)=1\)
那么,\(\varphi(in)=x\times\varphi(y)\varphi(i)\) ,将 \(x\) 拆成 \(\varphi*1\) 的卷积,那么,\(\varphi(in)=\varphi(i)\sum_{d|x}\varphi(d)\varphi(y)=\varphi(i)\sum_{d|x}\varphi(\frac{x}{d})\varphi(y)\)
因为 \(gcd(x,y)=1\) ,再把 \(\sum\) 外面的 \(\varphi(y)\) 乘进去,变成 \(\varphi(i)\sum_{d|x}\varphi(\frac{xy}{d})\) ,即 \(\varphi(i)\sum_{d|n,d|i}\varphi(\frac{n}{d})\)
那么 \(S(n,m)=\sum_{i=1}^n\varphi(in)=\sum_{i=1}^n\varphi(i)\sum_{d|n,d|i}\varphi(\frac{n}{d})\)
转换枚举方式,枚举 \(n\) 的约数,\(\sum_{d|n}\varphi(\frac{n}{d})\sum_{i=1}^{\lfloor\frac{m}{d}\rfloor}\varphi(id)=\sum_{d|n}\varphi(\frac{n}{d})S(d,\lfloor\frac{m}{d}\rfloor)\)

知道了这两个性质,便直接递归求解就好了
\(n=1\) 的时候,用杜教筛求解
复杂度的话我不会求啊,大概是 \(S(n,m)\) 式子中 \(n\) 的取值有 \(O(n)\) 种,\(m\) 的取值有 \(O(\sqrt{m})\) 种,杜教筛 \(O(m^{\frac{3}{4}})\)\(d\) 的取值 \(O(\sqrt{n})\)
然后最后复杂度是 \(O(n(\sqrt{n}+\sqrt{m})+m^{\frac{3}{4}})\)
然后 \(n\sqrt{m}\) 跑不满之类的,就可以过了

#include<bits/stdc++.h>
#define ui unsigned int
#define ll long long
#define db double
#define ld long double
#define ull unsigned long long
const int MAXN=200000+10,Mod=1e9+7;
int cnt,vis[MAXN],prime[MAXN],mu[MAXN],phi[MAXN],s[MAXN],lst[MAXN];
ll ans;
std::vector<int> V[MAXN];
std::map< std::pair<int,int>,int > M;
template<typename T> inline void read(T &x)
{
	T data=0,w=1;
	char ch=0;
	while(ch!='-'&&(ch<'0'||ch>'9'))ch=getchar();
	if(ch=='-')w=-1,ch=getchar();
	while(ch>='0'&&ch<='9')data=((T)data<<3)+((T)data<<1)+(ch^'0'),ch=getchar();
	x=data*w;
}
template<typename T> inline void write(T x,char ch='\0')
{
	if(x<0)putchar('-'),x=-x;
	if(x>9)write(x/10);
	putchar(x%10+'0');
	if(ch!='\0')putchar(ch);
}
template<typename T> inline void chkmin(T &x,T y){x=(y<x?y:x);}
template<typename T> inline void chkmax(T &x,T y){x=(y>x?y:x);}
template<typename T> inline T min(T x,T y){return x<y?x:y;}
template<typename T> inline T max(T x,T y){return x>y?x:y;}
inline void init()
{
	memset(vis,1,sizeof(vis));
	vis[0]=vis[1]=0;
	phi[1]=mu[1]=lst[1]=1;
	for(register int i=2;i<MAXN;++i)
	{
		if(vis[i])
		{
			prime[++cnt]=i;
			mu[i]=-1,phi[i]=i-1,lst[i]=i;
		}
		for(register int j=1;j<=cnt&&i*prime[j]<MAXN;++j)
		{
			vis[i*prime[j]]=0;
			if(i%prime[j])
			{
				mu[i*prime[j]]=-mu[i];
				phi[i*prime[j]]=phi[i]*phi[prime[j]];
				lst[i*prime[j]]=lst[i]*lst[prime[j]];
			}
			else
			{
				phi[i*prime[j]]=phi[i]*prime[j];
				lst[i*prime[j]]=lst[i];
				break;
			}
		}
	}
	for(register int i=1;i<MAXN;++i)
	{
		s[i]=(s[i-1]+phi[i])%Mod;
		for(register int j=1;i*j<MAXN;++j)V[i*j].push_back(i);
	}
}
inline ll P(int n)
{
	if(n<MAXN)return s[n];
	std::pair<int,int> pr=std::make_pair(1,n);
	if(M.find(pr)!=M.end())return M[pr];
	ll res=0;
	for(register int i=2;;)
	{
		if(i>n)break;
		int j=n/(n/i);
		(res+=1ll*(j-i+1)*P(n/i)%Mod)%=Mod;
		i=j+1;
	}
	return M[pr]=((1ll*(1+n)*n/2)%Mod-res+Mod)%Mod;
}
inline ll S(int n,int m)
{
	std::pair<int,int> pr=std::make_pair(n,m);
	if(n==1)return P(m);
	if(m==0)return 0;
	if(M.find(pr)!=M.end())return M[pr];
	if(mu[n]==0)return M[pr]=1ll*(n/lst[n])*S(lst[n],m)%Mod;
	ll res=0;
	for(register int i=0,lt=V[n].size();i<lt;++i)(res+=1ll*phi[n/V[n][i]]*S(V[n][i],m/V[n][i])%Mod)%=Mod;
	return M[pr]=res;
}
int main()
{
	int n,m;read(n);read(m);init();
	for(register int i=1;i<=n;++i)(ans+=S(i,m))%=Mod;
	write(ans,'\n');
	return 0;
}
posted @ 2018-08-30 20:16  HYJ_cnyali  阅读(170)  评论(0编辑  收藏  举报