계산 가능한 단순 게임의 특성화와 핵심 이론에의 적용

초록

알고리즘적으로 계산 가능한 단순 게임의 클래스는 (i) 유한 캐리어를 갖는 게임 클래스를 포함하고, (ii) 유한 승리 연합을 갖는 게임 클래스에 포함된다. 본 논문은 계산 가능한 게임을 특성화하고, 계산 가능한 게임이 익명성을 위배한다는 이전 결과를 강화한다. 또한 위 포함 관계가 엄격함을 보여주는 예시들을 제시한다. 더불어, 핵심의 비공집합성을 다루는 나카무라 정리를 확장하여, 계산 가능한 게임은 유한한 나카무라 수를 갖는다는 것을 증명한다. 이는 플레이어들이 합리적으로 다룰 수 있는 대안의 수가 제한됨을 의미한다.

상세 요약

이 논문은 사회 선택 이론과 협력 게임 이론에서 핵심적인 개념인 ‘단순 게임(simple game)’을 컴퓨터 과학적 관점에서 재조명한다. 단순 게임은 플레이어 집합 N과 승리 연합의 집합 W⊆2^N으로 정의되며, 승리 연합은 ‘승리’로 간주되는 플레이어들의 부분집합이다. 전통적으로는 이러한 게임을 ‘유한 캐리어’를 가질 때, 즉 모든 승리 연합이 어떤 고정된 유한 부분집합에 의해 완전히 결정될 때 다루어졌다. 그러나 실제 응용에서는 무한히 많은 플레이어가 존재하거나, 승리 연합 자체가 무한히 복잡한 구조를 가질 수 있다. 따라서 ‘계산 가능성(computability)’이라는 기준을 도입해, 알고리즘으로 승리 여부를 판정할 수 있는 게임을 구분한다.

논문은 먼저 두 포함 관계를 명확히 한다. 첫째, 모든 유한 캐리어를 갖는 게임은 명백히 알고리즘적으로 판정 가능하므로 계산 가능한 게임에 속한다. 둘째, 계산 가능한 게임은 승리 연합을 열거할 수 있는 절차가 존재하므로, 결국에는 유한한 승리 연합들의 집합으로 근사될 수 있다(즉, 유한 승리 연합을 포함한다). 이 두 관계가 ‘엄격’함을 보이기 위해, 저자는 (a) 유한 캐리어는 없지만 여전히 계산 가능한 게임, (b) 계산 가능하지만 유한 승리 연합을 초과하는 복잡한 구조를 가진 게임의 구체적 예시를 제시한다. 이러한 예시는 기존 이론이 놓치고 있던 경계 사례를 드러내며, 계산 가능성의 정의가 단순히 ‘유한성’과 동일시될 수 없음을 증명한다.

다음으로, 나카무라 수(Nakamura number)와 핵심(core)의 관계를 확장한다. 나카무라 수는 게임이 허용할 수 있는 대안의 최대 개수를 나타내는 정수이며, 전통적인 나카무라 정리는 이 수가 3보다 크면 핵심이 비어 있지 않을 수 없다고 주장한다. 저자는 계산 가능한 게임에 대해 나카무라 수가 반드시 유한함을 증명함으로써, 이러한 게임이 다룰 수 있는 대안의 수가 본질적으로 제한됨을 보여준다. 이는 무한 대안 집합을 전제로 하는 이론적 모델이 실제 계산 가능한 상황에서는 적용될 수 없다는 중요한 함의를 가진다.

마지막으로, ‘익명성(anonymity)’와의 관계를 논한다. 익명성은 모든 플레이어가 동등하게 취급되는 성질을 의미하는데, 저자는 계산 가능한 게임이 이 성질을 위배한다는 기존 결과를 강화한다. 구체적으로, 계산 가능성을 만족하려면 어떤 플레이어 집합에 대한 승리 여부를 결정하는 절차가 반드시 특정 플레이어를 구분하는 정보를 필요로 하므로, 완전한 익명성을 유지할 수 없다는 논증을 제시한다.

이러한 일련의 결과는 협력 게임 이론에서 ‘계산 가능성’이라는 새로운 분류 기준이 기존의 ‘유한성’·‘익명성’ 기준과 어떻게 교차하고, 어느 정도까지 이론적 모델을 현실적인 알고리즘 구현에 맞출 수 있는지를 명확히 보여준다. 특히, 나카무라 수의 유한성 결과는 정책 설계나 집단 의사결정 시스템에서 대안의 수를 제한함으로써 합리적 의사결정을 보장하려는 실용적 지침을 제공한다.