행렬 게임의 인내심: 최적 전략의 최소 확률 연구

초록

본 논문은 n×n 승·패·무승부(−1,0,1) 행렬 게임에서 최적 전략이 필요로 하는 가장 작은 비영 확률, 즉 ‘인내심(patience)’을 조사한다. 일반적인 경우 모든 최적 전략은 비영 확률이 n^{−O(n)} 이하로는 떨어지지 않으며, 저자들은 n^{−Ω(n)} 크기의 비영 확률을 실제로 필요로 하는 구체적인 승·패 게임을 명시적으로 구성한다. 이를 위해 역행렬이 전부 비음이며 일부 원소가 n^{Ω(n)}인 (−1,1) 비특이 행렬을 설계한다.

상세 분석

행렬 게임은 두 플레이어가 각각 행과 열을 선택하고, 그 교차점에 적힌 보상이 한쪽의 이익이 되는 제로섬 게임으로 모델링된다. 특히 승·패·무승부 게임은 보상 행렬이 −1, 0, 1 값만을 갖는 특수한 경우이며, 이러한 게임에서 최적 혼합 전략은 선형계획법(LP)의 기본 해에 해당한다. ‘인내심(patience)’은 전략에서 가장 작은 비영 확률의 역수, 즉 1/min p_i 로 정의되며, 이는 전략이 얼마나 미세한 확률을 사용해야 하는지를 측정한다.

저자들은 먼저 모든 n×n 승·패·무승부 게임에 대해 최적 전략이 필요로 하는 최소 비영 확률이 n^{−O(n)} 이하로는 내려가지 않는다는 상한을 증명한다. 이 증명은 LP의 듀얼 구조와 기본 해의 희소성, 그리고 행렬의 행/열 수와 기본 변수의 개수 사이의 관계를 이용한다. 구체적으로, 기본 해는 최대 n개의 비영 변수만을 가질 수 있고, 각 비영 변수는 기본 변수들의 역행렬 원소에 비례한다. 행렬 원소가 −1,0,1에 제한되므로 역행렬 원소는 지수적으로 커질 수 없으며, 따라서 비영 확률은 n^{−O(n)} 수준으로 제한된다.

다음으로 저자들은 이 상한이 실제로 거의 맞는지를 검증하기 위해 하한을 제시한다. 핵심은 ‘전부 비음인 역행렬(non‑negative inverse)’을 갖는 (−1,1) 행렬 A를 구성하는 것이다. A가 비특이이고 A^{−1}≥0이면, 행렬 게임의 행 플레이어가 사용하는 최적 전략은 A^{−1}의 행합을 정규화한 형태가 된다. 만약 A^{−1}의 어떤 원소가 n^{Ω(n)}이라면, 해당 전략에서 가장 작은 비영 확률은 n^{−Ω(n)}가 된다. 저자들은 조합론적 설계와 행렬 곱셈의 반복 구조를 활용해, 차원 n에 대해 A^{−1}의 일부 원소가 정확히 n^{c n} (c>0) 정도로 성장하도록 하는 명시적 알고리즘을 제시한다. 이 구성은 기존에 알려진 Hadamard‑type 행렬이나 토러스 그래프의 인접 행렬을 변형한 것으로, 역행렬이 전부 비음이면서도 급격히 커지는 원소를 포함한다는 점에서 독창적이다.

결과적으로, 논문은 “인내심”이라는 개념을 통해 행렬 게임의 복잡성을 새로운 관점에서 정량화한다. 상한과 하한이 모두 지수적 형태를 갖기 때문에, 최적 전략이 필요로 하는 최소 확률은 일반적으로 n^{−Θ(n)} 수준이며, 이는 기존에 알려진 다항식적 경계와는 크게 다른 특성을 보여준다. 또한, 비음인 역행렬을 갖는 (−1,1) 행렬의 존재는 선형대수와 게임 이론 사이의 흥미로운 연결 고리를 제공한다.