当前位置: 首页 > news >正文

网络空间安全数学基础·整除与同余

主要内容:
整除的基本概念(掌握)
素数(掌握)
同余的概念(掌握)

1.1整除

定义:设a,b是任意两个整数,其中b≠0,如果存在一个整数q,使 a = qb,则我们称b整除a,或a被b整除,记为b|a,此时称 b是a的因子,a是b的倍数。

例:a=10, b=2则有2|10;若a=100, b=10有10|100

例:设a是整数,a≠0, 则a|0。

整除的基本性质:
1. 如果b|a且a|b,则b = a或b = -a。

2. 如果a|b且b|c,则a|c。

3. 如果c|a且c|b,则c|ua+vb,其中u,v是整数。

整除的基本性质(补充):
(1) a|b<=>-a|b<=>a|-b<=>-a|-b<=>|a| | |b|
(2) b≠0且a|b => |a|≤|b|

带余除法:当两个整数不能整除时,我们有带余除法:
定义:对于a,b两个整数,其中b≠0,则存在唯一q,r使得:a=bq+r,0 ≤ r<|b|。r称为a被b除得到的余数, 当r = 0时,b|a。

例:

1)a = –37, b= 5,则–37 = (-8)×5+3,q=8,r=3

2)a = 67,b= 7,则67=(9)×(7)+4,q=9, r=4

最大公因子:
定义:
1) 设a,b是两个整数,如果整数c|a且c|b,则c称为a,b的公因子。
2) 设c>0是两个不全为零的整数a,b的公因子,如果a,b的任何公因子都整除c,则c称为a,b的最大公因子,记为c=(a,b)。

最大公因子性质:
1.(a,b)=(-a,b)=(a,-b)=(-a,-b)=(|a|,|b|)
2.(0,a)=a

最大公因子(求解)

例:(-3824,1837)

最大公因子定理:
定理:设a,b是两个不全为零的整数,则存在两个整数u, v,使得:(a, b)=ua+vb。

例:将a = 888,b = 312的最大公因子表示为(a,b) = ua+vb。

1.2互素 

定义:设a,b是两个不全为0的整数,如果(a, b)=1,则称a,b互素。

推论:a, b互素的充分必要条件是:存在u,v,使ua+vb=1。

互素性质:
1) 如果c|ab且(c, a) = 1,则c|b 。

2) 如果a|c,b|c,且(a, b) = 1,则ab|c 。

3) 如果(a,c) = 1,(b,c) = 1,则(ab,c) =1 。

最小公倍数:
定义:
1) 设a, b是两个不等于零的整数.如果a|d,b|d,则称d是a和b的公倍数。
2) a和b的正公倍数中最小的称为a和b的最小公倍数,记为[a,b] 。

最小公倍数性质:
[a,b] = [–a,b] = [a,–b] = [–a,–b] = [|a|,|b|]

例:a = 2,b = 3.它们的公倍数集合为{0,±6,±12,±18,…}.而[2,3] = 6 。

最小公倍数与最大公因子关系:
定理:
1) 设d是a,b的任意公倍数,则[a, b] | d 。
2),特别地,如果(a, b) = 1, [a, b] = |ab|。

1.3素数

定义:如果一个大于1的整数p除±1和±p外无其他因子,则p称为一个素数,否则称为合数。

定理:设p是一个素数,则
1) 对任意整数a,如果p不整除a,则(p,a) = 1。
2) 如果p|ab,则p|a,或p|b。

算术基本定理:
定理:每个大于1的整数a都可以分解为有限个素数的乘积:a=p1p2…pr。该分解除素数因子的排列外是唯一的。

标准因子分解式:
由于p1,p2,…,pr中可能存在重复,所以a的分解式可表示为有限个素数的幂的乘积:,这称为a的标准因子分解式。

例:2100的标准因子分解式:

素数无穷个:
定理:素数有无穷多个。

Eratosthenes筛法:
定理:设a是任意大于1的整数,则a的除1外最小正因子q是一素数,并且当a是一合数时,

对于一般N,Eratosthenes筛法可表述如下:
第1步 找出的全部素数:p1,p2,…,pm。
第2步 在1~N中分别划去p1,p2,…,pm全部倍数。
第2步完成后剩下的数除1外就是不超过N的全部素数。

