3 articles.
旧アーカイブから保存した技術記事: BOJ 10803 — 正方形を作る:漸化式境界の証明。
2整数の最大公約数が整数係数の線形結合で表せることを最小正結合で証明し、体上の多項式版と区別して解説します。
ユークリッドの互除法の不変性と計算例を証明し、非負入力を前提とするC++実装と対数回の計算量を解説します。