题目大意:

  给一个范围[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,线性筛,莫比乌斯】的更多相关文章

  1. [BZOJ4804]欧拉心算:线性筛+莫比乌斯反演

    分析 关于这道题套路到不能再套路了没什么好说的,其实发这篇博客的目的只是为了贴一个线性筛的模板. 代码 #include <bits/stdc++.h> #define rin(i,a,b ...

  2. 【BZOJ-2440】完全平方数 容斥原理 + 线性筛莫比乌斯反演函数 + 二分判定

    2440: [中山市选2011]完全平方数 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 2371  Solved: 1143[Submit][Sta ...

  3. 【数论】【莫比乌斯反演】【线性筛】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 ...

  4. 【数论】【莫比乌斯反演】【线性筛】hdu6134 Battlestation Operational

    看这个题解吧:http://blog.csdn.net/wubaizhe/article/details/77338332 代码里顺便把几个常用的线性筛附上了. Key:1.gcd(i,j)==1利用 ...

  5. 线性筛-mobius,强大O(n)

    首先,你要知道什么是莫比乌斯函数 然后,你要知道什么是积性函数 最后,你最好知道什么是线性筛 莫比乌斯反演 积性函数 线性筛,见上一篇 知道了,就可以愉快的写mobius函数了 由定义: μ(n)= ...

  6. Luogu2257 YY的GCD/BZOJ2818 Gcd加强版(莫比乌斯反演+线性筛)

    一通套路之后得到 求出中间那个函数的前缀和的话就可以整除分块了. 暴力求的话复杂度其实很优秀了,大约在n~nlogn之间. 不过可以线性筛做到严格线性.考虑其最小质因子,如果是平方因子那么只有其有贡献 ...

  7. bzoj 2820 YY的GCD - 莫比乌斯反演 - 线性筛

    Description 神犇YY虐完数论后给傻×kAc出了一题给定N, M,求1<=x<=N, 1<=y<=M且gcd(x, y)为质数的(x, y)有多少对kAc这种 傻×必 ...

  8. 积性函数&线性筛&欧拉函数&莫比乌斯函数&因数个数&约数个数和

    只会搬运YL巨巨的博客 积性函数 定义 积性函数:对于任意互质的整数a和b有性质f(ab)=f(a)f(b)的数论函数. 完全积性函数:对于任意整数a和b有性质f(ab)=f(a)f(b)的数论函数 ...

  9. 线性筛-euler,强大O(n)

    欧拉函数是少于或等于n的数中与n互质的数的数目 φ(1)=1(定义) 类似与莫比乌斯函数,基于欧拉函数的积性 φ(xy)=φ(x)φ(y) 由唯一分解定理展开显然,得证 精髓在于对于积性的应用: ){ ...

  10. 【BZOJ-4407】于神之怒加强版 莫比乌斯反演 + 线性筛

    4407: 于神之怒加强版 Time Limit: 80 Sec  Memory Limit: 512 MBSubmit: 241  Solved: 119[Submit][Status][Discu ...

随机推荐

  1. Redis安装以及基本数据类型

    安装 1.阿里云CentOS 1.进入到centos系统,输入wget http://download.redis.io/releases/redis-3.2.8.tar.gz ,下载好目前最新版的R ...

  2. Spring框架(3)---IOC装配Bean(注解方式)

    IOC装配Bean(注解方式) 上面一遍文章讲了通过xml来装配Bean,那么这篇来讲注解方式来讲装配Bean对象 注解方式需要在原先的基础上重新配置环境: (1)Component标签举例 1:导入 ...

  3. 提交Sublime Text 插件到Package Control

    最近写了一个lua智能提示的插件LuaSmartTips.这个插件一直都是自己一个人在用,昨天突然想把插件提交到Package Control,如果其他的人有这样的需求就可以直接安装. Package ...

  4. webots自学笔记(二)节点与机器人建模

    原创文章,出自"博客园, _阿龙clliu" :http://www.cnblogs.com/clliu/ 上一次介绍了界面和一个简单的自由落体,然而在实际运用中,机器人的结构都是 ...

  5. [.net 面向对象程序设计深入](26)实战设计模式——使用Ioc模式(控制反转或依赖注入)实现松散耦合设计(1)

    [.net 面向对象程序设计深入](26)实战设计模式——使用IoC模式(控制反转或依赖注入)实现松散耦合设计(1) 1,关于IOC模式 先看一些名词含义: IOC: Inversion of con ...

  6. shp文件的读取

    http://blog.csdn.net/q_l_s/article/details/41486813

  7. Angular2发布思路(整理官网Deployment页面)

    本文是按着ng2官网的高级内容“Deployment”的思路整理得出的,原文虽然在angular2的中文站下挂着,截止目前却还是英文版未翻译,笔者就在这里结合自己的理解给出原文的一点点整理.这是原文地 ...

  8. BootStrap入门教程 (四)

    本文转自 http://www.cnblogs.com/ventlam/archive/2012/06/17/2536728.html 上讲回顾:Bootstrap组件丰富同时具有良好可扩展性,能够很 ...

  9. 微信JS图片上传与下载功能--微信JS系列文章(三)

    概述 在前面的文章微信JS初始化-- 微信JS系列文章(一)中已经介绍了微信JS初始化的相关工作,接下来本文继续就微信JS的图片上传功能进行描述,供大家参考. 图片上传 $(function(){ v ...

  10. Linux MTD子系统 _从模型分析到Flash驱动模板

    MTD(Memory Technology Device)即常说的Flash等使用存储芯片的存储设备,MTD子系统对应的是块设备驱动框架中的设备驱动层,可以说,MTD就是针对Flash设备设计的标准化 ...