通过离婚操作达到稳定婚姻是困难的
计算机科学与博弈论
2021-02-23 v5
摘要
我们研究了通过离婚操作达到稳定婚姻（DivorceSM）问题：给定一个稳定婚姻实例和一个初始匹配 ，判定是否存在可通过 Knuth [12] 引入的离婚操作从 到达的稳定匹配。为回答 Manlove [13] 与 Cechlárová 等人 [3] 的一个开放问题，我们证明了对于无平局的不完全偏好，DivorceSM 是 NP-hard 的。我们的困难性归约还意味着该问题在允许的离婚操作数 作为参数时仍是参数化难解的。即使偏好最大长度 为常数，它依然是 NP-hard 的。对于组合参数（, ），该问题是固定参数可处理的。
引用
@article{arxiv.1906.12274,
title = {Reaching Stable Marriage via Divorces is Hard},
author = {Jiehua Chen},
journal= {arXiv preprint arXiv:1906.12274},
year = {2021}
}