English

Marriage and Roommate

Computational Complexity 2023-05-23 v1 Data Structures and Algorithms

Abstract

This paper has two objectives. One is to give a linear time algorithm that solves the stable roommates problem (i.e., obtains one stable matching) using the stable marriage problem. The idea is that a stable matching of a roommate instance II is a stable matching (that however must satisfy a certain condition) of some marriage instance II'. II' is obtained just by making two copies of II, one for the men's table and the other for the women's table. The second objective is to investigate the possibility of reducing the roommate problem to the marriage problem (with a one-to-one correspondence between their stable matchings) in polynomial time. For a given II, we construct the rotation POSET PP of II' and then we ``halve'' it to obtain PP', by which we can forget the above condition and can use all the closed subsets of PP' for all the stable matchings of II. Unfortunately, this approach works (runs in polynomial time) only for restricted instances.

Keywords

Cite

@article{arxiv.2305.12841,
  title  = {Marriage and Roommate},
  author = {Kazuo Iwama and Shuichi Miyazaki},
  journal= {arXiv preprint arXiv:2305.12841},
  year   = {2023}
}

Comments

accepted to IJFCS

R2 v1 2026-06-28T10:41:07.361Z