n킬로그램 돌을 최소 개수의 무게로 나누어 1부터 n까지 모든 정수를 재는 방법 연구

초록

본 논문은 n kg 돌을 최소한의 조각으로 분할하여 양쪽 저울에 배치함으로써 1 kg부터 n kg까지의 모든 정수 무게를 한 번에 측정할 수 있는 경우의 수를 구한다. 기존의 단일판 저울과는 달리 양쪽에 무게를 놓는 균형 삼진법을 활용하고, 최소 조각 수를 만족하는 모든 가능한 파티션을 조합론적·재귀적 방법으로 열거한다. 결과는 최적 무게 체계 설계와 화폐·동전 단위 선정 등에 응용 가능함을 제시한다.

상세 분석

이 연구는 두 판 저울에서 무게를 양쪽에 자유롭게 배치할 수 있다는 전제 하에, 총 무게 n kg인 돌을 최소 개수의 조각으로 나누어 1 kg부터 n kg까지의 모든 정수 무게를 한 번의 측정으로 구현할 수 있는 파티션의 개수를 구한다. 기존의 “무게 문제”는 주로 한쪽에만 무게를 놓는 경우를 다루어 2진법(거듭제곱 2) 체계가 최적임을 보였지만, 양쪽에 무게를 놓을 수 있으면 균형 삼진법(거듭제곱 3) 체계가 최소 조각 수를 제공한다는 것이 알려져 있다. 논문은 먼저 최소 조각 수 m을 n에 대한 부등식 3^{m‑1} ≤ n < (3^{m} − 1)/2 로부터 m = ⌈log₃(2n + 1)⌉ 로 정의한다.

그 다음, m개의 무게가 {w₁, w₂, …, w_m} (w₁ < w₂ < … < w_m) 로 구성될 때, 모든 정수 k(1 ≤ k ≤ n)를 k = ∑{i=1}^{m} ε_i w_i (ε_i ∈ {‑1,0,1}) 형태로 표현할 수 있는 조건을 분석한다. 여기서 핵심은 각 w_i가 이전 무게들의 합에 1을 더한 값, 즉 w_i = 1 + ∑{j=1}^{i‑1} 2 w_j 와 같은 형태를 만족하면 균형 삼진법과 동등함을 보인다. 그러나 최소 조각 수를 만족하면서도 서로 다른 파티션이 존재할 수 있기에, 논문은 “정규화 조건”(w₁ = 1, w_{i+1} ≤ 1 + ∑_{j=1}^{i} 2 w_j) 하에서 가능한 모든 조합을 재귀적으로 생성한다.

재귀식은 F(i, S) = ∑{w{i+1}=w_i}^{1+2S} F(i+1, S + w_{i+1}) 로 정의되며, 여기서 S는 현재까지 선택된 무게들의 합이다. 이 식을 바탕으로 동적 프로그래밍 테이블을 구축해 n까지의 모든 경우를 효율적으로 셀 수 있다. 또한, 생성 함수 G(x) = ∏_{i=0}^{m‑1} (1 + x^{3^{i}} + x^{2·3^{i}}) 를 이용해 조합론적 해석을 제공하고, 파티션 수가 2^{m‑1} · C(m,⌊m/2⌋) 와 같은 근사식에 수렴함을 실험적으로 확인한다.

주요 결과는 다음과 같다. (1) 최소 조각 수 m은 위의 로그식으로 정확히 결정된다. (2) m개의 무게가 균형 삼진법 형태를 따를 경우 파티션은 유일하지만, w_i 를 일부 변형(예: w_i = 3^{i‑1} + δ_i, δ_i ∈ {0,1}) 하면 여전히 모든 정수를 커버하면서 서로 다른 파티션이 다수 존재한다. (3) 이러한 변형 파티션의 총 개수는 n이 커짐에 따라 지수적으로 증가하지만, 상수 계수는 m에 대한 조합적 함수로 제한된다.

논문은 또한 실제 무게 설계 시 “총 무게 제한”(예: 전체 무게가 n kg을 초과하지 않음)과 “부품 수 제한”(m개 이하)이라는 두 가지 제약을 동시에 만족하는 파티션을 찾는 알고리즘을 제시한다. 이 알고리즘은 위의 재귀식에 가지치기 조건을 추가해 탐색 공간을 O(2^{m}) 수준으로 축소한다. 실험 결과, n = 10⁶까지의 경우에도 0.1초 이내에 모든 최소 파티션을 열거할 수 있음을 보였다.

마지막으로, 이러한 파티션은 화폐·동전 체계 설계, 물류에서의 포장 단위 최적화, 그리고 디지털 신호 처리에서의 양자화 레벨 선택 등 다양한 실용 분야에 적용 가능함을 논의한다. 특히, 제한된 무게(또는 금액) 총합 아래에서 최소 개수의 단위만으로 전 범위(1~n)를 커버해야 하는 상황에 직접적인 해법을 제공한다.