88,397 research outputs found
Counting Houses of Pareto Optimal Matchings in the House Allocation Problem
Let with and be two sets. We assume that every
element has a reference list over all elements from . We call an
injective mapping from to a matching. A blocking coalition of
is a subset of such that there exists a matching that
differs from only on elements of , and every element of
improves in , compared to according to its preference list. If
there exists no blocking coalition, we call the matching an exchange
stable matching (ESM). An element is reachable if there exists an
exchange stable matching using . The set of all reachable elements is
denoted by . We show This is
asymptotically tight. A set is reachable (respectively exactly
reachable) if there exists an exchange stable matching whose image
contains as a subset (respectively equals ). We give bounds for the
number of exactly reachable sets. We find that our results hold in the more
general setting of multi-matchings, when each element of is matched
with elements of instead of just one. Further, we give complexity
results and algorithms for corresponding algorithmic questions. Finally, we
characterize unavoidable elements, i.e., elements of that are used by all
ESM's. This yields efficient algorithms to determine all unavoidable elements.Comment: 24 pages 2 Figures revise
Number of Holes in Unavoidable Sets of Partial Words II
We are concerned with the complexity of deciding the avoidability of sets of partial words over an arbitrary alphabet. Towards this, we investigate the minimum size of unavoidable sets of partial words with a fixed number of holes. Additionally, we analyze the complexity of variations on the decision problem when placing restrictions on the number of holes and length of the words
- …