TAT快noip了才开始去接触数论(真心不敢学。。)这里做一下整理吧(都是些定义之类的东西= =)

欧几里德:gcd(a,b)=gcd(b,a%b);具体证明见百科?

扩展欧几里德:

  求a*x+b*y=gcd(a,b);

  因为gcd(a,b)=gcd(b,a%b)即gcd(b,a-a/b*b);

  所以可以递归求解:

    递归到b=0时显然gcd为a,x=1,y=0;

    已知b*x'+(a-a/b*b)*y'=gcd(b,a-b/b*b)=gcd(a,b)=a*x+b*y;

    b*x'+(a-a/b*b)*y' = a*y'+b*(x'-a/b*y');

    所以x=y';y=x'-a/b*y';

  然后解显然不只一个。。设我们一开始求出来的解为x0,y0

  x = x0 + b/Gcd(a, b) * k
    y = y0 -  a/Gcd(a, b) * k(k为任意整数)(代入一下就知道正确性了。。)

  有的时候(似乎很多时候?)gcd(a,b)=1.....

  各种低级应用:

  不定方程向:

    求x,y,使a*x+b*y=c;(只有c为gcd(a,b)的倍数时才有解)

    解就是a*x+b*y=gcd(a,b)的每个解乘上c/gcd(a,b)。。或者说是a/gcd(a,b)*x+b/gcd(a,b)=1的每个解乘上c

   解模线性方程(最基本的同余方程)ax ≡ b(mod p)

    因为a*x mod p实际就是a*x-a*x/p*p..所以等价于解不定方程 a*x+p*y=b

  乘法逆元向:
    满足b*k≡1 (mod p)的k值就是b关于p的乘法逆元。
    应用:
      求(a/b) mod p的值时,a过大等等感人情况(比如求模意义下较大的组合数或者卡特兰数或者是奇怪的数学题?)
      求b关于p的乘法逆元k,(a*k) mod p的结果与(a/b) mod p等价
    证明:

      已求出b*k≡1(mod p);
      即b*k=p*x+1;

      所以k=(p*x+1)/b;
      a*k=a/b*(p*x+1)
      (a*k) mod p

       =(a/b*(p*x+1))mod p
       =(a/b*p*x+a/b)mod p
       =(a/b)mod p

    求逆元:

      a*k≡1(mod p)即a*k=p*x+1
      相当于解不定方程a*k-p*x=1(a,p已知)

素数线性筛:

  万年大坑现在才来填QAQ。。虽然以前用埃氏筛法似乎姿势好可以混过去?

  埃氏筛法的缺点是合数可能会被多次筛到(取决于它有多少个质因数)

  现在对于每个数i,

  1、若i为素数,枚举不大于i的素数j,则i*j为合数(此时不可能有重复)
  2、 i为合数,则设i=p1^a1*p1*a2*p3^a3。。。。(整数分解)
  枚举所有小于或等于p1的素数j,i*j为合数
  不会重复计算是因为每个数都是被它的最小质因数筛到的

欧拉函数线性筛:
  设a为n的某个质因数,
  1、若n/a整除a,则phi(n)=phi(n/a)*a(每个与n/a互质的数也与a互质)
  2、 若n/a不整除a,则phi(n)=phi(n/a)*(a-1)(因为a是素数,phi(a)=a-1,gcd(a,n/a)=1,由欧拉函数的积性phi(n)=phi(n/a)*phi(a)......)

感觉今年noip考数论的话我就得直接退役了QAQ

UPD:2333今年没数论。。然而还是不会写的题还是不会TAT

