[51nod1965]奇怪的式子
noteskey
怎么说,魔性的题目...拿来练手 min_25 正好...吧
首先就是把式子拆开来算贡献嘛
\]
for left
前面的东西我们发现可以转化...
\]
因为 \(\mu\) 只有在 i 每个质因子不超过 1 个的时候才有贡献,我们令 \(c(i)\) 表示 i 的质因子个数
\]
然后转指数相加
\]
然后我们令 \(S(n)\) 表示 \(c(i)\mu(i)\) 的前缀和,我们的任务就是求出 \(S(n)\) 了
我们发现这个东西不打好求,那么上万能的 min25 筛
假设我们已经求出了质数个数的前缀和函数 g ,那么我们设 \(S(i,j)\) 表示 i 以内 x 最小质因子大于等于 \(p_j\) 或者 x 为质数的\(\sum c(x)\mu(x)\)
那么转移就是:
\]
\]
其中 \(Mu(i,j)\) 表示 x 最小质因子大于等于 \(p_j\) 或者 x 为质数的 \(\sum \mu(x)\) 至于后面之所以要加上 j 就是考虑减去质数的重复贡献
然后边界条件就是 \(S(i,|P|)=-g(i),Mu(i,|P|)=-g(i)\)
然后让 ANS 初始为 \(2^{S(i,1)}\)
那么第一部分就已经完成了QVQ
for right
后面的东西还是可以推式子...
我们令 \(sum(n)\) 表示 \(\sum_{i=1}^n i\) , \(h(n)\) 表示 \(\sum_{i=1}^{n} i[i∈Prime]\)
也就是说我们可以 min25 筛预处理出 h
然后我们想想怎么转移,我们知道 \(\sigma_{0}\) 是一个积性函数,也就是说我们枚举一个 质数 的 n 次方,那么它对答案的贡献不会受到别的因数的影响,所以我们考虑枚举质因子以及次数,那么答案就是
\]
\]
后面那个 \(g(p,e)\) 就是 \({{n\over p^e}-{n\over p^{e+1}}}\)
这里我们就是考虑 n 以内多少个数含有恰好 \(p^e\) 这个约数
那么转移就比较显然了...但是我们发现这里的 n 以内的质数有点多啊...
那么我们发现 e 可能大于 1 当且仅当 \(p^2<=n\) ,所以:
p^2<=n: 同上所述累乘贡献
p^2>n: 数论分块加速贡献累乘
于是这就是两部分贡献的计算了
但是有个比较突出的问题就是这道题的模数其实有两个,因为我们 min_25 中计算的数都是拿来当指数的,那么根据欧拉定理有 \(a^b=a^{b\%φ(p)+φ(p)} (mod ~p)\)(同余什么的就不来打了,麻烦)
那么这里的模数虽说是丧心病狂的大,但它是个质数,我们拿 \(p-1\) 带入做 \(φ(p)\) 就好了
然后就是一些小细节的问题了...
code
代码中有详细解释...
//by Judge
#pragma GCC optimize("Ofast")
#include<bits/stdc++.h>
#define Rg register
#define fp(i,a,b) for(Rg int i=(a),I=(b)+1;i<I;++i)
#define fd(i,a,b) for(Rg int i=(a),I=(b)-1;i>I;--i)
#define db long double
#define ll long long
using namespace std;
const ll mod=1e12+39,P=mod-1;
const int M=1e6+3;
typedef int arr[M];
typedef ll ARR[M];
#ifndef Judge
#define getchar() (p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<21,stdin),p1==p2)?EOF:*p1++)
#endif
char buf[1<<21],*p1=buf,*p2=buf;
inline ll read(){ ll x=0,f=1; char c=getchar();
for(;!isdigit(c);c=getchar()) if(c=='-') f=-1;
for(;isdigit(c);c=getchar()) x=x*10+c-'0'; return x*f;
} char sr[1<<21],z[20];int CCF=-1,Z;
inline void Ot(){fwrite(sr,1,CCF+1,stdout),CCF=-1;}
inline void print(ll x,char chr='\n'){
if(CCF>1<<20)Ot();if(x<0)sr[++CCF]=45,x=-x;
while(z[++Z]=x%10+48,x/=10);
while(sr[++CCF]=z[Z],--Z);sr[++CCF]=chr;
} ll n,m,cnt,tot,sq,ans; arr id1,id2,v,p; ARR w,g,h,f,sp,sum;
namespace calc{
inline ll add1(Rg ll x,Rg ll y){return x+y>=mod?x+y-mod:x+y;}
inline ll add2(Rg ll x,Rg ll y){return x+y>=P?x+y-P:x+y;}
inline ll mul1(Rg ll x,Rg ll y){return x*y-(ll)((db)x*y/mod)*mod;}
inline ll mul2(Rg ll x,Rg ll y){return x*y-(ll)((db)x*y/P)*P;}
inline ll dec1(Rg ll x,Rg ll y){return x-y<0?x-y+mod:x-y;}
inline ll dec2(Rg ll x,Rg ll y){return x-y<0?x-y+P:x-y;}
inline ll Sum(Rg ll x){return x&1?mul2(x,(x+1)>>1):mul2(x>>1,x+1);}
inline ll qpow(Rg ll x,Rg ll p){ p=(p%P+P)%P; Rg ll s=1;
for(;p;p>>=1,x=mul1(x,x)) if(p&1) s=mul1(s,x); return s;
}
} using namespace calc;
inline void prep(int n){
fp(i,2,n){ if(!v[i]) p[++cnt]=i,sp[cnt]=sp[cnt-1]+i;
for(Rg int j=1;j<=cnt&&i*p[j]<=n;++j)
{v[i*p[j]]=1; if(!(i%p[j])) break;}
}
}
inline int ID(Rg ll x){return x<=sq?id1[x]:id2[n/x];}
inline void Min_25(ll n){ m=0,sq=sqrt(n),
tot=upper_bound(p+1,p+1+cnt,sq)-1-p;
for(ll i=1;i<=n;i=w[m]+1) w[++m]=n/(n/i),g[m]=w[m]-1,
sum[m]=h[m]=Sum(w[m]),h[m]=dec2(h[m],1),
w[m]<=sq?id1[w[m]]=m:id2[n/w[m]]=m;
fp(j,1,tot) for(Rg int i=m,k;1ll*p[j]*p[j]<=w[i];--i)
k=ID(w[i]/p[j]),g[i]=dec2(g[i],dec2(g[k],j-1)), // g 为质数个数前缀和
h[i]=dec2(h[i],mul2(p[j],dec2(h[k],sp[j-1]))); // h 为质数前缀和
fp(i,1,m) f[i]=g[i]=dec2(0,g[i]); // 初始化 f g
fd(j,tot,1) for(Rg int i=m,k;1ll*p[j]*p[j]<=w[i];--i)
k=ID(w[i]/p[j]),g[i]=dec2(g[i],add2(g[k],j)), // mu 也要求出前缀和
f[i]=dec2(f[i],add2(add2(g[k],j),add2(f[k],j))); //计算所求函数的前缀和
ans=qpow(2,f[m]); Rg ll i,j,res;
/////////////////////////////part 2///////////////////////////////////
for(j=1;j<=tot&&1ll*p[j]*p[j]<=n;++j){ //对于 p_i <= sqrt(n) 每次枚举质数个数算贡献
Rg ll x=p[j],y=1ll*p[j]*p[j];
for(i=1;x<=n;++i,x=y,y*=p[j])
res=dec2(mul2(x,sum[ID(n/x)]),y<=n?mul2(y,sum[ID(n/y)]):0),
ans=mul1(ans,qpow(i+1,res));
}
i=p[j-1]+1,j=n/(n/i);
for(;i<=j;++i) if(!v[i]) ans=mul1(ans,qpow(2,mul2(i,n/i)));
for(;i<=n;i=j+1) j=n/(n/i),res=dec2(h[ID(j)],h[ID(i-1)]), //对于 p_i > sqrt(n) 数论分块算贡献
res=mul2(res,sum[ID(n/i)]),ans=mul1(ans,qpow(2,res));
print(ans);
}
int main(){ int T=read(); prep(1e6);
while(T--) n=read(),Min_25(n); return Ot(),0;
}
[51nod1965]奇怪的式子的更多相关文章
- 51nod1965. 奇怪的式子(min_25筛)
题目链接 http://www.51nod.com/Challenge/Problem.html#!#problemId=1965 题解 需要求的式子显然是个二合一形式,我们将其拆开,分别计算 \(\ ...
- 【51nod1965】奇怪的式子
Portal --> 51nod1965 Solution 怎么说呢..这题..做的有点痛苦.. 首先看这个式子长得..比较奇怪,指数里面那个加号有点烦人,而且这个函数不是一个积性函数也有点烦人 ...
- 【51NOD1965】奇怪的式子 min_25筛
题目描述 给你\(n\),求 \[ \prod_{i=1}^n{\sigma_0(i)}^{i+\mu(i)} \] 对\({10}^{12}+39\)取模. \(\sigma_0(i)\)表示约数个 ...
- 51NOD1965:奇怪的式子
传送门 拆开变成 \[\prod_{i=1}^{n}\sigma_0(i)^{\mu(i)}\prod_{i=1}^{n}\sigma_0(i)^{i}\] 考虑 \(\prod_{i=1}^{n}\ ...
- 51nod 1965 奇怪的式子 —— min_25筛
题目:http://www.51nod.com/Challenge/Problem.html#!#problemId=1965 推式子就同这里:https://www.cnblogs.com/yoyo ...
- 51nod 1965 奇怪的式子——min_25筛
题目:http://www.51nod.com/Challenge/Problem.html#!#problemId=1965 考虑 \( \prod_{i=1}^{n}\sigma_0^i \) \ ...
- light oj 1236 分解质因数
题目链接:http://acm.hust.edu.cn/vjudge/contest/view.action?cid=70017#problem/H 题意:求满足1<=i<=j<=n ...
- BZOJ 1045 糖果传递
奇怪的式子.最后发现取中位数. #include<iostream> #include<cstdio> #include<cstring> #include< ...
- BZOJ3456城市规划
题目描述 刚刚解决完电力网络的问题, 阿狸又被领导的任务给难住了.刚才说过, 阿狸的国家有n个城市, 现在国家需要在某些城市对之间建立一些贸易路线, 使得整个国家的任意两个城市都直接或间接的连通.为了 ...
随机推荐
- .NET Core 实现 Redis 批量查询指定格式的Key
一. 问题场景 Redis 作为当前最流行的内存型 NoSQL 数据库,被许多公司所使用,作为分布式缓存.我们在实际使用中一般都会为 key 带上指定的前缀或者其他定义的格式.当由于我们程序出现bug ...
- python 装饰器练习题
1.写出完整的装饰器(不用开了带参装饰器,就是普通装饰器)语法 2.有一个计算两个数和的方法,为其添加一个确保两个参数都是int或float类型的装饰器,保证运算不会抛异常 3.有一个一次性录入人名并 ...
- Day 3 下午
依旧是组合数问题 先来看一道题 如图,一个n*m的方格中,从原点开始,每次只能向上走或者向右走,求走到点(n,m)共有多少种走法 一般做法: 一个一个写,每一个节点的种数=它左边的数量+右边的数量 显 ...
- [mstsc]解决win8 win10 平板无法被mstsc连接的问题
问题如下: https://answers.microsoft.com/zh-hans/windows/forum/windows_8-performance/win8%E6%97%A0%E6%B3% ...
- google vimium插件的一些简单命令
j: 向下滑动 k: 向上滑动 d: 向下一页 u: 向上一页 x: 关闭页面 r: 刷新页面 gg: 回到顶部 yy: 复制网址 t: 打开新标签 f: 显示页内指令 yt: 复制当前网址并打开 o ...
- 如何修改hosts文件
如何修改hosts文件 1.进入路径 C:\Windows\System32\drivers\etc 2.拷贝hosts文件到其他地方3.修改拷贝的hosts文件,右键用记事本打开4.直接修改或添加 ...
- Spring中的AOP 专题
Caused by: java.lang.IllegalArgumentException: ProceedingJoinPoint is only supported for around advi ...
- 洛谷P1258 小车问题(题解)
https://www.luogu.org/problemnew/show/P1258(题目传送) 看题的第一眼就把题归为二分题,一直向着二分的方向走,却忽略了数学的推理.推理一番后(看了题解),发现 ...
- Qt调用自己编译的libglog.a出现问题
我确定依据正确导入库后,依旧出现未定义的引用. undefined reference to _imp___ZN6google17InitGoogleLoggingEPKc 尝试过重新编译,调整编译参 ...
- Python的编码和解码
Python的编码和解码 在不同的国家,存在不同的文字,由于现在的软件都要做到国际化通用,所以必须要有一种语言或编码方式,来实现各种编码的解码,然后重新编码. 在西方国家,没有汉字,只有英文,所以最开 ...