[논문 리뷰] On the Verification and Computation of Strong Nash Equilibrium

Nicola Gatti, Marco Rocco외 1명|arXiv (Cornell University)|2017. 11. 16.

Game Theory and Applications참고 문헌 19인용 수 4

한 줄 요약

이 논문은 n-에이전트 게임에서 전략 프로파일이 강한 내쉬 균형(SNE)인지 확인하는 다항 시간 알고리즘을 제시하며, 내쉬 균형 오라클을 반복적으로 쿼리하여 SNE를 계산하는 공간 분할 및 구간 탐색 알고리즘을 도입한다. 주요 기여는 SNE 검증 문제가 P에 속한다는 것을 증명함으로써 SNE 계산이 NP에 속하게 되고, 혼합 전략 SNE 사례에서 NE 열거보다 성능이 뛰어나다는 것을 보여주는 것이다.

ABSTRACT

Computing equilibria of games is a central task in computer science. A large number of results are known for \emph{Nash equilibrium} (NE). However, these can be adopted only when coalitions are not an issue. When instead agents can form coalitions, NE is inadequate and an appropriate solution concept is \emph{strong Nash equilibrium} (SNE). Few computational results are known about SNE. In this paper, we first study the problem of verifying whether a strategy profile is an SNE, showing that the problem is in $\mathcal{P}$. We then design a spatial branch--and--bound algorithm to find an SNE, and we experimentally evaluate the algorithm.

연구 동기 및 목표

• 일반적인 게임에서 강한 내쉬 균형(SNE)에 대한 계산 방법의 부족을 해결함. 특히 연합이 가능한 경우를 고려함.
• 주어진 전략 프로파일이 SNE인지 여부를 검증하는 문제의 복잡도를 분석함. 다자간 및 혼합 전략적 이탈이 존재하는 경우를 특히 고려함.
• 혼합 전략을 고려한 이중 에이전트 게임에 초점을 맞춰 실용적인 SNE 계산 알고리즘을 설계하고 평가함.
• 기존의 GAMUT 기준 테스트 베드가 순수 전략 SNE에 치우쳐 있어 SNE 평가에 부적절하다는 것을 입증함.
• 혼합 전략 SNE만 존재하는 게임을 생성할 수 있는 새로운 인스턴스 생성기를 개발하여 의미 있는 실험 평가를 가능하게 함.

제안 방법

• 행동 집합이 유한한 다중 에이전트 최소화 문제로 SNE 검증 문제를 환원하여 다항 시간 내에 해결 가능함을 증명함.
• 내쉬 균형을 오라클을 통해 계산하고, 그 결과가 SNE인지 검증하는 것을 번갈아가며 수행하는 공간 분할 및 구간 탐색 알고리즘을 설계함.
• SNE 검증 서브루틴을 분할 및 구간 탐색 프레임워크에 통합하여 비-SNE 해를 효율적으로 잘라내는 데 사용함.
• 혼합 정수 프로그래밍(MIP)을 NE 찾기 오라클로 사용하여 효율적인 NE 계산과 SNE 검증 단계의 통합을 가능하게 함.
• 다양한 구성 요소를 구현하고 비교함: 반복 MIP 2StrongNash, 무작위 상태 선택을 사용한 알고리즘 3, PNS 기반의 NE 열거.
• 기존 GAMUT 벤치마크의 편향을 피하기 위해 혼합 전략 SNE만 존재하는 게임을 생성할 수 있는 맞춤형 생성기를 사용하여 새로운 테스트 인스턴스를 생성함.

실험 결과

연구 질문

• RQ1 일반적인 n-에이전트 게임에서 전략 프로파일이 강한 내쉬 균형(SNE)인지 여부를 검증하는 문제는 P에 속하는가?
• RQ2 내쉬 균형 오라클과 SNE 검증을 조합하여 공간 분할 및 구간 탐색 알고리즘이 효과적으로 SNE를 계산할 수 있는가?
• RQ3 이중 에이전트 게임에서 제안된 알고리즘이 내쉬 균형 찾기 오라클에 대해 최악의 경우 몇 번의 호출을 요구하는가?
• RQ4 혼합 전략 다자간 이탈을 포함한 유한한 제약 조건 집합을 사용하여 SNE 조건을 공식화할 수 있는가?
• RQ5 일반적인 게임에서 SNE를 계산하는 스무딩 복잡도는 얼마인가?

주요 결과

• SNE 검증 문제는 모든 n-에이전트 게임에서 다항 시간 내에 해결 가능하므로 P에 속함. 이는 유한한 행동 집합을 가진 다중 에이전트 최소화 문제로 환원되기 때문임.
• SNE를 찾는 문제는 검증이 P에 속하므로 NP에 속함. 해를 추측하고 효율적으로 검증할 수 있기 때문임.
• 반복 MIP 2StrongNash를 사용한 제안된 공간 분할 및 구간 탐색 알고리즘이 100x100 게임에서 NE 열거보다 100배 이상 빠름.
• 100x100 게임에서 알고리즘은 150초 이내에 종료되나, NE 열거는 하루가 넘도록 완료되지 않음.
• 기존의 GAMUT 기준 벤치마크는 SNE 평가에 부적절함. 모든 인스턴스가 순수 전략 SNE를 포함하거나 전혀 SNE를 포함하지 않기 때문임.
• 혼합 전략 다자간 이탈은 순수 전략 이탈에만 기반한 유한한 제약 조건으로는 포괄할 수 없으므로, SNE 조건에 명시적으로 고려되어야 함.