筛法原理如下:对于一个数a≤N,如果p1,p2,…,pm都不整除a,则a是素数。这是因为如果a是合数,则由定理它必有一素因子在p1,p2,…,pm中。

例:求不超过100的全部素数。

同理可以将因子5,7的倍数划去: (3) 划去5的全部倍数: (4) 划去7的全部倍数。

最终经过上述步骤后剩下的数除1外就是不超过100的全部素 数: (25个)    2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97

1.4 同余

定义:给定一个称为模的正整数m。如果m除整数a,b得相同的余数,即a=q1m+r,b=q2m+r,0≤ r小于等于m, 则称a和b关于模m同余,记为 a≡b (mod m)

例:25≡1(mod 8),16≡-5(mod 7)。

定理:整数a,b对模m同余的充分必要条件是:m|(a-b),即a = b+mt,t是整数。

同余性质及推论:

推论:如果a1≡b1 (mod m),a2≡b2 (mod m),则:

快速指数算法

例1-16:求解 2^64 (mod 641)

相关文章:

网络空间安全数学基础·整除与同余

主要内容&#xff1a; 整除的基本概念&#xff08;掌握&#xff09; 素数&#xff08;掌握&#xff09; 同余的概念&#xff08;掌握&#xff09; 1.1整除 定义&#xff1a;设a&#xff0c;b是任意两个整数&#xff0c;其中b≠0&#xff0c;如果存在一个整数q&#xff0c;使 …...

同旺科技 FLUKE ADPT 隔离版发布 ---- 说明书

所需设备&#xff1a; 1、FLUKE ADPT 隔离版 内附链接&#xff1b; 应用于&#xff1a;福禄克Fluke 12E / 15BMax / 17B Max / 101 / 106 / 107 应用于&#xff1a;福禄克Fluke 15B / 17B / 18B...

云计算-角色、特性和模型 (Roles, Characteristics, and Models)

角色、特性和模型 (Roles, Characteristics, and Models) 角色和边界 (Roles and Boundaries) 为了识别云计算模型&#xff0c;我们首先需要了解各种参与者的角色和边界。由于云系统通常遵循面向服务的模型&#xff0c;我们需要了解服务提供者和服务订阅者之间的边界。我们将遵…...

介绍一下Hugging Face,这个公司的背景是什么

Hugging Face是一家成立于2016年的人工智能公司&#xff0c;专注于为AI研究人员和开发者提供开源模型库和工具。以下是关于Hugging Face公司的详细背景介绍&#xff1a; 公司历史与创始人&#xff1a; Hugging Face由Clment Delangue、Julien Chaumond和Thomas Wolf三位法国籍…...

【C++高阶(一)】继承

目录 一、继承的概念 1.继承的基本概念 2.继承的定义和语法 3.继承基类成员访问方式的变化 ​编辑 4.总结 二、基类和派生类对象赋值转换 三、继承中的作用域 四、派生类的默认成员函数 1.派生类中的默认构造函数 2.派生类中的拷贝构造函数 3.派生类中的移动构造函数…...

AI原生嵌入式矢量模型数据库ChromaDB-部署与使用指南

在人工智能大模型领域&#xff0c; 离不开NLP技术&#xff0c;在NLP中词向量是一种基本元素&#xff0c;如何存储这些元素呢&#xff1f; 可以使用向量数据库ChromeDB Chroma Chroma 是 AI 原生开源矢量数据库。Chroma 通过为 LLM 提供知识、事实和技能&#xff0c;使构建 L…...

c# 画一个正弦函数

1.概要 c# 画一个正弦函数 2.代码 using System; using System.Drawing; using System.Windows.Forms;public class SineWaveForm : Form {private const int Width 800;private const int Height 600;private const double Amplitude 100.0;private const double Period…...

Docker学习(3):镜像使用

当运行容器时&#xff0c;使用的镜像如果在本地中不存在&#xff0c;docker 就会自动从 docker 镜像仓库中下载&#xff0c;默认是从 Docker Hub 公共镜像源下载。 一、列出镜像列表 可以使用 docker images 来列出本地主机上的镜像。 各个选项说明&#xff1a; REPOSITORY&am…...

