In the multidimensional stable roommate problem, agents have to be allocated
to rooms and have preferences over sets of potential roommates. We study the
complexity of finding good allocations of agents to rooms under the assumption
that agents have diversity preferences [Bredereck et al., 2019]: each agent
belongs to one of the two types (e.g., juniors and seniors, artists and
engineers), and agents' preferences over rooms depend solely on the fraction of
agents of their own type among their potential roommates. We consider various
solution concepts for this setting, such as core and exchange stability, Pareto
optimality and envy-freeness. On the negative side, we prove that envy-free,
core stable or (strongly) exchange stable outcomes may fail to exist and that
the associated decision problems are NP-complete. On the positive side, we show
that these problems are in FPT with respect to the room size, which is not the
case for the general stable roommate problem. Moreover, for the classic setting
with rooms of size two, we present a linear-time algorithm that computes an
outcome that is core and exchange stable as well as Pareto optimal. Many of our
results for the stable roommate problem extend to the stable marriage problem.Comment: accepted to IJCAI'2