← 피드로
[Submitted on 11 Aug 2021 (v1), last revised 21 Sep 2026 (this version, v3)]
Abstract:We study a variation of the Stable Marriage problem, where every man and every woman express their preferences as preference lists which may be incomplete and contain ties. This problem is called the Stable Marriage problem with Ties and Incomplete preferences (SMTI). We consider three optimization variants of SMTI, Max Cardinality, Sex-Equal and Egalitarian, and empirically compare the following methods to solve them: Answer Set Programming, Constraint Programming, Integer Linear Programming. For Max Cardinality, we compare these methods with Local Search methods as well. We also empirically compare Answer Set Programming with Propositional Satisfiability, for SMTI instances.
Submission history
From: Esra Erdem [view email]
[v1]
Wed, 11 Aug 2021 11:39:51 UTC (116 KB)
[v2]
Tue, 17 Aug 2021 12:43:22 UTC (116 KB)
[v3]
Mon, 21 Sep 2026 20:07:03 UTC (97 KB)
추출 본문 · 출처: arxiv.org · https://arxiv.org/abs/2108.05165