1,182 research outputs found
Locally Stable Marriage with Strict Preferences
We study stable matching problems with locality of information and control.
In our model, each agent is a node in a fixed network and strives to be matched
to another agent. An agent has a complete preference list over all other agents
it can be matched with. Agents can match arbitrarily, and they learn about
possible partners dynamically based on their current neighborhood. We consider
convergence of dynamics to locally stable matchings -- states that are stable
with respect to their imposed information structure in the network. In the
two-sided case of stable marriage in which existence is guaranteed, we show
that the existence of a path to stability becomes NP-hard to decide. This holds
even when the network exists only among one partition of agents. In contrast,
if one partition has no network and agents remember a previous match every
round, a path to stability is guaranteed and random dynamics converge with
probability 1. We characterize this positive result in various ways. For
instance, it holds for random memory and for cache memory with the most recent
partner, but not for cache memory with the best partner. Also, it is crucial
which partition of the agents has memory. Finally, we present results for
centralized computation of locally stable matchings, i.e., computing maximum
locally stable matchings in the two-sided case and deciding existence in the
roommates case.Comment: Conference version in ICALP 2013; to appear in SIAM J. Disc Mat
Controlled Matching Game for Resource Allocation and User Association in WLANs
In multi-rate IEEE 802.11 WLANs, the traditional user association based on
the strongest received signal and the well known anomaly of the MAC protocol
can lead to overloaded Access Points (APs), and poor or heterogeneous
performance. Our goal is to propose an alternative game-theoretic approach for
association. We model the joint resource allocation and user association as a
matching game with complementarities and peer effects consisting of selfish
players solely interested in their individual throughputs. Using recent
game-theoretic results we first show that various resource sharing protocols
actually fall in the scope of the set of stability-inducing resource allocation
schemes. The game makes an extensive use of the Nash bargaining and some of its
related properties that allow to control the incentives of the players. We show
that the proposed mechanism can greatly improve the efficiency of 802.11 with
heterogeneous nodes and reduce the negative impact of peer effects such as its
MAC anomaly. The mechanism can be implemented as a virtual connectivity
management layer to achieve efficient APs-user associations without
modification of the MAC layer
Socially stable matchings in the hospitals / residents problem
In the Hospitals/Residents (HR) problem, agents are partitioned into hospitals and residents. 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 pairs, i.e., no pair of agents that prefer each other to their assigned matches. Such a situation is undesirable as it could lead to a deviation in which the blocking pair form a private arrangement outside the matching. This however assumes that the blocking pair have social ties or communication channels to facilitate the deviation. Relaxing the stability definition to take account of the potential lack of social ties between agents can yield larger stable matchings.
In this paper, we define the Hospitals/Residents problem under Social Stability (HRSS) which takes into account social ties between agents by introducing a social network graph to the HR problem. Edges in the social network graph correspond to resident-hospital pairs in the HR instance that know one another. Pairs that do not have corresponding edges in the social network graph can belong to a matching M but they can never block M. Relative to a relaxed stability definition for HRSS, called social stability, we show that socially stable matchings can have different sizes and the problem of finding a maximum socially stable matching is NP-hard, though approximable within 3/2. Furthermore we give polynomial time algorithms for three special cases of the problem
Credible Group Stability in Multi-Partner Matching Problems
It is known that in two-sided many-to-many matching markets, pair-wise stability is not logically related with the (weak) core, unlike in many-to-one matching markets (Blair, 1988). In this paper, we seek a theoretical foundation for pairwise stability when group deviations are allowed. Group deviations are defined in graphs on the set of agents. We introduce executable group deviations in order to discuss the credibility of group deviations and to defined credibly group stable matchings. We show, under responsive preferences, that credible group stability is equivalent to pairwise stability in the multi-partner matching problem that includes two-sided matching problems as special cases. Under the same preference restriction, we also show the equivalence between the set of pairwise stable matchings and the set of matchings generated by coalition-proof Nash equilibria of an appropriately defined strategic form game. However, under a weaker preference restriction, substitutability, these equivalences no longer hold, since pairwise stable matchings may be strictly Pareto-ordered, unlike under responsiveness.Multi-partner matching problem, Pairwise stable matching network, Credible group deviation
Matching with Couples: a Multidisciplinary Survey
This survey deals with two-sided matching markets where one set of agents (workers/residents) has to be matched with another set of agents (firms/hospitals). We first give a short overview of a selection of classical results. Then, we review recent contributions to a complex and representative case of matching with complementarities, namely matching markets with couples. We discuss contributions from computer scientists, economists, and game theorists.matching; couples; stability; computational complexity; incentive compatibility; restricted domains; large markets
Social Networks and Unraveling in Labor Markets
This paper studies the phenomenon of early hiring in entry-level labor markets (e.g. the market for gastroenterology fellowships and the market for judicial clerks) in the presence of social networks. We o¤er a two-stage model in which workers in training institutions reveal information on their own ability over time. In the early stage, workers receive a noisy signal about their own ability. The early information is ?soft?and non-veri?able, and workers can convey the information credibly only to ? rms that are connected to them (potentially via their mentors). At the second stage, ? hard? veri?able (and accurate) information is revealed to the workers and can be credibly transmitted to all ?rms. We characterize the e¤ects of changes to the network structure on the unraveling of the market towards early hiring. Moreover, we show that an e¢ cient design of the matching procedure can prevent unraveling.Networks; market design; unraveling; entry-level labor markets; early hiring
An FPTAS for Bargaining Networks with Unequal Bargaining Powers
Bargaining networks model social or economic situations in which agents seek
to form the most lucrative partnership with another agent from among several
alternatives. There has been a flurry of recent research studying Nash
bargaining solutions (also called 'balanced outcomes') in bargaining networks,
so that we now know when such solutions exist, and also that they can be
computed efficiently, even by market agents behaving in a natural manner. In
this work we study a generalization of Nash bargaining, that models the
possibility of unequal 'bargaining powers'. This generalization was introduced
in [KB+10], where it was shown that the corresponding 'unequal division' (UD)
solutions exist if and only if Nash bargaining solutions exist, and also that a
certain local dynamics converges to UD solutions when they exist. However, the
bound on convergence time obtained for that dynamics was exponential in network
size for the unequal division case. This bound is tight, in the sense that
there exists instances on which the dynamics of [KB+10] converges only after
exponential time. Other approaches, such as the one of Kleinberg and Tardos, do
not generalize to the unsymmetrical case. Thus, the question of computational
tractability of UD solutions has remained open. In this paper, we provide an
FPTAS for the computation of UD solutions, when such solutions exist. On a
graph G=(V,E) with weights (i.e. pairwise profit opportunities) uniformly
bounded above by 1, our FPTAS finds an \eps-UD solution in time
poly(|V|,1/\eps). We also provide a fast local algorithm for finding \eps-UD
solution, providing further justification that a market can find such a
solution.Comment: 18 pages; Amin Saberi (Ed.): Internet and Network Economics - 6th
International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010.
Proceedings
The Cooperative Theory of Two Sided Matching Problems: A Re-examination of Some Results
We show that, given two matchings of which say the second is stable, if (a) no firm prefers the first matching to the second, and (b) no firm and the worker it is paired with under the second matching prefer each other to their respective assignments in the first matching, then no worker prefers the second matching to the first. This result is a strengthening of a result originally due to Knuth (1976). A theorem due to Roth and Sotomayor (1990), says that if the number of workers increases, then there is a non-empty subset of firms and the set of workers they are assigned to under the F – optimal stable matching, such that given any stable matching for the old two-sided matching problem and any stable matching for the new one, every firm in the set prefers the new matching to the old one and every worker in the set prefers the old matching to the new one. We provide a new proof of this result using mathematical induction. This result requires the use of a theorem due to Gale and Sotomayor (1985 a,b), which says that with more workers around, firms prefer the new optimal stable matchings to the corresponding ones of the old two-sided matching problem, while the opposite is true for workers. We provide an alternative proof of the Gale and Sotomayor theorem, based directly on the deferred acceptance procedure.Two-sided matching, Stable
- …