当前位置: 首页 > article >正文

【min25筛】【CF2020F】Count Leaves

题目

定义 f ( n , 0 ) = 1 f(n,0)=1 f(n,0)=1 f ( n , d ) = ∑ k ∣ n f ( k , d − 1 ) f(n,d)=\sum_{k|n}f(k,d-1) f(n,d)=knf(k,d1)
给出 n , k , d n,k,d n,k,d,你需要求出: ∑ i = 1 n f ( i k , d )   m o d   ( 1 0 9 + 7 ) \sum_{i=1}^n f(i^k,d) \ mod\ (10^9+7) i=1nf(ik,d) mod (109+7)
n ≤ 1 e 9 , k , d ≤ 1 e 5 n\leq 1e9,k,d\leq1e5 n1e9k,d1e5
原题链接

思路

因数?数据范围这么大?那这玩意肯定是积性函数。于是我们通过观察,发现对于固定的 k , d k,d k,d f ( i k , d ) f(i^k,d) f(ik,d) 就是积性函数。但注意,这不是完全积性函数。
所以我们要想一想 f ( p k , d ) , p   i s   p r i m e f(p^k,d),p\ is\ prime f(pk,d)p is prime 怎么求。
注意到, p k p^k pk 的因数是: p 0 , p 1 , . . . , p k p^0, p^1,...,p^k p0,p1,...,pk,这相当于一个 k × d k\times d k×d 的网格,你从左上角走到右下角的方案数。于是有:
f ( p k , d ) = C ( d + k , k ) f(p^k,d)=C(d+k,k) f(pk,d)=C(d+k,k)
我们惊喜的发现,如果 k , d k,d k,d 不变,这就是个定值。定值也是多项式的一种,所以可以用 min25 筛。
但是这又和传统的 min25 筛,因为我们要求 f ( p e k , d ) f(p^{ek},d) f(pek,d) 的值。但其实这玩意只有在求 S S S 的时候会发生(毕竟 g 只是求所有质数的前缀和),依旧是很好做的。

一定要注意的是,求 g g g 的时候,我们是在对常数求 min25,注意不要多乘一个 C ( d + k , k ) C(d+k,k) C(d+k,k)

代码

#include<bits/stdc++.h>
#define int long long
using namespace std;
const int N=5e6+7,inf=1e18,mod=1e9+7;
vector<int> p,sp,g,id1,id2,w;
int n,K,d;
int power(int x,int t)
{
	int b=1;
	while(t)
	{
		if(t&1) b=b*x%mod;
		x=x*x%mod; t>>=1;
	}
	return b;
}
vector<int> fac,unfac;
void initf(int n)
{
	fac.assign(n+1,0);
	unfac.assign(n+1,0);
	fac[0]=1;
	for(int i=1; i<=n; i++)
		fac[i]=fac[i-1]*i%mod;
	unfac[n]=power(fac[n],mod-2);
	for(int i=n-1; i>=0; i--)
		unfac[i]=unfac[i+1]*(i+1)%mod;
}
int C(int x,int y)
{
	if(x<y) return 0;
	return fac[x]*unfac[y]%mod*unfac[x-y]%mod;
}
int tot,sqr,cp;
void init(int n)
{
	p.clear();
	p.push_back(0);
	sp.assign(2*n+7,0);
	w.assign(2*n+7,0);
	g.assign(2*n+7,0);
	id1.assign(2*n+7,0);
	id2.assign(2*n+7,0);
	tot=0;
	
	vector<bool> vis(n+1);
	for(int i=2; i<=n; i++)
	{
		if(!vis[i])
		{
			p.push_back(i);
			int now=p.size()-1;
			sp[now]=(cp*now)%mod;
		}
		for(auto j:p)
		{
			if(!j) continue;
			if(i*j>n) break;
			vis[i*j]=1;
			if(i%j==0) break;
		}
	}
}
int S(int x,int y)
{
	if(x<=1||p[y]>=x) return 0;
	int k=(x<=sqr)?id1[x]:id2[n/x];
	int ans=(mod+g[k]-sp[y])%mod;
	for(int k=y+1; k<p.size()&&p[k]*p[k]<=x; k++)
	{
		int t=p[k];
		for(int e=1; t<=x; e++,t*=p[k])
		{
//			int p=t%mod;
			(ans+=C(d+e*K,d)*(S(x/t,k)+(e!=1))%mod)%=mod;
		}
	}
	return ans;
}
void O_o()
{
	cin>>n>>K>>d;
	cp=C(K+d,d);
	sqr=sqrt(n);
	init(sqr);
	for(int i=1,j; i<=n; i=j+1)
	{
		j=n/(n/i);
		w[++tot]=n/i;
		int now=w[tot]%mod;
		g[tot]=cp*(now-1)%mod;
		if(w[tot]<=sqr)
			id1[w[tot]]=tot;
		else
			id2[n/w[tot]]=tot;
	}
	for(int i=1; i<p.size(); i++)
	{
		for(int j=1; j<=tot&&p[i]*p[i]<=w[j]; j++)
		{
			int k=w[j]/p[i]<=sqr?id1[w[j]/p[i]]:id2[n/(w[j]/p[i])];
			(g[j]+=mod-(g[k]-sp[i-1]+mod)%mod)%=mod;
		}
	}
	int ans=S(n,0)+1;
	cout<<ans%mod<<"\n";
}
signed main()
{
	ios::sync_with_stdio(false); cin.tie(0); cout.tie(0);
	cout<<fixed<<setprecision(12);
	int T=1;
	initf(N);
	cin>>T;
	while(T--)
	{
		O_o();
	}
}


http://www.kler.cn/news/326585.html

相关文章:

  • 【优选算法】(第五篇)
  • RabbitMQ 队列之战:Classic 和 Quorum 的性能洞察
  • pve虚拟机常见问题汇总
  • 【Linux 从基础到进阶】Azure 云服务在 Linux 上的应用
  • 【编程小白必看】MySQL 聚合函数操作秘籍一文全掌握
  • 算法安全自评估报告如何填写?(附模板)
  • 前端项目场景相关的面试题,包含验证码、图片存储、登录鉴权、动态路由、组件划分等项目场景实际的面试题
  • Leetcode面试经典150题-322.零钱兑换
  • django创建项目
  • uview表单校验不生效问题
  • MySql5.7.26安装和配置
  • C#_运算符重载详细解析
  • 随手记:ul-table表格合并方法
  • 爬虫库是什么?是ip吗
  • mysql 用户相关操作
  • 【深度学习】(8)--神经网络使用最优模型
  • js统计字符串中每个字符出现的次数
  • Python | Leetcode Python题解之第440题字典序的第K小数字
  • 【DP解密多重背包问题】:优化策略与实现
  • Iptables,ufw,firewalld的关系与区别
  • 大语言模型(LLM)的子模块拆拆分进行联邦学习;大语言模型按照多头(Multi-Head)拆分进行联邦学习
  • pdf转换成word有哪些方法?10种将PDF转成word的方法
  • 搜维尔科技:5DT数据手套超高的数据质量、较低的交叉关联、高数据频率
  • VUE 开发——AJAX学习(一)
  • 群晖安装Audiobookshelf(有声书)
  • YOLOv11改进 | Neck篇 | YOLOv11引入BiFPN双向特征金字塔网络
  • 项目管理专业资质认证ICB 3中关于项目经理素质的标准
  • FreeRTOS调度器与任务
  • HTML初认识 -- 第二课(全网最好的入门课)
  • el-cascader懒加载回显问题