[论文解读] 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）提出了一套完整的計算三元分類，分析五個關鍵參數——被標記的個人、偏好清單長度與允許的阻礙對數量——對可解性的影響。研究確立了所有參數組合均屬於三類之一：多項式時間可解、NP-hard 但具有固定參數可適性解法，或 NP-hard 且 W[1]-hard，從而解決了關於參數化不可解性的一個開放問題。

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 等人提出的關於解大小作為參數時的固定參數不可解性之開放問題。
• 利用五個自然參數——被標記的個人、偏好清單長度與阻礙對數量——對 SMC 的可解與不可解情況進行全面分類。
• 透過引入固定參數可適性作為可適性的放寬概念，拓展先前針對 HRLQ 的研究。
• 建立一個決策圖，完整確定五個研究參數所有組合下 SMC 的複雜度。

提出的方法

• 作者使用系統化的參數複雜度方法，分析 SMC 問題在五個自然參數 |M*|、|W*|、ΔM、ΔW 和 b（允許的阻礙對數量）下的性質。
• 他們採用基於歸約的框架，證明 NP-hard 與 W[1]-hard 性質，特別是在偏好清單長度有界且被標記個人數量較少的情況下。
• 論文提出一種創新演算法框架，結合動態規劃與分支策略，以多項式時間或固定參數時間解決可解情況。
• 建立一個決策圖（圖 10），將所有參數組合分類至三種複雜度類別之一：P、FPT 或 W[1]-hard。
• 作者運用對稱性與反射原理（例如定理 x R），在男女之間推廣結果，從而減少需分析的情境數量。
• 他們透過多項定理與引理驗證結果，包括關鍵演算法步驟正確性的證明與參數化歸約。

实验结果

研究问题

• RQ1 當以阻礙對數量與被標記個人數量為參數時，SMC 問題是否具有固定參數可適性？
• RQ2 當偏好清單長度有界且僅有一方性別具有被標記個人時，SMC 的計算複雜度為何？
• RQ3 當雙方性別之偏好清單長度均有界且被標記個人數量較少時，問題是否仍為 NP-hard 且 W[1]-hard？
• RQ4 能否對 SMC 覆蓋約束的所有參數組合實現 P、FPT 或 W[1]-hard 的完整分類？
• RQ5 即使在強限制下（如 ΔM ≤ 2 與 |W*| = 1），問題是否仍屬不可解？

主要发现

• 本文確立了完整的計算三元分類：五個參數的所有組合均屬於三類之一——多項式時間可解、NP-hard 但具有固定參數可適性解法，或 NP-hard 且 W[1]-hard。
• 當參數化為 b + |W*| 或 b + ΔM 時，問題被證明為 W[1]-hard，即使在 ΔW = 2 與 |M*| = 1 的限制設定下亦成立。
• 對於 ΔM ≤ 2 且 |W*| = 0 的情況，問題為多項式時間可解，如定理 8 所證。
• 當 ΔM = 3 且 |W*| = 1 時，問題仍為 NP-hard，即使 ΔW = 2，確立了一個最小的不可解案例。
• 作者透過證明當參數化為最佳解大小（即阻礙對數量）時，問題為 W[1]-hard，從而解決了 Hamada 等人提出的開放問題，排除了在此參數下具有固定參數可適性的可能性。
• 圖 10 中的決策圖完整且系統地分類了所有參數組合，確認除已識別的三類外，不存在其他複雜度類別。