English
Related papers

Related papers: Lattice Linear Predicate Algorithms for the Constr…

200 papers

We study the structure of the set of priority-neutral matchings. These matchings, introduced by Reny (AER, 2022), generalize stable matchings by allowing for priority violations in a principled way that enables Pareto-improvements to stable…

Theoretical Economics · Economics 2025-12-09 Clayton Thomas

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 over time. Consequently, an initially stable matching may…

Computer Science and Game Theory · Computer Science 2022-11-09 Niclas Boehmer , Klaus Heeger , Rolf Niedermeier

We study the stable marriage problem in the partial information setting where the agents, although they have an underlying true strict linear order, are allowed to specify partial orders. Specifically, we focus on the case where the agents…

Computer Science and Game Theory · Computer Science 2018-10-09 Vijay Menon , Kate Larson

A number of problems in relational Artificial Intelligence can be viewed as Stochastic Constraint Optimization Problems (SCOPs). These are constraint optimization problems that involve objectives or constraints with a stochastic component.…

Artificial Intelligence · Computer Science 2018-07-04 Anna L. D. Latour , Behrouz Babaki , Siegfried Nijssen

This paper gives an overview on and summarizes existing complexity and algorithmic results of some variants of the Stable Marriage and the Stable Roommates problems. The last section defines a list of stable matching problems mentioned in…

Computer Science and Game Theory · Computer Science 2019-04-18 Jiehua Chen

It is well known that a stable matching in a many-to-one matching market with couples need not exist. We introduce a new matching algorithm for such markets and show that for a general class of large random markets the algorithm will find a…

Computer Science and Game Theory · Computer Science 2015-03-17 Itai Ashlagi , Mark Braverman , Avinatan Hassidim

We study variants of the stable marriage and college admissions models in which the agents are allowed to express weak preferences over the set of agents on the other side of the market and the option of remaining unmatched. For the…

Computer Science and Game Theory · Computer Science 2017-03-31 Nevzat Onur Domaniç , Chi-Kit Lam , C. Gregory Plaxton

The stable marriage problem with incomplete lists and ties (SMTI) and the hospitals/residents problem with ties (HRT) are important in matching theory with broad practical applications. In this paper, we introduce a tie-breaking based local…

Data Structures and Algorithms · Computer Science 2025-08-26 Junyuan Qiu

We study the optimization of the stable marriage problem. All individuals attempt to optimize their own satisfaction, subject to mutually conflicting constraints. We find that the stable solutions are generally not the globally best…

Condensed Matter · Physics 2009-10-30 M. J. Omero , M. Dzierzawa , M. Marsili , Y. -C. Zhang

In numerical linear algebra, considerable effort has been devoted to obtaining faster algorithms for linear systems whose underlying matrices exhibit structural properties. A prominent success story is the method of generalized nested…

Data Structures and Algorithms · Computer Science 2023-10-26 Sally Dong , Gramoz Goranci , Lawrence Li , Sushant Sachdeva , Guanghao Ye

In this paper, we study the fundamental problem of finding a stable matching in two-sided matching markets. In the classic variant, it is assumed that both sides of the market submit a ranked list of all agents on the other side. However,…

Computer Science and Game Theory · Computer Science 2026-02-03 Samuel McCauley , Benjamin Moseley , Helia Niaparast , Shikha Singh

We consider the stable matching problem when the preference lists are not given explicitly but are represented in a succinct way and ask whether the problem becomes computationally easier and investigate other implications. We give…

Data Structures and Algorithms · Computer Science 2016-12-21 Marvin Künnemann , Daniel Moeller , Ramamohan Paturi , Stefan Schneider

In the fundamental Stable Marriage and Stable Roommates problems, there are inherent trade-offs between the size and stability of solutions. While in the former problem, a stable matching always exists and can be found efficiently using the…

Computer Science and Game Theory · Computer Science 2026-01-27 Frederik Glitzner , David Manlove

We consider the modeling, stability analysis and controller design problems for discrete-time LTI systems with state feedback, when the actuation signal is subject to switching propagation delays, due to e.g. the routing in a multi-hop…

Optimization and Control · Mathematics 2014-01-09 R. M. Jungers , A. D'Innocenzo , M. D. Di Benedetto

We present a polynomial-time $\frac{3}{2}$-approximation algorithm for the problem of finding a maximum-cardinality stable matching in a many-to-many matching model with ties and laminar constraints on both sides. We formulate our problem…

Data Structures and Algorithms · Computer Science 2021-10-06 Yu Yokoi

We consider Stable Marriage with Covering Constraints (SMC): in this variant of Stable Marriage, we distinguish a subset of women as well as a subset of men, and we seek a matching with fewest number of blocking pairs that matches all of…

Data Structures and Algorithms · Computer Science 2019-10-08 Matthias Mnich , Ildikó Schlotter

We introduce the {\sc classified stable matching} problem, a problem motivated by academic hiring. Suppose that a number of institutes are hiring faculty members from a pool of applicants. Both institutes and applicants have preferences…

Data Structures and Algorithms · Computer Science 2009-10-25 Chien-Chung Huang

The paper investigates the problem of estimating the state of a time-varying system with a linear measurement model; in particular, the paper considers the case where the number of measurements available can be smaller than the number of…

Systems and Control · Electrical Eng. & Systems 2021-04-07 Guido Cavraro , Emiliano Dall'Anese , Joshua Comden , Andrey Bernstein

We define a new class of predicates called equilevel predicates on a distributive lattice which eases the analysis of parallel algorithms. Many combinatorial problems such as the vertex cover problem, the bipartite matching problem, and the…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-11-13 Vijay K. Garg , Robert P. Streit

In this paper, we begin by discussing different types of preference profiles related to the stable marriage problem. We then introduce the concept of soulmates, which are a man and a woman who rank each other first. Inversely, we examine…