컴퓨팅 가능한 단순 게임의 나카무라 수 연구

초록

이 논문은 컴퓨팅 가능한 단순(투표) 게임에 대해 나카무라 수(Nakamura number)의 제한을 체계적으로 분석한다. 게임을 단조성, 적절성, 강성, 비약함, 그리고 유한 운반자 존재 여부라는 다섯 가지 속성으로 32(실제로는 25) 유형으로 구분하고, 각 유형별로 가능한 나카무라 수를 완전하게 제시한다. 주요 결과는 “컴퓨팅 가능한 게임이 3보다 큰 유한한 나카무라 수를 갖기 위해서는 반드시 적절(proper)하고, 강(strong)하지 않으며, 비약(non‑weak)해야 한다”는 것이다. 또한, 유한·무한 운반자 여부에 관계없이 같은 유형 내에서는 동일한 나카무라 수가 달성 가능함을 보인다. 논문은 이러한 결과를 선호 집합 이론과 다기준 의사결정에 연결하고, 비컴퓨팅 가능한 초필터와의 차이를 논의한다.

상세 분석

본 연구는 사회선택 이론에서 핵심적인 역할을 하는 나카무라 수를, 계산 가능성이라는 제약 하에 어떻게 제한받는지를 정량적으로 규명한다. 먼저, 단순 게임을 ‘재귀적(co‑recursive) 연합’들의 집합 ω⊆REC 로 정의하고, ω가 승리 연합을, 그 보완이 패배 연합을 의미하도록 설정한다. 게임의 네 가지 전통적 속성—단조성(monotonicity), 적절성(properness), 강성(strongness), 비약(non‑weakness)—을 각각 + 혹은 – 로 표시하고, 운반자(finite carrier)의 존재 여부에 따라 ‘유한’과 ‘무한’으로 구분한다. 이렇게 2⁴·2=32가지(실제 논문에서는 25가지) 유형을 표 1에 정리하고, 각 유형별로 가능한 나카무라 수 ν(ω)를 제시한다.

핵심 정리는 다음과 같다. (1) 컴퓨팅 가능한 게임이 비약이면서도 유한한 나카무라 수 ν>3을 갖기 위해서는 반드시 적절하고, 강하지 않아야 한다. 즉, ‘+ + − +’ 혹은 ‘− + − +’ 형태의 게임만이 ν≥3을 달성할 수 있다. 강성을 유지하면 ν는 2 혹은 무한에 국한된다(예: 독재형 강·약 게임은 ν=∞). (2) 단조성 여부는 ν의 상한에 영향을 주지 않는다; 비단조 게임이라도 위 조건을 만족하면 ν>3을 가질 수 있다. (3) 유한 운반자와 무한 운반자 사이에 ν의 차이가 없으며, 같은 유형 내에서는 동일한 정수 k≥2(또는 k≥3) 를 나카무라 수로 구현할 수 있다. 이를 위해 논문은 각 유형별로 구체적인 Turing 프로그램(또는 재귀적 연합) 예시를 구성하고, 필요한 경우 기존의 게임 형태(g) 를 변형한다.

또한, 나카무라 수와 코어(core)의 존재조건을 연결한다. 비약이 아닌 컴퓨팅 가능한 게임 ω에 대해, 모든 선호 프로필 p에 대해 코어 C(ω,X,p)가 비공집합이 되려면 대안 집합 X의 크기가 ν(ω)보다 작아야 함을 Kumabe‑Mihara(2008)의 정리 19를 인용해 재확인한다. 따라서 ν가 클수록 더 많은 대안을 합리적으로 처리할 수 있지만, 이는 강성을 포기해야 가능한 트레이드오프임을 강조한다.

비컴퓨팅 가능한 초필터(ultrafilter)와의 비교도 흥미롭다. 초필터는 강성을 유지하면서도 무한한 ν를 제공하고, 심지어 모든 유한 대안 집합에 대해 코어를 보장한다. 그러나 이러한 초필터는 비계산 가능하므로 실제 사회선택 메커니즘으로는 적용이 어려워, 계산 가능성이라는 규범적 기준이 왜 중요한지를 설득력 있게 보여준다.

결과적으로, 논문은 “컴퓨팅 가능성 + 적절성 + 비강성 + 비약”이라는 네 가지 조건이 나카무라 수를 3보다 크게 만들 수 있는 최소 요건임을 증명하고, 각 유형별 가능한 ν 값을 완전하게 매핑함으로써, 다기준 의사결정 및 사회선택 메커니즘 설계에 있어 계산 가능성을 고려한 설계 지침을 제공한다.