English
Related papers

Related papers: A Characterization Framework for Stable Sets and T…

200 papers

Model sets are always Meyer sets, but not vice-versa. This article is about characterizing model sets (general and regular) amongst the Meyer sets in terms of two associated dynamical systems. These two dynamical systems describe two very…

Metric Geometry · Mathematics 2009-10-26 Jeong-Yup Lee , Robert V. Moody

The Stable Roommates problems are characterized by the preferences of agents over other agents as roommates. A solution is a partition of the agents into pairs that are acceptable to each other (i.e., they are in the preference lists of…

Artificial Intelligence · Computer Science 2025-07-29 Müge Fidan , Esra Erdem

We consider dominant strategy implementation in private values settings, when agents have multi-dimensional types, the set of alternatives is finite, monetary transfers are allowed, and agents have quasi-linear utilities. We show that any…

Computer Science and Game Theory · Computer Science 2010-03-09 Debasis Mishra , Arunava Sen

This paper provides a complete suite of axioms for a version of set theory that I call Explication. Explication borrows from the two most prominent existing systems of set theory. Explication starts with class variables. After several…

Logic · Mathematics 2017-09-14 Ernest Akemann

Stable matching in a community consisting of men and women is a classical combinatorial problem that has been the subject of intense theoretical and empirical study since its introduction in 1962 in a seminal paper by Gale and Shapley, who…

Data Structures and Algorithms · Computer Science 2021-12-14 Hugo Gimbert , Claire Mathieu , Simon Mauras

In this paper, we identify sufficient conditions under which static teams and a class of sequential dynamic teams admit team-optimal solutions. We first investigate the existence of optimal solutions in static teams where the observations…

Systems and Control · Computer Science 2014-04-08 Abhishek Gupta , Serdar Yuksel , Tamer Basar , Cedric Langbort

The Nemhauser-Trotter theorem states that the standard linear programming (LP) formulation for the stable set problem has a remarkable property, also known as (weak) persistency: for every optimal LP solution that assigns integer values to…

Discrete Mathematics · Computer Science 2020-11-25 Elisabeth Rodríguez-Heck , Karl Stickler , Matthias Walter , Stefan Weltge

We consider a model of stable edge sets (``matchings'') in a bipartite graph $G=(V,E)$ in which the preferences for vertices of one side (``firms'') are given via choice functions subject to standard axioms of consistency, substitutability…

Combinatorics · Mathematics 2025-01-28 Alexander V. Karzanov

In a stable matching problem there are two groups of agents, with agents on one side having their individual preferences for agents on another side as a potential match. It is assumed silently that agents can freely and costlessly ``switch"…

Combinatorics · Mathematics 2025-07-22 Boris Pittel , Kirill Rudov

Coalition formation over graphs is a well studied class of games whose players are vertices and feasible coalitions must be connected subgraphs. In this setting, the existence and computation of equilibria, under various notions of…

Computer Science and Game Theory · Computer Science 2024-08-22 Angelo Fanelli , Laurent Gourvès , Ayumi Igarashi , Luca Moscardelli

Given $n$ men, $n$ women, and $n$ dogs, each man has an incomplete preference list of women, each woman does an incomplete preference list of dogs, and each dog does an incomplete preference list of men. We understand a family as a triple…

Combinatorics · Mathematics 2021-07-22 E. Yu. Lerner , R. E. Lerner

We consider the problem of computing the maximal invariant set of discrete-time black-box nonlinear systems without analytic dynamical models. Under the assumption that the system is asymptotically stable, the maximal invariant set…

Systems and Control · Electrical Eng. & Systems 2021-05-31 Zheming Wang , Raphaël M. Jungers

We define and explore the concept of ideal stabilization. The program is ideally stabilizing if its every state is legitimate. Ideal stabilization allows the specification designer to prescribe with arbitrary degree of precision not only…

Distributed, Parallel, and Cluster Computing · Computer Science 2009-06-11 Mikhail Nesterenko , Sébastien Tixeuil

In this paper, a new kind of soft sets related with some common decision making problems in real life called central soft sets is introduced. Properties of some basic operations on central soft sets are shown. It is investigated that some…

Logic in Computer Science · Computer Science 2015-06-10 Xuechong Guan

Several countries successfully use centralized matching schemes for school or higher education assignment, or for entry-level labour markets. In this paper we explore the computational aspects of a possible similar scheme for assigning…

Data Structures and Algorithms · Computer Science 2015-01-26 Katarina Cechlarova , Tamas Fleiner , David F. Manlove , Iain McBride

In two-sided matching markets, the agents are partitioned into two sets. Each agent wishes to be matched to an agent in the other set and has a strict preference over these potential matches. A matching is stable if there are no blocking…

Computer Science and Game Theory · Computer Science 2013-02-26 Georgios Askalidis , Nicole Immorlica , Emmanouil Pountourakis

Stable matching is a classical combinatorial problem that has been the subject of intense theoretical and empirical study since its introduction in 1962 in a seminal paper by Gale and Shapley. In this paper, we provide a new upper bound on…

Discrete Mathematics · Computer Science 2017-11-10 Anna R. Karlin , Shayan Oveis Gharan , Robbie Weber

How do decisions change with the economic environment and with time? This paper studies general nonstationary stopping problems and provides the methodological tools to answer these questions. First, we identify conditions that ensure a…

Theoretical Economics · Economics 2024-08-01 Théo Durandard , Matteo Camboni

We consider methods for aggregating preferences that are based on the resolution of discrete optimization problems. The preferences are represented by arbitrary binary relations (possibly weighted) or incomplete paired comparison matrices.…

Optimization and Control · Mathematics 2007-05-23 Pavel Chebotarev , Elena Shamis

The aim of this paper is to generalize and improve two of the main model-theoretic results of "Stable group theory and approximate subgroups" by E. Hrushovski to the context of piecewise hyperdefinable sets. The first one is the existence…

Logic · Mathematics 2025-10-01 Arturo Rodriguez Fanlo