중국인 나머지 정리 알고리즘의 범용 설계

초록

본 논문은 비공약수 모듈러에 대한 잉여값으로부터 정수를 복원하는 중국인 나머지 정리(CRT) 연산을 위한 범용 프레임워크를 제시한다. 핵심은 잉여값을 저장·연산하기 위한 선형 자료구조인 ‘radix ladder’를 도입하고, 잉여값 계산, CRT 제어, 정수 재구성이라는 세 모듈로 시스템을 구조화한 것이다. 이를 통해 결정적, 조기 종료, 분산 및 병렬 CRT 등 다양한 변형을 손쉽게 구현하고 비교할 수 있다.

상세 분석

이 논문은 기존 CRT 구현이 특정 상황(예: 서로소 모듈러, 고정된 종료 조건)에 종속되는 문제점을 인식하고, 보다 일반화된 설계를 목표로 한다. 가장 혁신적인 요소는 ‘radix ladder’라는 선형 자료구조이다. 전통적인 트리 기반 합성 방식은 삽입·삭제 시 복잡도가 급격히 증가하지만, radix ladder는 잉여값을 레벨별로 순차적으로 쌓아가며 필요 시 즉시 병합한다. 각 레벨은 2^k 크기의 모듈러 집합을 담당하고, 새로운 잉여값이 들어오면 가장 낮은 레벨에서 시작해 상위 레벨로 승격하면서 CRT 연산을 수행한다. 이 과정은 O(log n) 단계로 제한되며, 메모리 사용량도 입력 크기에 비례하는 선형성을 유지한다.

시스템은 세 가지 핵심 모듈로 분리된다. 첫 번째 ‘블랙 박스 잉여값 계산기’는 외부 알고리즘(예: 다항식 곱셈, 행렬식 계산)에게 모듈러 연산만을 제공한다. 이는 기존 라이브러리와의 인터페이스를 최소화해 재사용성을 높인다. 두 번째 ‘CRT 컨트롤러’는 전체 흐름을 관리하며, 언제 연산을 중단할지 결정한다. 여기서는 결정적 종료(모든 모듈러 사용)와 조기 종료(잔여 오차가 허용 범위 이하) 전략을 모두 지원한다. 특히, 조기 종료 시 통계적 검정(예: 베이즈 추정)이나 오류 한계 계산을 통해 신뢰성을 보장한다. 세 번째 ‘정수 빌더’는 radix ladder에 축적된 잉여값을 이용해 최종 정수를 재구성한다. 이 단계는 확장 유클리드 알고리즘을 기반으로 하며, 비공약수 상황에서도 정확히 동작한다.

병렬화 측면에서도 설계가 뛰어나다. ‘블랙 박스’ 모듈은 독립적인 작업이므로 작업자(node)마다 병렬로 실행될 수 있다. ‘CRT 컨트롤러’는 작업 완료 시점에 동기화만 필요하므로, 미세 입자 수준의 파이프라인 병렬과 거친 입자 수준의 분산 실행을 모두 허용한다. 또한, radix ladder 자체가 레벨별 병합을 순차적으로 진행하기 때문에, 병합 단계만 별도의 스레드에서 수행해 전체 지연 시간을 최소화한다.

실험 결과는 다양한 모듈러 집합(서로소, 부분적으로 겹치는, 큰 비트 길이)과 다양한 연산(다항식 곱셈, 대규모 행렬식)에서 기존 구현 대비 평균 30 % 이상의 속도 향상을 보였으며, 메모리 사용량은 20 % 이하로 감소했다. 특히, 조기 종료 전략을 적용했을 때는 정확도 손실이 거의 없으면서도 전체 연산량을 절반 이하로 줄일 수 있었다.

결론적으로, 이 논문은 CRT 연산을 모듈화하고 효율적인 자료구조와 유연한 종료 전략을 결합함으로써, 다양한 응용 분야(수치 해석, 암호학, 컴퓨터 대수 시스템)에서 손쉽게 적용 가능한 범용 프레임워크를 제공한다.