이차정수의 확장 최대공약수 계산

초록

본 논문은 주어진 두 이차정수에 대해 확장된 최대공약수(Extended GCD)를 구하는 알고리즘을 제시한다. 연구 대상은 유클리드 환경이 아니더라도 주 아이디얼이 존재하는 주 아이디얼 링이며, 이때 이진 이차형식의 축소 과정을 활용한다. 결과적으로, 유클리드 링이 아닌 경우에도 효율적인 GCD와 베주 항등식 계수를 얻을 수 있음을 보인다.

상세 분석

논문은 먼저 이차정수 환경을 정의하고, 해당 링이 주 아이디얼 링(PIR)임을 전제한다. 유클리드 링이 아닌 경우에도 아이디얼이 주 아이디얼이므로, 두 원소 a, b에 대해 (a, b) = (d) 형태의 주 아이디얼을 찾는 것이 가능하다. 이를 위해 저자는 이진 이차형식(binary quadratic form) Q(x, y)=Ax^2+Bxy+Cy^2 를 도입하고, 그 축소(reduction) 과정을 통해 최소 대표 원소를 구한다. 축소 과정은 Gauss의 이론에 기반하며, 각 단계에서 변환 행렬을 적용해 형태를 더 간단한 형태로 바꾸면서 동등성을 유지한다.

핵심 아이디어는 (a, b) 아이디얼을 Q의 계수와 연결시켜, Q가 최소화될 때 해당 아이디얼이 생성하는 원소 d가 최대공약수가 된다는 점이다. 저자는 이 과정을 구체적인 알고리즘으로 구현한다. 먼저 a와 b를 각각 정규형(normal form)으로 변환하고, 그 차이를 이용해 새로운 이차형식을 만든다. 이후 연속적인 변환을 통해 형태를 축소하고, 최종적으로 얻은 최소 형태의 계수를 이용해 d와 베주 항등식의 계수 x, y를 역산한다.

알고리즘의 복잡도 분석에서는 각 축소 단계가 O(log |Δ|) (Δ는 판별식) 정도의 연산을 필요로 함을 보이며, 전체 과정은 다항 시간 내에 수행된다. 또한, 유클리드 링인 경우와 비교했을 때, 추가적인 정규화 단계가 필요하지만, 이는 전체 복잡도에 큰 영향을 주지 않는다.

논문은 또한 몇 가지 구체적인 예시를 통해 알고리즘의 적용 가능성을 시연한다. 예를 들어, ℤ