带平局与不完全偏好的稳定婚姻问题：ASP、SAT、ILP、CP 与局部搜索方法的实证比较
人工智能
2021-08-18 v2
摘要
我们研究稳定婚姻问题的一个变体，其中每个男性和每个女性将其偏好表达为可能不完全且包含平局的偏好列表。该问题称为带平局与不完全偏好的稳定婚姻问题（SMTI）。我们考虑 SMTI 的三种优化变体：最大基数（Max Cardinality）、性别平等（Sex-Equal）和平均主义（Egalitarian），并实证比较以下求解方法：答案集编程（Answer Set Programming）、约束编程（Constraint Programming）、整数线性规划（Integer Linear Programming）。对于最大基数变体，我们还将这些方法与局部搜索方法进行比较。对于 SMTI 实例，我们还实证比较了答案集编程与命题可满足性（Propositional Satisfiability）。本文正在考虑被 Theory and Practice of Logic Programming (TPLP) 接受。
引用
@article{arxiv.2108.05165,
title = {Stable Marriage Problems with Ties and Incomplete Preferences: An Empirical Comparison of ASP, SAT, ILP, CP, and Local Search Methods},
author = {Selin Eyupoglu and Muge Fidan and Yavuz Gulesen and Ilayda Begum Izci and Berkan Teber and Baturay Yilmaz and Ahmet Alkan and Esra Erdem},
journal= {arXiv preprint arXiv:2108.05165},
year = {2021}
}
备注
This paper is under consideration for acceptance in Theory and Practice of Logic Programming (TPLP)