바론 멍하우젠 수열 퍼즐

초록

이 논문은 2000년 전 러시아 수학 올림피아드에 출제된 동전 저울 퍼즐를 재조명한다. 기존의 동전 저울 문제와 달리, 동전의 개수를 자유롭게 늘려도 두 번의 저울 사용만으로 목표를 달성할 수 있음을 증명한다. 일반화된 해법과 그 증명 과정을 제시함으로써, 퍼즐의 구조적 특성을 새로운 관점에서 해석한다.

상세 분석

본 연구는 먼저 원래 퍼즐의 정확한 정의를 명시한다. n개의 동전이 주어지고, 그 중 하나는 무게가 다르며, 그 차이는 알려져 있지 않다. 목표는 최소한의 저울 사용 횟수로 그 동전을 찾고, 차이의 부호까지 판별하는 것이다. 전통적인 동전 저울 문제에서는 “동전의 개수와 차이의 크기”에 따라 최소 저울 횟수가 달라진다. 그러나 바론 멍하우젠이 제시한 퍼즐은 “동전의 순서가 미리 정해진 수열 형태”라는 추가 제약을 갖는다. 이 제약은 각 저울 결과가 단순히 ‘무거움’ 혹은 ‘가벼움’이 아니라, 특정 위치에 대한 비교값으로 해석될 수 있게 만든다.

핵심 아이디어는 두 번의 저울을 이용해 동전들의 위치를 이진 코드로 매핑하는 것이다. 첫 번째 저울에서는 동전들을 두 그룹으로 나누어 무게 차이를 측정한다. 여기서 얻은 부호 정보는 “그 동전이 어느 그룹에 속했는가”와 “그 차이가 양수인지 음수인지를 동시에 제공”한다. 두 번째 저울에서는 첫 번째 저울에서 얻은 정보를 기반으로, 다시 한 번 동전들을 재배치한다. 이때 두 번째 저울의 결과는 첫 번째 결과와 결합되어, 각 동전이 가질 수 있는 가능한 경우의 수를 2^2=4가지로 제한한다. 그러나 퍼즐의 구조상 실제 가능한 경우는 2가지뿐이며, 이는 바로 “무게가 더 무거운 동전” 혹은 “무게가 더 가벼운 동전”이다.

수학적으로는, n개의 동전을 {1,…,n}에 대응시키고, 첫 번째 저울을 통해 얻은 부호를 함수 f₁: {1,…,n}→{+,-} 로, 두 번째 저울을 통해 얻은 부호를 f₂ 로 정의한다. 목표는 (f₁(i), f₂(i)) 쌍이 모든 i에 대해 서로 구별되도록 하는 것이다. 이를 위해 저울에 올리는 동전들의 조합을 적절히 설계한다. 구체적으로, 첫 번째 저울에서는 i번째 동전을 포함하는지 여부를 i의 이진 표현의 첫 번째 비트에 따라 결정하고, 두 번째 저울에서는 두 번째 비트에 따라 결정한다. 이렇게 하면 (f₁(i), f₂(i)) = (비트₁, 비트₂) 가 되며, 서로 다른 i는 서로 다른 비트쌍을 갖게 된다. 따라서 두 번의 저울만으로 모든 동전을 구별할 수 있다.

이 논문은 위와 같은 구성을 일반화한다. 동전의 개수 n이 어떠한 양의 정수이든, 이진 표현을 사용하면 ⌈log₂ n⌉ 비트가 필요하지만, 퍼즐의 특수한 제약(동전이 연속된 수열에 놓여 있다는 점) 덕분에 실제로는 비트 수를 2개로 압축할 수 있다. 즉, n이 커져도 두 번의 저울만으로 충분하다는 것이 증명된다. 또한, 이 방법이 최적임을 보이기 위해, 두 번 이하의 저울로는 정보를 충분히 구분할 수 없다는 반증을 제시한다. 이는 정보 이론적 관점에서 “각 저울이 제공할 수 있는 최대 엔트로피는 1비트”라는 사실과, 퍼즐의 목표가 2비트(동전 위치와 차이 부호) 정보를 얻는 것과 일치한다는 점을 이용한다.

결과적으로, 바론 멍하우젠 수열 퍼즐은 전통적인 동전 저울 문제와는 다른 구조적 특성을 가지고 있으며, 이 특성을 활용하면 동전의 수와 무관하게 두 번의 저울만으로 문제를 해결할 수 있음을 보였다. 이는 동전 저울 퍼즐의 새로운 범주를 제시하고, 제한된 실험 횟수 내에서 정보를 최대화하는 전략에 대한 통찰을 제공한다.