경쟁 할당 문제: 두 명이 놓고 하는 드래프트 게임의 복잡도와 알고리즘

초록

두 플레이어가 번갈아 에이전트를 선택하고, 최종적으로 각자 선택한 에이전트 집합에 대해 최대 효율 매칭을 수행하는 ‘경쟁 할당 문제’를 정의한다. 이 게임의 최적 점수 판단 문제는 에이전트당 비효율이 두 개 이하일 때 PSPACE‑complete이며, 에이전트당 비효율이 하나뿐인 경우에는 작업 수를 매개변수로 하는 XP 알고리즘이 존재하고, 작업이 두 개일 때는 선형 시간으로 해결할 수 있다.

상세 분석

논문은 먼저 고전적인 할당 문제를 두 명이 경쟁적으로 수행하는 게임 형태로 확장한다. 각 에이전트는 t 차원의 효율 벡터를 가지고 있으며, Alice와 Bob이 번갈아 하나씩 선택한다. 모든 에이전트가 배분된 뒤 각각은 자신이 가진 에이전트 집합에 대해 최대 가중치 매칭(즉, 할당 문제)을 풀어 s_A와 s_B를 얻고, 점수는 s_A‑s_B가 된다. 이 정의는 스포츠 드래프트, 판타지 게임, 기업 간 자원 경쟁 등 현실 시나리오를 모델링한다는 점에서 의미가 크다.

복잡도 측면에서 저자는 두 가지 제한을 고려한다. 첫 번째는 각 에이전트가 최대 두 개의 비제로 효율을 가질 때이며, 이 경우 ‘DraftGame’ 결정 문제(점수가 주어진 s 이상인지 여부)는 PSPACE‑complete임을 증명한다. 증명은 일반적인 두 사람 게임의 PSPACE‑hardness 기법을 변형해, 에이전트의 효율 구조를 제한하면서도 게임 트리의 깊이가 선형임을 보인다.

두 번째는 각 에이전트가 오직 하나의 비제로 효율만을 갖는 경우이다. 여기서는 작업 수 t를 파라미터로 두고 XP(다항식 시간에 t에 대한 지수적 의존) 알고리즘을 제시한다. 핵심 아이디어는 ‘OTP(One‑Trick‑Pony)’ 에이전트를 작업별로 독립적인 매칭 문제로 분해하고, 동적 계획법을 통해 각 작업에 할당될 에이전트 수를 최적화하는 것이다. 특히 t=2일 때는 에이전트를 효율값 기준으로 정렬한 뒤, 앞쪽 절반을 Alice가, 뒤쪽 절반을 Bob이 차례로 가져가는 단순한 그리디 전략이 최적임을 보이며, 이를 O(n) 시간에 구현한다.

게임 이론적 관점에서는 이 게임이 Milnor의 ‘비이중성·비zugzwang’ 성질을 만족한다는 점을 증명한다. 즉, 어느 플레이어가 먼저 차례를 갖든 최적 점수는 비음수가 되며, 두 플레이어가 교대로 움직일 때 점수의 평균(mean)이 0임을 보인다. 또한, 게임을 Maker‑Breaker 하이퍼그래프 형태로 재구성해, 일반적인 Maker‑Breaker 게임이 PSPACE‑complete임을 이용해 복잡도 하한을 강화한다.

마지막으로, ‘지배(move domination)’ 레마를 도입해 효율 벡터가 다른 에이전트를 좌우할 수 있음을 보이며, 전략적 가지치기를 가능하게 한다. 이는 실제 알고리즘 구현 시 상태 공간을 크게 축소시켜, 특히 OTP 경우에 효율적인 탐색을 가능하게 한다. 전체적으로 논문은 경쟁적 자원 배분 게임의 이론적 토대를 마련하고, 제한된 구조에서 실용적인 알고리즘을 제공한다는 점에서 학술적·실용적 기여가 크다.