<前言>
好久没写博客了,从Day5开始,那么我就从Day6开始补吧。
等等让我找找day6讲什么的、。。。
偶,是任轩笛讲的,上午讲数论和数论函数,下午杂题选讲。
<正文>
质因数
一开始讲的是质因数的素性测试、质因子分解之类的,听着还挺正常。讲到线性筛的时候感觉还行,就去上了个厕所回来。
-
素性测试:
-
试除法,配合质数筛法可以解决
这个只要筛出之内的素数。然后一直试除,能除就除,只要能出就不是素数
-
Miller-Rabin素性测试,完成但可能错误。
这个我没听啊,但大致讲一下吧。
-
基本原理是费马小定理:若 p 是质数,a, p 互质,则
-
于是对于某个 p,若能找到与它互质的 a 使得,则p不是质数。
-
然而有一些合数 p,满足所有与它互质的 a 都有,这种数称为 Carmichael 数(如 561 = 3 ∗ 11 ∗ 17),这些数是用上面的方法检验不出来的。
-
所以还需要奇素数判定。对于奇素数 p,,由于是整环,所以 或 .
-
如果还是偶数则可以继续往下检验。
-
-
印度人的AKS就不说了,是保证正确的log n算法:)
-
-
质因数分解:
-
试除法:能除就除,不能除就加除数,直到大于原数。f复杂度就算用线性筛优化寻找素数,也是,太慢了。
-
Pollard’s Rho算法,期望复杂度
-
假如要分解一个数 n,首先进行素性测试,是素数直接返回。
-
否则就要生成一些随机的,去求,如果这个 则找到了的一个因子,递归分解。
-
一个挺靠谱的随机方法就是,c为随机数。
-
这样随机出来的 x 可能会进入循环,假如进入循环了我们还没找到因子,就重新随个 x 和 c,重新做。
-
如何判定是否进入环中:
-
可以证明,形成的一定是一个 ρ 形结构,从一头进入循环就出不来了。我们可以采取标记的方法
-
每次当 i 为 2 的幂次的时候就令,如果某时刻
了则说明已经在环上绕了一圈了。
即:看 x(2,4] 是否 = x2,看 x(4,8] 是否 = x4,看 x(8,16] 是否
= x8……这样“浪费”的步数仅仅是 O( 环长 ) 级别的。
-
-
-
数论
老师的ppt足够详细,但是我还是有不明白。
但就着重讲几个我会的吧:
欧几里得算法
在求两数gcd得时候,我们用的多是辗转相除法或者辗转相减法。欧几里得算法就是辗转相除法了。
- 如果,那么,所以gcd(a,b)=gcd(a,a%b).这样不断转换直到a%b变成零,此时a就是gcd了。、
扩展欧几里得:
已知 a, b,求出 x, y 满足 ax + by = gcd(a, b)。
在欧几里德算法中递归地求,若已有 b = 0,则 gcd = a,令x = 1, y = 0。
否则求出x‘, y′满足
于是:
有然后对x1,y1做,递归解决,回溯时实行逆运算,最后找到最小解。
其实扩欧我们老早学过了,不过忘得差不多了,这次讲的时候听不进去,已经被任轩笛的骚操作秀到了。
类欧几里得:
额,抱歉,这个是真的挂了。在这个暑假之前我根本不知道有这个玩意。先是在hl集训中出现,然后在这里又讲了,可惜我完全看不懂公式啊。
这是我全程看得懂的一个公式(也就是定义)
中国剩余定理
有 n 个方程 x ≡ ai (mod pi),pi 两两互质,求 x。
mb题 养猪
- 设,则答案
inv为逆元
已知,若
则成立
所以答案可以表示为
求得:
每次把两个方程合并成一个模数是它们 lcm 的方程
费马小定理
时间不多长话短说:
费马小定理:p 是质数,则
欧拉定理:
p>1,a,p互质,则
扩展欧拉定理
情况下,存在
还有一个数论函数,不写了不写了,反正横竖也全是题目。
算了,不能指望我听懂这些,果然听数论就是个错误的选择吗。
更可恶的是,任轩笛
来源:https://blog.csdn.net/qq_40900472/article/details/99184087