数论基础 辗转相除 扩展欧几里德

2024-06-12 02:38

本文主要是介绍数论基础 辗转相除 扩展欧几里德,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

辗转相除:

辗转相除,又称为欧几里德算法,用于求解俩个数值的最大公约数,原理如下:
 gcd(a,b) = gcd(b,a%b) = gcd(a%b,(a%b)%b) ... = gcd(c,0) = c;

一般经过俩次的递归之后,第一个参数就小于原来的一半,所以不用但是栈溢出的情况。
int gcd(int a,int b){if(b==0)return a;return gcd(b,a%b);
}

求解n个数值的最小公倍数,即求解n个数值的最大公约数即可。lcm(a,b) = a*b / gcd(a,b);
#include <iostream>
#include <cstdio>
#include <cstring>
using namespace std;int gcd(int a,int b){return b==0?a:gcd(b,a%b);   //辗转相除 gcd(a,b)=gcd(b,a%b) 结束条件是 gcd(a,0)=a
}
//两个数的最小公倍数 是两个数的乘积除以两个数的最大公约数
int lcm(int a,int b){int result = gcd(a,b);return (a*b)/(result);
}
int main()
{int n;int res;int m;while(scanf("%d",&n)!=EOF){res = 1;while(n--){scanf("%d",&m);res = lcm(res,m);}printf("%d\n",res);}return 0;
}

扩展欧几里德:

对应于ax+by = gcd(a,b) 存在着x,y使得成立,x,y不一定是正数。
推导:
ax+by = gcd(a,b);if b == 0a*x + 0*y = gcd(a,0) = a;=> x = 1; y = 0;if a*b != 0a*x1 + b*y1 = gcd(a,b) = b*x2 + (a%b)*y2a%b = a-a/b*ba*x1 + b*y1 = b*x2 +(a-[a/b]*b)*y2a*x1 + b*y1 = a*y2 + b*(x2-[a/b]*y2)==> x1 = y2y1 = x2-(a/b)*y2x1,y1是基于x2,y2的 递归总会出现b==0的时候

代码:
 int extgcd(int a,int b,int &x,int &y){if(b==0){x = 1;y =0;return a;}else{int res = extgcd(b,a%b,x,y);int tmp = x;x = y;y = tmp-(a/b)y;return res;}}

用扩展欧几里德可以判断 ax+by=c 是否存在着整数解
当ax+by=gcd(a,b)的成立且解为x,y 所以就是当c是gcd(a,b)的整数倍的时候,存在着解,解为xc/gcd(a,b),yc/gcd(a,b)
 bool linear_equation(int a,int b,int c,int &x,int &y){int d = extgcd(a,b,x,y);if(c%d)return false;int k = c/d;x *= k;y *= k;cout<<"x="<<x<<" "<<"y="<<y<<endl;return true;}
main()函数:
int main(){int a,b,c,x,y;cin>>a>>b>>c;int result = extgcd(a,b,x,y);cout<<result<<endl;bool flag =linear_equation(a,b,c,x,y);if(flag)cout<<"answer exit"<<endl;elsecout<<"No answer"<<endl;
}

样例: 模线性方程 
ax和b(mod)n同余 也就是a%n = b%n 所以存在着n使得 a-b = ny 原来方程变为ax - b = ny
可得:ax-ny = b; 当b=1的时候,也即gcd(a,n)=1,1/gcd(a,n)有解 说明a,n必须互素 也即gcd(a,n)=1成立的时候存在着唯一解。

模运算公式:
(a+b)mod n = ((a mod n)+(b mod n)) mod n
(a-b)mod n = ((a mod n)-(b mod n)+n) mod n
(a*b)mod n = ((a mod n)*(b mod n)) mod n

大整数取模
根据上面的性质:1234 =( ((1*10+2)*10)+3)*10+4.......大数表示方法 mod m;
代码:
int main(){int m;int ans = 0;scanf("%s%d",n,&m);int len = strlen(n);for(int i=0;i<len;i++)ans = (int)(((long long)ans*10+n[i])%m);printf("%d\n",ans);return 0;
}



这篇关于数论基础 辗转相除 扩展欧几里德的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1052966

相关文章

csu 1446 Problem J Modified LCS (扩展欧几里得算法的简单应用)

