[論文レビュー] A two-player version of the assignment problem

Florian Galliot, Nacim Oijid+1 more|arXiv (Cornell University)|Feb 2, 2026

Optimization and Search Problems被引用数 0

ひとこと要約

この論文は、2人のプレイヤーがエージェントをドラフトし、それぞれ自分のセット上で独立した割当問題を解く競合的（2人用）割当問題を導入する。PSPACE完結性を証明し、限定的なエージェント効率の可制約ケースに対する実行可能性を分析する。

ABSTRACT

We introduce the competitive assignment problem, a two-player version of the well-known assignment problem. Given a set of tasks and a set of agents with different efficiencies for different tasks, Alice and Bob take turns picking agents one by one. Once all agents have been picked, Alice and Bob compute the optimal values $s_A$ and $s_B$ for the assignment problem on their respective sets of agents, i.e. they assign their own agents to tasks (with at most one agent per task and at most one task per agent) so as to maximize the sum of the efficiencies. The score of the game is then defined as $s_A-s_B$. Alice aims at maximizing the score, while Bob aims at minimizing it. This problem can model drafts in sports and card games, or more generally situations where two entities fight for the same resources and then use them to compete against each other. We show that the problem is PSPACE-complete, even restricted to agents that have at most two nonzero efficiencies. On the other hand, in the case of agents having at most one nonzero efficiency, the problem lies in XP parameterized by the number of tasks, and the optimal score can be computed in linear time when there are only two tasks.

研究の動機と目的

• プレイヤーが交互にエージェントを選択して後続の独立割当問題のためのドラフトを行う2人プレイヤーのドラフトをモデル化する。
• ドラフト後に計算される2つの独立した最適割当値の差をスコアとして定義する。
• ドラフトゲームの構造的性質と戦略原理を特徴づける。
• 問題を既知のゲーム理論フレームワークに関連付け、実行可能な特別ケースを特定する。

提案手法

• エージェントを t-次元効率ベクトルで表現するドラフトゲームを形式的に定義する。
• スコアをドラフト後に計算される2つの独立した最適割当値の差として定義する。
• ミルナーの宇宙およびメーカー-ブレーカーフレームワークにおいてゲームを分類し、非zugzwang などの性質を導出する。
• 一般ケースでもエージェントあたり非零効率が最大で2つであってもPSPACE-completenessを証明する。
• 実行可能性のあるケースを同定する：OTP/TT P制限、エージェントあたり非零効率が最大1つの場合の複雑性を分析する。
• 制約次元下での最適な手に関する支配補題と簡約技法を提供する。

実験結果

リサーチクエスチョン

• RQ1 ドラフトゲームは、エージェントが最大2つの非零効率を持つ場合でもPSPACE完結か。
• RQ2 エージェントが最大1つの非零効率を持つ場合の計算複雑性は何か。
• RQ3 ドラフトゲームにおける最適プレイを支配する戦略原理（支配、平均値、非zugzwang）は何か。
• RQ4 小さなタスク数に対する識別可能な実行可能な特別ケースまたはパラメータ化された結果はあるか。
• RQ5 ドラフトゲームはMaker-BreakerおよびMilnorの宇宙フレームワークとどのようにゲーム特性の点で関連するか。

主な発見

• DraftGameは、各エージェントが最大2つの非零効率を持つ場合でもPSPACE完結である。
• エージェントが最大1つの非零効率を持つ場合、タスク数でパラメータ化するとXPに属し、タスクが2つの場合には線形時間解が存在する。
• ドラフトゲームはMilnorの宇宙に属し、非zugzwangおよびdicotic性を示す。
• いくつかの支配補題と簡約補題が、最適手と最適戦略の構造を示す。
• タスクが2つの場合、少なくとも1つのタスクに大きな影響を与える支配的な手が存在するが、3つのタスクには一般化できない。
• ゲームの平均値が開始位置で複数のコピーにわたり0となり、基礎がバランスしていることを示す。