캐노니컬 동전 체계와 최적 거스름돈 알고리즘

초록

본 논문은 동전 체계가 그리디 알고리즘으로 최적 해를 보장하는 ‘캐노니컬’ 조건을 연구한다. 4·5종 동전에 대한 필요충분조건을 새롭게 증명하고, 비캐노니컬을 판별하는 충분조건을 제시한다. 또한 ‘타이트’ 동전 체계에 대해 O(m²) 시간 복잡도의 판별 알고리즘을 제안한다.

상세 분석

논문은 먼저 변형된 배낭 문제인 거스름돈 문제를 정의하고, 일반적으로 NP‑hard임을 언급한다. 그럼에도 불구하고 실제 화폐 체계에서는 그리디 알고리즘이 최적해를 제공한다는 현상을 ‘캐노니컬’이라고 명명한다. 기존 연구에서는 3종 이하의 동전에 대해 필요충분조건이 알려졌지만, 4종·5종에 대해서는 완전한 정리가 부족했다. 저자들은 이 부분을 메인 기여로 삼아, 4종 동전 체계에 대해 “각 연속된 두 동전의 비율이 이전 동전의 배수보다 작다”는 형태의 수식적 조건을 제시하고, 이를 역으로 증명하여 필요충분성을 확보한다. 5종 경우는 추가적인 제약식이 필요함을 보이며, 이를 통해 모든 가능한 5종 조합을 포괄하는 일반화된 조건을 도출한다.

비캐노니컬 판별에 대해서는, 기존에 알려진 충분조건이 제한적이었는데, 저자들은 “특정 구간 내에서 그리디 해와 최적 해가 차이 나는 최소값이 존재한다면 비캐노니컬”이라는 새로운 기준을 제시한다. 이 기준은 동전값의 차이와 그리디 선택 과정에서 발생하는 ‘오버플로우’ 현상을 정량화한다.

마지막으로, ‘타이트’ 동전 체계(즉, 각 동전이 바로 이전 동전보다 큰 최소값을 갖는 경우)에서 캐노니컬 여부를 O(m²) 시간에 판단할 수 있는 알고리즘을 설계한다. 핵심 아이디어는 모든 가능한 금액을 2·cₘ(최대 동전값)의 범위 내에서 검사하고, 그리디 해와 동적 계획법(DP) 기반 최적 해를 비교하는 것이다. 이때 DP 표를 효율적으로 갱신함으로써 전체 복잡도를 O(m²)로 낮춘다.

이러한 결과는 이론적으로는 캐노니컬 체계의 구조적 특성을 명확히 밝히고, 실무적으로는 새로운 판별 도구를 제공한다는 점에서 의미가 크다. 특히 O(m²) 알고리즘은 동전 종류가 수백 개에 달하는 복잡한 화폐 시스템에서도 실시간 판별이 가능하도록 만든다.