계수 1 게임의 내시 균형 전부 열거하기

초록

이 논문은 행렬 합의 계수가 1 이하인 비퇴화 이중행렬 게임에서 모든 내시 균형을 찾는 방법을 제시한다. Lemke‑Howson 경로가 모든 균형을 포착하지 못함을 보이고, 파라메트릭 단순형 알고리즘을 설계해 계수 1 게임의 균형을 완전 열거한다.

상세 분석

본 연구는 ‘rank‑k 게임’이라는 개념을 활용한다. 두 플레이어의 보상 행렬 A와 B에 대해 A + B의 행렬 계수가 k 이하이면 해당 게임을 rank‑k 게임이라 정의한다. 특히 k = 1인 경우, A + B는 외적 형태 u vᵀ 로 표현될 수 있어 구조가 매우 단순해진다. 이러한 구조적 특성을 이용하면 일반적인 비선형 최적화 문제인 내시 균형 찾기를 선형·파라메트릭 형태로 변환할 수 있다.

논문은 먼저 기존에 널리 사용되는 Lemke‑Howson (LH) 알고리즘이 모든 내시 균형을 탐색한다는 가정을 검증한다. LH는 기본적인 ‘pivot’ 과정을 통해 하나의 균형을 찾지만, rank‑1 게임에서는 특정 파라메터 구간에서 균형이 연속적으로 변하면서 LH 경로가 그 구간을 건너뛰는 현상이 발생한다. 저자는 구체적인 예시를 들어, 두 개의 서로 다른 균형이 동일한 LH 경로에 의해 도달되지 않음을 증명한다. 이는 LH가 완전 열거 알고리즘이 아님을 의미한다.

이를 극복하기 위해 저자는 파라메트릭 단순형 알고리즘을 제안한다. 핵심 아이디어는 A + B = u vᵀ 라는 사실을 이용해, 게임의 균형 조건을 ‘u·x = λ’와 ‘v·y = λ’ 형태의 선형 방정식으로 재구성하고, λ를 파라메터로 삼아 선형 프로그램(LP)의 해 집합을 λ에 따라 연속적으로 추적하는 것이다. 알고리즘은 다음 단계로 진행한다.

1. 초기 λ값을 선택하고, 해당 λ에 대해 두 플레이어의 전략 집합을 구한다.
2. 현재 λ에서 최적 해가 바뀌는 ‘breakpoint’를 계산한다. 이는 u·x와 v·y가 동일한 값을 유지하면서도 기본 변수 집합이 변하는 지점을 의미한다.
3. breakpoint를 넘어가면 기본 변수 집합을 교체(pivot)하고, 새로운 λ 구간을 탐색한다.
4. 모든 breakpoint를 순회하면 λ가 가능한 전체 구간을 커버하게 되며, 각 구간마다 고유한 내시 균형이 존재한다는 것을 보인다.

이 과정은 전형적인 단순형 방법과 동일한 피벗 연산을 사용하지만, 파라메터 λ에 대한 연속적인 추적을 추가함으로써 균형을 놓치지 않는다. 또한 비퇴화 가정(즉, 모든 기본 해가 고유함)을 통해 각 breakpoint에서 해가 유일하게 결정되므로, 알고리즘은 중복 없이 모든 균형을 열거한다.

복잡도 측면에서, 알고리즘은 breakpoint의 개수에 비례하는 시간만큼 실행된다. rank‑1 게임에서는 breakpoint가 최대 O(m + n) (m, n은 각각 행과 열의 수) 로 제한될 수 있음을 보이며, 따라서 전체 열거는 다항 시간 안에 수행된다. 이는 일반적인 2‑플레이어 게임에서 균형 열거가 #P‑hard인 상황과 대조적이다.

마지막으로 저자는 실험을 통해 무작위로 생성한 rank‑1 게임에 대해 제안된 알고리즘과 기존 LH 기반 방법을 비교한다. 실험 결과, LH는 종종 균형을 놓치고, 제안된 파라메트릭 알고리즘은 모든 균형을 정확히 찾아내며, 실행 시간도 실용적인 수준임을 확인한다.

이러한 결과는 rank‑1 게임이 구조적으로 단순함에도 불구하고, 균형 탐색에 있어 기존 방법이 충분하지 않음을 보여준다. 파라메트릭 단순형 접근법은 구조적 특성을 활용해 완전하고 효율적인 열거를 가능하게 하며, 향후 더 높은 rank의 게임이나 다른 특수 구조를 가진 게임에 대한 확장 가능성을 제시한다.