BZOJ2818 与 BZOJ2301【euler,线性筛,莫比乌斯】
题目大意:
给一个范围[1,n],从中找出两个数x,y,使得gcd(x,y)为质数,问有多少对(x,y有序)
解法:
不难,欧拉函数练手题,可以定义集合P ={x|x为素数},那么我们枚举gcd(x,y)可能等于的情况,对于任意p∈P可以得到:gcd(k1·p,k2·p) = p,当且仅当gcd(k1,k2) =1;那么我们就只需要枚举所有的k1,k2了。不妨设k1>k2,那么给定k1,k2的个数就是phi(k1),因为有序,所以给phi*2,但是,这样是否漏算了呢?没错,漏算了(1,1),补上就行了,那么这个的答案就是计算下面那个表达式。
稍有常识的人就会看出,如果我们的坦克再前进一步(大雾)要算这个式子,复杂度是O(n^2)的,我们分析一下复杂度主要消耗再哪里。
1.算phi
如果我们用暴力公式,也就是的话,复杂度显然是很高的,全算出来高达(不是那个高达)O(n*sqrt(n)),这样的复杂度在1e7内是无法忍受的,所以我们
必须另外想办法,下面我引入三个很厉害东西:
1.当p∈P时,phi(p) = p-1;
2.如果i mod p = 0, 那么 phi(i * p)=p * phi(i),证明略,其实我也不会证
3.若i mod p ≠0, 那么 phi( i * p )=phi(i) * ( p-1 ) ;
有了这三个就容易写出线性的求euler函数了。
2.二重循环
里面那一重循环可以在外面递推乱搞,自己想,或者看我代码。
那么这个的复杂度就降为了O(n);
3.下面是代码
#include<bits/stdc++.h>
using namespace std;
int flag[],p[],tot;
int phi[];
void get_p(int end){
for(int i=;i<=end;i++)
flag[i] = ;
for(int i=; i<=end; i++){
if(flag[i]==){
p[++tot]=i;
phi[i] = i-;
}
for(int j=; j<=tot && p[j]*i<=end; j++){
flag[p[j]*i]=;
if(i%p[j]==){
phi[i*p[j]] = p[j] * phi[i]; //欧拉函数的特性
break;
}else phi[i*p[j]] = (p[j]-) * phi[i];
}
}
}
long long f[]; int main(){
int n;
cin >> n;
get_p(n);
f[] = ;
for(int i=;i<=n;i++){
f[i] = f[i-] +phi[i]*;
}
long long ans = ;
for(int i=;i<=tot;i++){
ans = ans+f[n/p[i]];
}
cout<<ans;
return ;
}
4.拓展
这个问题就这么轻易的解决了,但是我们稍加思考,就能想到它的一个变式:
变式链接: bzoj2301
给一个范围[l,n],[p,m],定义x,y,x∈[1,n],y∈[1,m],使得gcd(x,y)=k,问有多少对(x,y无序)。
对于这道题,我们不得不引入新的概念,莫比乌斯反演:
其内涵主要是下面这个公式,其中mu是莫比乌斯函数,其定义为:
ki表示x的唯一分解后每个质数的次数。µ函数还有一个性质
上面的莫比乌斯反演公式我们还有一种表达方法,本题要用的就是这个。
5.解决
可设f(x)表示gcd(a,b)=x的个数,F(x)表示满足x|gcd(a,b)的个数。那么我们可以考虑把区间分为两部分,对于[l,n],我们可以将它分为[1,n]-[1,l]+{l}(又不是搞数学那么讲究干嘛),然后我们先计算在[1,n]中有多少个a是x的倍数,容易得到这个数字为n/x。同理我们可以求得在[1,l]中有l/x个,在[1,m]中有m/x个,在[1,p]中有p/x个。这样我们就容易得到在[l,n]这个闭区间中有s1=(n/x-l/x+[l|x])注意,这里的[l|x]表示的是下面的意思。同样,我们也可以得到在[p,m]中有s2=(m/x-p/x+[p|x])。那么F(x) =s1*s2个(乘法原理)。
if(x % i == )
return ;
else
return ;
并且我们还能得到另一个式子 ,我们的目的是要求f(k),那么由这个式子和莫比乌斯反演公式可以得到,,嗯,我写一下看看提交上去会不会超时哈。
BZOJ2818 与 BZOJ2301【euler,线性筛,莫比乌斯】的更多相关文章
- [BZOJ4804]欧拉心算:线性筛+莫比乌斯反演
分析 关于这道题套路到不能再套路了没什么好说的,其实发这篇博客的目的只是为了贴一个线性筛的模板. 代码 #include <bits/stdc++.h> #define rin(i,a,b ...
- 【BZOJ-2440】完全平方数 容斥原理 + 线性筛莫比乌斯反演函数 + 二分判定
2440: [中山市选2011]完全平方数 Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 2371 Solved: 1143[Submit][Sta ...
- 【数论】【莫比乌斯反演】【线性筛】bzoj2301 [HAOI2011]Problem b
对于给出的n个询问,每次求有多少个数对(x,y),满足a≤x≤b,c≤y≤d,且gcd(x,y) = k,gcd(x,y)函数为x和y的最大公约数. 100%的数据满足:1≤n≤50000,1≤a≤b ...
- 【数论】【莫比乌斯反演】【线性筛】hdu6134 Battlestation Operational
看这个题解吧:http://blog.csdn.net/wubaizhe/article/details/77338332 代码里顺便把几个常用的线性筛附上了. Key:1.gcd(i,j)==1利用 ...
- 线性筛-mobius,强大O(n)
首先,你要知道什么是莫比乌斯函数 然后,你要知道什么是积性函数 最后,你最好知道什么是线性筛 莫比乌斯反演 积性函数 线性筛,见上一篇 知道了,就可以愉快的写mobius函数了 由定义: μ(n)= ...
- Luogu2257 YY的GCD/BZOJ2818 Gcd加强版(莫比乌斯反演+线性筛)
一通套路之后得到 求出中间那个函数的前缀和的话就可以整除分块了. 暴力求的话复杂度其实很优秀了,大约在n~nlogn之间. 不过可以线性筛做到严格线性.考虑其最小质因子,如果是平方因子那么只有其有贡献 ...
- bzoj 2820 YY的GCD - 莫比乌斯反演 - 线性筛
Description 神犇YY虐完数论后给傻×kAc出了一题给定N, M,求1<=x<=N, 1<=y<=M且gcd(x, y)为质数的(x, y)有多少对kAc这种 傻×必 ...
- 积性函数&线性筛&欧拉函数&莫比乌斯函数&因数个数&约数个数和
只会搬运YL巨巨的博客 积性函数 定义 积性函数:对于任意互质的整数a和b有性质f(ab)=f(a)f(b)的数论函数. 完全积性函数:对于任意整数a和b有性质f(ab)=f(a)f(b)的数论函数 ...
- 线性筛-euler,强大O(n)
欧拉函数是少于或等于n的数中与n互质的数的数目 φ(1)=1(定义) 类似与莫比乌斯函数,基于欧拉函数的积性 φ(xy)=φ(x)φ(y) 由唯一分解定理展开显然,得证 精髓在于对于积性的应用: ){ ...
- 【BZOJ-4407】于神之怒加强版 莫比乌斯反演 + 线性筛
4407: 于神之怒加强版 Time Limit: 80 Sec Memory Limit: 512 MBSubmit: 241 Solved: 119[Submit][Status][Discu ...
随机推荐
- Angular.js之自定义指令学习笔记
<!DOCTYPE html><html lang="en"><head> <meta charset="UTF-8" ...
- 每天一个linux命令(28)--gzip命令
减少文件大小有两个明显的好处,一是可以减少存储空间,二是通过网络传输文件时,可以减少传输的时间.gzip 是在Linux 系统中经常使用的一个对文件进行压缩和解压缩的命令,既方便又好用.gzip 不仅 ...
- Spring MVC + Security 4 初体验(Java配置版)
spring Version = 4.3.6.RELEASE springSecurityVersion = 4.2.1.RELEASE Gradle 3.0 + Eclipse Neno(4.6) ...
- maven springmvc启动问题
1.环境 SpringMVC + Maven + mybatis 2.报错提示 严重: Error configuring application listener of class org.spri ...
- 1112: [POI2008]砖块Klo
1112: [POI2008]砖块Klo Time Limit: 10 Sec Memory Limit: 162 MBSubmit: 1245 Solved: 426[Submit][Statu ...
- 3384/1750: [Usaco2004 Nov]Apple Catching 接苹果
3384/1750: [Usaco2004 Nov]Apple Catching 接苹果 Time Limit: 1 Sec Memory Limit: 128 MBSubmit: 18 Solv ...
- 1684: [Usaco2005 Oct]Close Encounter
1684: [Usaco2005 Oct]Close Encounter Time Limit: 5 Sec Memory Limit: 64 MBSubmit: 387 Solved: 181[ ...
- Markdown轻量级标记语言
1. Markdown是什么? Markdown是一种轻量级标记语言,它以纯文本形式(易读.易写.易更改)编写文档,并最终以HTML格式发布.Markdown也可以理解为将以MARKDOWN语言编写的 ...
- Linux文件权限rwx简单了解
Ⅰ 了解Linux下的文件权限 如上图所示,ll命令详细展示当前目录下的文件或者子目录信息 红框标注的即为此文件或者目录的权限 [第一行文件10.c的权限以-开头,用来说明这是一个文件:第四行cod ...
- dreamweaver中的 map怎么调用?_制作热点图像区域
我们浏览网页时,经常看到一些图片上会出现特别的超链接,即在一张图片上有多个局部区域和不同的网页链接,比如地图链接. 这就是映射图像(Image Map),它是指一幅根据链接对象不同而被人为划分为若干指 ...