Strategyproof Matching of Roommates and Rooms

Hadi Hosseini,Shivika Narang,Sanjukta Roy

2024-12-18

Abstract:We initiate the study of matching roommates and rooms wherein the preferences of agents over other agents and rooms are complementary and represented by Leontief utilities. In this setting, 2n agents must be paired up and assigned to n rooms. Each agent has cardinal valuations over the rooms as well as compatibility values over all other agents. Under Leontief preferences, an agents utility for a matching is the minimum of the two values. We focus on the tradeoff between maximizing utilitarian social welfare and strategyproofness. Our main result shows that, in a stark contrast to the additive case, under binary Leontief utilities, there exist strategyproof mechanisms that maximize the social welfare. We further devise a strategyproof mechanism that implements such a welfare maximizing algorithm and is parameterized by the number of agents. Along the way, we highlight several possibility and impossibility results, and give upper bounds and lower bounds for welfare with or without strategyproofness.

Computer Science and Game Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to maximize social welfare and achieve strategy - proofness in the roommate - matching problem when considering the complementary relationships between agents' preferences for other agents and rooms. Specifically:

1. **Problem Background**:
- Traditional roommate - matching problems mainly focus on the preferences among agents and ignore the influence of rooms. However, in practical applications, such as in online short - term or long - term accommodation markets (e.g., Airbnb, Roomi, Roomsurf), users can not only specify their preferences for roommates but also make requests for rooms.
- The paper introduces a new preference model - the Leontief utility function, which is used to capture the complementary preferences among agents and between rooms.

2. **Research Objectives**:
- **Maximizing Social Welfare**: Maximize the total utility (i.e., social welfare) of all agents by matching roommates and rooms.
- **Strategy - proofness**: Ensure that no agent can obtain a better matching result by falsely reporting their preferences.

3. **Specific Problem Description**:
- Under the Leontief utility model, the utility of each agent is determined by the minimum of two values: one is the compatibility value \(v_i(j)\) with other agents, and the other is the valuation of the room \(\hat{v}_i(r)\). That is:
\[
u_i(\mu)=\min\{v_i(j),\hat{v}_i(r)\}
\]
- The paper explores how to design a mechanism that can both maximize social welfare and be strategy - proof under this preference structure.

4. **Main Contributions**:
- **Theoretical Analysis**: It is proved that under the Leontief utility, the problem of finding a matching that maximizes social welfare is APX - hard (even in the case of binary symmetric valuations).
- **Mechanism Design**: A novel strategy - proof mechanism is proposed, which can maximize social welfare in the case of binary valuations and has a running time of \(O^*(n^{2n})\).
- **Algorithm Implementation**: A fixed - parameter tractable (FPT) algorithm is developed, which can maximize social welfare within polynomial time while maintaining strategy - proofness.

In conclusion, this paper aims to solve the difficult problem of how to simultaneously achieve the maximization of social welfare and strategy - proofness under a more complex preference structure, especially in the roommate - matching problem under the Leontief utility model.