【Git】版本控制工具——Git介绍及使用

目录 版本控制版本控制系统的主要目标分类小结 分布式版本控制系统——GitGit特点Git与SVN的区别Git的工作机制 Git安装Git 团队协作机制团队内协作跨团队协作远程仓库远程仓库的作用有以下几个方面远程仓库操作流程/团队协作流程 Git分支什么是分支分支的好处 Git的常用命令Gi…...

面试八股之JVM篇3.6——垃圾回收——强引用、弱引用、虚引用、软引用

&#x1f308;hello&#xff0c;你好鸭&#xff0c;我是Ethan&#xff0c;一名不断学习的码农&#xff0c;很高兴你能来阅读。 ✔️目前博客主要更新Java系列、项目案例、计算机必学四件套等。 &#x1f3c3;人生之义&#xff0c;在于追求&#xff0c;不在成败&#xff0c;勤通…...

博客摘录「 Sql Server 收缩日志文件原理及always on 下的实践」2024年5月22日

四、Always on 环境下实践   先对数据库进行完整备份&#xff1a; EXEC sp_configure show advanced options, 1; RECONFIGURE; EXEC sp_configure xp_cmdshell, 1; RECONFIGURE; DECLARE DbName NVARCHAR(1000); DECLARE myCursor CURSOR LOCAL STATIC FOR S…...

每日一题(5)——StringBuffer操作

编写程序&#xff0c;对StringBuffer对象进行追加&#xff0c;插入和修改缓冲区长度等操作&#xff1b; class StringDemo{public static void main(String[] args){boolean btrue;int i321;long l123456;String s1new String("Hello,world!");StringBuffer s2new S…...

默认路由实现两个网段互通实验

默认路由实现两个网段互通实验 **默认路由&#xff1a;**是一种特殊的静态路由&#xff0c;当路由表中与数据包目的地址没有匹配的表项时&#xff0c;数据包将根据默认路由条目进行转发。默认路由在某些时候是非常有效的&#xff0c;例如在末梢网络中&#xff0c;默认路由可以…...

ComfyUI完全入门:图生图局部重绘

大家好&#xff0c;我是每天分享AI应用的萤火君&#xff01; 这篇文章的主题和美女有关&#xff0c;不过并不是教大家生产美女视频&#xff0c;而是讲解 ComfyUI 的图生图局部重绘&#xff0c;其中将会以美女图片为例&#xff0c;来展示局部重绘的强大威力。 先看看效果&…...

基于UDP的网络多人聊天室

UDP服务器 #include <myheader.h>//宏定义打印错误信息 #define PRINT_ERR(msg) \do \{ \printf("%S,%D,%S\n",__FI…...

美国FDA认证是什么,食品FDA注册申请流程

​美国FDA认证是什么&#xff1f; 美国FDA认证&#xff0c;全称为美国食品药品监督管理局&#xff08;Food and Drug Administration&#xff09;的认证&#xff0c;是美国政府为了确保食品、药品、医疗器械等产品的安全性和有效性所设立的重要制度。FDA认证的种类繁多&#x…...

golang的context和chan 的使用

1. context 作用 context包的context的接口&#xff0c;主要是控制协程执行上下文的时间&#xff0c;以及取消程序的执行&#xff0c;以及上下文中传递数据等作用&#xff0c;golang中耗时或者需要协同的操作都会见到context的身影。 context有几个常用的方法 1.1 context.B…...

洛谷P3574 [POI2014] FAR-FarmCraft(树形dp)

洛谷 P 3574 [ P O I 2014 ] F A R − F a r m C r a f t &#xff08;树形 d p &#xff09; \Huge{洛谷P3574 [POI2014] FAR-FarmCraft&#xff08;树形dp&#xff09;} 洛谷P3574[POI2014]FAR−FarmCraft&#xff08;树形dp&#xff09; 文章目录 题意题目说明 思路标程 题目…...

vue/core源码中ref源码的js化

起源&#xff1a; 当看见reactivity文件中的ref.ts文件长达五百多的ts代码后&#xff0c;突发奇想想看下转化成js有多少行。 进行转化&#xff1a; let shouldTrack true; // Define shouldTrack variable let activeEffect null; // Define activeEffect variable// 定义…...

