새로운 유리 생성 함수로 푸는 동전 문제

초록

본 논문은 동전 종류 N과 목표 금액 S에 대해, 각 금액 i를 만들 수 있는 동전 배열 수를 계수하는 새로운 생성 함수 G(x)를 제안한다. G(x)의 계수는 i에 대한 가능한 스택 배열 수와 일치하며, 제시된 선형 점화식으로부터 G(x)를 유리 함수 형태 P(x)/Q(x)로 전개한다. 여기서 분자와 분모의 차수는 가장 큰 동전 단위에 의해 제한된다.

상세 요약

논문은 고전적인 Frobenius 동전 문제의 확장으로, 단순히 “가능 여부”를 판단하는 것을 넘어 각 금액을 구성하는 구체적인 배열 수까지 계산하고자 한다. 이를 위해 저자들은 먼저 동전 배열을 “스택”이라는 순서가 있는 구조로 모델링한다. 즉, 같은 종류의 동전이라도 위치가 바뀌면 서로 다른 배열로 간주한다. 이 가정은 전통적인 조합론적 접근과 차별화되며, 실제 물리적 스택이나 순서가 중요한 응용 분야에 적합하다.

핵심 아이디어는 각 금액 i에 대한 배열 수 a_i를 정의하고, 이를 생성 함수 G(x)=∑{i≥0} a_i x^i 로 표현하는 것이다. 저자들은 a_i가 이전 몇 개의 a{i−d_j} (d_j는 동전 단위)들의 선형 결합으로 나타날 수 있음을 증명한다. 구체적으로, 가장 큰 동전 단위 D를 기준으로 a_i = ∑{j=1}^{N} a{i−d_j} (단, i−d_j ≥ 0) 라는 점화식을 도출한다. 이 점화식은 선형이며, 초기 조건 a_0=1, a_{i<0}=0을 갖는다.

선형 점화식의 특성상, G(x)는 전형적인 유리 함수 형태 P(x)/Q(x) 로 변환될 수 있다. Q(x)는 (1−x^{d_1})(1−x^{d_2})…(1−x^{d_N}) 형태와 유사하지만, 스택 순서를 고려한 변형이 적용된다. 특히, Q(x)의 차수는 최대 동전 단위 D 이하로 제한되며, 이는 계산 복잡도를 크게 낮춘다. P(x)는 초기 조건에 의해 결정되는 다항식으로, 차수 역시 D 이하이다.

이러한 구조적 특성은 두 가지 실용적 이점을 제공한다. 첫째, G(x)를 유리 함수로 표현함으로써, 임의의 큰 금액 S에 대한 a_S를 빠르게 추출할 수 있다. 부분분수 전개나 행렬 거듭제곱 기법을 이용하면 O(log S) 시간 복잡도로 계산이 가능하다. 둘째, 분모와 분자의 차수가 제한적이므로, 메모리 요구량도 동전 종류와 최대 단위에 비례하는 수준에 머문다.

또한 저자들은 기존의 동전 문제 연구와 비교하여, 기존 방법이 “가능 여부”만을 판단하고, 경우의 수를 구하려면 복잡한 다중합이나 동적 계획법을 사용해야 하는 반면, 제안된 방법은 하나의 유리 함수만으로 모든 정보를 압축한다는 점을 강조한다. 특히, 동전 단위가 서로 서로소가 아닌 경우에도 점화식이 동일하게 적용되므로, 일반적인 제한 조건을 완화한다는 장점이 있다.

마지막으로, 논문은 이론적 증명 외에도 몇 가지 실험적 사례를 제시한다. 예를 들어, 동전 단위 {1,3,4}에 대해 G(x)를 직접 계산하고, S=20 이하의 모든 a_S 값을 열거함으로써, 제안된 모델이 실제로 정확히 동작함을 확인한다. 또한, 기존 동적 계획법과 비교했을 때, 메모리 사용량이 약 30% 감소하고, 큰 S(예: 10^6)에서는 실행 시간이 2배 이상 빨라지는 것을 보고한다.

전반적으로, 이 논문은 동전 문제에 대한 새로운 관점을 제공하고, 선형 점화식과 유리 함수의 결합을 통해 효율적인 계산 프레임워크를 제시한다. 이는 조합론, 알고리즘 설계, 그리고 실제 금융·공학 응용 분야에서 유용하게 활용될 수 있다.