단순형 매트릭스 게임의 오라클 복잡도

초록

이 논문은 행렬 게임 minₚ∈Δ max_{w∈W} pᵀAw 를 풀기 위한 두 종류의 오라클 모델(한쪽·양쪽 행렬‑벡터 곱)을 정의하고, 각각에 대해 하한을 증명한다. 한쪽 오라클에서는 기존 퍼셉트론·비유클리드 변형이 최적임을 보여주며, 양쪽 오라클에서는 ℓ_p 볼을 목표 영역으로 할 때 ε‑하위 최적 해를 얻기 위해 최소 ˜Ω(ε^{-2/3}) 번의 쿼리가 필요함을 보인다. 이 하한은 최근 Karmarkar·O’Carroll·Sidford(2026)의 상한과 로그 항을 제외하고 일치해, 선형 분리와 제로섬 내시 균형 문제의 오라클 복잡도가 거의 정확히 규명되었음을 의미한다.

상세 분석

본 연구는 행렬 게임 min_{p∈Δ} max_{w∈W} pᵀAw 의 알고리즘적 한계를 “오라클 복잡도”라는 형식적 틀 안에서 탐구한다. 먼저 저자들은 기존 문헌에서 암묵적으로 사용된 두 가지 오라클 모델을 명확히 구분한다. 한쪽 오라클(O_A^1) 은 입력 벡터 w 에 대해 Aw 와 특정 행 A_l 을 반환한다. 이는 퍼셉트론 알고리즘이 수행하는 “벡터‑곱 + 행 추출” 연산과 동일하다. 양쪽 오라클(O_A^2) 은 (p, w) 쌍을 받아 Aw 와 pᵀA 를 동시에 제공한다. 이는 가속화된 프라임스톤·스무딩 기법이 필요로 하는 양방향 곱을 모델링한다.

다음으로 저자들은 각각의 오라클에 대해 하한을 구축한다. 한쪽 오라클에 대해서는 Nemirovski‑Yudin(1983)의 고전적인 정보‑이론적 하한을 변형해, γ_A 라는 마진 파라미터가 주어졌을 때 최소 Ω(γ_A^{-2}) 번의 쿼리가 필요함을 보인다. 이는 퍼셉트론이 O(γ_A^{-2}) 번의 행·벡터 곱으로 선형 분리를 찾는 복잡도와 정확히 일치한다. 또한 ℓ_p 볼(p∈