arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2603.26943

Bridging the Gap Between Stable Marriage and Stable Roommates: A Parameterized Algorithm for Optimal Stable Matchings

Christine T. Cheng·Will Rosenbaum
View original source ↗Read source document ↗Export metadata ↓

Abstract

In the Stable Roommates Problem (SR), a set of $2n$ agents rank one another in a linear order. The goal is to find a matching that is stable: one that has no pair of agents who mutually prefer each other over their assigned partners. We consider the problem of finding an optimal stable matching. Agents associate weights with each of their potential partners, and the goal is to find a stable matching that minimizes the sum of the associated weights. Efficient algorithms exist for finding an optimal stable matching in the Stable Marriage Problem (SM), but the problem is NP-hard for general SR instances. In this paper, we define a notion of structural distance between SR instances and SM instances, which we call the minimum crossing distance. When an SR instance has minimum crossing distance $0$, the instance is structurally equivalent to an SM instance, and this structure can be exploited to find an optimal stable matching efficiently. More generally, we show that when an SR instance has minimum crossing distance $k$, an optimal stable matching can be computed in time $2^{O(k)} n^{O(1)}$. Thus, the optimal stable matching problem is fixed-parameter tractable (FPT) with respect to minimum crossing distance.

Explore related subjects

cs.DScs.GTmath.CO

Keep this discovery

BibTeXRIS

Christine T. Cheng, Will Rosenbaum. 2026-09-01. Bridging the Gap Between Stable Marriage and Stable Roommates: A Parameterized Algorithm for Optimal Stable Matchings. https://arxiv.org/abs/2603.26943

Cite the original work for its findings. Save a collection to share your selection of sources.

Discover connections

cs.DS subjectcs.GT subjectmath.CO subject

Connections use source metadata and explicit phrase matches, not verified experimental comparisons.

KEEP EXPLORING

Related papers

arXiv2026

An Exposition of the $\widetilde{O}(\log^{1/4} n)$ Bound for the Komlós Problem

A conjecture of Komlós states that the combinatorial discrepancy of any matrix $A\in\mathbb R^{m\times n}$ whose columns have Euclidean norm at most one is bounded by a universal constant. We prove that the combinatorial discrepancy of every such matrix is at most $O((\log n)^{1/4}(\log\log n)^{7/4})$. This is the first asymptotic improvement over the $O(\sqrt{\log n})$ bound established by Banaszczyk [Banaszczyk, Random Struct.\ Algorithms, 1998], and it refutes a conjecture of Hajela [Hajela, European J.\ Combin., 1988] that a lower bound of order $Ω(\sqrt{\log n})$ should hold.

math.CO↗
arXiv2026

Beyond the Bethe Approximation of the Permanent

The canonical Bethe approximation gives a deterministic approximation to the permanent of every nonnegative matrix within a factor of $(\sqrt{2})^n$. We improve the base of this exponential factor: for some absolute constant $c<\sqrt{2}$, there is a deterministic polynomial-time $c^n$-approximation for the permanent of every nonnegative matrix. This shows that the canonical Bethe guarantee is not a barrier for deterministic approximation of the permanent. The proof augments the Bethe lower bound with a new certificate tailored to matrices on which that lower bound loses nearly the full factor. The author supplied the high-level plan of attack, and the proof was developed in an interaction with ChatGPT 5.6 Sol Pro. The author subsequently verified the results. Codex assisted with proof checking, manuscript assembly, and typesetting.

cs.DS↗