Abstract
It is well-known that the structure of the set of stable marriages of a stable marriage instance can be represented as a finite distributive lattice and, conversely, every finite distributive lattice is a set of stable marriages for some stable marriage instance. Recently, Irving [12] and Gusfield [9] propose some representations of the set of all stable assignments for a given solvable instance of the stable roommates problem. In this paper, we will give a unifying approach to the structures of the stable marriage problem and the stable roommates problem. To achieve this purpose, we first study the duality in the structure of a stable marriage instance, then transform every stable roommates instance into a corresponding stable marriage instance and obtain the structure of the stable roommates instance directly from that of the corresponding stable marriage instance. The main results of this paper are: (1) There is a one-one correspondence between the set of stable marriages for a stable marriage instance and the set of feasible words of some Faigle geometry; (2) There is a one-one correspondence between the set of stable assignments for a stable roommates instance and the set of basic words of some Faigle geometry.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.