최대공약수

유클리드 알고리즘: 최대공약수 구하기

유클리드 알고리즘의 불변식과 계산 예를 증명하고, 비음수 입력을 전제로 한 C++ 구현 및 로그 단계 수를 설명합니다.