[論文レビュー] A Minimax Perspective on Almost-Stable Matchings

Frederik Glitzner, David F. Manlove|arXiv (Cornell University)|Jan 20, 2026

Game Theory and Voting Systems被引用数 0

ひとこと要約

この論文はマッチング問題におけるミニマックス・オールマスト安定性を導入し、強い難易度結果を証明するとともに、制限された事例に対して正のアルゴリズムを提供し、分散的な不安定性が存在する可能性を実証的に示す。

ABSTRACT

Stability is crucial in matching markets, yet in many real-world settings - from hospital residency allocations to roommate assignments - full stability is either impossible to achieve or can come at the cost of leaving many agents unmatched. When stability cannot be achieved, algorithmicists and market designers face a critical question: how should instability be measured and distributed among participants? Existing approaches to "almost-stable" matchings focus on aggregate measures, minimising either the total number of blocking pairs or the count of agents involved in blocking pairs. However, such aggregate objectives can result in concentrated instability on a few individual agents, raising concerns about fairness and incentives to deviate. We introduce a fairness-oriented approach to approximate stability based on the minimax principle: we seek matchings that minimise the maximum number of blocking pairs any agent is in. Equivalently, we minimise the maximum number of agents that anyone has justified envy towards. This distributional objective protects the worst-off agents from a disproportionate amount of instability. We characterise the computational complexity of this notion across fundamental matching settings. Surprisingly, even very modest guarantees prove computationally intractable: we show that it is NP-complete to decide whether a matching exists in which no agent is in more than one blocking pair, even when preference lists have constant-bounded length. This hardness applies to both Stable Roommates and maximum-cardinality Stable Marriage. On the positive side, we provide polynomial-time algorithms when agents rank at most two others, and present approximation algorithms and integer programs. Our results map the algorithmic landscape and reveal fundamental trade-offs between distributional guarantees and computational feasibility.

研究の動機と目的

• 完全な安定性が達成不能であり、不安定性を公正に分配する必要があるマッチング市場の安定性研究を動機づける。
• エージェントが経験する最大のブロッキング対の数を最小化する、公平性指向のミニマックス目的を導入する。
• 安定結婚と安定同室者設定におけるミニマックス・オールマスト安定性の計算複雑さを特徴づける。
• 制限された嗜好長さに対する正のアルゴリズム結果を提供し、一般ケースに対して近似法と整数計画を開発する。
• ミニマックス・オールマスト安定マッチングの存在と品質を経験的に評価する。

提案手法

• ブロッキング対の中で最悪ケースの数に焦点を当てた新しい最適化問題として Minimax-AlmostStable-sri と Minimax-AlmostStable-Max-smi を定義する。
• sri および smi 設定において、制限されたリスト長でも意思決定バリアントがNP-完了になることを証明する。
• 長さが最大2の嗜好リストを持つ事例について多項式時間アルゴリズムを示し、一般ケースには近似アルゴリズムと整数計画の定式化を提供する。
• ミニマックス・オールマスト安定性を既存の総体的不安定性概念やブロッキング・エージェント数と対比させて構造的差異を確立する。
• 問題サイズに応じてミニマックス値がどのようにスケールするかを示す理論的下界を構築し、特定の構成での厳密性の証明を提供する。

Figure 1 . Schematic illustration of the sri lower-bound construction for 27 agents (i.e,. $k=3$ ). Agents are partitioned into 3 nested sets containing $3^{j}$ (for $1\leq i\leq k$ ) agents each. Arrows indicate preference cycles within and between the nested levels.

実験結果

リサーチクエスチョン

• RQ1 sri および smi 設定におけるミニマックス・オールマスト安定マッチングを見つける計算複雑性は何か。
• RQ2 制限された嗜好長さに対してミニマックス・オールマスト安定マッチングを多項式時間で計算できるか。
• RQ3 ミニマックス・オールマスト安定マッチングは総体的安定性指標やブロッキング・エージェント数と比べて公正さと実現可能性の観点でどう異なるか。
• RQ4 一般設定を解くための近似可能性・厳密最適化アプローチにはどのようなものがあるか。
• RQ5 実証分析は実務的に分散的な不安定性を持つマッチングが存在することを示唆しているか。

主な発見

• sri および smi において、エージェントごとに1つ以下のブロッキング対を持つマッチングの存在を判定することはNP-完了である（リスト長が一定に制限されていても）。
• Minimax-AlmostStable-Max-smi は最悪ケースの最適値 OPT = Θ(n) を持ち、エージェント数とともに線形に増加することを示す。
• 嗜好リストの長さが最大2の事例については多項式時間アルゴリズムが存在する。
• 一般設定に対して近似アルゴリズムと正確な整数計画モデルを提供する。
• 実験は分布が良好な不安定性を持つほぼ安定マッチングと最大カルディナリティのマッチングが存在する可能性を示唆する。

Figure 2 . Illustration of the lower-bound construction for maximum-cardinality matchings in smi .