数论还是有很多没学完 只是小小的总结

一、同余定理

1.反身性:\(a\equiv a (mod m)\)

2.对称性:若\(a\equiv b(mod m)\),则\(b\equiv a (mod m)\)

3.传递性:若\(a\equiv b(mod m)\),\(b\equiv c(mod m)\),则\(a\equiv c(mod m)\)

4.同余式相加:若\(a\equiv b(mod m)\),\(c\equiv d(mod m)\),则\(ac\equiv bd(mod m)\)

5.同余式相乘:若\(a\equiv b(mod m)\),\(c\equiv d(mod m)\),则\(ac\equiv bd(mod m)\)

二、最小公倍数与最大公约数

最大公约数:GCD

辗转相除法:设\(gcd(a,b)\)为\(a\)与\(b\)的最大公约数

\[gcd(a,b)=gcd(a-b,b)\Rightarrow gcd(a,b)=gcd(b,a\%b)$$当$b$为0时,此时的$a$即为二者的最大公约数
```cpp
long long gcd(long long a, long long b) { return b ? gcd(b, a % b) : a; }
```
最小公倍数:LCM
记$d=gcd(a,b)$,$a=a'd$,$b=b'd$,可以看出 $lcm(a,b)=\frac{ab}{gcd(a,b)}$
## 三、整除
给定$a$,$b$两个数,若b能整除a,记作$b\mid a$,反之记作$a\nmid b$
简单定理:
* 若$b\mid a$,且$c\mid b$,则$c\mid a$
* 若$c\mid a$,且$c\mid b$,则$c\mid \left(na+mb\right)$
## 四、素数与合数
对于任意一个大于1的自然数,只有1和它本身两个因子,则称为素数
素数定理:小于等于x的素数个数 $\approx \frac{x}{\ln x}$ ,可以用来估计素数个数,估算所开数组的大小
不是素数的大于1的自然数称为合数

素数筛法:
### 1、暴力枚举
复杂度:$O(\log{n})$
由于任意一个数$x$的因子可看为两部分,小于$\sqrt{x}$与大于$\sqrt{x}$,因此可以枚举所有$\{i\mid i\le \sqrt{x}\}$,如若出现$i\mid x$,则不是素数,反之是素数。
*一般用于对某单个数的素性判定*
```cpp
bool check(int x)
{
int end = sqrt(x);
for (int i = 2; i <= end; ++i)
{
if (x % i == 0)
return false;
}
return true;
}
```
拓展内容(求单个合数的最大质因数)
对于任何一个数$x$,可以将他进行质因数分解,且同时保证$prime[i]^2\le x_{cur}$进行优化。
首先可以预处理出所有$\{prime\mid prime \le \sqrt{x}\}$,这样$x$的质因数分解一定是在这个集合中,或者只有最大质因数不在这个集合中。如果所剩下的最后一个数为1,即完美的进行了质因数分解,则最大质因数为最后一次除的质数,反之则最后剩下的数即为最大质因数
```cpp
const int maxn = 10000;
int vis[maxn];
int cnt, prime[maxn/10];

void Euler_Sieve()
{
for (int i = 2; i < maxn; ++i)
{
if (!vis[i]) prime[cnt++] = i;
for (int j = 0; j < cnt && prime[j] * i < maxn; ++j)
{
vis[prime[j] * i] = true;
if (i % prime[j] == 0)
break;
}
}
}
int Maximum_prime_factor(int x)
{
int ans;
for (int i = 0; i < cnt && prime[i] * prime[i] <= x; ++i)
{
if (x % prime[i] == 0)
{
ans = prime[i];
while (x % prime[i] == 0)
x /= prime[i];
}
}
return x == 1 ? ans : x;
}
```
### 2、埃氏筛法
复杂度:$O(\log{\log{n}})$
由于对于任何合数而言,他们能够被任意$prime$ 整除,所以,可以通过枚举$k*prime(k*prime\le lim_{up})$,来筛选出一些约数,而没有被筛选过的自然就是素数
值得说明的是:当选中某个$prime$时,比$prime$小的质数的倍数已经被筛出了,所以为了减小时间复杂度,可以从$prime^2$开始筛选
```cpp
const int maxn = 10000;
bool vis[maxn];
int cnt, prime[maxn / 10];
void Eratosthenes_Sieve()
{
for (int i = 2; i < maxn; ++i)
{
if (vis[i]) continue;
prime[cnt++] = i;
for (int j = i * i; j < maxn; j += i)
vis[j] = true;
}
}
```
拓展内容(求出多个合数的最大质因数)
利用埃氏筛法是由小质数到大质数的筛选过程,每次大质数筛选时会覆盖之前小质数的结果,因此可以得到实现代码
注意:开始条件从$i^2$变为了$2i$
```cpp
#include<cstdio>
const int maxn = 10000;
int vis[maxn];
int cnt, prime[maxn / 10];
void get_Maximum_prime_factors()
{
for (int i = 2; i < maxn; ++i)
{
if (vis[i]) continue;
prime[cnt++] = i;
for (int j = 2*i; j < maxn; j += i)
vis[j] = i;
}
}
```
### 3、欧拉筛
复杂度:$O(n)$
通过对每个合数,只用其最小的质因数进行筛选的思想,每次将$cur*prime[i]$对应的数筛出,为了保证最小的质因数筛出,当$prime[i]\mid cur$时,需要break
原因在于设$cur=k*prime[i]$,那么如果继续筛即对于
$$n=cur*prime[i+1]=(prime[i]*k)*prime[i+1]=prime[i]*(k*prime[i+1])$$则可以看出来,这个数$n$本应该在枚举$cur$到比它大的数$k*prime[i+1]$被比$prime[i+1]$更小的$prime[i]$筛出
```cpp
void Euler_Sieve()
{
for (int i = 2; i < maxn; ++i)
{
if (!vis[i]) prime[cnt++] = i;
for (int j = 0; j < cnt && prime[j] * i < maxn; ++j)
{
vis[prime[j] * i] = true;
if (i % prime[j] == 0)
break;
}
}
}
```
拓展内容(求出多个合数的最小质因数)
利用欧拉筛每个数都被其最小质因数所筛去
注意:开始条件从$i^2$变为了$2i$
```cpp
#include<cstdio>
const int maxn = 10000;
int vis[maxn];
int cnt, prime[maxn / 10];
void get_Maximum_prime_factors()
{
for (int i = 2; i < maxn; ++i)
{
if (!vis[i]) vis[i] = prime[cnt++] = i;
for (int j = 0; j < cnt && prime[j] * i < maxn; ++j)
{
vis[prime[j] * i] = prime[j];
if (i % prime[j] == 0)
break;
}
}
}
```
### 4、杜教筛
待学
### 5、min25筛
待学

## 五、欧拉函数\]

数论总结——更新ing的更多相关文章

  1. 适合入门自学服装裁剪滴书(更新ing)

    [♣]适合入门自学服装裁剪滴书(更新ing) [♣]适合入门自学服装裁剪滴书(更新ing) 适合入门自学服装裁剪滴书(更新ing) 来自: 裁缝阿普(不为良匠,便为良医.) 2014-04-06 23 ...

  2. Coursera,Udacity,Edx 课程列表(更新ing)

    Coursera,Udacity,Edx 课程列表(更新ing) Coursera有很多特别好的课程,平时没有机会听到国外大牛的课程,通过Coursera算是可以弥补一下吧,国外的课程普遍比国内的老师 ...

  3. storcli 命令(更新Ing)

    help [root@centos7]# storcli -h Storage Command Line Tool Ver 007.0606.0000.0000 Mar , (c)Copyright ...

  4. 【板子】数论基础(持续更新ing...)

    #include<cstdio> #include<iostream> #include<cstring> #include<cmath> #inclu ...

  5. 大白话strom——问题收集(持续更新ing)

    本文导读: 1.基于storm的应用 2.storm的单点故障解决 3.strom与算法的结合学习4.杂记——常见问题的解答5.http://www.blogchong.com/catalog.asp ...

  6. paper 34 :常见函数的举例(更新ing)2

    在研究opencv,不是很难,但是需要换种思维来认知这个C/C++为编程函数的开源代码库,OK,我现在还是总结一些常用MATLAB的函数,随时更新,下一阶段就是opencv方面的认知了! 1.std ...

  7. 一些不认识的开源js(更新ing。。。)

    孟星魂和小蝶归隐山林曾经说过,我们不问江湖事,但是不能不知道江湖事,因为我们是老伯的人(大概意思),所以有些东西可以用不到,但是一定要了解点... (首先不能人云亦云,但是有个主观观点也没啥大问题) ...

  8. Python:常见错误集锦(持续更新ing)

    初学Python,很容易与各种错误不断的遭遇.通过集锦,可以快速的找到错误的原因和解决方法. 1.IndentationError:expected an indented block 说明此处需要缩 ...

  9. 【小知识+小细节】不断更新ing...

    1.printf printf("%.0lf",k) 输出的不是floor(k) 而是k四舍五入 ..才发现.xlf 都是四舍五入取x位 2.cin char buff[300] ...

随机推荐

  1. JavaScript写秒表

    1.HTML部分 <div id="div1"> <span id="hour">00</span> <span> ...

  2. ansible-命令使用说明

    1. ansible命令的使用说明 ansible 主机或组-m 模块名-a '模块参数' ansible参数 表示调用什么模块,使用模块的那些参数 • 主机和组,是在/etc/ansible/hos ...

  3. 1T数据快速排序!十种经典排序算法总结

    1 冒泡排序 每次循环都比较前后两个元素的大小,如果前者大于后者,则将两者进行交换.这样做会将每次循环中最大的元素替换到末尾,逐渐形成有序集合.将每次循环中的最大元素逐渐由队首转移到队尾的过程形似&q ...

  4. harbor搭建与使用

        前两天测试服务docker化并k8s布署时,出于方便,使用了docker hub.由于我们的代码是要放到镜像里的,通过运行容器,便能获取我们的全部代码,风险很大.所以我们决定进行私有化的镜像部 ...

  5. centos8安装fastdfs6.06集群方式二之:tracker的安装/配置/运行

    一,查看本地centos的版本 [root@localhost lib]# cat /etc/redhat-release CentOS Linux release 8.1.1911 (Core) 说 ...

  6. centos8平台:举例讲解redis6的ACL功能(redis6.0.1)

    一,为什么redis6要增加acl功能模块? 什么是acl? 访问控制列表(ACL)是一种基于包过滤的访问控制技术, 它可以根据设定的条件对接口上的数据包进行过滤,允许其通过或丢弃 redis6增加了 ...

  7. centos8平台redis cluster集群搭建(redis5.0.7)

    一,规划 redis cluster 1,cluster采用六台redis,3主3从 redis1    : ip: 172.17.0.2 redis2    : ip: 172.17.0.3 red ...

  8. js鼠标、键盘事件实例代码

    1. 鼠标的哪个按键被点击? <html> <head> <script type="text/javascript"> function wh ...

  9. 第二十一章 PHP编译安装(centos7)

    一.环境准备 主机 IP 身份 web01 10.0.0.7 编译安装PHP 二.准备安装 1.新建目录 [root@jindada ~]# mkdir /php 2.上传源码包并解压 [root@j ...

  10. C++20 多线程 std::jthread

    在C++20中新加了jthread类,jthread是对thread的一种封装 std::jthread 构造函数 (1)jthread() noexcept; (2)jthread( jthread ...