准备打ccf

准备打ccf...

USB HID设备报告描述符深度解析——利用WCH_USB2.0Monitor剖析鼠标数据流

1. 从点击到数据&#xff1a;USB鼠标如何与电脑对话 当你移动鼠标时&#xff0c;光标会跟着动&#xff1b;点击按钮时&#xff0c;程序会响应——这看似简单的操作背后&#xff0c;隐藏着一套精密的通信协议。USB HID&#xff08;Human Interface Device&#xff09;设备通过报…...

React - 组件优化、children props 与 render props、错误边界

一、组件优化 1、问题引入 &#xff08;1&#xff09;基本介绍只要执行 setState&#xff0c;即使不改变状态数据, 组件也会重新 render只要当前组件重新 render&#xff0c;就会自动重新 render 子组件&#xff0c;纵使子组件没有用到父组件的任何数据只要父组件更新&#xff…...

BiliTools:重构B站资源管理的跨平台工具箱

BiliTools&#xff1a;重构B站资源管理的跨平台工具箱 【免费下载链接】BiliTools A cross-platform bilibili toolbox. 跨平台哔哩哔哩工具箱&#xff0c;支持下载视频、番剧等等各类资源 项目地址: https://gitcode.com/GitHub_Trending/bilit/BiliTools 价值定位&…...

编写程序让智能鱼缸换水提醒,水质指标超标提示“及时换水”。

项目名称&#xff1a;Aquarium Guardian (智能鱼缸管家)一、 实际应用场景描述在一个典型的家庭或办公室观赏鱼缸场景中&#xff0c;鱼友&#xff08;用户&#xff09;通常依赖经验或日历提醒来进行换水。然而&#xff0c;鱼缸的水质受多种因素影响&#xff1a;* 生物因素&…...

YOLO12实战体验:上传图片秒出结果,80类物体识别全解析

YOLO12实战体验&#xff1a;上传图片秒出结果&#xff0c;80类物体识别全解析 1. 初识YOLO12&#xff1a;新一代实时目标检测利器 YOLO12作为Ultralytics在2025年推出的最新目标检测模型&#xff0c;继承了YOLO系列"快、准、狠"的特点。相比前代YOLOv11&#xff0c…...

AI语音转换个性化模型实战指南:从认知到实践的全面探索

AI语音转换个性化模型实战指南&#xff1a;从认知到实践的全面探索 【免费下载链接】Retrieval-based-Voice-Conversion-WebUI Easily train a good VC model with voice data < 10 mins! 项目地址: https://gitcode.com/GitHub_Trending/re/Retrieval-based-Voice-Conver…...

原神桌面工具Snap.Hutao:数据管理与资源规划全方案

原神桌面工具Snap.Hutao&#xff1a;数据管理与资源规划全方案 【免费下载链接】Snap.Hutao 实用的开源多功能原神工具箱 &#x1f9f0; / Multifunctional Open-Source Genshin Impact Toolkit &#x1f9f0; 项目地址: https://gitcode.com/GitHub_Trending/sn/Snap.Hutao …...

终极指南:如何实现北京理工大学校园网自动登录与断线重连

终极指南&#xff1a;如何实现北京理工大学校园网自动登录与断线重连 【免费下载链接】BIT-srun-login-script 北京理工大学深澜校园网登录脚本&#xff0c;以实现命令行登录或者断线重连等&#xff0c;仅提供登录功能 项目地址: https://gitcode.com/gh_mirrors/bi/BIT-srun…...

3分钟搞定:IDM无限试用重置工具完整使用指南

3分钟搞定&#xff1a;IDM无限试用重置工具完整使用指南 【免费下载链接】idm-trial-reset Use IDM forever without cracking 项目地址: https://gitcode.com/gh_mirrors/id/idm-trial-reset 你是否曾因Internet Download Manager&#xff08;IDM&#xff09;试用期结束…...

csv文件生成与读取

1.csv 文件解析入库方法(少量) private boolean doProcessNew(FileInputStream fileInputStream) {long start System.currentTimeMillis();List<JtComplaintPredictionResultEntity> csvFileList new ArrayList<>();try (BufferedReader reader new BufferedRe…...