2,262 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
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
Locally Optimal Load Balancing
This work studies distributed algorithms for locally optimal load-balancing:
We are given a graph of maximum degree , and each node has up to
units of load. The task is to distribute the load more evenly so that the loads
of adjacent nodes differ by at most .
If the graph is a path (), it is easy to solve the fractional
version of the problem in communication rounds, independently of the
number of nodes. We show that this is tight, and we show that it is possible to
solve also the discrete version of the problem in rounds in paths.
For the general case (), we show that fractional load balancing
can be solved in rounds and discrete load
balancing in rounds for some function , independently of the
number of nodes.Comment: 19 pages, 11 figure
The -matching problem on bipartite graphs
The -matching problem on bipartite graphs is studied with a local
algorithm. A -matching () on a bipartite graph is a set of matched
edges, in which each vertex of one type is adjacent to at most matched edge
and each vertex of the other type is adjacent to at most matched edges. The
-matching problem on a given bipartite graph concerns finding -matchings
with the maximum size. Our approach to this combinatorial optimization are of
two folds. From an algorithmic perspective, we adopt a local algorithm as a
linear approximate solver to find -matchings on general bipartite graphs,
whose basic component is a generalized version of the greedy leaf removal
procedure in graph theory. From an analytical perspective, in the case of
random bipartite graphs with the same size of two types of vertices, we develop
a mean-field theory for the percolation phenomenon underlying the local
algorithm, leading to a theoretical estimation of -matching sizes on
coreless graphs. We hope that our results can shed light on further study on
algorithms and computational complexity of the optimization problem.Comment: 15 pages, 3 figure
Locally Correct Frechet Matchings
The Frechet distance is a metric to compare two curves, which is based on
monotonous matchings between these curves. We call a matching that results in
the Frechet distance a Frechet matching. There are often many different Frechet
matchings and not all of these capture the similarity between the curves well.
We propose to restrict the set of Frechet matchings to "natural" matchings and
to this end introduce locally correct Frechet matchings. We prove that at least
one such matching exists for two polygonal curves and give an O(N^3 log N)
algorithm to compute it, where N is the total number of edges in both curves.
We also present an O(N^2) algorithm to compute a locally correct discrete
Frechet matching
The number of matchings in random graphs
We study matchings on sparse random graphs by means of the cavity method. We
first show how the method reproduces several known results about maximum and
perfect matchings in regular and Erdos-Renyi random graphs. Our main new result
is the computation of the entropy, i.e. the leading order of the logarithm of
the number of solutions, of matchings with a given size. We derive both an
algorithm to compute this entropy for an arbitrary graph with a girth that
diverges in the large size limit, and an analytic result for the entropy in
regular and Erdos-Renyi random graph ensembles.Comment: 17 pages, 6 figures, to be published in Journal of Statistical
Mechanic
- âŠ