Theory of and experiments on minimally invasive stability preservation in changing two-sided matching markets

N Boehmer, K Heeger, R Niedermeier - Proceedings of the AAAI …, 2022 - ojs.aaai.org
Following up on purely theoretical work, we contribute further theoretical insights into
adapting stable two-sided matchings to change. Moreover, we perform extensive empirical …

Finding stable matchings that are robust to errors in the input

T Mai, VV Vazirani - arXiv preprint arXiv:1804.00553, 2018 - arxiv.org
We study the problem of finding solutions to the stable matching problem that are robust to
errors in the input and we obtain a polynomial time algorithm for a special class of errors. In …

Adapting stable matchings to evolving preferences

R Bredereck, J Chen, D Knop, J Luo… - Proceedings of the AAAI …, 2020 - ojs.aaai.org
Adaptivity to changing environments and constraints is key to success in modern society. We
address this by proposing “incrementalized versions” of Stable Marriage and Stable …

k-Best Egalitarian Stable Marriages for Task Assignment

S Wu, LH U, P Karras - Proceedings of the VLDB Endowment, 2023 - dl.acm.org
In a two-sided market with each agent ranking individuals on the other side according to
their preferences, such as location or incentive, the stable marriage problem calls to find a …

[PDF][PDF] Polynomial Time Presolve Algorithms for Rotation-Based Models Solving the Robust Stable Matching Problem

S Le Bozec-Chiffoleau, C Prud'homme… - Proceedings of the Thirty …, 2024 - ijcai.org
Abstract The Robust Stable Matching (RSM) problem involves finding a stable matching that
allows getting another stable matching within a minimum number of changes when a pair …

Meet Cyrus: the query by voice mobile assistant for the tutoring and formative assessment of SQL learners

JE Godinez, HM Jamil - Proceedings of the 34th ACM/SIGAPP …, 2019 - dl.acm.org
Being declarative, SQL stands a better chance at being the programming language for
conceptual computing next to natural language programming. We examine the possibility of …

[HTML][HTML] Complexity study for the robust stable marriage problem

B Genc, M Siala, G Simonin, B O'Sullivan - Theoretical Computer Science, 2019 - Elsevier
Abstract The Robust Stable Marriage problem (RSM) is a variant of the classic Stable
Marriage problem in which the robustness of a given stable matching is measured by the …

A Map of Diverse Synthetic Stable Matching Instances

N Boehmer, K Heeger, S Szufa - Journal of Artificial Intelligence Research, 2024 - jair.org
Abstract Focusing on Stable Roommates (SR), we contribute to the toolbox for conducting
experiments for stable matching problems. We introduce the polynomial-time computable …

A map of diverse synthetic stable roommates instances

N Boehmer, K Heeger, S Szufa - arXiv preprint arXiv:2208.04041, 2022 - arxiv.org
Focusing on Stable Roommates (SR) instances, we contribute to the toolbox for conducting
experiments for stable matching problems. We introduce a polynomial-time computable …

Deepening the (parameterized) complexity analysis of incremental stable matching problems

N Boehmer, K Heeger, R Niedermeier - arXiv preprint arXiv:2208.01563, 2022 - arxiv.org
When computing stable matchings, it is usually assumed that the preferences of the agents
in the matching market are fixed. However, in many realistic scenarios, preferences change …