AcWing 203. 同余方程（扩展欧几里得算法）

ykycode

已于 2024-01-10 07:18:45 修改

阅读量394

点赞数 6

分类专栏：数论文章标签：算法数论数学扩展欧几里得算法同余同余方程裴蜀定理

于 2024-01-09 23:28:02 首次发布

本文链接：https://blog.csdn.net/u012181348/article/details/135492077

版权

数论专栏收录该内容

17 篇文章 0 订阅

订阅专栏

本文介绍了如何将同余方程ax+by=1转换为求解形式，并利用扩展欧几里得算法找到特解和通解。给出了C++代码示例，以及参考了AcWing算法提高课程内容。

摘要由CSDN通过智能技术生成

题目链接

203. 同余方程 - AcWing题库高质量的算法题库https://www.acwing.com/problem/content/205/

来源

《算法竞赛进阶指南》, NOIP2012提高组

题解

本题中的同余方程可以转化为ax + by = 1的形式，利用扩展欧几里得算法可以求得特解为 $x_0,y_0$ ，则通解为 $x = x_0 + kb,y = y_0 - ka,k\in \mathbb{Z}$ 。

代码

#include <cstring>
#include <iostream>
#include <algorithm>

using namespace std;

typedef long long LL;

int exgcd(int a, int b, int &x, int &y)
{
    if (!b)
    {
        x = 1, y = 0;
        return a;
    }
    
    int d = exgcd(b, a % b, y, x);
    y -= a / b * x;
    
    return d;
}

int main()
{
    int a, b;
    cin >> a >> b;
    
    int x, y;
    exgcd(a, b, x, y);
    
    cout << (x % b + (LL)b) % b << endl;
    
    return 0;
}