基础数学2

质数/素数:

定义: 是指在大于1的自然数中，除了1和它本身以外不再有其他因数的自然数。
1既不是质数也不是合数

孪生素数:

定义: 指相差2的素数对。
例如3和5，5和7，11和13…。
猜想:
对所有自然数k，存在无穷多个素数对（p, p + 2k）。k = 1的情况就是孪生素数猜想。

素数定理:

1. 从不大于n的自然数中随机选一个数，它是素数的概率大约是1/ln n。
2. 在一个大于1的数a和它的2倍之间(即区间(a,2a]中)必存在至少一个素数。

哥德巴赫猜想:

原初猜想的现代陈述为：
任一大于5的整数都可写成两个质数之和。
(n>5：当n为偶数,n=2+(n-2)，n-2也是偶数,可以分解为两个质数的和;当n为奇数 n=3+(n-3)，n-3也是偶数,可以分解为两个质数的和) 。
另一等价版本：
即任一大于2的偶数都可写成两个质数之和。
1+2:
任一充分大的偶数都可以表示成二个素数的和，或是一个素数和一个半素数的和。

线性筛:

//题目描述:给定一个范围n，有q个询问，每次输出第x小的素数。
//v[i]记录每个数的最小因子，prime[i]记录素数
#include<iostream>
#include<cstdio>
using namespace std; 
int n,q,k,i,j,v[100000005],cnt,prime[10000005],x;
int main()
{
   scanf("%d%d",&n,&q);
//模板
   for(i=2;i<=n;i++)//枚举从2到n的所有的数
   {
	  if(v[i]==0)//如果没有被筛过，记录该素数
	  {
		 v[i]=i;
		 prime[++cnt]=i;
	  }
	  for(j=1;j<=cnt;j++)//访问之前的所有素数
	  {
	      if((prime[j]>v[i])||(i*prime[j]>n)) 
	      {
		    break;
	      }
	      v[i*prime[j]]=prime[j];//删去这个合数
         }
    }
//
    for(i=1;i<=q;i++)
   {
	 scanf("%d",&x);
	 printf("%d\n",prime[x]);
   }
 return 0;
 }

//题目链接:线性筛素数

算数基本定理

定义: 任何一个大于1的正整数都能唯一分解成有限个质数的乘积
N=P1^C1 * P2 ^C2 * P3^C3 * …*Pm ^ Cm

板子:

(3)：N的正约数集合为{ P1 ^b1，P2 ^b2，…，Pm ^bm }，其中0<=bi<=Ci。

最大公约数和最小公倍数

最大公约数
(1)基本知识:
gcd(a,b)=gcd(b,a mod b)=gcd=(b,a-b)
gcd(a,b)记为（a，b）
a mod b=a-⌊ a/b ⌋ * b
(2)代码

//欧几里得算法(求最大公约数) 
LL gcd(LL a,LL b)
{
 return b?gcd(b,a%b):a;
}

最小公倍数
lcm(a,b)=(a * b) / gcd(a,b)

欧拉函数

基本理念
(1)定义:1到n中与n互质的数的个数。
(2)符号表示:φ(n)
(3)定理:φ(n)=N*(p ^1-1)/p ^1*(p ^2-1)/p ^2*…* (p^m-1)/ p ^m
N=P1 ^C1 * P2 ^C2 * P3 ^C3 * … * Pm^Cm
互质
(1)两个数互质:两个数的gcd等于1。
(2)a与b互质:φ(a* b)=φ(a)* φ(b)。

同余

若整数a和整数b除以正整数m的余数相等，则称为a,b模m的余数相同。
则称为a,b模m同余，记为a≡b(mod m)。

费马小定理

若p是质数，则对于任意不能被p整除的数a，有

若p是质数,则对于任意整数a，有

扩展:
欧拉定理:
如果正整数n和整数a互质，那么就有 a^φ(n)≡1(mod n)。
推论:(降幂)
如果正整数n和整数a互质，那么就有 a^b≡a ^(b mod φ(n) )(mod n)

裴蜀定理:

定义:
对任意两个不全为0的整数a,b,存在两个整数x,y使得ax+by=gcd(a,b)。
求x,y：

//扩展欧几里得算法
typedef long long int 64;
int 64 gcd_ex(int 64 a,int 64 b,int 64 &x,int 64 &y)
{
 if(b==0)
 {
  x=1;
  y=0;
  return a;
 }
 int 64 d=gcd_ex(b,a%b,y,x);
 y=y-a/b*x;
 return d;
} 

扩展欧几里得算法仅求了一组解(x0,y0)，so
二元一次不定方程(ax+by=c)的通解:
1.有解的充要条件:c为gcd(a,b)的整数倍
2.
x=x0-b1 * t
y=y0+a1*t
(t为整数)
其中a1=a/gcd(a,b)，b1=b/gcd(a,b)

逆元

定义: 是指一个可以取消另一给定元素运算的元素，在数学里，逆元素广义化了加法中的加法逆元和乘法中的倒数。
运用: 模运算的除法就是乘上逆
eg:设a的逆元是x，则ax≡1(mod m)
根据费马小定理a^(m-1)≡1(mod m)
可得：a*a^(m-2)≡1(mod m)
所以x=a^(m-2)%m

中国剩余定理/孙子定理

定义: 是中国古代求解一次同余式组（见同余）的方法。

(图片截自百度百科)
注:来源为百度和牛客算法竞赛入门班笔记。
此外如有错误，欢迎指出。