An approach to robustness in stable marriage and stable roommates problems

This dissertation focuses on a novel concept of robustness within the context of matching problems. Our robustness notion for the stable matching framework is motivated by the unforeseen events that may occur after a matching is computed. We define the notion of (a,b)-supermatches as a measure of robustness of a matching. An (a,b)-supermatch characterizes a stable matching such that if any combination of 'a' pairs want to leave the matching, there exists an alternative matching in which those 'a' pairs are assigned new partners, and in order to obtain the new assignment at most 'b' other pairs are broken. We first formally define the notion of (a,b)-supermatches by using one of the most famous matching problems, namely the Stable Marriage problem (SM), as the platform. We name the problem of finding an (a,b)-supermatch to the SM as the Robust Stable Marriage problem (RSM). Subsequently, we prove that RSM is NP-hard, and the decision problem for the case where a=1 (i.e. deciding if there exists a (1,b)-supermatch) is NP-complete. We also develop a constraint programming model and a number of meta-heuristic approaches to find a (1,b)-supermatch that minimizes the value of 'b' for the RSM. Following the results on the RSM, we extend the notion of (a,b)-supermatches to the Stable Roommates problem (SR), namely, the Robust Stable Roommates problem (RSR). We show that the NP-hardness is also valid for the RSR, and we also define a polynomial-time procedure for the RSR to decide if a given stable matching is a (1,b)-supermatch. Similarly, we provide a number of meta-heuristic models to solve the optimization problem for finding a (1,b)-supermatch that minimizes the value of 'b'. We conclude this dissertation by providing some empirical results on the robustness of different datasets of RSM and RSR instances.

Grantor dc:publisher

University College Cork

Year dc:date.issued

2019

Author dc:creator

• Genc, Begum

Advisors dc:contributor.advisor

• O'Sullivan, Barry
• Siala, Mohamed

• Robustness
• (a,b)-supermatch
• Optimization
• Stable marriage
• Stable roommates

Statement dc:rights

• © 2019, Begum Genc.

Licence dc:rights.uri

• http://creativecommons.org/licenses/by-nc-nd/3.0/

Language dc:language.iso

en

Handle dc:identifier.uri

https://hdl.handle.net/10468/8361

OAI identifier oai:identifier

oai:cora.ucc.ie:10468/8361