洛谷 P4714 「数学」约数个数和 解题报告
P4714 「数学」约数个数和
题意(假):每个数向自己的约数连边,给出\(n,k(\le 10^{18})\),询问\(n\)的约数形成的图中以\(n\)为起点长为\(k\)的链有多少条(注意每个点都有自环)
这样想是做不出来题的。
正常的题意是:询问\(n\)的约数的约数的....(共\(k\)次复读后)约数个数和。
考虑\(f_k(n)\)表示答案。
显然有\(f_{k}(n)=\sum_{d|n}f_{k-1}(d)\)
注意到用数论卷积的形式可以表示为
\]
因为\(\mathtt f_0=\mathtt d\),即约数个数,又因为积性函数乘积性函数为积性函数
所以\(\mathtt f_k\)是积性函数。
考虑求\(\mathtt f_k(p^c)\)
我们有\(\mathtt f_k(p^c)=\sum_{i=0}^cf_{k-1}(p^i)\)
我们注意到每次\(k-1\),实际上是对\(p\)有一个划分,我们可以形象的理解为,\(c\)个物品,中间插\(k+1\)个板子,板子之间可以没有物品的方案数,其中物品无序,板子有序(因为每次只能从后往前放置)
根据插板法强制钦定板子的物品,可以得到
\]
这个\(c\)很小,直接算算就可以了。
分解大数可以直接使用Pollard_Rho算法
Code:
#include <cstdio>
#include <cctype>
#include <cstdlib>
#include <algorithm>
#define ll long long
using std::min;
const int SIZE=1<<21;
char ibuf[SIZE],*iS=ibuf,*iT=ibuf;
//#define gc() (iS==iT?(iT=(iS=ibuf)+fread(ibuf,1,SIZE,stdin),iS==iT?EOF:*iS++):*iT++)
#define gc() getchar()
template <class T>
void read(T &x)
{
x=0;char c=gc();
while(!isdigit(c)) c=gc();
while(isdigit(c)) x=x*10+c-'0',c=gc();
}
const int pri[]={2,3,5,7,11,13,17,19,23,29,31,37};
void add(ll &a,ll b,ll p){a=a+b>=p?a+b-p:a+b;}
ll mul(ll d,ll k,ll p)
{
ll f=0;
while(k)
{
if(k&1) add(f,d,p);
add(d,d,p);
k>>=1;
}
return f;
}
ll qp(ll d,ll k,ll p)
{
ll f=1;
while(k)
{
if(k&1) f=mul(f,d,p);
d=mul(d,d,p);
k>>=1;
}
return f;
}
bool Miller_Rabin(ll n)
{
if(n==1) return false;
for(int i=0;i<12;i++) if(n%pri[i]==0) return n==pri[i];
ll res=n-1;int k=0;
while(!(res&1)) res>>=1,++k;
for(int i=0;i<12;i++)
{
ll x=qp(pri[i],res,n);
for(int j=0;j<k&&x>1;j++)
{
ll y=mul(x,x,n);
if(y==1&&x!=n-1) return false;
x=y;
}
if(x!=1) return false;
}
return true;
}
ll F(ll x,ll c,ll p) {return (mul(x,x,p)+c)%p;}
ll gcd(ll a,ll b){return b?gcd(b,a%b):a;}
ll Find(ll n)
{
ll x,y=rand()%n,c=rand()%n;
int w=1<<9;
for(int l=1;;l<<=1)
{
x=y;
for(int i=0;i<l;i++) y=F(y,c,n);
for(int i=0;i<l;i++)
{
int le=min(l-i,w);
ll g=1,las=y;
for(int j=0;j<le;j++) y=F(y,c,n),g=mul(g,(y+n-x)%n,n);
g=gcd(g,n);
if(g==1) continue;
if(g==n)
{
g=1,y=las;
while(g==1) y=F(y,c,n),g=gcd((y+n-x)%n,n);
}
return g;
}
}
}
ll s[1<<19],n,k,ans=1;
int tot;
void Pollard_Rho(ll n)
{
if(n==1) return;
if(Miller_Rabin(n)) {s[++tot]=n;return;}
ll d=Find(n);
while(d==n) d=Find(n);
Pollard_Rho(d),Pollard_Rho(n/d);
}
const ll mod=998244353;
ll C(ll m,ll n)
{
ll f=1;
for(ll i=1;i<=n;i++) f=mul(f,i,mod);
f=qp(f,mod-2,mod);
for(ll i=m;i>m-n;i--) f=mul(f,i,mod);
return f;
}
int main()
{
read(n),read(k);
Pollard_Rho(n);
std::sort(s+1,s+1+tot);
tot=std::unique(s+1,s+1+tot)-s-1;
for(int i=1;i<=tot;i++)
{
ll c=0;
while(n%s[i]==0) n/=s[i],++c;
ans=mul(ans,C(c+k+1,c),mod);
}
printf("%lld\n",ans);
return 0;
}
2019.4.29
洛谷 P4714 「数学」约数个数和 解题报告的更多相关文章
- P4714 「数学」约数个数和
题解: 会了Miller-Rabin这题就很简单了 首先这种题很容易想到质因数分解 但是暴力根号算法是不行的 所以要用到 Miller-Rabin素数 https://blog.csdn.net/lt ...
- luogu 6月月赛 E 「数学」约数个数和
题面在这里! 第一眼感觉炒鸡水啊...只要把N质因数分解一下,因为k次约数相当于求k+2元一次方程的非负整数解,所以答案就是和每个质因子指数有关的一些组合数乘起来. 但是要用pillard's rho ...
- 【LGP4714】「数学」约数个数和
题目 众所周知,除数个数函数\(\sigma_0=I^2\),\(I\)就是狄利克雷卷积里的\(1\)函数 于是熟悉狄利克雷卷积的话很快就能看出我们要求的就是\(I\times I^{k}\),即\( ...
- 洛谷 P4710 「物理」平抛运动
洛谷 P4710 「物理」平抛运动 洛谷传送门 题目描述 小 F 回到班上,面对自己 28 / 110 的物理,感觉非常凉凉.他准备从最基础的力学学起. 如图,一个可以视为质点的小球在点 A(x_0, ...
- 洛谷比赛 「EZEC」 Round 4
洛谷比赛 「EZEC」 Round 4 T1 zrmpaul Loves Array 题目描述 小 Z 有一个下标从 \(1\) 开始并且长度为 \(n\) 的序列,初始时下标为 \(i\) 位置的数 ...
- 题解-洛谷P6788 「EZEC-3」四月樱花
题面 洛谷P6788 「EZEC-3」四月樱花 给定 \(n,p\),求: \[ans=\left(\prod_{x=1}^n\prod_{y|x}\frac{y^{d(y)}}{\prod_{z|y ...
- 洛谷 [SDOI2015]约数个数和 解题报告
[SDOI2015]约数个数和 题目描述 设\(d(x)\)为\(x\)的约数个数,给定\(N,M\),求$ \sum\limits^N_{i=1}\sum\limits^M_{j=1}d(ij)$ ...
- 洛谷 P7879 -「SWTR-07」How to AK NOI?(后缀自动机+线段树维护矩乘)
洛谷题面传送门 orz 一发出题人(话说我 AC 这道题的时候,出题人好像就坐在我的右侧呢/cy/cy) 考虑一个很 naive 的 DP,\(dp_i\) 表示 \([l,i]\) 之间的字符串是否 ...
- 洛谷 P7360 -「JZOI-1」红包(Min-Max 容斥+推式子)
洛谷题面传送门 hot tea. 首先注意到这个 \(\text{lcm}\) 特别棘手,并且这里的 \(k\) 大得离谱,我们也没办法直接枚举每个质因子的贡献来计算答案.不过考虑到如果我们把这里的 ...
随机推荐
- C# 反射 判断类的延伸类型
判断类型是否被继承.实现 1.判断是否实现了指定接口 添加测试类: public class TestClass2 : TestClass1 { } public class TestClass1 : ...
- C#,记录--一个方法中,完成对数据增删改操作
实际应用中,一般不会使用delete彻底的删除数据,大多都是逻辑删除 为了不把本文写成小作文,举个小栗子吧 表 A,deletestate为置删除字段,int类型,值为0和1 表中五条数据 查询 se ...
- 设计模式系列6:适配器模式(Adapter Pattern)
定义 将一个类的接口转换成客户希望的另一个接口,适配器模式使得原本由于接口不兼容而不能一起工作的那些类可以一起工作. --<设计模式>GoF UML类图 使用场景 在遗留代码复用,类 ...
- noi.ac#309 Mas的童年(子集乱搞)
题意 题目链接 Sol 记\(s_i\)表示前\(i\)个数的前缀异或和,我们每次相当于要找一个\(j\)满足\(0 < j < i\)且\((s_i \oplus s_j) + s_j\ ...
- 第八课 表格 html5学习3
表格用来处理表格式数据的,不是用来布局的. 一.基本语法格式 <table> <tr> 行标签 <td></td> 单元格标签 </tr> ...
- Python:当你遇到了the package “public”?
前几天跑github上的一个python项目,先都是看看需要哪些模块哪些包,安装配置好环境的.可是看到 import public我眉头一皱,觉得事情并不简单! 所以准备扒一扒!当然项目需要也是真的哈 ...
- centos7新增硬盘
centos7新增硬盘 步骤:分区---格式化---挂载(配置开机自动挂载) 1.分区 fdisk -l 查看硬盘信息确认新硬盘的名称(以/dev/sdb为例) fdisk /dev/sdb 管理硬 ...
- Linux学习历程——Centos 7 chown命令
一.命令介绍 Linux是多人多工操作系统,所有的文件皆有拥有者.利用 chown 将指定文件的拥有者改为指定的用户或组, 用户可以是用户名或者用户ID:组可以是组名或者组ID:文件是以空格分开的要改 ...
- socket.io 出现的WebSocket is closed before the connection is established
WebSocket is closed before the connection is established 最近socket.io是挺流行的,幼麟棋牌和一些好的开源项目也使用这个框架,在搭建其平 ...
- 记一次在咸鱼上购买 MacBook Pro 的经历
前言 以前一直用的是 windows 的,但是最近特别想买个 macOS 的.其实不是为了其他什么目的,只是涉及到开发 macOS更接近 linux 系统,一直没使用过所以就想尝试体验下,而且现在很多 ...