최대 화폐 단위 기준 O제곱 시간의 Frobenius 문제 해결 알고리즘

초록

본 논문은 기존 연구를 확장하여 동전 집합의 최대 면값을 기준으로 최악의 경우 O(n²) 시간 복잡도를 갖는 Frobenius Coin Problem 결정 문제 해결 알고리즘을 제시한다. 알고리즘은 동전 정렬, 차이 행렬 구축, 그리고 동적 계획법 기반의 범위 축소 기법을 결합하여 계산량을 크게 감소시킨다. 실험 결과는 제시된 복잡도 이론과 일치함을 확인한다.

상세 요약

논문은 먼저 Frobenius 문제를 “주어진 n개의 서로 다른 양의 정수(동전 액면)로 만들 수 없는 가장 큰 정수”를 찾는 문제로 정의하고, 결정 버전에서는 특정 목표값이 표현 가능한지를 판정하는 것으로 전환한다. 기존 알고리즘은 일반적으로 O(n·a_max) 혹은 O(a_max·log a_max) 정도의 복잡도를 보이며, a_max가 매우 클 경우 실용성이 떨어진다. 저자는 이러한 한계를 극복하기 위해 두 단계의 핵심 아이디어를 도입한다. 첫 번째는 입력 동전 집합을 오름차순으로 정렬한 뒤, 인접 동전 간의 차이를 이용해 차이 행렬(Difference Matrix)을 구성하는 것이다. 이 행렬은 각 차이가 a_max 이하인 경우에만 저장함으로써 메모리 사용을 제한한다. 두 번째는 차이 행렬을 기반으로 동적 계획법(DP)을 수행하되, DP 테이블을 전체 a_max 길이 대신 O(n) 크기의 “잔여 구간”으로 압축한다. 구체적으로, 현재까지 확인된 최소 불가능값을 기준으로 가능한 구간을 연속적으로 확장하거나 축소하는 “구간 슬라이딩” 기법을 적용한다. 이 과정에서 각 동전에 대해 최대 n번의 업데이트만 발생하므로 전체 시간 복잡도는 O(n²)으로 귀결된다. 또한, 알고리즘은 결정 문제에 특화되어 있어 목표값이 a_max보다 작을 경우 조기 종료가 가능하며, 이는 평균 실행 시간 개선에 기여한다. 저자는 복잡도 증명을 위해 수학적 귀납법과 모듈러 연산 특성을 활용했으며, 특히 코프라스키(Koprivnik) 정리를 변형하여 차이 행렬의 최대 행 길이가 O(n)임을 보였다. 실험에서는 무작위 동전 집합과 실제 화폐 체계(예: 미국, 유럽) 데이터를 사용해 기존 O(n·a_max) 알고리즘과 비교했을 때, a_max가 10⁶ 수준일 때도 0.01초 이하의 실행 시간을 기록했다. 다만, 알고리즘은 동전 집합이 서로소인 경우에만 완전한 정확성을 보장하며, 공통 인수가 존재할 경우 사전 정규화 단계가 필요함을 명시한다.