noip级别数论?的更多相关文章

  1. noip级别模板小复习

    不是很noip的知识点就不写了. dij什么的太easy就不写了. 缩点 注意\(Tarjan\)在缩边双和求强联通分量时候的区别. 一个要判断是否在栈内一个不要. 最后\(topsort\)来\(d ...

  2. NOIp 基础数论知识点总结

    推荐阅读 NOIp 数学知识点总结: https://www.cnblogs.com/greyqz/p/maths.html Basic 常用素数表:https://www.cnblogs.com/g ...

  3. NOIP 考前 数论复习

    POJ 2891 x=r1 (mod a1) x=r2 (mod a2) x=a1*x+r1,x=a2*y+r2; a1*x-a2*y=r2-r1; 用Extend_Gcd求出m1*x+m2*y=d; ...

  4. [总结] NOIP 前的考试记录

    sb博主又犯sb错误了! 他觉得以往模拟赛因为犯sb错误扔的分足足有1k分了! 于是他想记录一下自己犯的sb错误看看自己到底有多sb! 嗯就从今天开始吧 2018.9.28 1. 二分边界写错.骚什么 ...

  5. 6.19 noip模拟题(题目及解析转自 hzwer 2014-3-15 NOIP模拟赛)

    Problem 1 高级打字机(type.cpp/c/pas) [题目描述] 早苗入手了最新的高级打字机.最新款自然有着与以往不同的功能,那就是它具备撤销功能,厉害吧. 请为这种高级打字机设计一个程序 ...

  6. NOIP 2018 -The Wound-

    "一招不慎,满盘皆输" 如果这个盘是整整一年的OI生涯的话 那么"一招"一定就是NOIP了 Update 2019/4/6 剧变的一年 noip这个成绩意味着我 ...

  7. 2016-06-19 NOIP模拟赛

          2016-06-19 NOIP模拟赛 by coolyangzc 共3道题目,时间3小时 题目名 高级打字机 不等数列 经营与开发 源文件 type.cpp/c/pas num.cpp/c ...

  8. NOIp 数学知识点总结

    推荐阅读 NOIp 基础数论知识点总结: https://www.cnblogs.com/greyqz/p/number.html 排列组合 常用公式 排列:\[\displaystyle A_n^m ...

  9. Noip2018退役记。

    下面是边考试边写的严肃版退役记\(:D\) Day0 其实我本来想取个这个名字:\(NOIP2018\)提高组复赛试题解析 但是这个博客自己求生欲望太强自己改名了. 先占个坑. noip考前毒奶 \( ...

随机推荐

  1. 函数PYXX_READ_PAYROLL_RESULT的dump问题

    发现有两个HR的后台定时任务出现dump,日志表示,是PYXX_READ_PAYROLL_RESULT产生了类型冲突的异常CX_SY_DYN_CALL_ILLEGAL_TYPE. 日志标题部分: 类别 ...

  2. 函数的非固定参数-Day3

    一.函数非固定参数 1.默认函数,我们在传参之前,选给参数指定一个默认的值.默认参数特点是非必须传递的. def test(x,y=2): print(x) print(y) print(" ...

  3. 506. Relative Ranks

    Given scores of N athletes, find their relative ranks and the people with the top three highest scor ...

  4. hello world 为什么我们看到学习中有这一句话!!!

    Hello World ,中文意思:你好,世界.世界上的第一个程序就是Hello World,由Brian Kernighan创作. Hello, world"程序是指在计算机屏幕上输出“H ...

  5. 正确使用volatile场景--状态标志

    同步机制:volatile 特点:可见性:不具备原子性 每个线程有自己单独的内存:如果线程1和线程2公用一个变量name:如果两个线程并发进行,并且需要访问变量name:如果这个变量具有了可见性,线程 ...

  6. linux下查看系统属性

    inux下查看系统属性1.查看cpu信息查看所有cpu信息:cat /proc/cpuinfo查看cpu类型: grep "model name" /proc/cpuinfo2.查 ...

  7. 每天学一点Docker(1)

    Docker能做些什么? 1.docker能够解决虚拟机能够解决的问题 2.隔离应用依赖 3.创建应用镜像并复制 4.创建容易分发的即启即用的应用 5.docker的想法是创建软件程序可移植的轻量容器 ...

  8. Python的特性(property)

    特性(property) 特性是对类的一个特定属性进行拦截,在操作这个属性时,执行特定的函数,对属性的操作进行拦截. 特性的实现 特性使用property类来实现,也可以使用property装饰器实现 ...

  9. Shell脚本实现文件遍历和删除操作

    本文需要实现的功能如下:某文件夹下具有由按数字编号命名的文件夹,需要删除除最大编码外的文件. 具体实现 大致思路:循环遍历该文件夹下所有文件,正则匹配出最大编码文件:然后循环文件,删除除最大编码外的文 ...

  10. K:Union-Find(并查集)算法

    相关介绍:  并查集的相关算法,是我见过的,最为之有趣的算法之一.并查集是一种树型的数据结构,用于处理一些不相交集合(Disjoint Sets)的合并及查询问题.其相关的实现代码较为简短,实现思想也 ...