[논문 리뷰] On the NP-completeness of Finding an Optimal Strategy in Games with Common Payoffs

Francis C. Chu, Joseph Y. Halpern|ArXiv.org|2001. 03. 27.

Advanced Research in Systems and Signal Processing인용 수 6

한 줄 요약

이 논문은 자연의 이동이 하나뿐인 두 명의 플레이어가 공동의 보상 구조를 가진 게임에서 최소 기대 보상 $ r $ 을 달성할 수 있는 연합 전략이 존재하는지 여부를 판단하는 것이 NP-완전임을 증명한다. 이 결과는 자연의 이동 이후 각 플레이어가 한 번의 이동만을 가지는 경우에도 성립하며, 공통의 이해를 가진 플레이어들 사이에서 최적의 조율 전략을 찾는 것이 계산적으로 비가능함을 시사한다.

ABSTRACT

Consider a very simple class of (finite) games: after an initial move by nature, each player makes one move. Moreover, the players have common interests: at each node, all the players get the same payoff. We show that the problem of determining whether there exists a joint strategy where each player has an expected payoff of at least r is NP-complete as a function of the number of nodes in the extensive-form representation of the game.

연구 동기 및 목표

• 공동 보상 구조를 가진 게임에서 최적의 연합 전략을 찾는 문제의 계산 복잡도를 조사하는 것.
• 자연의 이동이 하나뿐인 광범위한 형태의 게임에서 이러한 최적 전략이 효율적으로 계산될 수 있는지 여부를 판단하는 것.
• 두 플레이어와 각각 한 번의 이동만을 가지는 제한된 조건에서도 문제의 NP-완전성이 유지되는지 확인하는 것.
• 이 문제의 비가역성과 정규형 표현에서 다항시간 내에 해결 가능한 것과의 대비를 제시하는 것.
• 플레이어들의 불확실성(즉, 고려하는 가능한 세계의 수)에 제약이 있을 경우에도 이 어려움이 지속되는지 탐색하는 것.

제안 방법

• 3SAT 문제를 공동보상 게임에서 목표 기대 보상 $ r $ 을 달성하는 연합 전략을 찾는 문제로 환원한다.
• 자연의 이동이 3CNF 공식의 변수에 대한 진리값 할당에 대응하는 광범위한 형태의 게임을 구성한다.
• 공식이 만족 가능할 경우에만 기대 보상 $ r = 1 $ 을 달성하는 연합 전략이 존재하도록 보상 구조를 할당한다.
• 플레이어 1은 변수의 출현을 관찰하고 플레이어 2는 절을 관찰하도록 하여 비대칭 정보를 생성한다.
• 세계에 대한 확률 분포를 사용하여 절의 만족도와 변수의 할당을 인코딩한다.
• 고기대 보상 연합 전략의 존재성과 공식의 만족 가능성 간의 동치성을 입증함으로써 NP-완전성을 확립한다.

실험 결과

연구 질문

• RQ1 자연의 이동이 하나뿐이고 각 플레이어가 한 번의 행동만을 취하는 공동보상 게임에서 최소 기대 보상 $ r $ 을 달성하는 연합 전략이 존재하는지 여부를 판단하는 것이 NP-완전한가?
• RQ2 플레이어들이 제한된 정보(즉, 가능한 세계의 수가 유한함)를 고려할 경우에도 NP-완전성 결과가 유지되는가?
• RQ3 동일한 게임의 광범위한 형태 표현과 정규형 표현 간에 최적 연합 전략을 찾는 복잡도는 어떻게 다를까?
• RQ4 플레이어들의 불확실성이 가능한 세계의 수가 매우 적은 수준으로 제약을 받을 경우에도 문제의 NP-완전성은 유지되는가?
• RQ5 정확한 최적 전략이 아니라 고정된 비율 내의 최적 전략을 찾는 문제 역시 여전히 NP-완전한가?

주요 결과

• 기대 보상이 최소 $ r $ 이상이 되는 연합 전략이 존재하는지 여부를 판단하는 문제는, 자연의 이동이 하나뿐이고 각 플레이어가 한 번의 이동만을 취하는 두 명의 플레이어 게임에서도 NP-완전하다.
• 모든 상태에서 두 플레이어가 고려하는 가능한 세계의 수가 최대 3개 이하일 경우에도 NP-완전성이 유지되며, 이는 고도의 불확실성 때문이 아니라 문제 자체의 어려움을 반영한다.
• 각 변수가 최대 세 개의 절에만 등장하도록 공식을 변형하더라도 결과는 그대로 유지되며, 이는 환원 과정이 유지됨을 의미한다.
• 플레이어가 완전 기억을 갖는지 불완전 기억을 갖는지에 관계없이, 자연의 이동 이후 한 번의 이동만을 취하는 한 결과는 동일하게 유지된다.
• 문제가 NP에 속하는 이유는 연합 전략를 다항시간 내에 추측하고 검증할 수 있기 때문이다.
• 플레이어가 완전한 정보를 갖는 경우(즉, 가능한 세계가 하나뿐인 경우) 문제는 다항시간 내에 해결 가능해지며, 이는 불확실성이 비가역성의 핵심 요소임을 시사한다.