Modint を実装する過程で、拡張ユークリッドで得られる解の範囲について気になったことがあったことを思い出したので (かつ、あまり言及されているのを見たことがなかったので) メモを残しておきます。
の解
とします (そうでないときは gcd で割ったり符号を変えて解いた後戻せばいいです(gcd の方は割らずに進めてもいいです))
結論から言うと、 を満たす解が得られ、過程では overflow を気にする必要はないです。
などすると他の解は得られるので、ギリギリの解が求まっていますね。
- 雑な説明
とすると、
より
が成り立っているとき、
とすると解が得られます。
だとすると、
は言えます。
の方ですが、
を使うと言えます。
は符号が逆な感じになってます
ベースケースや境界をちゃんと言うのは許して
同様にして gcd が 1 でないときも が言えると思います。
- 宣伝
は今年の自信作なのでまだの人は解いて