uoj#448. 【集训队作业2018】人类的本质(Min_25筛+拉格朗日插值)
题面
题解
肝了整整一天……膜拜yww和cx巨巨……(虽然它们的题解里我就没看懂几个字)
请备好草稿纸和笔,这种题目就是需要耐心推倒
题目所求是这么一个东西
ans
&=\sum_{i=1}^n\sum_{x_1=1}^i\sum_{x_2=1}^i...\sum_{x_k=1}^ilcm(\gcd(i,x_1),\gcd(i,x_2),...,\gcd(i,x_k))\\
&=\sum_{i=1}^n\sum_{x_1=1}^i\sum_{x_2=1}^i...\sum_{x_k=1}^i\frac{i}{\gcd(\frac{i}{\gcd(i,x_1)},\frac{i}{\gcd(i,x_2)},\ldots,\frac{i}{\gcd(i,x_k)})}\\
\end{aligned}
\]
对于每一个\(y_j={i\over\gcd(i,x_j)}\)来说,我们考虑它会出现多少次
{i\over\gcd(i,x_j)}=y_j\\
\gcd(i,x_j)={i\over y_j}\\
\gcd(y_j,{x_jy_j\over i})=1\\
\end{aligned}
\]
然后我们发现,满足条件的\(x_j\)恰好有\(\varphi(y_j)\)个
那么答案就可以改成
=\sum_{i=1}^n\sum_{y_1,y_2,...,y_k|i}\varphi(y_1)\varphi(y_2)...\varphi(y_k)\frac{i}{\gcd(y_1,y_2,\ldots,y_k)}
\]
我们记
\]
那么这道题就变成要我们对\(f_i\)求和了
首先我们可以发现,\(f_i\)是一个积性函数
考虑如何证明。设\(a,b\)互质,那么\(a\)的任何一个因子和\(b\)的任何一个因子也互质,于是有
f_af_b
&=\sum_{y_1,y_2,...,y_k|a}\sum_{z_1,z_2,...,z_k|b}\varphi(y_1)\varphi(y_2)...\varphi(y_k)\varphi(z_1)\varphi(z_2)...\varphi(z_k)\frac{a}{\gcd(y_1,y_2,\ldots,y_k)}\frac{b}{\gcd(z_1,z_2,\ldots,z_k)}\\
&=\sum_{y_1,y_2,...,y_k|a}\sum_{z_1,z_2,...,z_k|b}\varphi(y_1z_1)\varphi(y_2z_2)...\varphi(y_kz_k){ab\over \gcd(y_1z_1,y_2z_2,...,y_kz_k)}\\
&=\sum_{y_1z_1,y_2z_2,...,y_kz_k|ab}\varphi(y_1z_1)\varphi(y_2z_2)...\varphi(y_kz_k){ab\over \gcd(y_1z_1,y_2z_2,...,y_kz_k)}\\
&=f_{ab}\\
\end{aligned}
\]
可以这么理解,就是每一个\(ab\)的因子分解成\(a\)的因子和\(b\)的因子的乘积的方法是唯一的,所以可以不重不漏地枚举所有\(ab\)的因子,而且\(y\)和\(z\)全部互质,所以两者积的\(\gcd\)就等于两者\(\gcd\)的积
那么我们需要能够快速求出\(f(p^c)\)
f(p^c)
&=\sum_{x_1,x_2,\ldots,x_k=0}^{c}p^{\max(x_1,x_2,\ldots,x_k)}\prod_{j=1}^k\varphi(p^{c-x_j})\\
&=\sum_{i=0}^cp^i(g(i)-g(i-1))\\
\end{aligned}
\]
其中\(g(i)\)表示\(\max(x_1,x_2,...,x_k)\)小于等于\(i\)的总方案数
显然有
\begin{cases}
p^{ck}&,i=c\\
(p^c-p^{c-1-i})^k&,0\leq i< c
\end{cases}
\]
然后再来考虑一下该怎么递推
f(p^{c+1})
&=p^kf(p^c)-p^c(p^{(c+1)k}-(p^{c+1}-1)^k)+p^{c+1}(p^{(c+1)k}-(p^{c+1}-1)^k)\\
&=p^kf(p^c)+p^c(p-1)(p^{(c+1)k}-(p^{c+1}-1)^k)\\
\end{aligned}
\]
这个直接根据公式就可以得出转移了
那么当\(n\)范围很小的时候我们就可以直接递推了
然而如果\(n\)很大怎么办?
这就是个积性函数求和啦!
显然,除非脑子被咱踢了,否则这种奇怪的式子不可能用杜教筛搞的,我们只能考虑\(Min\_25\)筛了
然而\(Min\_25\)筛需要\(f(p)\)是一个完全积性函数,或者可以拆成若干个完全积性函数的和,但现在的\(f(p)\)是个啥呢?
f(p)
&=g(0)+pg(1)-pg(0)\\
&=(1-p)(p-1)^{k+1}-p^{k+1}\\
&=p^{k+1}-(p-1)^{k+1}
\end{aligned}
\]
这式子怎么看都不像个完全积性函数啊……
我们考虑把\((p-1)^{k+1}\)用二项式定理展开一下,等于\(\sum_{i=0}^{k+1}(-1)^{k+1-i}p^i{k+1\choose i}\),然后用\(p^{k+1}\)减去它,发现
\]
那么\(f(p)\)就可以拆成\(k+1\)个完全积性函数的和了。我们每一次枚举\(i\),把记\(f(p)\)的值为\((-1)p^i\),拉格朗日插值求一下前缀和作为初始值,算出答案之后再乘上后面的组合数加到\(g\)数组里就行了
然而\(Min\_25\)筛还需要能够快速求出\(f(p^c)\)的值,这里没有好的办法,只能暴力了
实测当\(n\leq 5000000\)的时候用方法\(1\),其他情况用方法\(2\)求和复杂度最优
明明是个完全抄题解的却因为调了一下啥时候改用方法\(1\)啥时候该用方法\(2\)跑到了\(rank\ 1\)我有点慌
//minamoto
#include<bits/stdc++.h>
#define R register
#define ll long long
#define pi pair<int,int>
#define IT map<pi,int>::iterator
#define fp(i,a,b) for(R int i=a,I=b+1;i<I;++i)
#define fd(i,a,b) for(R int i=a,I=b-1;i>I;--i)
#define go(u) for(int i=head[u],v=e[i].v;i;i=e[i].nx,v=e[i].v)
using namespace std;
const int P=1e9+7;
inline int add(R int x,R int y){return x+y>=P?x+y-P:x+y;}
inline int dec(R int x,R int y){return x-y<0?x-y+P:x-y;}
inline int mul(R int x,R int y){return 1ll*x*y-1ll*x*y/P*P;}
int ksm(R int x,R ll y){
R int res=1;
for(;y;y>>=1,x=mul(x,x))if(y&1)res=mul(res,x);
return res;
}
int n,k;
namespace chino{
const int N=1e7+5;
bitset<N>vis;int p[N/3+5],pw[N],f[N],c[N],tot,v,res;
void MAIN(){
f[1]=pw[1]=1;
fp(i,2,n){
if(!vis[i])p[++tot]=i,pw[i]=ksm(i,k);
for(R int j=1;j<=tot&&1ll*i*p[j]<=n;++j){
vis[v=i*p[j]]=1,pw[v]=mul(pw[i],pw[p[j]]);
if(i%p[j]==0)break;
}
}
fp(i,2,n){
if(!vis[i])c[i]=i,f[i]=dec(ksm(i,k+1),ksm(i-1,k+1));
for(R int j=1;j<=tot&&1ll*i*p[j]<=n;++j){
v=i*p[j];
if(i%p[j]==0){
c[v]=c[i]*p[j];
f[v]=(c[v]==v)?add(mul(pw[p[j]],f[i]),1ll*i*(p[j]-1)%P*dec(pw[v],pw[v-1])%P):mul(f[c[v]],f[v/c[v]]);
break;
}
c[v]=p[j],f[v]=mul(f[i],f[p[j]]);
}
}
fp(i,1,n)res=add(res,f[i]);
printf("%d\n",res);
}
}
namespace yosino{
#define ID(x) (x<=sqr?id1[x]:id2[n/(x)])
const int N=1e5+5;
bitset<N>vis;int p[N],ans[N],g[N],id1[N],id2[N],sp[N];
int fac[N],ifac[N],w[N],sum[N],Pre[N],suf[N],s[N],pw[N];
int tot,cnt,sqr,m;map<pi,int>mp;
inline int C(R int n,R int m){return n<m?0:1ll*fac[n]*ifac[m]%P*ifac[n-m]%P;}
void init(int n=N-5){
fac[0]=ifac[0]=1;
fp(i,1,n)fac[i]=mul(fac[i-1],i);
ifac[n]=ksm(fac[n],P-2);
fd(i,n-1,1)ifac[i]=mul(ifac[i+1],i+1);
fp(i,2,n){
if(!vis[i])p[++tot]=i,sum[tot]=add(sum[tot-1],dec(ksm(i,k+1),ksm(i-1,k+1)));
for(R int j=1;j<=tot&&1ll*i*p[j]<=n;++j){
vis[i*p[j]]=1;
if(i%p[j]==0)break;
}
}
}
void qwq(int x,int n=N-5){
cnt=0,pw[1]=1;
fp(i,2,n){
if(!vis[i])pw[i]=ksm(i,x),++cnt,sp[cnt]=add(sp[cnt-1],pw[i]);
for(R int j=1;1ll*i*p[j]<=n;++j){
pw[i*p[j]]=mul(pw[i],pw[p[j]]);
if(i%p[j]==0)break;
}
}
fp(i,1,n)s[i]=add(s[i-1],pw[i]);
}
int Lar(R int k,R int n){
if(k<=n)return s[k];
Pre[0]=1;fp(i,1,n)Pre[i]=mul(Pre[i-1],k-i);
suf[n+1]=1;fd(i,n,1)suf[i]=mul(suf[i+1],k-i);
int res=0,ty=(n-1)&1?P-1:1;
fp(i,1,n)res=add(res,1ll*s[i]*Pre[i-1]%P*suf[i+1]%P*ifac[i-1]%P*ifac[n-i]%P*ty%P),ty=P-ty;
return res;
}
void solve(int x){
qwq(x);
fp(i,1,m)g[i]=((w[i]<=N-5)?s[w[i]]:Lar(w[i],x+2))-1;
fp(j,1,tot)for(R int i=1;1ll*p[j]*p[j]<=w[i];++i)
g[i]=dec(g[i],mul(pw[p[j]],dec(g[ID(w[i]/p[j])],sp[j-1])));
}
inline int G(R int i,R int p,R int m){
if(i==m)return ksm(p,1ll*k*m);
return ksm(dec(ksm(p,m),ksm(p,m-i-1)),k);
}
inline int F(R int p,R int k){
IT it=mp.find(pi(p,k));
if(it!=mp.end())return it->second;
int res=0,las=0,now;
fp(i,0,k)now=G(i,p,k),res=add(res,mul(ksm(p,i),dec(now,las))),las=now;
return mp[pi(p,k)]=res;
}
int S(int x,int y){
if(x<=1||p[y]>x)return 0;
int res=dec(ans[ID(x)],sum[y-1]);
for(R int i=y;i<=tot&&1ll*p[i]*p[i]<=x;++i)
for(R int e=1,pr=p[i],las=F(p[i],1),now;1ll*pr*p[i]<=x;++e,pr*=p[i],las=now)
now=F(p[i],e+1),res=add(res,add(mul(S(x/pr,i+1),las),now));
return res;
}
void MAIN(){
sqr=sqrt(n),init(),pw[1]=1;
for(R int i=1,j;i<=n;i=j+1)j=n/(n/i),w[++m]=n/i,ID(w[m])=m;
fp(i,0,k){
solve(i);int v=((k-i)&1)?P-C(k+1,i):C(k+1,i);
fp(j,1,m)ans[j]=add(ans[j],mul(v,g[j]));
}
printf("%d\n",S(n,1)+1);
}
}
int main(){
// freopen("testdata.in","r",stdin);
scanf("%d%d",&n,&k);
n<=5e6?chino::MAIN():yosino::MAIN();
return 0;
}
uoj#448. 【集训队作业2018】人类的本质(Min_25筛+拉格朗日插值)的更多相关文章
- 【UOJ448】【集训队作业2018】人类的本质 min_25筛
题目大意 给你 \(n,m\),求 \[ \sum_{i=1}^n\sum_{x_1,x_2,\ldots,x_m=1}^i\operatorname{lcm}(\gcd(i,x_1),\gcd(i, ...
- uoj #450[集训队作业2018]复读机
传送门 \(d=1\),那么任何时刻都可以\(k\)个复读机的一种,答案为\(k^n\) \(d>1\),可以枚举某个复读机的复读次数(必须是\(d\)的倍数),然后第\(i\)个复读时间为\( ...
- UOJ 422 [集训队作业2018] 小Z的礼物 min-max容斥 期望 轮廓线dp
LINK:小Z的礼物 太精髓了 我重学了一遍min-max容斥 重写了一遍按位或才写这道题的. 还是期望多少时间可以全部集齐. 相当于求出 \(E(max(S))\)表示最后一个出现的期望时间. 根据 ...
- UOJ #449. 【集训队作业2018】喂鸽子
UOJ #449. [集训队作业2018]喂鸽子 小Z是养鸽子的人.一天,小Z给鸽子们喂玉米吃.一共有n只鸽子,小Z每秒会等概率选择一只鸽子并给他一粒玉米.一只鸽子饱了当且仅当它吃了的玉米粒数量\(≥ ...
- 【UOJ#450】【集训队作业2018】复读机(生成函数,单位根反演)
[UOJ#450][集训队作业2018]复读机(生成函数,单位根反演) 题面 UOJ 题解 似乎是\(\mbox{Anson}\)爷的题. \(d=1\)的时候,随便怎么都行,答案就是\(k^n\). ...
- 【UOJ#422】【集训队作业2018】小Z的礼物(min-max容斥,轮廓线dp)
[UOJ#422][集训队作业2018]小Z的礼物(min-max容斥,轮廓线dp) 题面 UOJ 题解 毒瘤xzy,怎么能搬这种题当做WC模拟题QwQ 一开始开错题了,根本就不会做. 后来发现是每次 ...
- UOJ#418. 【集训队作业2018】三角形
#418. [集训队作业2018]三角形 和三角形没有关系 只要知道儿子放置的顺序,就可以直接模拟了 记录历史最大值 用一个pair(a,b):之后加上a个,期间最大值为增加b个 合并? A1+A2= ...
- UOJ#422. 【集训队作业2018】小Z的礼物
#422. [集训队作业2018]小Z的礼物 min-max容斥 转化为每个集合最早被染色的期望时间 如果有x个选择可以染色,那么期望时间就是((n-1)*m+(m-1)*n))/x 但是x会变,中途 ...
- UOJ#428. 【集训队作业2018】普通的计数题
#428. [集训队作业2018]普通的计数题 模型转化好题 所以变成统计有标号合法的树的个数. 合法限制: 1.根标号比子树都大 2.如果儿子全是叶子,数量B中有 3.如果存在一个儿子不是叶子,数量 ...
随机推荐
- Make 命令
Linux 下 make 命令是系统管理员和程序员用的最频繁的命令之一.管理员用它通过命令行来编译和安装很多开源的工具,程序员用它来管理他们大型复杂的项目编译问题.本文我们将用一些实例来讨论 make ...
- mycat 实践扩容
实践扩容, travelrecord表定义为10个分片,尝试将10个分片中的2个分片转移到第二台MySQL上 1--定义10个分片<table name="travelrecord_t ...
- md5加密(1)
package com.js.ai.modules.pointwall.util; import java.security.MessageDigest; import java.security.N ...
- linq to sql 类的使用
本文介绍linq to sql模型类的使用 EntityFramework是重量级的数据库模型,如果你想要一个简单轻量级的数据库模型,建议使用linq to sql类 创建模型类 在项目中添加linq ...
- svn 撤销修改
1,更新到最新版本 不知道是哪个文件的问题时,可以svn log查看日志,基本上可以通过哪一次提交修改了哪一个文件推算出 是哪个文件的问题. 若知道是哪个文件的问题,直接svn log 文件名 大致确 ...
- 如何设置linux在出现kernel panic后自动重启 (ZT)
Automatic reboot after Linux kernel panic http://www.syn-ack.org/centos-linux/automatic-reboot-after ...
- CSS3 高级属性
尽管现代浏览器已经支持了众多的CSS3属性,但是大部分设计师和开发人员貌似依然在关注于一些很“主流”的属性,如border-radius.box-shadow或者transform等.它们有良好的文档 ...
- [Python Study Notes]物体运动检测
基于opencv的cv2模块实现 ''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''' ...
- cocos2dx中的内存管理方式
转载:http://www.cocoachina.com/bbs/read.php?tid=195219 今天看了一下cocos2dx的内存管理机制,有些地方不太好理解搞了挺长的时间,现在感觉自己理解 ...
- DOM 操作属性
DOM操作就是针对对象的操作 先写一个按钮,<input tupe="button" value="" id="id"> 这 ...