선호의 비순환성 내시 균형 및 서브게임 완전 균형 형식적이고 구성적인 동등성

초록

1953년 쿠른은 뒤로 되돌아가는 귀납법(Backward Induction)이라는 절차가 내시 균형을 산출한다는 증명을 통해 모든 순차적 게임이 내시 균형을 가진다는 사실을 보였다. 이 절차가 산출하는 균형은 내시 균형의 부분집합이며, 1965년 셀턴은 이를 서브게임 완전 균형(Subgame Perfect Equilibrium)이라고 명명하였다. 전통적인 게임 이론에서는 실수값 보상이 실수 전체 순서를 따른다 가정하지만, 사이먼·블랙웰 등의 연구는 부분 순서가 가능한 보상 체계를 다루었다. 본 논문은 실수값 보상 함수를 추상적인 원자 객체인 ‘결과(outcome)’로, 실수 전체 순서를 임의의 이진 관계인 ‘선호(preference)’로 대체함으로써 순차적 게임의 개념을 일반화한다. 이 일반화된 형식 안에서도 내시 균형, 서브게임 완전 균형, 그리고 뒤로 되돌아가는 귀납법을 정의할 수 있다. 논문은 다음 세 명제가 동등함을 증명한다: (1) 결과에 대한 선호 관계가 비순환(acyclic)이다. (2) 모든 순차적 게임이 내시 균형을 가진다. (3) 모든 순차적 게임이 서브게임 완전 균형을 가진다. 이 결과는 Coq를 이용해 전산적으로 인증되었으며, 형식화 과정은 핵심 정의와 증명의 주요 흐름을 명확히 드러낸다.

상세 요약

이 연구는 게임 이론의 기본 전제 중 하나인 ‘보상의 실수값 및 전순서’라는 가정을 의도적으로 탈피한다는 점에서 학문적 혁신성을 갖는다. 기존의 순차적 게임 모델은 플레이어가 최종 단계에서 얻는 실수형 보상을 비교할 때, 실수 전체 순서(≤)를 이용한다. 그러나 실제 의사결정 상황에서는 보상이 다차원적이거나 질적일 수 있어 전순서가 성립하지 않을 때가 많다. 논문은 이러한 현실을 반영하기 위해 ‘결과’를 추상적인 원자 객체로 정의하고, ‘선호’를 임의의 이진 관계로 설정한다. 여기서 핵심은 선호 관계가 반드시 전순서일 필요는 없지만, ‘비순환성(acyclic)’이라는 최소 조건만 만족하면 주요 정리들이 성립한다는 점이다.

비순환성은 사이클이 없는 부분 순서(partial order) 혹은 더 일반적인 선호 구조를 포함한다. 논문은 비순환성을 가정하면, 뒤로 되돌아가는 귀납법이 여전히 각 서브게임에서 최적 선택을 정의할 수 있음을 보인다. 이때 ‘최적’이라는 개념은 전통적 의미의 최대값이 아니라, 현재 서브게임 내에서 다른 결과보다 선호되지 않는(즉, 우위 관계에 있지 않은) 선택을 의미한다. 따라서 귀납법은 각 노드에서 ‘우위 관계에 있지 않은’ 행동을 선택함으로써 전체 게임 트리에서 내시 균형을 구성한다.

흥미로운 점은 이 내시 균형이 자동으로 서브게임 완전 균형이 된다는 것이다. 전통적인 증명에서는 서브게임 완전 균형이 내시 균형보다 강한 개념임을 강조하지만, 비순환 선호 하에서는 두 개념이 동치가 된다. 이는 ‘모든 서브게임이 자체적으로 비순환 선호 구조를 유지한다’는 사실에 기반한다.

형식적 검증을 위해 저자들은 Coq 증명 도구를 활용했다. Coq는 정의와 정리를 기계적으로 검증함으로써 인간이 놓치기 쉬운 논리적 함정이나 누락을 방지한다. 논문에서 제시된 Coq 스크립트는 (1) 선호 관계의 비순환성을 정의하는 인덕션 원리, (2) 순차적 게임 구조와 전략 프로필을 형식화하는 자료형, (3) 뒤로 되돌아가는 귀납법을 재귀적으로 구현하고, (4) 그 결과가 내시 균형이자 서브게임 완전 균형임을 증명한다. 이러한 전산 인증은 결과의 절대적 신뢰성을 제공할 뿐 아니라, 형식화 과정에서 핵심 정의(예: 전략, 서브게임, 선호 비순환성)와 주요 보조 정리들을 명확히 드러내어 연구 커뮤니티가 향후 확장 연구를 진행할 때 명확한 기반을 제공한다.

궁극적으로 이 논문은 ‘보상의 정량화가 불가능하거나 선호가 복합적인 상황에서도 게임 이론의 핵심 정리’를 유지할 수 있음을 보여준다. 이는 인공지능 에이전트 설계, 다중 기준 의사결정, 사회 선택 이론 등에서 비전형적 보상 구조를 다루는 연구자들에게 중요한 이론적 토대를 제공한다.