n 番煎じだと思いますが,既存の説明で私はあまりよく理解できていなかったので刺さる人がいればいいなと思って書きました.
問題
整数 , が与えられる. と の最大公約数 と を満たす整数 , を求めよ.
再帰解法
を で割ったときの商と余りをそれぞれ , とおく.このとき であり,方程式に代入して を得る.
なので,, として再帰的にこの問題を解けば元の解 が復元できます.具体的には, を満たす整数 , に対し,, とすればよいです.
再帰の終端条件は であり,このとき とすればよいです.また,再帰の深さは であることが示されます.この辺りの説明は qiita.com が詳しいので分らない場合は参照してください.
非再帰解法
上の再帰解法において,再帰の深さが のときに解く方程式を ,解を とします.また, とします. のとき,上述の解の復元方法から,次の漸化式が立ちます.
また,再帰の終端の深さを とすると,, です.よくある漸化式と異なり,添え字の大きい方から 求まっていくことに注意です.一方で,, は次のように添え字の小さい方から求まっていきます.このことが非再帰で拡張ユークリッドの互除法を書くことを難しくしています.
ここで, に対する遷移を行列で表現すると以下のようになります.
これを に対して適用することで,次の を得ます.
, であり,, は を満たす整数解であること,加えて , であることに注意します.
, , は添え字の小さい順に求まっていくので,行列を左から順にかけていく *1 ことで,めでたく非再帰で が求められます.
実装
C++17 で動くと思います.バグってたらすみません.
利便性のため求まる が非負になるように補正をかけていますが,必須ではありません.
// return {{x,y},g} s.t. ax+by=g=gcd(a,b)>=0. std::pair<std::pair<long long, long long>, long long> ext_gcd(long long a, long long b) { /** 計算中の行列を * x y * z w * としている */ long long x = 1, y = 0; long long z = 0, w = 1; long long tmp; while (b) { long long p = a / b, q = a % b; tmp = x - y * p; x = y; y = tmp; tmp = z - w * p; z = w; w = tmp; a = b; b = q; } // gcd(a,b)>=0 となるように補正を掛ける (任意) if (a >= 0) return {{x, z}, a}; else return {{-x, -z}, -a}; }