바셋 문제 최소 무게 조합

초록

이 논문은 1부터 N까지의 모든 정수를 양쪽 저울에 무게를 놓아 측정할 수 있도록 하는 최소 개수의 추를 찾는 고전적인 바셋 문제를 일반화한다. 3진법(균형 삼진법) 표현을 이용해 최적의 추 집합이 1, 3, 9, 27,… 형태의 3의 거듭 제곱임을 증명하고, 필요 추 개수는 ⌈log₃(2N+1)⌉임을 보인다. 또한 피보나치와 라우스 볼의 사료를 통해 문제의 역사적 배경을 조명하고, 정수 분할과 열거 조합론 관점에서 해법을 확장한다.

상세 분석

바셋 문제는 “양쪽 저울에 추를 자유롭게 배치할 수 있을 때, 1부터 N까지의 모든 정수를 정확히 측정하기 위해 필요한 최소 추의 개수는 얼마인가?”라는 질문으로 시작된다. 이 문제의 핵심은 각 정수를 ‘균형 삼진법’(balanced ternary)으로 표현할 수 있다는 사실이다. 균형 삼진법은 자리값이 3⁰, 3¹, 3²,…이며 각 자리의 계수가 –1, 0, 1 중 하나인 진법이다. 예를 들어, 5는 1·3¹ + (–1)·3⁰으로 표현되며, 이는 저울의 한쪽에 3을 놓고 반대쪽에 1을 놓아 5를 얻는다는 의미이다. 따라서 {1, 3, 9, 27,…, 3ᵏ}와 같은 3의 거듭 제곱 추 집합을 사용하면, k + 1개의 추만으로 3^{k+1} – 1 ÷ 2 = (3^{k+1} – 1)/2 범위의 모든 정수를 측정할 수 있다. 이는 2·N + 1 ≤ 3^{k+1}을 만족하는 최소 k를 찾는 것과 동치이며, 결과적으로 필요한 추의 최소 개수는 ⌈log₃(2N+1)⌉가 된다.

논문은 이 결과를 귀납법으로도 증명한다. 기본 단계에서 N=1인 경우 1개의 추(1)만 있으면 충분하고, 귀납 가정으로 N까지 가능한 경우 N+1을 포함하도록 새로운 추를 추가하면 된다. 여기서 추가되는 추는 바로 3^{k} 형태이며, 이는 기존 추들의 합보다 크게 하여 새로운 범위를 확장한다.

역사적 고찰에서는 피보나치가 1202년에 이미 이와 유사한 문제를 제시했으며, 17세기 바셋이 이를 체계화했다는 점을 강조한다. 라우스 볼은 20세기 초 이 문제를 ‘바셋의 무게 문제’라 명명하고, 일반화된 해법이 오래전부터 존재했음에도 불구하고 현대적인 증명과 열거 조합론적 해석이 최근 15년 사이에 활발히 연구되었다고 서술한다.

또한 논문은 정수 분할 관점에서 균형 삼진법을 ‘제한된 파티션’(restricted partition) 문제로 재구성한다. 각 추는 3의 거듭 제곱이라는 제한된 파트이며, 각 파트는 –1, 0, 1 중 하나의 부호를 가질 수 있다. 이때 전체 합이 목표 정수가 되도록 하는 경우의 수는 실제로 ‘삼진법 계수의 다항식’(ternary coefficient polynomial) 전개와 동일하며, 이는 열거 조합론에서 ‘제한된 조합’(restricted composition) 문제와 직접 연결된다.

마지막으로, 저자는 추의 중복 사용이 허용되는 변형, 추의 무게가 반드시 3의 거듭 제곱이 아닐 경우의 최적화, 그리고 다중 저울 시스템에서의 일반화 등을 제안하며, 이러한 확장은 현재 진행 중인 연구 과제로 남겨두었다.