Modeling Stable Matching Problems with Answer Set Programming

  • Sofie De Clercq
  • Steven Schockaert
  • Martine De Cock
  • Ann Nowé
Conference paper

DOI: 10.1007/978-3-642-39617-5_10

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8035)
Cite this paper as:
De Clercq S., Schockaert S., De Cock M., Nowé A. (2013) Modeling Stable Matching Problems with Answer Set Programming. In: Morgenstern L., Stefaneas P., Lévy F., Wyner A., Paschke A. (eds) Theory, Practice, and Applications of Rules on the Web. RuleML 2013. Lecture Notes in Computer Science, vol 8035. Springer, Berlin, Heidelberg

Abstract

The Stable Marriage Problem (SMP) is a well-known matching problem first introduced and solved by Gale and Shapley [7]. Several variants and extensions to this problem have since been investigated to cover a wider set of applications. Each time a new variant is considered, however, a new algorithm needs to be developed and implemented. As an alternative, in this paper we propose an encoding of the SMP using Answer Set Programming (ASP). Our encoding can easily be extended and adapted to the needs of specific applications. As an illustration we show how stable matchings can be found when individuals may designate unacceptable partners and ties between preferences are allowed. Subsequently, we show how our ASP based encoding naturally allows us to select specific stable matchings which are optimal according to a given criterion. Each time, we can rely on generic and efficient off-the-shelf answer set solvers to find (optimal) stable matchings.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Sofie De Clercq
    • 1
  • Steven Schockaert
    • 2
  • Martine De Cock
    • 1
  • Ann Nowé
    • 3
  1. 1.Dept. of Applied Math., CS & StatsGhent UniversityGhentBelgium
  2. 2.School of Computer Science & InformaticsCardiff UniversityCardiffUK
  3. 3.Computational Modeling LabVrije Universiteit BrusselBrusselsBelgium

Personalised recommendations