前两天总结了素数筛法,其中就有Eular筛法。现在他又来了→→

φ(n),一般被称为欧拉函数。其定义为:小于n的正整数中与n互质的数的个数。

毕竟是伟大的数学家,所以以他名字命名的东西很多辣。

对于φ(n),我们有这样【三个性质】

(1) 【若n为素数】,则φ(n) = n - 1

显然,由于n为素数,1~n-1与n都只有公因子1,因此φ(n) = n - 1。

比如φ(11)=10={1,2,3,4,5,6,7,8,9,10};

(2) 【若n = p^k】,p为素数(即n为单个素数的整数幂),则φ(n) = (p-1)*p^(k-1)

因为n是p的整数幂,因此所有p的倍数和n都不互质。小于n的p的倍数一共有p^(k-1)-1个,因此和n互质的个数为:

p^k-1 - (p^(k-1)-1) = p^k - p^(k-1) = (p-1)*p^(k-1)

比如3^4=3*3*3*3=3*27,则与他不互质的有3*1,3*2....3*26,共p^(k-1)-1=26个,则φ(n)=(p^k-1)-(p^(k-1)-1)=(p-1)*p^(k-1).

     φ(81)={1,2,4,5,7,8....}

(3) 【若p和q互质】,则φ(p*q) = φ(p) * φ(q)

对于所有小于pq的整数u,可以表示为u=aq+r。(a=0,1,2,...,p-1,r=0,1,...,q-1)。

对于u = aq + r, 设R = u mod p,0≤R<q。对于一个固定的r,设a1, a2满足0 <= a1, a2 < p且a1≠a2,有:

     u1 = a1*q+r, u2 = a2*q+r
u1-u2=(a1-a2)*q

因为p与q互质,且|a1-a2|<p,则|u1-u2|一定不是p的倍数。

所以对于每一个固定的r,其对应的p个u = a*q+r(a=0,1,2,...,p-1)对mod p来说余数都不相同,即u mod p的结果恰好取遍0,1,...,p-1中的每一个数。

下面我证明一个引理:u mod p与p互质 <=> u与p互质,其证明如下:

    假设a,b互质,c = a mod b。
假设c与b不互质,则存在d≥1,使得c=nd, b=md。
由于c = a mod b,因此a = kb + c,
则a = kmd + nd = (kn+m)d
因此d是a,b的公因数,与a,b互质矛盾。
假设不成立,所以c与b互质。

因此对于任意一个确定的r,与其对应的p个u中恰好有φ(p)个与p互质。

同理,由u = aq + r知r与q互质 <=> u与q互质。因此在0..q-1中恰好有φ(q)个r使得u与q互质。

综上,当r与q互质的情况下,固定r可以得到φ(p)个与p和q都互质的数。

满足条件的r一共用φ(q)个,所以一共能找到有φ(p) * φ(q)个与p和q都互质的数。

由此得证:φ(p*q) = φ(p) * φ(q)

这一段证明不是太好理解,一定要自己推导一遍哦。

在上面这些性质的基础上我们能到推导出【两条定理】

若p为质数,n为任意整数:

(1)【 若p为n的约数】,则φ(n*p) = φ(n) * p

若p为n的约数,且p为质数。则我们可以将n表示为p^k*m。m表示其他和p不同的质数的乘积。

显然有p^k与m互质,则:

       φ(n) = φ(p^k)*φ(m) = (p-1)*p^(k-1)*φ(m)
φ(n*p) = φ(p^(k+1))*φ(m) = (p-1)*p^k*φ(m) = (p-1)*p^(k-1)*φ(m) * p = φ(n) * p

(2) 【若p为不为n的约数】,则φ(n*p) = φ(n) * (p-1)

由p不为n的约数,因此p与n互质,所以φ(n*p) = φ(n) * φ(p) = φ(n)*(p-1)

根据这两条定理,当我们得到一个n时,可以枚举质数p来递推的求解φ(n*p)。这一步是不是觉得很眼熟呢?

这是我们使用【欧拉筛法】时一样的算法么?

没错!因此我们只需要在欧拉筛代码的基础上做一个小改动,就可以得到递推求解φ(n)的算法:

int isp[maxn+],phi[maxn+],q[maxn],cnt;
void urlar()
{
for(int i=;i<=maxn;i++) isp[i]=true;
for(int i=;i<=maxn;i++){
if(isp[i]){
phi[i]=i-;
q[++cnt]=i;
}
for(int j=;j<=cnt&&q[j]*i<=maxn;j++){
isp[q[j]*i]=false;
if(i%q[j]==){
phi[i*q[j]]=phi[i]*q[j];
break;
}
else phi[i*q[j]]=phi[i]*(q[j]-);
}
}
}

因为欧拉筛的时间复杂度是O(n)的,因此求出一个大区间内所有数的欧拉函数也只用了O(n)的时间。

-------------------------------------------------------------分界线---------------------------------------------------------------

如果我们要求一个大数是不是素数,欧拉筛法是不行的,得用Miller-Rabin算法。