这是一道扩展欧几里得算法的简单应用题,这题是在湖南多校训练赛中队友ac的一道题,在比赛之后请教了队友,然后自己把它a掉 这也是自己独自做扩展欧几里得算法的题目 题意:把题意转变下就变成了:求d1*x - d2*y = f2 - f1的解,很明显用exgcd来解 下面介绍一下exgcd的一些知识点:求ax + by = c的解 一、首先求ax + by = gcd(a,b)的解 这个

零基础学习Redis(10) -- zset类型命令使用

zset是有序集合,内部除了存储元素外,还会存储一个score,存储在zset中的元素会按照score的大小升序排列,不同元素的score可以重复,score相同的元素会按照元素的字典序排列。 1. zset常用命令 1.1 zadd  zadd key [NX | XX] [GT | LT]   [CH] [INCR] score member [score member ...]

科研绘图系列:R语言扩展物种堆积图(Extended Stacked Barplot)

介绍 R语言的扩展物种堆积图是一种数据可视化工具,它不仅展示了物种的堆积结果,还整合了不同样本分组之间的差异性分析结果。这种图形表示方法能够直观地比较不同物种在各个分组中的显著性差异,为研究者提供了一种有效的数据解读方式。 加载R包 knitr::opts_chunk$set(warning = F, message = F)library(tidyverse)library(phyl

数论入门整理(updating)

一、gcd lcm 基础中的基础,一般用来处理计算第一步什么的,分数化简之类。 LL gcd(LL a, LL b) { return b ? gcd(b, a % b) : a; } <pre name="code" class="cpp">LL lcm(LL a, LL b){LL c = gcd(a, b);return a / c * b;} 例题:

【Linux 从基础到进阶】Ansible自动化运维工具使用

Ansible自动化运维工具使用 Ansible 是一款开源的自动化运维工具,采用无代理架构(agentless),基于 SSH 连接进行管理,具有简单易用、灵活强大、可扩展性高等特点。它广泛用于服务器管理、应用部署、配置管理等任务。本文将介绍 Ansible 的安装、基本使用方法及一些实际运维场景中的应用,旨在帮助运维人员快速上手并熟练运用 Ansible。 1. Ansible的核心概念

数论ZOJ 2562

题意:给定一个数N,求小于等于N的所有数当中,约数最多的一个数,如果存在多个这样的数,输出其中最大的一个。 分析:反素数定义:对于任何正整数x,其约数的个数记做g(x).例如g(1)=1,g(6)=4.如果某个正整数x满足:对于任意i(0<i<x),都有g(i)<g(x),则称x为反素数。 性质一:一个反素数的质因子必然是从2开始连续的质数。 性质二:p=2^t1*3^t2*5^t3*7

AI基础 L9 Local Search II 局部搜索

Local Beam search 对于当前的所有k个状态,生成它们的所有可能后继状态。 检查生成的后继状态中是否有任何状态是解决方案。 如果所有后继状态都不是解决方案,则从所有后继状态中选择k个最佳状态。 当达到预设的迭代次数或满足某个终止条件时,算法停止。 — Choose k successors randomly, biased towards good ones — Close

Spring框架5 - 容器的扩展功能 (ApplicationContext)

private static ApplicationContext applicationContext;static {applicationContext = new ClassPathXmlApplicationContext("bean.xml");} BeanFactory的功能扩展类ApplicationContext进行深度的分析。ApplicationConext与 BeanF

POJ2247数论

p = 2^a*3^b*5^c*7^d 求形如上式的第n小的数。 import java.io.BufferedReader;import java.io.InputStream;import java.io.InputStreamReader;import java.io.PrintWriter;import java.math.BigInteger;import java.u

音视频入门基础:WAV专题(10)——FFmpeg源码中计算WAV音频文件每个packet的pts、dts的实现

一、引言 从文章《音视频入门基础:WAV专题(6)——通过FFprobe显示WAV音频文件每个数据包的信息》中我们可以知道,通过FFprobe命令可以打印WAV音频文件每个packet(也称为数据包或多媒体包)的信息,这些信息包含该packet的pts、dts: 打印出来的“pts”实际是AVPacket结构体中的成员变量pts,是以AVStream->time_base为单位的显