A Single-Exponential Time Algorithm for the Maximum-Cardinality Weakly Stable Matching Problem with Ties and Incomplete Lists
We study Stable Marriage with Ties and Incomplete lists (SMTI) under weak stability. For an instance with $n$ agents on each side, we give an exact algorithm that returns a maximum-cardinality weakly stable matching in $O^*(22.74^n)$ time. To the best of our knowledge, this is the first exact algorithm for this problem running in single-exponential time.
Authors
- Shuichi Miyazaki (ORCID: https://orcid.org/0000-0003-0369-1970)
- Suguru Tamaki (ORCID: https://orcid.org/0000-0002-8105-2368)
Publication Details
- Journal
- arXiv (Cornell University)
- Published
- 2026-10-29
- DOI
- https://doi.org/10.48550/arxiv.2610.39764
- Primary Topic
- Game Theory and Voting Systems
- Type
- preprint