洛谷 P1082 同余方程

题目描述

求关于 x 的同余方程 ax ≡ 1 (mod b)的最小正整数解。

输入输出格式

输入格式：
输入只有一行，包含两个正整数 a, b，用一个空格隔开。

输出格式：
输出只有一行，包含一个正整数 x0，即最小正整数解。输入数据保证一定有解。

输入输出样例

输入样例#1：
3 10
输出样例#1：
7
说明

【数据范围】

对于 40%的数据，2 ≤b≤ 1,000；

对于 60%的数据，2 ≤b≤ 50,000,000；

对于 100%的数据，2 ≤a, b≤ 2,000,000,000。

NOIP 2012 提高组 第二天 第一题

分析：用扩展欧几里得求逆元。
ax ≡ 1 (mod b)，现在找x能够使这个式子成立
这个式子等价于ax+by=1

当你用拓欧求出一个解时，一般会让你去找一个最小解，我们只需要对这个数取模b就行了（如果求正数，你只需要先加一个b，再取模行了，应该都知道吧）

代码：

var
 a,b,c,x,y,gcd,k:int64;

procedure exgcd(a,b:int64; var x,y:int64);
var t:longint;
 begin
  if b=0 then
   begin
    x:=1;
    y:=0;
    gcd:=a;
    exit;
   end;
  exgcd(b,a mod b,x,y);
  t:=x;
  x:=y;
  y:=t-a div b*y;
end;

begin
 readln(a,b,c);
 exgcd(a,b,x,y);
 writeln((x+b) mod b);
end.