165 research outputs found
Popular matchings in the marriage and roommates problems
Popular matchings have recently been a subject of study in the context of the so-called House Allocation Problem, where the objective is to match applicants to houses over which the applicants have preferences. A matching M is called popular if there is no other matching MⲠwith the property that more applicants prefer their allocation in MⲠto their allocation in M. In this paper we study popular matchings in the context of the Roommates Problem, including its special (bipartite) case, the Marriage Problem. We investigate the relationship between popularity and stability, and describe efficient algorithms to test a matching for popularity in these settings. We also show that, when ties are permitted in the preferences, it is NP-hard to determine whether a popular matching exists in both the Roommates and Marriage cases
Popular Matchings in Complete Graphs
Our input is a complete graph on vertices where each vertex
has a strict ranking of all other vertices in . Our goal is to construct a
matching in that is popular. A matching is popular if does not lose
a head-to-head election against any matching , where each vertex casts a
vote for the matching in where it gets assigned a better partner.
The popular matching problem is to decide whether a popular matching exists or
not. The popular matching problem in is easy to solve for odd .
Surprisingly, the problem becomes NP-hard for even , as we show here.Comment: Appeared at FSTTCS 201
Popular Roommates in Simply Exponential Time
We consider the popular matching problem in a graph G = (V,E) on n vertices with strict preferences. A matching M is popular if there is no matching N in G such that vertices that prefer N to M outnumber those that prefer M to N. It is known that it is NP-hard to decide if G has a popular matching or not. There is no faster algorithm known for this problem than the brute force algorithm that could take n! time. Here we show a simply exponential time algorithm for this problem, i.e., one that runs in O^*(k^n) time, where k is a constant.
We use the recent breakthrough result on the maximum number of stable matchings possible in such instances to analyze our algorithm for the popular matching problem. We identify a natural (also, hard) subclass of popular matchings called truly popular matchings and show an O^*(2^n) time algorithm for the truly popular matching problem
Popular Matchings in Complete Graphs
Our input is a complete graph G = (V,E) on n vertices where each vertex has a strict ranking of all other vertices in G. The goal is to construct a matching in G that is "globally stable" or popular. A matching M is popular if M does not lose a head-to-head election against any matching M\u27: here each vertex casts a vote for the matching in {M,M\u27} where it gets a better assignment. Popular matchings need not exist in the given instance G and the popular matching problem is to decide whether one exists or not. The popular matching problem in G is easy to solve for odd n. Surprisingly, the problem becomes NP-hard for even n, as we show here
Computational complexity of -stable matchings
We study deviations by a group of agents in the three main types of matching
markets: the house allocation, the marriage, and the roommates models. For a
given instance, we call a matching -stable if no other matching exists that
is more beneficial to at least out of the agents. The concept
generalizes the recently studied majority stability. We prove that whereas the
verification of -stability for a given matching is polynomial-time solvable
in all three models, the complexity of deciding whether a -stable matching
exists depends on and is characteristic to each model.Comment: SAGT 202
Matchings and Copeland's Method
Given a graph where every vertex has a weak ranking over its
neighbors, we consider the problem of computing an optimal matching as per
agent preferences. The classical notion of optimality in this setting is
stability. However stable matchings, and more generally, popular matchings need
not exist when is non-bipartite. Unlike popular matchings, Copeland winners
always exist in any voting instance -- we study the complexity of computing a
matching that is a Copeland winner and show there is no polynomial-time
algorithm for this problem unless .
We introduce a relaxation of both popular matchings and Copeland winners
called weak Copeland winners. These are matchings with Copeland score at least
, where is the total number of matchings in ; the maximum
possible Copeland score is . We show a fully polynomial-time
randomized approximation scheme to compute a matching with Copeland score at
least for any
- âŚ