●BZOJ 3512 DZY Loves Math IV
题链:
http://www.lydsy.com/JudgeOnline/problem.php?id=3512
题解:
$$求ANS=\sum_{i=1}^{N}\sum_{j=1}^{M}\phi(ij)\quad N\leq 10^5\;M\leq 10^9$$
杜教筛
因为N比较小,所以从这里入手:
设$sum(n,M)=\sum_{i=1}^{M}\phi(ni)$
则答案为$ANS=\sum_{n=1}^{N}sum(n,M)$
考虑如何求$sum(n,M)$
首先按照唯一分解定理,$n={p_1}^{a_1}\times {p_2}^{a_2}\times\cdots\times {p_k}^{a_k}$
另$n'={p_1}^{1}\times {p_2}^{1}\times\cdots\times {p_k}^{1},P=\frac{n}{n'}$
由$\phi$的定义可得:$$\phi(n)=P\phi(\frac{n}{P})=P\phi(n')$$
所以$$sum(n,M)=P\times sum(n',M)$$
(现在n'没有平方质因子,即$|\mu(n')|=1$)
第一阶段已经结束,我们看看$sum(n',M)$又该怎么求?
任取一个n'的质因子,我们这里取最小的那个,用miniP表示:
显然$gcd(miniP,\frac{n'}{miniP})=1,即miniP和\frac{n'}{miniP}互质$
从$sum(n',M)=\sum_{i=1}^{M}\phi(n'i)$这个定义入手,接下来分两种情况:
(一)、miniP不是i的因子
那么有$$\phi(n'i)=\phi(miniP)\phi(\frac{n'}{miniP}i)=(miniP-1)\phi(\frac{n'}{miniP}i)$$
先假设$sum(n',M)=\sum_{i=1}^{M}\phi(n'i)$中枚举的i都与miniP互质,那么得到:
$$\begin{aligned}
sum(n',M)&=\sum_{i=1}^{M}\phi(n'i)\\
&=\sum_{i=1}^{M}(miniP-1)\phi({\frac{n'}{minip}i})\\
&=(miniP-1)sum(\frac{n'}{minip},M)\\
\end{aligned}$$
(二)、miniP是i的因子
那么有$$\phi(n'i)=miniP\phi(\frac{n'}{miniP}i)$$
显然对于上面的$sum(n',M)=(miniP-1)sum(\frac{n'}{minip},M)$而言,每当枚举到一个i与miniP不互质时,
就会少加一个$\phi(\frac{n'}{miniP}i)$
现在我们希望把这些漏掉的加回来,设漏加的总和为w,则:
$$\begin{aligned}
w&=\sum_{miniP|i}\phi(\frac{n'}{miniP}i)\\
&=\sum_{i=1}^{\lfloor \frac{M}{miniP} \rfloor}\phi(\frac{n'}{miniP}(i\times miniP))\\
&=\sum_{i=1}^{\lfloor \frac{M}{miniP} \rfloor}\phi(n'i)\\
&=sum(n',\lfloor \frac{M}{miniP} \rfloor)
\end{aligned}$$
所以,综上两种情况,我们得到:
$$sum(n',M)=(miniP-1)sum(\frac{n'}{minip},M)+sum(n',\lfloor \frac{M}{miniP} \rfloor)$$
差不多就这样了,我们枚举每个n,
分别求出:
$sum(n,M)=P\times sum(n',M)=P\times((miniP-1)sum(\frac{n'}{minip},M)+sum(n',\lfloor \frac{M}{miniP} \rfloor))$
对于每个sum(),进行递归求解,
到了递归的最底层时,
若n==1,那么$sum(1,M)=\sum_{i=1}^{M}\phi(i)$,用杜教筛求解。
若m==1,那么$sum(n,1)=phi(n),直接返回即可$
另外要先预处理出前$M^{\frac{2}{3}}个phi()$的前缀和,便于降低杜教筛的复杂度。
代码:
#include<bits/stdc++.h>
#define MAXN 100050
#define DJM 1000000
#define mod 1000000007
using namespace std;
struct Hash_Table{
#define Hmod 1425367
int org[DJM],val[DJM],nxt[DJM],head[Hmod],hnt;
Hash_Table(){hnt=2;}
void Push(int x,int v){
static int u; u=x%Hmod;
org[hnt]=x; val[hnt]=v; nxt[hnt]=head[u]; head[u]=hnt++;
}
int Find(int x){
static int u; u=x%Hmod;
for(int i=head[u];i;i=nxt[i])
if(org[i]==x) return val[i];
return -1;
}
}H;
int P[DJM+50],miniP[DJM+50],phi[DJM+50],sphi[DJM+50];
int sum[MAXN];
int N,M;
void Sieve(){
static bool np[DJM+50];
static int prime[DJM+50],pnt;
phi[1]=1; P[1]=1; miniP[1]=1;
for(int i=2;i<=DJM;i++){
if(!np[i]) prime[++pnt]=i,phi[i]=i-1,P[i]=1,miniP[i]=i;
for(int j=1;j<=pnt&&i<=DJM/prime[j];j++){
np[i*prime[j]]=1; miniP[i*prime[j]]=prime[j];
if(i%prime[j]){
phi[i*prime[j]]=phi[i]*phi[prime[j]];
P[i*prime[j]]=P[i];
}else{
phi[i*prime[j]]=phi[i]*prime[j];
P[i*prime[j]]=P[i]*prime[j];
break;
}
}
}
//for(int i=1;i<=DJM;i++) printf(":P=%d miniP=%d phi=%d\n",P[i],miniP[i],phi[i]);
for(int i=1;i<=DJM;i++) sphi[i]=(1ll*phi[i]+sphi[i-1])%mod;
}
int DJ_Sieve(int m){
if(m<=DJM) return sphi[m];
if(H.Find(m)!=-1) return H.Find(m);
int now=(1ll*m*(1+m)/2)%mod;
for(int i=2,last;i<=m;i=last+1){
last=m/(m/i);
now=(1ll*now-1ll*(last-i+1)*DJ_Sieve(m/i)%mod+mod)%mod;
}
H.Push(m,now);
return now;
}
int S(int n,int m){
if(m==0) return 0;
if(m==1) return phi[n];
if(n==1) return DJ_Sieve(m);
if(m==M&&sum[n]) return sum[n];
int now=(1ll*(miniP[n]-1)*S(n/miniP[n],m)+S(n,m/miniP[n]))%mod;
if(m==M) sum[n]=now;
if(now<0) printf("S %d %d\n",n,m);
return now;
}
int main(){
Sieve();
scanf("%d%d",&N,&M);
int ans=0;
for(int n=1;n<=N;n++)
ans=(1ll*ans+1ll*P[n]*S(n/P[n],M))%mod;
printf("%d\n",ans);
return 0;
}
●BZOJ 3512 DZY Loves Math IV的更多相关文章
- BZOJ 3512: DZY Loves Math IV [杜教筛]
3512: DZY Loves Math IV 题意:求\(\sum_{i=1}^n \sum_{j=1}^m \varphi(ij)\),\(n \le 10^5, m \le 10^9\) n较小 ...
- 【刷题】BZOJ 3512 DZY Loves Math IV
Description 给定n,m,求 模10^9+7的值. Input 仅一行,两个整数n,m. Output 仅一行答案. Sample Input 100000 1000000000 Sampl ...
- bzoj 3512: DZY Loves Math IV
Description 给定n,m,求 模10^9+7的值. Solution 设 \(S(n,m)\) 表示 \(\sum_{i=1}^{m}\phi(n*i)\) \(Ans=\sum_{i=1} ...
- bzoj 3512: DZY Loves Math IV【欧拉函数+莫比乌斯函数+杜教筛】
参考:http://blog.csdn.net/wzf_2000/article/details/54630931 有这样一个显然的结论:当\( |\mu(n)|==1 \)时,\( \phi(nk) ...
- 【BZOJ3512】DZY Loves Math IV(杜教筛)
[BZOJ3512]DZY Loves Math IV(杜教筛) 题面 BZOJ 求 \[\sum_{i=1}^n\sum_{j=1}^m\varphi(ij)\] 其中\(n\le 10^5,m\l ...
- ●BZOJ 3309 DZY Loves Math
题链: http://www.lydsy.com/JudgeOnline/problem.php?id=3309 题解: 莫比乌斯反演,线筛 化一化式子: f(x)表示x的质因子分解中的最大幂指数 $ ...
- BZOJ 3561 DZY Loves Math VI
BZOJ 3561 DZY Loves Math VI 求\(\sum_{i=1}^{n}\sum_{j=1}^{m}\text{lcm}(i,j)^{\gcd(i,j)}\),钦定\(n\leq m ...
- BZOJ 3309: DZY Loves Math
3309: DZY Loves Math Time Limit: 20 Sec Memory Limit: 512 MBSubmit: 761 Solved: 401[Submit][Status ...
- bzoj 3309 DZY Loves Math 莫比乌斯反演
DZY Loves Math Time Limit: 20 Sec Memory Limit: 512 MBSubmit: 1303 Solved: 819[Submit][Status][Dis ...
随机推荐
- django的模板(二)
模板(二) 实验简介 本节继续介绍模板的常用标签,for.if.ifequal和注释标签. 一.基本的模板标签和过滤器 1. 标签 if/else {% if %} 标签检查(evaluate)一个变 ...
- 支付宝sdk集成,报系统繁忙 请稍后再试(ALI64)
移动快捷支付,往往需要集成支付宝的sdk,集成的过程相对简单,只要按照支付宝的文档,进行操作一般不会出问题. 下面主要说明一下,集成sdk后报"系统繁忙 请稍后再试(A ...
- 《高级软件测试》11.15.全组完成jira安装,开始任务的部分书写
今日任务完成情况如下: 小段:完成linux环境上jira的安装,并将jira的安装过程录制下来 小费:完成linux环境下jira的安装,开始部分任务的书写 小高:完成了jira的安装,并进一步熟悉 ...
- Trie树(转)
原文http://www.cnblogs.com/TheRoadToTheGold/p/6290732.html 一.引入 字典是干啥的?查找字的. 字典树自然也是起查找作用的.查找的是啥?单词. 看 ...
- 09-移动端开发教程-Sass入门
1. 引言 CSS3之前的CSS都大都是枚举属性样式,而编程语言强大的变量.函数.循环.分支等功能基本都不能在CSS中使用,让CSS的编程黯淡无光,Sass就是一种增强CSS编程的扩展语言(CSS4也 ...
- Django-rest-framework源码分析----权限
添加权限 (1)API/utils文件夹下新建premission.py文件,代码如下: message是当没有权限时,提示的信息 # utils/permission.py class SVIPPr ...
- JAVA_SE基础——6.标识符&关键字
学会写helloworld之后, 我们就开始来认识标识符&关键字 一.标识符 标识符是指可被用来为类.变量或方法等命名的字符序列,换言之,标识符就是用户自定义的名称来标识类.变量或方法等.更 ...
- vue组件详解(三)——组件通信
组件之间通信可以用下图表示: 组件关系可分为父子组件通信.兄弟组件通信.跨级组件通信. 一.自定义事件 当子组件需要向父组件传递数据时,就要用到自定义事件. 子组件用$emit ()来触发事件,父组件 ...
- tomca配置文件自动还原问题的解决 server.xml content.xml 等
当我们在处理中文乱码或是配置数据源时,我们要修改Tomcat下的server.xml和content.xml文件. 但是当我们修改完后重启Tomcat服务器时发现xml文件又被还原了,修改无效果. 为 ...
- kubernetes入门(06)kubernetes的核心概念(3)
一.API 对象 API对象是K8s集群中的管理操作单元.K8s集群系统每支持一项新功能,引入一项新技术,一定会新引入对应的API对象,支持对该功能的管理操作.例如副本集Replica Set对应的A ...