P1082 同余方程 扩展欧几里德算法 C++

题目描述

求关于x xx的同余方程 ax≡1(modb) a x \equiv 1 \pmod {b}ax≡1(modb) 的最小正整数解。
输入格式

一行，包含两个正整数 a，b，用一个空格隔开。
输出格式

一个正整数 x0，即最小正整数解。输入数据保证一定有解。
输入输出样例
输入 #1

3 10

输出 #1

7

说明/提示

【数据范围】

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

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

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

NOIP 2012 提高组 第二天 第一题

思路

说白了是一组 a,b。目标是求出满足 ax+by=gcd(a,b)（称式子α）
我们得知道公式,①gcd（a，b）=ax+by 和 普通欧几里得公式②gcd(a,b)=gcd(b,a mod b)。
题目给我们了a和b让我们求x。y是一个辅助元
先把②带入①得 gcd(b,a mod b)=ax+by 即 ax+by=gcd(a,a mod b)
为了求x和y,我们又设x2和y2,那么根据①式必满足 ④bx2+(a mod b)y2=gcd(b,a mod b)

又有①知gcd(a,b)=gcd(b,a mod b),带入④ 得⑤bx2+(a m