C++ P1082 同余方程

题目：P1082 同余方程

哎，搞了半天的欧几里得扩展，写了两页的草稿，终于。。。弄懂了大半。（就是烧脑-.-）

做了一下欧几里得扩展裸题，NOIP2012 day2

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

下面证明中“→”表示等价于，“≡”表示同余，“/”表示向下取整。

∵ Ax ≡ 1 (mod m) → Ax mod m = 1 mod m

∴ 可表示 Ax = By + 1 → Ax - By = 1 即 求解x?

根据欧几里得扩展：

    Ax + By = C = gcd(A, B)

 ∵ gcd(A, B) = gcd(B, A mod B)

 ∵ Bx’ + (A mod B)y’ = gcd(B, A mod B)

 ∴ Bx’ + (A mod B)y’ = gcd(A, B)

 ∴ Bx’