[論文レビュー] Non-uniformly Stable Common Independent Sets

Kamiyama, Naoyuki|arXiv (Cornell University)|Jan 16, 2026

Game Theory and Voting Systems被引用数 0

ひとこと要約

彼らは安定マッチング問題を超兎束性を持つマトロイド制約とタイを一般化し、2つのマトロイドの非一様に安定な共通独立集合の存在を決定する多項式時間アルゴリズムを提供する。

ABSTRACT

In this paper, we consider a matroid generalization of the stable matching problem. In particular, we consider the setting where preferences may contain ties. For this generalization, we propose a polynomial-time algorithm for the problem of checking the existence of a common independent set satisfying non-uniform stability, which is a common generalization of super-stability and strong stability.

研究の動機と目的

• タイとマトロイド制約を持つ安定マッチングの一般化を動機付け、形式化する。
• 非一様安定性を、スーパー安定性と強安定性の共通一般化として定義する。
• 非一様に安定な共通独立集合の存在を決定する多項式時間手続を開発する。
• このアプローチがマトロイドに基づく安定マッチングに関する既存の結果を一般化することを示す。

提案手法

• トレースティブで完全な好み関係（タイ付き）の下で2つのマトロイドの共通独立集合を見つける問題としてモデル化する。
• マトロイドに一般化された安定性概念（弱/強）を導入し、非一様安定性を含める。
• マトロイドを構築するサブルーチンを開発する（例：\{D\\）
• D\\]

実験結果

リサーチクエスチョン

• RQ1 与えられたマトロイドと好みに対して、非一様に安定な共通独立集合が必ず存在するかを保証できるか？
• RQ2 マトロイド制約下でそのような集合の存在の決定問題の計算量はどれくらいか？
• RQ3 収縮、削除、直和といったマトロイド操作をどのように活用して多項式時間アルゴリズムを設計できるか？
• RQ4 結果は安定マッチングのマトロイド一般化（スーパー安定、強安定、タイを含む）を包括・拡張するか？

主な発見

• 本論文は、2つのマトロイドの非一様に安定な共通独立集合の存在を決定する多項式時間アルゴリズムを提示する。
• このアプローチは、タイ付きのスーパー安定および強安定マッチングを含む、マトロイドに基づく安定マッチングに関する既存の結果を一般化する。
• アルゴリズムは補助マトロイドを構築し、ベース/疑似ベースの構成を用い、回路と閉包特性を活用して実現可能な交換を進める。
• 反復的な洗練過程を支える多くの補題（回路、閉包、安定性ブロック挙動など）。
• 直和とブロックグラフの枠組みを用いて、2つのマトロイドと好み関係の相互作用を扱う。