数论知识点总结(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知识点总结 可能是本人比较弱,写的内容 ...
随机推荐
- package.json版本号
(1)^指定版本:比如"^3.1.4",表示安装3.1.4及以上的版本(3.x.x),但是不安装4.0.0 (2)~指定版本:比如 "~1.1.0", 表示安装 ...
- Spark记录-大数据简介
什么是大数据 大数据(big data),指无法在一定时间范围内用常规软件工具进行捕捉.管理和处理的数据集合,是需要新处理模式才能具有更强的决策力.洞察发现力和流程优化能力的海量.高增长率和多样化的信 ...
- 服务器上的XML
若想让浏览器能访问Web项目,需要配置服务器里的XML文件,XML文件是类似于HtML文件的纯文本文件,可以通过Web服务器轻松的存储和生成. XML可以通过ASP,PHP,数据库生成XML
- 11. SpringBoot 之CRUD实例
SpringBoot静态页路径,可直接通过URL访问的: /META-INF/resources /resources /static /public 而 5. /template 只和模板引擎 ...
- json 不能 dumps Decimal 解决办法
class DecimalEncoder(json.JSONEncoder): def default(self, o): if isinstance(o, decimal.Decimal): ret ...
- listcontrolc插入列时,出现断言错误
原因:窗口还未创建,就对listcontrol进行了操作 解决方案:在初始化函数中 添加CDialogEx::OnInitDialog();
- C# 密封类使用sealed修饰
using System; using System.Collections.Generic; using System.Linq; using System.Text; namespace @sea ...
- UE4的AI学习(1)——基本概念
AI学习当中,不学习行为树基本概念就不能明白具体实例中的操作意义,但是没有经过具体实例实验,又觉得基本概念抽象难以理解.建议先泛读(1)(2)后再对具体的细节进行死磕,能较深的理解行为树的具体概念.第 ...
- 查看Mac电脑的核心数量
#显示物理核心数sysctl hw.physicalcpu#显示逻辑核心数sysctl hw.logicalcpu
- cetus系列~ 继续分析
一 简介:我们来继续探讨cetus的细节问题 二 命令 1 select help 查看帮助 2 select * from backends 查看后端列表 3 select conn_detai ...