[論文レビュー] Stable Marriage with Covering Constraints: A Complete Computational Trichotomy

Matthias Mnich, Ildikó Schlotter|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|Feb 26, 2016

Game Theory and Voting Systems参考文献 40被引用数 4

ひとこと要約

本稿は、安定結婚問題に被覆制約を追加したSMC問題の完全な計算的三分割を提示する。5つの主要なパラメータ—特権的個人、希望順序リストの長さ、ブロッキングペairの上限—が可解性に与える影響を分析している。すべてのパラメータ組み合わせが、多項式時間で解ける、固定パラメータ可解な解法を有するNP困難、あるいはNP困難かつW[1]-困難の3つのカテゴリーのいずれかに属することを確立し、固定パラメータ可解性に関する未解決の問題を解決した。

ABSTRACT

We consider Stable Marriage with Covering Constraints (SMC): in this variant of Stable Marriage, we distinguish a subset of women as well as a subset of men, and we seek a matching with fewest number of blocking pairs that matches all of the distinguished people. We investigate how a set of natural parameters, namely the maximum length of preference lists for men and women, the number of distinguished men and women, and the number of blocking pairs allowed determine the computational tractability of this problem. Our main result is a complete complexity trichotomy that, for each choice of the studied parameters, classifies SMC as polynomial-time solvable, NP-hard and fixed-parameter tractable, or NP-hard and W[1]-hard. We also classify all cases of one-sided constraints where only women may be distinguished.

研究の動機と目的

• 被覆制約を伴う安定結婚問題の計算的複雑性を、さまざまなパラメータの組み合わせに対して体系的に分析すること。
• Hamadaらが提起した、解のサイズをパラメータとした固定パラメータ可解性に関する未解決問題を解明すること。
• 特権的個人、希望順序リストの長さ、ブロッキングペアの上限という5つの自然なパラメータを用いて、SMCの解けるケースと解けないケースを包括的に分類すること。
• HRLQに関する先行研究を拡張し、固定パラメータ可解性をより緩い意味での可解性の概念として導入すること。
• 5つの研究対象パラメータのすべての組み合わせについて、SMCの複雑性を完全に決定する意思決定図を確立すること。

提案手法

• 著者らは、5つの自然なパラメータ—|M*|, |W*|, ΔM, ΔW, およびb（許容されるブロッキングペア数）—を用いて、SMC問題を体系的な固定パラメータ複雑性の枠組みで分析している。
• 特に、希望順序リストの長さが有界で、特権的個人の数が少ないケースに対して、NP困難性およびW[1]-困難性を示すために、還元に基づくフレームワークを採用している。
• 解けるケースを多項式時間または固定パラメータ時間で解くために、動的計画法と分岐法を組み合わせた新規なアルゴリズム的フレームワークを導入している。
• 意思決定図（図10）を構築し、すべてのパラメータの組み合わせを3つの複雑性クラス（P、FPT、W[1]-困難）のいずれかに分類している。
• 対称性と反射原理（例：定理x R）を用いて、男性と女性の間で結果を一般化し、分析すべきケースの数を削減している。
• 複数の定理と補題を用いて結果を検証しており、特に重要なアルゴリズム的ステップの正当性と、固定パラメータ還元の証明を含んでいる。

実験結果

リサーチクエスチョン

• RQ1 ブロッキングペア数と特権的個人数をパラメータとした場合、SMC問題は固定パラメータ可解であるか？
• RQ2 希望順序リストの長さが有界で、一方の性別にのみ特権的個人が存在する場合、SMCの計算的複雑性はいかなるものか？
• RQ3 両方の性別が希望順序リストの長さに上限があり、特権的個人の数が少ない場合、問題は依然としてNP困難かつW[1]-困難であるか？
• RQ4 SMCに被覆制約を加えた場合、すべてのパラメータの組み合わせをP、FPT、またはW[1]-困難に完全に分類できるか？
• RQ5 ΔM ≤ 2 かつ |W*| = 1 という強い制約下でも、問題は依然として不適解であるか？

主な発見

• 本稿は完全な計算的三分割を確立した：5つのパラメータのすべての組み合わせが、多項式時間で解ける、NP困難かつ固定パラメータ可解な解法を有する、あるいはNP困難かつW[1]-困難の3つのクラスのいずれかに属する。
• b + |W*| または b + ΔM をパラメータとした場合でさえ、ΔW = 2 かつ |M*| = 1 という制限付き設定下でも、問題はW[1]-困難であることが示された。
• ΔM ≤ 2 かつ |W*| = 0 の場合、定理8で示されるように、問題は多項式時間で解ける。
• ΔM = 3 かつ |W*| = 1 の場合でさえ、ΔW = 2 であっても、問題はNP困難であることが示され、最小の不適解のケースが特定された。
• 著者らはHamadaらが提起した未解決問題を解決し、最適解のサイズ（すなわちブロッキングペア数）をパラメータとした場合、問題がW[1]-困難であることを証明することで、このパラメータ下での固定パラメータ可解性が否定された。
• 図10の意思決定図により、5つの研究パラメータのすべての組み合わせについて、完全かつ体系的な分類がなされ、他に存在する複雑性クラスは3つに限られることを確認した。