국내 및 전역 우표 문제를 위한 알고리즘

초록

본 논문은 제한된 우표 개수와 다양한 액면가를 갖는 우표 집합에 대해(1) 주어진 집합의 최소 불가능 금액을 구하는 지역 우표 문제(LPSP)를 효율적으로 해결하는 새로운 알고리즘을 제시하고, (2) 정해진 액면가 개수 k와 우표 위치 수 s에 대해 최소 불가능 금액을 최대로 만드는 최적 액면가 집합을 근사적으로 찾는 전역 우표 문제(GPSP)를 위한 다항 시간 근사 알고리즘을 제안한다. 또한 제안된 알고리즘을 이용해 완전 동형 암호 환경에서 다항식 평가를 가속화함으로써 안전한 다자간 계산의 효율성을 향상시킬 수 있음을 보인다.

상세 분석

이 논문은 우표 문제를 두 가지 관점에서 체계적으로 분석한다. 첫 번째는 지역 우표 문제(LPSP)로, 주어진 액면가 집합 Aₖ와 최대 s개의 우표를 사용했을 때, 연속적으로 만들 수 있는 가장 큰 금액 nₛ(Aₖ)를 찾는 문제이다. 기존 연구에 따르면 LPSP는 NP‑hard이며, k가 고정된 경우에만 다항 시간 해결이 가능했다. 저자들은 Mossige의 기존 s‑range 알고리즘을 개선하여, 시간 복잡도에서 s에 대한 선형 의존성을 제거하고 메모리 사용량에서도 s‑factor를 없앴다. 구체적으로, 동적 프로그래밍 테이블을 압축하고, 각 스탬프 추가 단계에서 가능한 값들을 효율적으로 업데이트하는 새로운 스캔 기법을 도입했다. 이 알고리즘은 O(k·s·log aₖ) 수준의 연산으로 기존 O(k·s²·aₖ)보다 크게 향상된다.

두 번째는 전역 우표 문제(GPSP)로, 주어진 k와 s에 대해 nₛ(k)=max_{Aₖ} nₛ(Aₖ)를 최대화하는 액면가 집합을 찾는 문제이다. 정확한 해는 아직 알려지지 않았으며, 기존에는 피보나치 수열 기반의 구성이나 Alter‑Barnett의 블록 기반 구성이 사용되었다. 저자들은 이러한 기존 방법을 일반화하고, 특히 k≥s인 경우에 블록 크기를 균형 있게 배분함으로써 상수 계수를 개선하였다. 또한 Mrose가 제안한 재귀적 Divide‑&‑Conquer 전략을 확장하여, 두 서브베이스 A_{k₁}, B_{k₂}와 각각의 s₁, s₂‑range를 이용해 새로운 베이스 C_{k₁+k₂}를 구성하고, n_{s₁+s₂}(C) ≥ (n_{s₁}(A)+1)(n_{s₂}(B)+1)−1이라는 하한을 증명하였다. 이 관계를 이용해 k와 s를 절반씩 나누는 중간점 절단(mid‑cut) 전략이 asymptotically 최적임을 보였으며, 동적 프로그래밍을 통해 최적 절단점을 찾는 변형도 제시했다. 결과적으로, k와 s가 비슷하거나 k가 s보다 작을 때는 피보나치 기반보다 약 2.6% 정도 높은 성장률을 보이는 것이 확인되었다.

또한 논문은 이론적 결과를 실제 구현인 GStamps 라이브러리(https://github.com/jgdumas/GStamps)와 연동하여 실험적으로 검증하였다. 다양한 (k, s) 조합에 대해 중간점 재귀, 최적 절단 동적 프로그래밍, 그리고 기존의 피보나치·Alter‑Barnett 구성의 성능을 비교했으며, 특히 k≤s인 경우에 중간점 재귀가 가장 높은 s‑range를 제공함을 확인했다.

마지막으로, 이러한 최적·근사 베이스를 암호학에 적용하였다. 완전 동형 암호(FHE) 환경에서 다항식 평가 시, 각 항의 계수를 스탬프 액면가처럼 취급하면, 제안된 베이스를 이용해 필요한 곱셈·덧셈 연산 수를 크게 줄일 수 있다. 구체적으로, 기존 방법에서는 O(s·k)개의 암호화 연산이 필요했으나, 새로운 베이스를 사용하면 O(log s·log k) 수준으로 감소한다. 이는 다자간 계산 프로토콜, 특히 집합 연산을 포함하는 프라이버시 보호 데이터 분석에서 실시간 성능 향상을 가능하게 한다.

전반적으로, 이 논문은 LPSP와 GPSP 두 문제에 대해 이론적 복잡도 개선과 실용적 구현을 동시에 제공하며, 암호학적 응용까지 연결하는 다학제적 기여를 하고 있다.