An algorithm for a super-stable roommates problem

In this paper, we describe an efficient algorithm that decides if a stable matching exists for a generalized stable roommates problem, where, instead of linear preferences, agents have partial preference orders on potential partners. Furthermore, we may forbid certain partnerships, that is, we are looking for a matching such that none of the matched pairs is forbidden, and yet, no blocking pair (forbidden or not) exists. To solve the above problem, we generalize the first algorithm for the ordinary stable roommates problem

Efficient algorithms for generalized Stable Marriage and Roommates problems

We consider a generalization of the Stable Roommates problem (SR), in which preference lists may be partially ordered and forbidden pairs may be present, denoted by SRPF. This includes, as a special case, a corresponding generalization of the classical Stable Marriage problem (SM), denoted by SMPF. By extending previous work of Feder, we give a two-step reduction from SRPF to 2-SAT. This has many consequences, including fast algorithms for a range of problems associated with finding "optimal" stable matchings and listing all solutions, given variants of SR and SM. For example, given an SMPF instance I, we show that there exists an O(m) "succinct" certificate for the unsolvability of I, an O(m) algorithm for finding all the super-stable pairs in I, an O(m+kn) algorithm for listing all the super-stable matchings in I, an O(m<sup>1.5</sup>) algorithm for finding an egalitarian super-stable matching in I, and an O(m) algorithm for finding a minimum regret super-stable matching in I, where n is the number of men, m is the total length of the preference lists, and k is the number of super-stable matchings in I. Analogous results apply in the case of SRPF

Notes on the Bankruptcy Problem: an Application of Hydraulic Rationing

We offer a new approach to the well-known bankruptcy problem based on Kaminski's idea. With the help of hydraulic rationing we give a proof to Aumann and Maschlers theorem i.e. the consistent solution of a bankruptcy problem is the nucleolus of the corresponding game. We use a system of vessels and water and the principles of mechanics to show this fact. The proof is not just simple and demonstrative but also provides an insight how the nucleolus is constructed in such games.bankruptcy problem, nucleolus, hydraulic rationing

The Kidney Exchange Game

The most effective treatment for kidney failure that is currently known is transplantation. As the number of cadaveric donors is not sufficient and kidneys from living donors are often not suitable for immunological reasons, there are attempts to organize exchanges between patient-donor pairs. In this paper we model this situation as a cooperative game and propose some algorithms for finding a solution