同余问题共7part,我的博客链接:

  • 基本概念与性质
  • 逆元:概念、求解方法与推导
  • 线性同余方程
    • 一元线性同余方程
    • 一元线性同余方程组
    • 多元线性同余方程
  • 高次同余方程:BSGS算法(大小步算法、拔山盖世算法)
  • 快速幂与矩阵快速幂

基本概念与性质

  • 定义:a≡b(modm)a\equiv b(\mod m)a≡b(modm)
  • 定义的等价条件:m∣(a−b)⇔∃k∈N,a=b+kmm\mid (a-b)\Leftrightarrow \exist k\in N,a=b+kmm∣(a−b)⇔∃k∈N,a=b+km
  • ⇒c∈N,a±c≡b±c(modm),ac≡bc(modm)\Rightarrow c\in N,a\pm c\equiv b\pm c(\mod m),ac\equiv bc(\mod m)⇒c∈N,a±c≡b±c(modm),ac≡bc(modm)
  • ⇒an≡bn,n>0\Rightarrow a^n\equiv b^n,n>0⇒an≡bn,n>0
  • ⇒f(a)≡f(b),f(x)整系数多项式\Rightarrow f(a)\equiv f(b),f(x)整系数多项式⇒f(a)≡f(b),f(x)整系数多项式
  • ⇒gcd⁡(a,m)=gcd⁡(b,m)\Rightarrow\gcd(a,m)=\gcd(b,m)⇒gcd(a,m)=gcd(b,m)
  • ,d∣m⇒a≡b(modd),d\mid m\Rightarrow a\equiv b(\mod d),d∣m⇒a≡b(modd)
  • 同余是等价关系(自反、对称、传递)
  • 模mmm 剩余类:将整数分成mmm 个集合使得任意两个整数模mmm 同余
  • 模mmm 完全剩余系:从模mmm 的每个剩余类中选一个数,构成的mmm 个数的集合
  • a≡b(modm),c≡d(modm)⇒ax+cy≡bx+dy(modm),x,y∈N,ac≡bd(modm)a\equiv b(\mod m),c\equiv d(\mod m)\Rightarrow ax+cy\equiv bx+dy(\mod m),x,y\in N,ac\equiv bd(\mod m)a≡b(modm),c≡d(modm)⇒ax+cy≡bx+dy(modm),x,y∈N,ac≡bd(modm)
  • ac≡bc(modm),gcd⁡(c,m)=d⇒a≡b(modm/d)ac\equiv bc(\mod m),\gcd(c,m)=d\Rightarrow a\equiv b(\mod m/d)ac≡bc(modm),gcd(c,m)=d⇒a≡b(modm/d)
  • ab≡(a%m)(b%m)(modm)ab\equiv(a\%m)(b\%m)(\mod m)ab≡(a%m)(b%m)(modm)

注:乘法改成加法防止溢出

// 计算a*b mod m,防止溢出
ll multi_add(ll a, ll b, ll m)
{ll ans = 0;while (b > 0){if (b & 1ll)ans = (ans + a) % m;b >>= 1ll;a = (a << 1ll) % m;}return ans;
}

【数论】同余(一):同余的基本概念与性质相关推荐

  1. 【数论】素数(一):基本概念、性质、猜想、定理

    我的数论-素数部分博客共5part: 基本概念.性质.猜想.定理 素数筛法(埃式筛.欧拉筛.区间筛) 素数判断法(朴素法.模6法.Rabin-Miller及改进) 数的分解(Pollard-rho) ...

  2. 数论-模运算与同余的性质

    数论-模运算与同余的性质 模运算 基础 取模运算:a % p(a mod p),表示a除以p的余数. 运算 1.模p加法:(a + b) % p = (a%p + b%p) % p 2.模p减法:(a ...

  3. 第十二单元 数论算法12.1 同余的性质12.2 最大公约数、最小公倍数

    第十二单元 数论算法 12.1 同余的性质! 注意下面三个式子,它可以保证在计算中不会发生溢出.  (a+b) mod m=(a mod m+b mod m) mod m  (a-b) mod m ...

  4. 数论专题笔记(1)——同余,整除,欧拉定理,中国剩余定理

    一. 同余定义:给定一个正整数m,如果两个整数a和b满足a-b能够被m整除,即(a-b)/m得到一个整数,那么就称整数a与b对模m同余,记作a≡b(mod m).对模m同余是整数的一个等价关系. 显然 ...

  5. 基础数论(3)同余、逆元

    同余和逆元 本篇博客将介绍同余和逆元,以及求逆元的三种方法(因为快速幂是本菜鸡在很久之前c语言还没学完的时候扣了一晚上看懂了,所以默认大家都会了) 放到一起总结一下.拖了好久的说... 然后,开始了. ...

  6. 信息学奥赛 数论专题 2、带 余 除 法

    1.3编程基础之算术表达式与顺序执行 04 带余除法 http://noi.openjudge.cn/ch0103/04/ /* 1.3编程基础之算术表达式与顺序执行 04 带余除法 http://n ...

  7. 【数论学习笔记】同余

    洛谷P1082题解:https://www.luogu.org/blog/costudy/solution-p1082 知识: 费马小定理:若 p 是质数,则对于任意整数 a ,有 ap = a (m ...

  8. ACM_无聊者序列(斐波那契数列大数取余(同余)+规律)

    Problem Description: 瓜瓜在玩着由红色和蓝色的大理石做成的玻璃珠,他将n个玻璃珠从左到右排成一个序列叫做无聊者序列.一个非空的红色和蓝色玻璃珠组成的序列是一个无聊者序列.这个序列的 ...

  9. oracle求整数取余,oracle 取余 取整 字符串连接

    sql中的取模,取整,字符串连接等操作: c = a mod b ;//取模 c = trunc(a/b);//取整 //连接两个字符串,sql中不能用+号连接两个字符串 c = a || b; 或 ...

最新文章

  1. MyBatis 源码解读-typeHandlerElement()
  2. ajax 原理----初级篇
  3. mysql jdbc字符编码_java中jdbc/sql出现编码问题
  4. matlab学习:人脸识别之LBP (Local Binary Pattern)
  5. ubuntu18.04 Nvidia 显卡的风扇调速及startx的后果 --转载
  6. Maya粒子消散特效制作(三)
  7. JavaSE基础笔记——字符串常用类/ArrayList(集合)
  8. 条形码 Ean13 的校验方法
  9. Python 简易实现 quoted-printable 编码
  10. 微信小程序开发---云开发数据库使用(查询)
  11. (翻译)9种清晰直观的图标应用原则
  12. SOPHON BM1684芯片解码性能以及支持的文件格式
  13. 如何上传本地代码到github仓库
  14. 经典WEB项目之宠物商店(一)
  15. LOJ 1070 Algebraic Problem
  16. WiFi信号感知精度
  17. laysns程序用户中心美化模板
  18. 什么是微带线和带状线
  19. 杰理之MIC到usb【篇】
  20. 惠普工作站Z240 WIN10系统重装WIN7 历程总结

热门文章

  1. 使用log4j2,控制台可以正常输出日志,但是log4j2日志文件为空?
  2. java+s2sh+mysql水费系统
  3. 银行的atm是一台通用计算机,ATM自动取款机是不是所有银行通用的,要不...
  4. 高考失利只能进清华,35岁成阿里最年轻技术副总裁,他来自另一个平行世界!...
  5. Squid访问控制实例
  6. 分布式任务xxl-job调度中心安装说明
  7. 度过有意义的生命(上)
  8. STM32跑MicroPython的链接脚本分析
  9. SharePoint 创建页面布局
  10. maven-springmvc工程