확장 원형 님 승패 규칙 새로운 공식

초록

본 논문은 기존 원형 님(CN)의 일반화인 확장 원형 님(ECN)을 정의하고, m ≤ 8인 경우에 대한 P‑포지션(패배 위치) 판정 공식을 제시한다. 또한 특정 파라미터 조합에 대해 기존 규칙과 동형임을 보이며, 일반적인 경우에 적용 가능한 정리들을 제시한다.

상세 분석

논문은 먼저 원형 님(CN)의 정의와 그 변형인 모어 님(MN), 심플렉시얼 님 등 기존 연구들을 정리하고, 이를 바탕으로 확장 원형 님(ECN)의 규칙을 명확히 정의한다. ECN은 m개의 원형 배열된 파일에 대해, 사용자가 집합 S (1 ≤ s ≤ ⌊m/2⌋)에서 하나의 s를 선택하고, 그 s 간격으로 배치된 파일 중 최대 k 개를 골라 토큰을 제거하는 게임이다. 이때 ECN(m,{1},k) 는 기존 원형 님과 동형이며, ECN(m,{1,…,⌊m/2⌋},k) 는 심플렉시얼 님의 특수 경우가 된다.

핵심 정리 중 하나는 정수 a ≥ 4에 대해, b∈S 가 a와 서로소이면 ECN(a,S,a−1) 은 MN(a,a−1) 과 동형이고, 그렇지 않으면 ECN(a,S,a−2) 와 동형이라는 점이다. 이는 ECN의 복잡성을 기존 잘 알려진 규칙으로 환원시켜 분석을 단순화한다.

다음으로 논문은 m ≤ 5인 경우를 기존 결과와 동형 관계를 이용해 즉시 해결한다. 예를 들어 ECN(4,{2},2) 는 대각선 두 파일을 하나로 묶어 2‑파일 님으로 전환하고, ECN(5,{1,2},2) 는 임의의 두 파일을 선택할 수 있어 MN(5,2)와 동형임을 보인다.

주요 공헌은 m = 6, 7, 8인 경우에 대한 P‑포지션의 완전한 공식 제시이다.
- CN(6,3) 의 경우는 기존 연구에서 알려진 두 선형 방정식 n₀+n₁=n₃+n₄, n₁+n₂=n₄+n₅ 로 표현된다. 논문은 이를 ECN에 적용해 S 에 따라 선택 가능한 간격이 달라지는 경우에도 동일한 형태의 선형 관계가 유지됨을 증명한다.
- CN(7,4) 와 CN(8,6) 의 경우는 여러 개의 경우군(P₁~P₄ 등)으로 나뉘며, 최소값, 최대값, XOR 조건 등이 복합적으로 작용한다. 저자는 이러한 복합 조건을 ECN의 S 구조에 맞게 일반화하고, 특히 S 에 1과 ⌊m/2⌋가 모두 포함될 때 발생하는 대칭성(회전·반전)과 선택 가능한 간격의 중복성을 이용해 P‑포지션을 체계적으로 분류한다.

또한 정리 11, 14, 16은 “임의의 m 과 k 에 대해, S 가 포함하는 최소·최대 간격에 따라 P‑포지션이 어떤 형태를 띠는가”를 일반화한다. 여기서는 선택 가능한 간격들의 공통 배수와 k 의 관계를 이용해, 특정 k 값 이하에서는 모든 파일을 동시에 선택할 수 있음을 보이고, 그 경우는 단순히 MN(m,k) 와 동형임을 확인한다.

마지막으로, 논문은 선택적 합(selective sum)과 분리 합(disjunctive sum)의 SG값 이론을 활용해 복합 게임으로 확장했을 때도 승패 판단이 가능함을 언급한다. 특히 ECN 의 경우, 각 간격 s 에 대해 독립적인 서브게임으로 분해할 수 있음을 보이며, 이를 통해 복합적인 게임 상황에서도 Sprague‑Grundy 이론을 적용할 수 있음을 시사한다.

전체적으로 이 논문은 작은 규모(≤8)의 ECN에 대해 완전한 승패 판정 공식을 제공함으로써, 기존 원형 님 연구의 빈틈을 메우고, 더 큰 m 에 대한 일반화 가능성을 탐색하는 중요한 발판을 마련한다.