如果我们要求一个大数的互质数数量,普通欧拉函数也是不行的,得用Miller-Rabin Pollard-rho启发式分解。

有空再补

欧拉函数 and 大数欧拉 (初步)的更多相关文章

  1. 51nod 1239 欧拉函数之和【欧拉函数+杜教筛】

    和bzoj 3944比较像,但是时间卡的更死 设\( f(n)=\sum_{d|n}\phi(d) g(n)=\sum_{i=1}^{n}f(i) s(n)=\sum_{i=1}^{n}\phi(i) ...

  2. UVa 10820 (打表、欧拉函数) Send a Table

    题意: 题目背景略去,将这道题很容易转化为,给出n求,n以内的有序数对(x, y)互素的对数. 分析: 问题还可以继续转化. 根据对称性,我们可以假设x<y,当x=y时,满足条件的只有(1, 1 ...

  3. 数学之欧拉函数 &几道poj欧拉题

    欧拉函数总结+证明 欧拉函数总结2 POJ 1284 原根 #include<iostream> #include<cstdio> #include<cstring> ...

  4. A - Bi-shoe and Phi-shoe (欧拉函数打表)

    Description Bamboo Pole-vault is a massively popular sport in Xzhiland. And Master Phi-shoe is a ver ...

  5. NOIP模拟:切蛋糕(数学欧拉函数)

    题目描述  BG 有一块细长的蛋糕,长度为 n. 有一些人要来 BG 家里吃蛋糕, BG 把蛋糕切成了若干块(整数长度),然后分给这些人. 为了公平,每个人得到的蛋糕长度和必须相等,且必须是连续的一段 ...

  6. 数学基础IV 欧拉函数 Miller Rabin Pollard's rho 欧拉定理 行列式

    找了一些曾经没提到的算法.这应该是数学基础系最后一篇. 曾经的文章: 数学基础I 莫比乌斯反演I 莫比乌斯反演II 数学基础II 生成函数 数学基础III 博弈论 容斥原理(hidden) 线性基(h ...

  7. poj2480(利用欧拉函数的积性求解)

    题目链接: http://poj.org/problem?id=2480 题意:∑gcd(i, N) 1<=i <=N,就这个公式,给你一个n,让你求sum=gcd(1,n)+gcd(2, ...

  8. SGU---102 欧拉函数

    题目链接: https://cn.vjudge.net/problem/SGU-102#author=0 题目大意: 求解小于等于N的且与N互质的数字有多少个 解题思路: 直接求欧拉函数即可 关于欧拉 ...

  9. bzoj2818 Gcd(欧拉函数)

    Description 给定整数N,求1<=x,y<=N且Gcd(x,y)为素数的数对(x,y)有多少对. Input 一个整数N Output 如题 Sample Input 4 Sam ...

随机推荐

  1. Array.asList:数组转list

    String s[]={"aa","bb","cc"}; List<String> sList=Arrays.asList(s) ...

  2. 如何在IAR中配置CRC参数(转)

    源:如何在IAR中配置CRC参数 前言 STM32全系列产品都具有CRC外设,对CRC的计算提供硬件支持,为应用程序节省了代码空间.CRC校验值可以用于数据传输中的数据正确性的验证,也可用于数据存储时 ...

  3. PHP 面向对象及Mediawiki 框架分析(二)

    mediaHandler可以理解为处理media文件的 /includes/filerepo/file/File.php /** * Get a MediaHandler instance for t ...

  4. Python 条件判断语句(if ,elif, else)

    条件判断可以分: 单分支判断:只有一个if语句 双分支判断:if else 的格式 多分支判断:if elif  else 的格式 条件语句嵌套判断 # 下面是个条件多分支判断 score = 85 ...

  5. dreamweaver8快捷键

    替换Ctrl+H 处理表格 选择表格(光标在表格中) Ctrl+A 移 动到下一单元格Tab 移 动到上一单元格Shift+Tab 插入行(在当前行之前)Ctrl+M 在表格末插入一行 在最后一个单元 ...

  6. struts2发送ajax的几个问题(不使用struts2-json-plugin的情况下)

    采用原始方式发送ajax到action时,会遇到get,post的不同,原因是ContentType的问题,ContentType必须是text/html,struts获取到的inputStream才 ...

  7. shell脚本:批量修改文件名

    参考链接1:shell脚本:批量修改文件名(删除文件名中字符) 参考链接2:linux shell 字符串操作详解 (长度,读取,替换,截取,连接,对比,删除,位置 ) 参考链接3:每天一个linux ...

  8. HBase-建表(普通建表及预分区建表)

    package com.hbase.HBaseAdmin; import java.io.IOException; import org.apache.hadoop.conf.Configuratio ...

  9. 解决fasterxml中string字符串转对象json格式错误问题

    软件152 尹以操 springboot中jackson使用的包是fasterxml的.可以通过如下代码,将一个形如json格式string转为一个java对象: com.fasterxml.jack ...

  10. flume-ng源码阅读RollingFileSink(原创)

    org.apache.flume.sink.RollingFileSink    这个类比较简单. source的种类有两种:一种是PollableSource:另外一种是EventDrivenSou ...