조합 게임 이론과 온도 조절 점수 게임 그리고 매듭 게임

본 논문은 크게 네 부분으로 구성된다. 첫 번째 부분은 조합 게임 이론(Combinatorial Game Theory, CGT)의 기본 틀을 정리하고, 존 콘웨이와 가이·버크람프·콘웨이의 “Winning Ways”와 “On Numbers and Games”에 기반한 핵심 정리를 증명한다. 여기에는 게임의 정의(G = {L|R}), 옵션 집합, 합 연산, 역원, 그리고 정수값 게임과 초실수(surreal) 수 체계와의 동형성이 포함된다. 특히, “short” 초실수와 “all‑small” 게임, 그리고 님(Nim)과 스프라게-그루디 이론을 통해 파티잔 게임과 정수값 게임 사이의 관계를 명확히 한다. 두 번째 부분에서는 점수 게임(scoring games), 즉 플레이어가 최종 점수 차를 얻는 형태의 게임을 다룬다. 저자는 “fixed‑length” 점수 게임, 즉 모든 플레이가 동일한 턴 수로 종료되는 게임을 중심으로 연구한다. 이러한 게임에 “well‑tempered”라는 조건을 부여해, 온도(temperature) 개념을 도입하고, 온·오프 사이드(onside/offside) 연산과 유사한 연산을 정의한다. 게임의 결과는 (L,R) 쌍으로 표현되며, “who moves last”와 “score difference” 두 축으로 분류된다. 이때, 짝수·홀수 게임(even/odd games)과 “well‑tempered” 조건이 게임의 부분 순서를 어떻게 제한하는지 상세히 논한다. 세 번째 핵심 장에서는 고정 길이 점수 게임을 파티잔 게임 이론에 귀환시키는 “faithful representation”을 제시한다. 구체적으로, 각 점수 게임 G를 파티잔 게임 φ(G) 로 매핑함으로써, 점수 게임의 합·부정 연산이 파티잔 게임의 합·역원과 일치함을 증명한다. 이 과정에서 Norton 곱셈(Norton multiplication)과 온·오프 연산이 보존되는지를 검증하고, “even”과 “odd” 게임이 파티잔 세계에서 어떻게 표현되는지를 보여준다. 또한, Boolean 값(0/1)만을 갖는 게임을 불 대수(Boolean algebra)와 동형시켜, 합·최소·최대 연산이 각각 논리합·논리곱·논리부정에 대응함을 증명한다. n‑값 게임(n=2,3)도 동일한 방법으로 파티잔 이론에 귀환시켜, “rounded sum”, “min”, “max” 연산에 대한 동형류(indistinguishability) 클래스를 완전히 구분한다. 마지막 부분에서는 앞서 구축한 이론을 실제 매듭 게임인 “To Knot or Not to Knot”(TKONTK)에 적용한다. TKONTK는 두 플레이어가 교차점을 차례로 해석해 가며, 최종적으로 얻는 매듭이 언크노트인지 여부에 따라 승패가 결정되는 게임이다. 논문은 유리 매듭(rational tangle)과 그 그림자(shadow)의 연속분수 표현을 이용해, 각 교차점 선택을 Boolean 값 게임으로 모델링한다. 특히, 유리 그림자는 두 종류의 닫힘(분자 닫힘, 분모 닫힘)으로 변환될 수 있으며, 이때 얻는 매듭이 언크노트인지 여부는 연속분수의 분자·분모가 짝수·홀수인지에 따라 판단된다. 이를 통해 교차점 수가 홀수이면 첫 번째 플레이어가, 짝수이면 두 번째 플레이어가 승리한다는 기존 실험 결과를 이론적으로 증명한다. 또한, 여러 그림자의 합성(connected sum) 경우를 “OR” 게이트 구조로 해석해, 하나의 서브게임이라도 “knot” 결과를 만들면 전체 게임이 매듭이 된다는 결론을 도출한다. 따라서 복잡한 매듭 위치에서도 파티잔 게임의 부분 순서와 Boolean 동형류를 이용해 승자를 예측할 수 있음을 보여준다. 전체적으로 이 논문은 조합 게임 이론을 토폴로지적 매듭 문제와 연결시키는 새로운 프레임워크를 제공하며, 고정 길이 점수 게임의 구조적 이해와 그 응용 가능성을 크게 확장한다.