On the Complexity of Robust Stable Marriage - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

On the Complexity of Robust Stable Marriage

Résumé

Robust Stable Marriage (RSM) is a variant of the classical Stable Marriage problem, where the robustness of a given stable matching is measured by the number of modifications required for repairing it in case an unforeseen event occurs. We focus on the complexity of finding an (a, b)-supermatch. An (a, b)-supermatch is defined as a stable matching in which if any a (non-fixed) men/women break up it is possible to find another stable matching by changing the partners of those a men/women and also the partners of at most b others. In order to show deciding if there exists an (a, b)-supermatch is N P-complete, we first introduce a SAT formulation that is N P-complete by using Schae-fer's Dichotomy Theorem. Then, we show the equivalence between the SAT formulation and finding a (1, 1)-supermatch on a specific family of instances.
Fichier principal
Vignette du fichier
arxiv-copy-cocoa.pdf (208.93 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01689884 , version 1 (22-01-2018)

Identifiants

  • HAL Id : hal-01689884 , version 1

Citer

Begum Genc, Mohamed Siala, Gilles Simonin, Barry O ' Sullivan. On the Complexity of Robust Stable Marriage. COCOA 2017 11th Annual International Conference on Combinatorial Optimization and Applications , Dec 2017, Shanghai, China. ⟨hal-01689884⟩
288 Consultations
64 Téléchargements

Partager

Gmail Facebook X LinkedIn More