扩展欧几里德求解ax + by = c 的 最小正整数解 ( x, y)

转自:

https://blog.csdn.net/qq_38177302/article/details/78449982

第一步 : 给出方程 ax + by = c 。
第二步 : 算出 辗转相除法 gcd(a, b) 。
第三步 : 运用 扩展欧几里德 ex_gcd(a, b)-》 ax + by = gcd(a,b) 的 一组解(x, y) 。
第三步: 根据 c % gcd(a, b) 判断是否 ax + by = c 有解 。
第四步 : 根据 ax + by = c 的通解公式 x1 = (x + k * ( b / gcd(a, b) )) * (c / gcd(a, b) 令 b1 = b / gcd(a, b) , 所以 x1 的 最小正整数解 为 : x1 = (x1 % b1 + b1) % b1, 对应的 y1 = (c - a*x1) / b.

代码如下 :

/**
function : work out ax + by = c ->(x, y) and request that x is least positive integer.
date : 2017.11.5
author : LSC
code : c++
*/
#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#define LL long long
using namespace std;
long long int x, y, d;// (x, y) ax+by = Gcd(a, b)的其中的一个解,d 是(a, b)最大公约数

LL Gcd(LL a, LL b)// 欧几里德算法(辗转相除法)求解最大公约数
{
return (b == 0)? a : Gcd(b, a%b);
}

void ex_gcd(LL a, LL b)// 扩展欧几里德 算法
{
if(b == 0)
{
x = 1;
y = 0;
d = a;
}
else
{
ex_gcd(b, a%b);
LL temp = x;
x = y;
y = temp - a/b*y;
}
}

int main()
{
LL a, b, c, gcd;

scanf("%lld%lld%lld", &a, &b, &c);
gcd = Gcd(a, b);

if(c % gcd != 0)// 判断是否有解
printf("Impossible\n");
else
{
ex_gcd(a, b);
LL x1, y1, b1;
b1 = b/gcd;
x1 = (x + b1) * (c/gcd);
x1 = (x1 % b1 + b1) % b1;// 求解出 x 的 最小正整数解
y1 = (c - a*x1) / b;

printf("x = %lld , y = %lld\n", x1, y1);
}

return 0;
}

下面再来一个压缩版本的比较短。

#include <iostream>
#include <cstring>
#include <cstdio>
#include <algorithm>
#define LL long long
using namespace std;

void extend_gcd(LL a, LL b, LL& d, LL& x, LL& y)
{
if(!b){ d = a; x = 1; y = 0; }
else { extend_gcd(b, a%b,d, y, x); y -= x*(a/b);}
}

int main()
{
LL a, b, c, d;
LL x, y, x1, y1;

cin >> a >> b >> c;

extend_gcd(a, b, d, x, y);
if(c % d != 0)
printf("Impossible\n");
else
{
LL b1 = b / d;
x1 = (x + b1) * (c / d);
x1 = (x1 % b1 + b1) % b1;
y1 = (c - a*x1) / b;

printf("x = %lld, y = %lld\n", x1, y1);
}

return 0;
}

  

原文地址:https://www.cnblogs.com/1621325877qq/p/10894859.html

时间: 2024-12-28 22:00:20

扩展欧几里德求解ax + by = c 的 最小正整数解 ( x, y)的相关文章

如何使用拓展gcd算法算出ax+by=c的最小正整数解x——Looooops 题解

题目大意: 给出四个整数 $ A B C K $ 求出 m $ (A + C*n) \equiv B (mod \quad 2^K) $ 的最小整数解 $ n $ . 解法: 这个东西我们同过一系列的化简之后可以得出一下方程: \[ C*n +2^k * y=B-A (y<0) \] 原文地址:https://www.cnblogs.com/lixiao189/p/9460683.html

POJ2115——C Looooops(扩展欧几里德+求解模线性方程)

C Looooops DescriptionA Compiler Mystery: We are given a C-language style for loop of type for (variable = A; variable != B; variable += C) statement;I.e., a loop which starts by setting variable to value A and while variable is not equal to B, repea

[NBUT 1224 Happiness Hotel 佩尔方程最小正整数解]连分数法解Pell方程

题意:求方程x2-Dy2=1的最小正整数解 思路:用连分数法解佩尔方程,关键是找出√d的连分数表示的循环节.具体过程参见:http://m.blog.csdn.net/blog/wh2124335/8871535 当d为完全平方数时无解 将√d表示成连分数的形式,例如: 当d不为完全平方数时,√d为无理数,那么√d总可以表示成: 记 当n为偶数时,x0=p,y0=q:当n为奇数时,x0=2p2+1,y0=2pq 求d在1000以内佩尔方程的最小正整数解的c++打表程序(正常跑比较慢,这个题需要离

数论快速入门(同余、扩展欧几里德、中国剩余定理、大素数测定和整数分解、素数三种筛法、欧拉函数以及各种模板)

数学渣渣愉快的玩了一把数论,来总结一下几种常用的算法入门,不过鶸也是刚刚入门, 所以也只是粗略的记录下原理,贴下模板,以及入门题目(感受下模板怎么用的) (PS:文中蓝色字体都可以点进去查看百度原文) 附赠数论入门训练专题:点我打开专题(题目顺序基本正常,用以配套数论入门) 一.同余定理 简单粗暴的说就是:若 a-b == m 那么 a%m == b%m 这个模运算性质一眼看出...直接上入门水题: Reduced ID Numbers 附AC代码(这个也没啥模板....知道就好) #inclu

POJ1061——青蛙的约会(扩展欧几里德)

青蛙的约会 Description两只青蛙在网上相识了,它们聊得很开心,于是觉得很有必要见一面.它们很高兴地发现它们住在同一条纬度线上,于是它们约定各自朝西跳,直到碰面为止.可是它们出发之前忘记了一件很重要的事情,既没有问清楚对方的特征,也没有约定见面的具体位置.不过青蛙们都是很乐观的,它们觉得只要一直朝着某个方向跳下去,总能碰到对方的.但是除非这两只青蛙在同一时间跳到同一点上,不然是永远都不可能碰面的.为了帮助这两只乐观的青蛙,你被要求写一个程序来判断这两只青蛙是否能够碰面,会在什么时候碰面.

POJ 2142 The Balance【扩展欧几里德】

题意:有两种类型的砝码,每种的砝码质量a和b给你,现在要求称出质量为c的物品,要求a的数量x和b的数量y最小,以及x+y的值最小. 用扩展欧几里德求ax+by=c,求出ax+by=1的一组通解,求出当x取最小合法正整数解时y的取值,当y小于0时,说明应该放在a的另一边,变为正值.同理当y取最小时,可得到另一组解,比较两组解,取最小即可. #include<stdio.h> int ex_gcd(int a,int b,int &x,int &y){ if(!b){ x=1,y=

[BZOJ1407][NOI2002]Savage(扩展欧几里德)

题目:http://www.lydsy.com:808/JudgeOnline/problem.php?id=1407 分析: m,n范围都不大,所以可以考虑枚举 先枚举m,然后判定某个m行不行 某个m可以作为一个解当且仅当: 对于任意的i,j 模方程:c[i]+x*p[i]=c[j]+x*p[j] (mod m) 无解或者最小正整数解>min(l[i],l[j]) 这个可以用扩展欧几里德解决. 因为n<=15,所以可以暴力枚举每对i,j

【hdu 1573】X问题(数论--拓展欧几里德 求解同余方程组的个数 模版题)

题目:求在小于等于N的正整数中有多少个X满足:X mod a[0] = b[0], X mod a[1] = b[1], X mod a[2] = b[2], …, X mod a[i] = b[i], … (0 < a[i] <= 10). 解法:先同上题一样用拓展欧几里德求出同余方程组的最后一个方程 X=ax+b,再调整 x 来求得 X 的解的个数.一些解释请看下面的代码. 注意——每次联立方程后求最小正整数解,可以提高代码速度. 1 #include<cstdio> 2 #i

POJ 2891 扩展欧几里德

这个题乍一看跟剩余定理似的,但是它不满足两两互素的条件,所以不能用剩余定理,也是给了一组同余方程,找出一个X满足这些方程,如果找不到的话就输出-1 因为它不满足互素的条件,所以两个两个的合并,最后合成一个. 题目给定的是 M % m1 = r1 M % m2 = r2 ...... M % mn = rn 只需将两个式子合并成一个式子,那么这个合并的这个式子就可以继续和下面的式子继续合并,知道合到最后一个式子. 首先来看下两个式子怎么合并. M % m1 = r1    可以写成  M = k1