2 articles.
두 정수의 최대공약수가 정수 선형결합으로 표현됨을 최소 양의 결합으로 증명하고, 체 위 다항식 확장도 구분해 설명합니다.
유클리드 알고리즘의 불변식과 계산 예를 증명하고, 비음수 입력을 전제로 한 C++ 구현 및 로그 단계 수를 설명합니다.