[논문 리뷰] On the complexity of strong Nash equilibrium: Hard-to-solve instances and smoothed complexity

Nicola Gatti, Marco Rocco외 1명|arXiv (Cornell University)|2013. 04. 04.

Game Theory and Applications참고 문헌 15인용 수 3

한 줄 요약

이 논문은 전략형 게임에서 혼합전략 강한 나시 균형(SNE)이 지급 벡터가 지지집합 위에서 특정 기하학적 구조 위에 위치해야 한다는 것을 규명한다. 2명의 플레이어 게임에서는 이들이 일직선 위에 있어야 하고, n명의 플레이어 게임에서는 (n−1)차원 초평면 위에 있어야 한다. 이에 기반해 저자들은 지지집합 탐색 알고리즘에 대한 악성 사례를 구성하고, SNE 계산이 스무딩 다항 시간 내에 가능하다는 것을 증명한다. 일반적인 게임에서는 순수 전략 SNE만 존재하므로, 작은 랜덤 편향이 가해지면 문제의 계산이 타당해진다.

ABSTRACT

The computational characterization of game-theoretic solution concepts is a central topic in artificial intelligence, with the aim of developing computationally efficient tools for finding optimal ways to behave in strategic interactions. The central solution concept in game theory is Nash equilibrium (NE). However, it fails to capture the possibility that agents can form coalitions (even in the 2-agent case). Strong Nash equilibrium (SNE) refines NE to this setting. It is known that finding an SNE is NP-complete when the number of agents is constant. This hardness is solely due to the existence of mixed-strategy SNEs, given that the problem of enumerating all pure-strategy SNEs is trivially in P. Our central result is that, in order for a game to have at least one non-pure-strategy SNE, the agents' payoffs restricted to the agents' supports must, in the case of 2 agents, lie on the same line, and, in the case of n agents, lie on an (n - 1)-dimensional hyperplane. Leveraging this result, we provide two contributions. First, we develop worst-case instances for support-enumeration algorithms. These instances have only one SNE and the support size can be chosen to be of any size-in particular, arbitrarily large. Second, we prove that, unlike NE, finding an SNE is in smoothed polynomial time: generic game instances (i.e., all instances except knife-edge cases) have only pure-strategy SNEs.

연구 동기 및 목표

• 전략형 게임에서 혼합전략 강한 나시 균형(SNE)이 존재하는 구조적 조건을 이해하는 것.
• 특히 순수 전략을 초월한 일반 게임에서 SNE를 찾는 데 효율적인 알고리즘이 부족한 문제를 다루는 것.
• SNE 계산에 사용되는 지지집합 탐색 알고리즘에 대한 악성 사례를 개발하는 것.
• SNE 계산의 스무딩 복잡도를 분석하고, 일반적인 게임에서 순수 전략 SNE만 존재한다는 것을 보여주는 것.

제안 방법

• 기하학적 제약 조건 식별: 혼합전략 SNE가 존재하려면 플레이어의 지지집합 위로 제한된 지급 벡터가 2명의 플레이어 게임에서는 직선 위에, n명의 플레이어 게임에서는 (n−1)-차원 초평면 위에 있어야 한다.
• 정확히 하나의 SNE와 임의의 지지집합 크기를 가진 악성 사례 게임을 구성하여 지지집합 탐색 알고리즘이 지수 시간이 걸리게 한다.
• 스무딩 분석을 적용하여, 작은 랜덤 편향이 가해진 후 혼합전략 SNE가 유지될 확률이 0임을 보여준다.
• 이중 단계 알고리즘 사용: 먼저 모든 순수 전략 지지집합을 검사한다. 만약 SNE가 발견되지 않으면, 어떤 혼합전략 지지집합 프로파일이 기하학적 조건을 만족하는지 확인한다.
• 편향이 가해지면 혼합 SNE가 요구하는 정렬 조건이 거의 확실히 깨지므로, 일반적으로 순수 전략 SNE만 존재함을 이용한다.
• 지지집합 탐색이 편향 하에서 고도로 확률적으로 지수 시간이 되지 않음을 보여, 알고리즘이 스무딩 다항 시간 내에 실행됨을 증명한다.

실험 결과

연구 질문

• RQ1 n명의 플레이어 게임에서 지급 벡터가 지지집합 위에 있을 때 혼합전략 SNE가 존재할 수 있는 기하학적 조건는 무엇인가?
• RQ2 SNE 계산에 대한 지지집합 탐색 알고리즘에 대해 악성 사례가 되는 게임 사례를 구성할 수 있는가?
• RQ3 작은 랜덤 편향이 가해진 일반적인 게임에서 SNE를 찾는 문제는 계산적으로 타당한가?
• RQ4 SNE 계산의 스무딩 복잡도는 나시 균형과 비교해 어떻게 다른가?
• RQ5 SNE 계산은 편향에 대해 강건하거나 취약한 구조적 성질을 가지는가?

주요 결과

• 혼합전략 SNE는 2명의 플레이어 게임에서 지지집합 위의 지급 벡터가 직선 위에 있을 때만 존재 가능하고, n명의 플레이어 게임에서는 (n−1)-차원 초평면 위에 있어야 한다.
• 정확히 하나의 SNE와 각 플레이어당 지지집합 크기가 최대 m/2인 악성 사례 게임을 구성할 수 있으며, 이 경우 지지집합 탐색 알고리즘이 O(4^{m/2})의 시간이 소요된다.
• SNE를 찾는 문제는 스무딩 다항 시간 내에 가능하다. 일반적인 게임에서는 순수 전략 SNE만 존재하기 때문이다.
• 작은 랜덤 편향이 혼합전략 SNE를 유지할 확률은 0이다. 이는 필요한 기하학적 정렬 조건의 고차원 코디멘션 때문이다.
• SNE에 대한 지지집합 탐색 알고리즘은 스무딩 분석 하에서 다항 시간 내에 실행됨이 보장된다. 지수 시간 탐색은 확률이 0인 사건에서만 발생하기 때문이다.
• 나시 균형과 달리, SNE 계산은 작은 편향에 대해 강건하다. 편향이 가해진 게임에서는 일반적으로 순수 전략 SNE만 존재한다.