数论总结——更新ing
数论还是有很多没学完 只是小小的总结
一、同余定理
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\)的最大公约数
```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的更多相关文章
- 适合入门自学服装裁剪滴书(更新ing)
[♣]适合入门自学服装裁剪滴书(更新ing) [♣]适合入门自学服装裁剪滴书(更新ing) 适合入门自学服装裁剪滴书(更新ing) 来自: 裁缝阿普(不为良匠,便为良医.) 2014-04-06 23 ...
- Coursera,Udacity,Edx 课程列表(更新ing)
Coursera,Udacity,Edx 课程列表(更新ing) Coursera有很多特别好的课程,平时没有机会听到国外大牛的课程,通过Coursera算是可以弥补一下吧,国外的课程普遍比国内的老师 ...
- storcli 命令(更新Ing)
help [root@centos7]# storcli -h Storage Command Line Tool Ver 007.0606.0000.0000 Mar , (c)Copyright ...
- 【板子】数论基础(持续更新ing...)
#include<cstdio> #include<iostream> #include<cstring> #include<cmath> #inclu ...
- 大白话strom——问题收集(持续更新ing)
本文导读: 1.基于storm的应用 2.storm的单点故障解决 3.strom与算法的结合学习4.杂记——常见问题的解答5.http://www.blogchong.com/catalog.asp ...
- paper 34 :常见函数的举例(更新ing)2
在研究opencv,不是很难,但是需要换种思维来认知这个C/C++为编程函数的开源代码库,OK,我现在还是总结一些常用MATLAB的函数,随时更新,下一阶段就是opencv方面的认知了! 1.std ...
- 一些不认识的开源js(更新ing。。。)
孟星魂和小蝶归隐山林曾经说过,我们不问江湖事,但是不能不知道江湖事,因为我们是老伯的人(大概意思),所以有些东西可以用不到,但是一定要了解点... (首先不能人云亦云,但是有个主观观点也没啥大问题) ...
- Python:常见错误集锦(持续更新ing)
初学Python,很容易与各种错误不断的遭遇.通过集锦,可以快速的找到错误的原因和解决方法. 1.IndentationError:expected an indented block 说明此处需要缩 ...
- 【小知识+小细节】不断更新ing...
1.printf printf("%.0lf",k) 输出的不是floor(k) 而是k四舍五入 ..才发现.xlf 都是四舍五入取x位 2.cin char buff[300] ...
随机推荐
- dockerfile关键字
DockerFile关键字(保留字指令) FORM:基础镜像,表明当前镜像是基于那么镜像的 MAINTAINER :镜像维护者的名字和邮箱地址 RUN:容器构建时需要用到的命令 EXPOSE:当前容器 ...
- 利用babel工具将es6语法转换成es5,Object.assign方法报错
一.新建工程初始化项目 1.新建工程文件夹这里起名叫做es6,然后在里面创建两个文件夹分别为src .dist如下图:(src为待转换es6 js存放目录,dist为编译完成后的es5 js存放目录) ...
- Kubernetes K8S之存储ConfigMap详解
K8S之存储ConfigMap概述与说明,并详解常用ConfigMap示例 主机配置规划 服务器名称(hostname) 系统版本 配置 内网IP 外网IP(模拟) k8s-master CentOS ...
- day54 Pyhton 前端JS06
内容回顾 - ECMAScript5.0 基础语法 - var 声明变量 - 五种基本数据类型 - string - number NaN number 1 number - boolean - un ...
- day39 Pyhton 并发编程02
一.内容回顾 并发和并行的区别 并发 宏观上是在同时运行的 微观上是一个一个顺序执行 同一时刻只有一个cpu在工作 并行 微观上就是同时执行的 同一时刻不止有一个cpu在工作 什么是进程 一个运行中的 ...
- python接口测试之excel的操作
1 用到的第三方库openpyxl,需要在命令窗口中下载安装pip install openpyxl,主要对xlsx格式的excel进行读取和编辑: xlrd库从excel中读取数据,支持xlsx x ...
- zabbix安装中文语言包及中文乱码的解决(zabbix5.0)
一,zabbix不能配置中文界面的问题: 1, zabbix5.0 系统安装后,web界面不能选择使用中文 系统提示: You are not able to choose some of the l ...
- Linux创建用户时让每个用户家目录中自带说明文档
新用户创建时模板文件放在/etc/skel中,只要在skel中放入相应文档,即可在创建用户时在其家目录中产生对应文档 [00:30:48 root@C8[ ~]#ll -a /etc/skel/ ## ...
- vue知识点11
1. Vue.js 是什么 Vue是一套用于构建用户界面的渐进式框架 2. vue的环境搭建(Vue2 ) 3. 经典的hello world new Vue({ ...
- 企业级RPC框架zRPC
近期比较火的开源项目go-zero是一个集成了各种工程实践的包含了Web和RPC协议的功能完善的微服务框架,今天我们就一起来分析一下其中的RPC部分zRPC. zRPC底层依赖gRPC,内置了服务注册 ...