数论知识点总结(noip范围)
数论知识点:
约数个数和约数和公式(例题:POJ1845 分治思想):
质因数分解 p1^k1xp2^k2xp3^k3...pn^kn
约数个数和:(1+k1)(1+k2)...(1+kn)
所有约数和=(1+p1+p1^2+...+p1^k1)...(1+pn+pn^2+...+pn^kn)
求和方法:因式分解+分治
或者等比数列求和+拓展GCD求逆元
欧拉定理:若GCD(x,y)≡1,则x^(φ(y))≡1(mode y)
特殊:费马小定理:若y是质数,且x,y互质,则x^(y-1)≡1 (mode y)
推论:降幂公式:若GCD(x,y)≡1,则a^x≡a^(x%φ(y))(mode y)
若GCD(x,y)≠ 1,则a^x≡a^(x%φ(y)+φ(y))(mode y)
欧拉函数:φ(x),其中若x为质数,则φ(x)=x-1,且欧拉函数为积性函数(人话:可以线性筛!!!)
gcd与lcm:GCD(x,y)xLCM(x,y)=xy
拓展GCD:ax≡y (mod p)
刚刚写计算器,发现我对拓展gcd的理解出现了漏洞......
(我发现我忽略了使用拓展gcd的第一步,上来就递归......)
使用拓展gcd步骤如下:
给定不定方程ax≡y(mode p)
首先求gcd(a,p)=t ①
若y mode t !=0,则原方程无整数解
若y mode t = 0,则:
a/=t,y/=t,p/=t ②
即将原方程化为a0x+p0z=y0的形式
接下来求出a0x+p0z=1 ③的一组整数解x0,z0
此时才用到拓展gcd
其解法:辗转相除至b=0,此时赋值x=1,y=0,回溯时修改x=y0,y=x0-(a/b)y0
然后再算出x=y0*x0+kp0(k∈Z)
z=y0*z0+kp0(k∈Z) ④
最后化出正整数(取模加模再取模)即可 ⑤
所以拓展gcd是至少有5步的!
(然而我只记得辗转相除再赋值...所以计算器WA了一下午...)
求逆元:拓展GCD,费马-欧拉定理,线性筛
中国剩余定理:已知
x%a0≡a1,x%b0≡b1,x%c0≡c1
令M1=b0xc0,M2=a0xc0,M3=a0xb0
则原方程可变为:
M1x1≡1(mode a0)
M2x2≡1(mode b0)
M3x3≡1(mode c0)
显然可用拓展gcd解出x1,x2,x3
那么,所求x=(M1a1x1+M2a2x2+M3a3x3)%(LCM(a0,b0,c0))
结论:中国剩余定理给出了一系列模方程组,可以采用拓展GCD将上述方程拓展到n个,采用拓展gcd解之即可
通解: 对于x%a0≡b0...等一系列方程组
我们可以令M=Πai
对于每一个xi,求出Mixi≡1(mode ai)的xi
其中Mi=M/ai
则最终所求的x=Σ(Mibixi)%M
例:曹冲养猪
线性筛:线性筛可以筛:
素数+欧拉函数:
void eular()
{
for(int i=2;i<=maxN;i++)
{
if(used[i]==0)
{
prime[++cnt]=i;
phi[i]=i-1;
}
for(int j=1;j<=cnt&&i*prime[j]<=maxN;j++)
{
used[i*prime[j]]=1;
if(i%prime[j]==0)
{
phi[i*prime[j]]=phi[i]*prime[j];
break;
}else
{
phi[i*prime[j]]=phi[i]*(prime[j]-1);
}
}
}
}
素数+约数个数:
void make(int n)//线性筛
{
f[1]=1;//初值
for(int i=2;i<=n;i++)
{
if(used[i]==0)//未被标记
{
f[i]=2;//该数为素数
p[++cnt]=i;
d[i]=1;//该数最大次数为1
}
for(int j=1;j<=cnt&&i*p[j]<=n;j++)
{
used[i*p[j]]=1;//打标记
if(i%p[j]==0)//该数中有这一质因子
{
f[i*p[j]]=f[i]/(d[i]+1)*(d[i]+2);//此二数之积的因数个数应为其中一数的因数个数再多一个该质数
d[i*p[j]]=d[i]+1;//最小质因子最高次幂就是其加上1
break;
}
f[i*p[j]]=f[i]*2;//搞定
d[i*p[j]]=1;
}
}
}
对模mode的逆元:
void init()
{
inv[1]=1;
for(int i=2;i<=maxn;i++)
{
inv[i]=(mode-mode/i)*inv[mode%i]%mode;
}
inv[0]=1;
for(int i=1;i<=maxn;i++)
{
inv[i]=inv[i-1]*inv[i]%mode;
}
jiecheng[1]=1;
for(int i=2;i<=maxn;i++)
{
jiecheng[i]=jiecheng[i-1]*i%mode;
}
}
以及混合起来的万能筛:
#include <cstdio>
#define mode 998244353
#define maxn 1000000
using namespace std;
bool used[1000006];
int prime[1000006];//素数
int fac[1000006];//约数个数
int mi[1000006];//约数的最高次幂
int inv[1000006];//对mode的逆元
int phi[1000006];//欧拉函数
int cnt=0;
void init()
{
inv[0]=1;
inv[1]=1;
fac[1]=1;
for(int i=2;i<=maxn;i++)
{
inv[i]=(mode-mode/i)*inv[mode%i]%mode;
if(!used[i])
{
prime[++cnt]=i;
fac[i]=2;
mi[i]=1;
phi[i]=i-1;
}
for(int j=1;j<=cnt&&i*prime[j]<=maxn;j++)
{
used[i*prime[j]]=1;
if(i%prime[j]==0)
{
fac[i*prime[j]]=fac[i]/(mi[i]+1)*(mi[i]+2);
mi[i*prime[j]]=mi[i]+1;
phi[i*prime[j]]=phi[i]*prime[j];
break;
}
phi[i*prime[j]]=phi[i]*phi[prime[j]];
fac[i*prime[j]]=fac[i]*2;
mi[i*prime[j]]=1;
}
}
}
int main()
{
init();
for(int i=1;i<=cnt;i++)
{
printf("%d\n",prime[i]);
}
return 0;
}
数论知识点总结(noip范围)的更多相关文章
- NOIp 基础数论知识点总结
推荐阅读 NOIp 数学知识点总结: https://www.cnblogs.com/greyqz/p/maths.html Basic 常用素数表:https://www.cnblogs.com/g ...
- Collections 索引
About Me NOIp 数据结构专题总结 NOIp 图论算法专题总结 NOIp 基础数论知识点总结 NOIp 数学知识点总结 搜索算法总结 (不包含朴素 DFS, BFS) 位运算 字符串算法总结 ...
- Noip前的大抱佛脚----数论
目录 数论 知识点 Exgcd 逆元 gcd 欧拉函数\(\varphi(x)\) CRT&EXCRT BSGS&EXBSGS FFT/NTT/MTT/FWT 组合公式 斯特林数 卡塔 ...
- NOIp 数学知识点总结
推荐阅读 NOIp 基础数论知识点总结: https://www.cnblogs.com/greyqz/p/number.html 排列组合 常用公式 排列:\[\displaystyle A_n^m ...
- Codevs 1200 同余方程 2012年NOIP全国联赛提高组
1200 同余方程 2012年NOIP全国联赛提高组 时间限制: 1 s 空间限制: 128000 KB 题目等级 : 钻石 Diamond 题目描述 Description 求关于 x 同余方程 a ...
- WC2019 20天训练
Day -1 2019.1.2 初步计划: 0x60 图论 std 洛谷提高剩余练习 NOIP2018遗留题解 洛谷省选基础练习 数学: 1.数论 2.组合数学(练习:莫比乌斯反演) 3.概率(练习: ...
- [HNOI2002]跳蚤 【容斥】
题目描述 Z城市居住着很多只跳蚤.在Z城市周六生活频道有一个娱乐节目.一只跳蚤将被请上一个高空钢丝的正中央.钢丝很长,可以看作是无限长.节目主持人会给该跳蚤发一张卡片.卡片上写有N+1个自然数.其中最 ...
- 扩展gcd codevs 1200 同余方程
codevs 1200 同余方程 2012年NOIP全国联赛提高组 时间限制: 1 s 空间限制: 128000 KB 题目等级 : 钻石 Diamond 题目描述 Description 求关 ...
- Noip知识点备考
作为一个oier,适当的整理是有必要的.蒟蒻根据自己的理解,筛选出考noip应当掌握的知识点.可能后期还有解题思路和模板,先挖个坑慢慢补呗. 60级张炳琪Noip知识点总结 可能是本人比较弱,写的内容 ...
随机推荐
- jquery 遍历 json【转】
jquery 遍历 json <HTML> <HEAD> <meta http-equiv="content-Type" content=" ...
- POJ - 2635 The Embarrassed Cryptographer(千进制+同余模)
http://poj.org/problem?id=2635 题意 给一个大数K,K一定为两个素数的乘积.现给出一个L,若K的两个因子有小于L的,就输出BAD,并输出较小的因子.否则输出GOOD 分析 ...
- day1 查看当前目录命令:pwd
用到查看当前目录的完整路径使用:pwd 物理路径和连接路径什么鬼?没明白暂时借鉴别人的记录下 显示当前目录的物理路径 pwd –P 1: [root@DB-Server init.d]# cd /et ...
- [转]Linux/Windows下脚本对拍程序
[新]简单写法 (转载自:https://blog.csdn.net/ylsoi/article/details/79824655) 要求:文件输入输出,且输入输出文件需要对应 Linux: #inc ...
- mysql 5.7 ~ 新特性
mysql 5.7特性 简介:mysql 5.7内存和线程性能方面的优化一 细节优化 参数: 1 innodb_buffer_pool 改进 innodb_buffer_pool可以动态扩大, ...
- python 入门基础21 --面向对象_多态、内置方法、反射
内容: 1.接口思想 2.抽象类思想 3.多态 4.内置方法 5.反射 1.接口思想 建立关联的桥梁,方便管理代码 接口类:用来定义功能的类,位继承它的子类提供功能 该类的功能方法一般不需要实现体,实 ...
- Linux的记事本 Vi和Vim
⒈Vi和Vim的三种模式 ①正常模式 在正常模式下可以使用快捷键 默认进入的是正常模式 ②编辑模式(插入模式) 在该模式下可以输入内容 按下I,i,O,o,A,a,R,r等任何一个字母之后才可以进入该 ...
- SpringMVC集成Redis
(1)添加pom依赖 <dependency> <groupId>org.springframework.data</groupId> <artifactId ...
- Potential Pythonic Pitfalls
Potential Pythonic Pitfalls Monday, 11 May 2015 Table of Contents Not Knowing the Python Version Obs ...
- caffe中 softmax 函数的前向传播和反向传播
1.前向传播: template <typename Dtype> void SoftmaxLayer<Dtype>::Forward_cpu(const vector< ...