제한된 무작위성으로 반복 매칭 페니 게임의 균형 분석

초록

이 논문은 n단계 매칭 페니 게임에서 플레이어가 사용할 수 있는 무작위 비트 수를 제한했을 때 존재할 수 있는 (근사) 내시 균형을 완전히 규명한다. 정확히 말하면, ε‑내시 균형을 위해 양쪽 플레이어는 각각 (1‑ε)·n개의 랜덤 코인을 가져야 하며, 다항시간 제한 하에서는 일방향 함수 존재 여부가 균형 존재와 동치임을 보인다. 또한 무작위성·시간을 서로 교환하는 트레이드오프와 무한 반복 게임에서의 할인 효용 확장도 제시한다.

상세 분석

논문은 먼저 전통적인 매칭 페니 게임을 n번 반복하는 설정을 정의하고, 각 라운드에서 양 플레이어가 동전 한 개를 던져 H 또는 T를 선택하도록 한다. 이 게임의 고유 내시 균형은 매 라운드마다 두 전략을 ½ 확률로 무작위 선택하는 것이며, 이를 구현하려면 n개의 독립적인 랜덤 비트가 필요하다. 저자들은 “무작위 비트가 부족한 경우에도 근사 균형이 가능한가?”라는 질문을 제기하고, 이를 두 단계로 분석한다.

첫 번째 단계는 정보이론적 한계를 다룬다. Lemma 3.1에서 P2가 n·(1‑γ)개의 랜덤 비트만 가질 경우, P1이 지수 시간(또는 전역 탐색) 전략을 사용하면 평균 지급을 최소 γ만큼 확보할 수 있음을 보인다. 핵심 아이디어는 P2의 가능한 전략 공간을 단계별로 축소하면서, 현재 남아 있는 전략들의 다수결에 따라 P1이 행동하는 것이다. 이 과정에서 정의한 잠재 함수 φ(t)=∑_{k≤t}h(a_k,b_k)−log|S_t|는 매 라운드마다 최소 1씩 증가한다. 초기값은 −n·(1‑γ)이고, n 라운드 후 φ(n)≥n·γ가 되므로 P1의 기대 지급은 γ 이상이다. 따라서 양쪽 모두 (1‑γ)·n 비트 이하를 가질 경우 γ‑내시 균형조차 존재하지 않는다. Corollary 3.2는 이를 양쪽 플레이어에 동시에 적용해, γ₁+γ₂>0이면 내시 균형이 불가능함을 증명한다.

두 번째 단계에서는 계산 복잡도 제한을 도입한다. 여기서는 플레이어의 전략이 다항시간 알고리즘으로 구현된다고 가정한다. 저자는 일방향 함수(OWF)의 존재와 ε‑내시 균형의 존재를 동치로 만든다. 구체적으로, OWF가 존재하면 짧은 시드(l(n)=n^δ)로부터 복잡도‑PRNG를 구축할 수 있고, 이를 이용해 각 플레이어가 O(n^δ)개의 진짜 랜덤 비트를 사용해 다항시간 내에 거의 균등한 무작위성을 생성한다. 이렇게 생성된 의사난수는 다항 크기 회로에 의해 구별될 수 없으므로, 상대방이 최적 반응을 계산하더라도 기대 지급을 ε 이하로 억제할 수 있다. 반대로 OWF가 존재하지 않으면 어떠한 다항시간 알고리즘도 충분히 좋은 의사난수를 만들 수 없으며, 따라서 ε‑내시 균형을 달성할 수 없다는 부정적 결과가 나온다.

또한 논문은 무작위성·시간 트레이드오프를 탐구한다. 한 플레이어에게 O(log n)개의 랜덤 코인만 주고, 그가 임의의 다항시간(즉, 비제한 시간) 알고리즘을 사용할 수 있게 하면, 상대방을 n^k 시간 제한으로 묶어 두면 ε‑내시 균형을 유지할 수 있다. 여기서 핵심은 제한된 랜덤 시드를 사용해 복잡도‑PRNG를 실행하고, 상대방이 충분히 짧은 시간 안에 시드 복원을 시도해도 성공 확률이 낮다는 점이다.

마지막으로 무한 반복 게임으로 확장한다. 할인 인자 δ를 도입해 각 라운드의 효용을 δ^t 형태로 가중하면, 충분히 큰 n에 대해 n개의 랜덤 코인만으로도 ε‑내시 균형을 달성할 수 있다. 특히 전략을 다항 크기 회로로 제한하면, 복잡도‑PRNG의 시드 길이를 n^ε(ε>0)로 줄일 수 있어, 무한히 진행되는 게임에서도 무작위성 요구량을 크게 감소시킬 수 있다. 전체적으로 논문은 무작위성, 계산 복잡도, 그리고 시간 제한이라는 세 축을 통합해 반복 제로합 게임에서 균형 존재 조건을 정밀하게 규명한다.