von Neumann 감소의 일반화와 선형계획의 게임이론적 해석

초록

본 논문은 von Neumann이 제시한 할당 문제와 영-합 게임 사이의 특수한 감소를 두 가지 방향으로 확장한다. 제약 행렬은 그대로 사용하되, 목표계수벡터와 제약우변벡터에 음수 항을 허용한다. 새로운 감소는 행·열 플레이어가 각각 원시와 쌍대 LP의 최적해를 전략으로 채택하도록 하며, 게임의 가치가 원래 LP의 최적값의 역수와 정확히 일치한다. 이를 통해 생산계획, 식단 문제, 운송‑매칭 등 다양한 경제 모델을 게임 이론적으로 해석한다.

상세 분석

논문은 먼저 기존의 von Neumann(1953) 감소가 “모든 계수가 양수이고, 제약 행렬이 0/1인 특수한 할당 문제”에만 적용된다는 점을 지적한다. 저자들은 이 한계를 두 축으로 넓힌다. 첫 번째 축은 목표계수벡터 c와 제약우변벡터 b를 양수로 유지하면서, 제약 행렬 A를 임의의 실수 행렬로 허용한다. 두 번째 축은 A를 비음수(≥0) 행렬로 제한하되, b와 c에 음수 항을 포함시킨다. 이러한 일반화는 선형계획(LP)의 표준 형태
max cᵀx s.t. Ax ≤ b, x ≥ 0
min bᵀy s.t. Aᵀy ≥ c, y ≥ 0
에 그대로 적용된다.

핵심 기술은 게임 행렬 M을 A의 스케일링 버전으로 정의하는 것이다. 구체적으로, 각 행 i와 열 j에 대해 M_{ij}=A_{ij}/b_i 또는 M_{ij}=A_{ij}/c_j 와 같은 형태를 취한다(섹션 3.1, 4.1 참조). 이렇게 하면 행 플레이어가 선택하는 혼합 전략 p는 원시 LP의 최적 해 x와 일치하고, 열 플레이어의 전략 q는 쌍대 LP의 최적 해 y와 일치한다. 강한 이중성에 의해 cᵀx* = bᵀy이며, 게임 가치 v 는 v = 1/(cᵀx) = 1/(bᵀy*)가 된다. 따라서 게임을 풀면 LP의 최적값을 바로 얻을 수 있다.

또한, 저자들은 LP가 무한대이거나 비실현 가능(infeasible)인 경우에도 게임이 정의될 수 있음을 보여준다. 무한대인 경우에는 게임 가치가 0에 수렴하고, 비실현 가능인 경우에는 게임이 음의 무한대 값을 갖는다. 이를 “불가능성·무한성 인증”이라는 새로운 게임‑이론적 해석으로 제시한다.

경제적 응용 측면에서, 첫 번째 확장은 전통적인 생산계획 문제(예: 식단 문제, 농업 계획)와 직접 연결된다. 여기서는 b와 c가 모두 양수이므로 자원 제한과 비용/수익 구조를 자연스럽게 모델링한다. 두 번째 확장은 운송‑매칭, b‑매칭 등에서 나타나는 비음수 행렬 A와 음수 비용을 포함한 상황을 포괄한다. 이러한 응용 사례는 기존의 할당‑게임 모델이 다루지 못했던 복합적인 비용·제약 구조를 게임 이론적으로 해석할 수 있게 한다.

마지막으로, 논문은 기존의 Dantzig(1951) 및 Adler(2013) 방식이 “전형적인 대칭 게임”을 사용해 원시·쌍대 LP를 동시에 묘사하지만, 전략 형태가 복합적이라 직관적인 해석이 어려웠던 점을 지적한다. 저자들의 새로운 감소는 행·열 플레이어의 역할을 명확히 구분하고, 각각이 독립적인 LP 최적화 문제를 해결하도록 함으로써 해석적 투명성을 크게 향상시킨다.