Marriage and Roommate
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 is a stable matching (that however must satisfy a certain condition) of some marriage instance . is obtained just by making two copies of , 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 , we construct the rotation POSET of and then we ``halve'' it to obtain , by which we can forget the above condition and can use all the closed subsets of for all the stable matchings of . Unfortunately, this approach works (runs in polynomial time) only for restricted instances.
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