완벽한 모자 추측 게임과 하이퍼큐브 정규 분할

본 논문은 ‘패스’를 허용하는 새로운 형태의 모자 추측 게임을 제시하고, 최소 k 명의 플레이어가 정확히 맞추고 나머지는 모두 패스하거나 정확히 맞추는 경우에만 승리하도록 규칙을 정의한다. 각 플레이어는 다른 모든 플레이어의 모자 색을 볼 수 있으며, 색은 두 가지(0, 1) 중 균등하게 무작위로 할당된다. 이러한 설정에서 승률의 이론적 상한은 간단한 경우의 수 계산을 통해 n/(n+k) 임을 보이며, 이를 달성하는 전략을 ‘완벽(perfect)’이라 명명한다. 논문의 핵심은 이 완벽 전략의 존재 여부를 하이퍼큐브 Qₙ (정점 집합 {0,1}ⁿ) 의 구조와 연결시키는 것이다. 먼저, k‑지배 집합(k‑dominating set)의 개념을 도입한다. 정의에 따르면, 집합 D⊆V(Qₙ) 가 k‑지배 집합이면, V(Qₙ)\D 의 모든 정점이 D 내에 최소 k 개의 이웃을 가진다. Lemma 11에 따르면, 최소 크기의 k‑지배 집합 D 의 크기가 승률에 직접적인 영향을 미쳐 Pₙ,ₖ = 1 − |D|/2ⁿ 이 된다. 따라서 완벽 전략이 존재하려면 |D| = 2ⁿ·k/(n+k) 가 되어야 하며, 이는 D 가 특정 비율로 전체 정점을 차지해야 함을 의미한다. 이를 달성하기 위한 새로운 도구로 (d₁,d₂)‑정규 분할((d₁,d₂)-regular partition) 개념을 제시한다. Qₙ의 정점을 두 부분 V₁, V₂ 로 나누어, V₁ 의 각 정점이 V₂ 에 정확히 d₁ 개의 이웃을, V₂ 의 각 정점이 V₁ 에 정확히 d₂ 개의 이웃을 갖도록 하는 분할이다. 이러한 분할이 존재하면, V₂ 는 자동으로 k‑지배 집합이 되며, |V₂| = 2ⁿ·d₁/(d₁+d₂) 가 된다. 따라서 d₁/(d₁+d₂) = k/(n+k) 을 만족시키면 완벽 전략을 얻을 수 있다. 정규 분할이 존재하기 위한 필요조건은 Proposition 4에서 도출된다. 여기서는 각 정점의 차수와 파트 간의 총 에지 수를 비교하여 d₁+d₂ = gcd(d₁,d₂)²·s (어떤 정수 s≤n) 이라는 관계를 얻는다. 이 관계는 정규 분할이 존재하려면 d₁+d₂이 2의 거듭제곱 형태여야 함을 암시한다. 필요조건을 바탕으로 충분조건을 구축하기 위해 일련의 구성 정리를 제시한다. Lemma 7은 n=2ˢ−1 인 경우에 (t, 2ˢ−t)‑정규 분할이 항상 존재함을 보인다. Theorem 8은 기존의 (t, 2ˢ−t)‑정규 분할을 이용해 차원을 늘리면서도 정규성을 유지하는 방법을 제시한다. 구체적으로, 각 정점에 대해 선형 방정식 시스템을 만든 뒤, 그 해 집합을 새로운 V₂ 로 정의한다. 이때 방정식은 원래 정점의 비트와 추가 차원의 비트를 적절히 결합해, 이웃 관계를 정확히 조절한다. Proposition 5와 6은 정규 분할을 차원 확대와 스케일링에 대해 닫혀 있음을 보인다. 즉, 한 번 정규 분할이 존재하면 차원을 하나 늘리거나 d₁,d₂를 같은 정수 t 배만큼 늘려도 정규 분할이 존재한다. 이를 반복 적용하면, 임의의 큰 s 와 홀수 t 에 대해 (t, 2ˢ−t)‑정규 분할이 Q_{2ˢ−c} (0≤c≤t) 에 존재함을 Theorem 9가 보장한다. 이제 메인 결과인 Theorem 1을 도출한다. 임의의 양의 정수 d, k 와 s≥2⌈log₂k⌉ 에 대해 (d·(2ˢ−k), d·k) 쌍이 완벽함을 보인다. 특히 d=1이면 (2ˢ−k, k) 쌍이 완벽함을 의미한다. 이는 기존의 k=1 경우(2ᵗ−1, 1)와 일치하며, k가 커져도 충분히 큰 s 를 선택하면 완벽 전략을 만들 수 있음을 보여준다. 또한, Theorem 1의 직접적인 귀결로 고정된 k 에 대해 n이 충분히 크면 언제든지 s 를 선택해 (2ˢ−k, k) 쌍을 만들 수 있다. 따라서 Pₙ,ₖ →1 (승률이 1에 수렴)임을 Corollary 에서 확인한다. 이는 ‘패스’를 허용함으로써 플레이어 수가 늘어날수록 거의 확실히 승리할 수 있음을 의미한다. 논문은 또한 필요조건을 만족하지만 정규 분할을 구성할 수 없는 경우가 존재함을 언급한다(Section 4의 Remark). 이는 현재 제시된 충분조건이 완전한 필요·충분 조건이 아니라는 점을 시사한다. 마지막으로, (d₁,d₂)‑정규 분할과 k‑지배 집합이 코딩 이론, 특히 완벽 오류 정정 코드와 연관됨을 강조한다. 정규 분할은 각 파트가 서로에 대해 일정한 이웃 수를 갖는 구조이므로, 이는 거리 d 코드와 비슷한 성질을 가진다. 따라서 이 연구는 조합론, 그래프 이론, 코딩 이론을 연결하는 새로운 프레임워크를 제공한다.