웃음과 모자 퍼즐의 새로운 프로그램

초록

이 논문은 ‘타냐의 프로그램’이라 명명한 장난스러운 수학 프로그램을 소개한다. 기존의 유명한 모자 퍼즐들을 정리하고, 새로운 색상 전용 퍼즐을 제시하며, 퍼즐을 농담으로, 농담을 퍼즐로 바꾸는 방법을 탐구한다.

상세 분석

본 논문은 논리학자들의 대화와 모자 퍼즐을 연결함으로써 정보 전달의 최소 단위인 ‘비트’를 어떻게 활용할 수 있는지를 보여준다. 첫 번째 예시에서는 세 명의 논리학자가 각각 “모르겠다”, “모르겠다”, “예”라는 답을 하는데, 이는 전통적인 ‘맥주 농담’과 동일한 논리 구조를 갖는다. 여기서 핵심은 각 참가자가 자신이 볼 수 있는 정보(다른 사람의 모자 색)와 사전에 합의한 코딩 규칙을 이용해 자신의 모자 색을 추론한다는 점이다.

두 번째 섹션에서는 제한 없는 빨강·파랑 모자 집합을 가정하고, 마지막 사람부터 차례로 색을 말함으로써 전체 인원 중 최소 1명(보통 마지막 사람)만이 위험에 처하도록 하는 ‘패리티 코딩’ 전략을 제시한다. 구체적으로 마지막 사람이 보는 빨강 모자 수의 짝·홀을 “빨강”(짝) 혹은 “파랑”(홀)이라는 단어로 전달하고, 앞 사람들은 이전에 들은 단어와 자신이 보는 색을 합산해 자신의 색을 결정한다. 이는 이진 부호화와 동일한 원리이며, 정보 이론에서 말하는 ‘최소 오류 전송’과 맞닿아 있다.

다색 일반화에서는 색을 0부터 N‑1까지의 정수로 매핑하고, 마지막 사람이 전체 합을 모듈로 N이 0이 되도록 자신의 색을 선택한다. 이후 각 사람은 앞에서 들은 색과 자신이 보는 색을 모두 더해 자신의 색을 역산한다. 이는 N진 패리티 검증으로, 오류 정정 부호의 기본적인 형태와 일맥상통한다.

새로운 퍼즐(다른 색이 모두 서로 다른 경우)에서는 ‘한 색이 중복되지 않는다’는 추가 제약이 들어간다. 여기서 저자는 기존의 모듈로 합산 전략이 충돌을 일으킬 수 있음을 지적하고, 마지막 사람이 말한 색이 실제로 앞 사람 중 누군가의 색과 일치할 경우, 그 사람은 자신의 색을 말할 수 없게 된다. 이를 해결하기 위해 저자는 “마지막 사람은 자신의 색과 보이는 색들의 합을 0으로 만든다”는 규칙을 유지하되, 충돌이 발생하면 해당 색을 가진 사람은 첫 번째 사람의 색을 대신 말하게 하는 변형 전략을 제안한다. 이 경우 최대 세 명만이 잘못된 색을 말하게 되며, 더 정교한 설계로는 단 한 명만 오류를 범하도록 할 수 있다고 주장한다.

전반적으로 논문은 정보 전달을 위한 최소 비트 코딩, 패리티 검사, 모듈러 연산 등 현대 암호·통신 이론의 기본 개념을 ‘모자 퍼즐’이라는 직관적인 게임에 적용함으로써 수학적 사고와 유머를 연결한다. 또한 ‘랭글즈 프로그램’에 대한 은유적 언급을 통해 서로 다른 수학 분야를 연결하려는 시도를 보여준다.