14,201 research outputs found
Parallel and Distributed Algorithms for the Housing Allocation Problem
We give parallel and distributed algorithms for the housing allocation
problem. In this problem, there is a set of agents and a set of houses. Each
agent has a strict preference list for a subset of houses. We need to find a
matching such that some criterion is optimized. One such criterion is Pareto
Optimality. A matching is Pareto optimal if no coalition of agents can be
strictly better off by exchanging houses among themselves. We also study the
housing market problem, a variant of the housing allocation problem, where each
agent initially owns a house. In addition to Pareto optimality, we are also
interested in finding the core of a housing market. A matching is in the core
if there is no coalition of agents that can be better off by breaking away from
other agents and switching houses only among themselves.
In the first part of this work, we show that computing a Pareto optimal
matching of a house allocation is in {\bf CC} and computing the core of a
housing market is {\bf CC}-hard. Given a matching, we also show that verifying
whether it is in the core can be done in {\bf NC}. We then give an algorithm to
show that computing a maximum Pareto optimal matching for the housing
allocation problem is in {\bf RNC}^2 and quasi-{\bf NC}^2. In the second part
of this work, we present a distributed version of the top trading cycle
algorithm for finding the core of a housing market. To that end, we first
present two algorithms for finding all the disjoint cycles in a functional
graph: a Las Vegas algorithm which terminates in rounds with high
probability, where is the length of the longest cycle, and a deterministic
algorithm which terminates in rounds, where is the
number of nodes in the graph. Both algorithms work in the synchronous
distributed model and use messages of size
Interactive Blocking in Arrow-Debreu Economies
Competitive behaviors such as outbidding one's rivals may be countered by the rivals' threat of mutually destructive objections. In an Arrow-Debreu model of production economies with firms privatized by property rights, we model such hindered competitive behaviors as a coalition's attempt to block a status quo given the threat that the outsiders of the coalition, especially those with whom the coalition shares ownership of firms, may resort to production-ruining secession. We introduce new concepts of the core such that a coalition's blocking plan is feasible only if it is not blocked by the outsiders with such secession. Based on such notions, we prove core equivalence theorems in the replication framework.core; coalition; core equivalence; blocking; production; firms
Core Equivalence Theorem with Production
In production economies, the extent to which non-equilibria are blocked depends on the allocation of control rights among shareholders, because a blocking coalition's resources are affected by the firms it jointly owns with outsiders. We formulate a notion of blocking that takes such interdependency problem into account, and we prove an analog of the Debreu-Scarf theorem for replica production economies. Our theorem differs from theirs in using an additional assumption, which we argue is indispensable and is driven by the interdependency problem.
Stochastic Blocking and Core Convergence in Nonconvex Production Economies
In production economies, the extent to which non-equilibria are blocked depends on specific rules that allocate authority among shareholders, because a blocking coalition's resources are affected by the firms it jointly owns with outsiders. Based on a notion of stochastic blocking, we extend Anderson's (1978) core convergence theorem to production economies where preferences and technologies are not necessarily convex.core; coalition; production; blocking; core convergence; nonconvexity; stochastic blocking
Linearizable Replicated State Machines With Lattice Agreement
This paper studies the lattice agreement problem in asynchronous systems and explores its application to building a linearizable replicated state machine (RSM). First, we propose an algorithm to solve the lattice agreement problem in O(log f) asynchronous rounds, where f is the number of crash failures that the system can tolerate. This is an exponential improvement over the previous best upper bound of O(f). Second, Faleiro et al have shown in [Faleiro et al. PODC, 2012] that combination of conflict-free data types and lattice agreement protocols can be applied to implement a linearizable RSM. They give a Paxos style lattice agreement protocol, which can be adapted to implement a linearizable RSM and guarantee that a command by a client can be learned in at most O(n) message delays, where n is the number of proposers. Later, Xiong et al in [Xiong et al. DISC, 2018] gave a lattice agreement protocol which improves the O(n) message delay guarantee to O(f). However, neither of the protocols is practical for building a linearizable RSM. Thus, in the second part of the paper, we first give an improved protocol based on the one proposed by Xiong et al. Then, we implement a simple linearizable RSM using our improved protocol and compare our implementation with an open source Java implementation of Paxos. Results show that better performance can be obtained by using lattice agreement based protocols to implement a linearizable RSM compared to traditional consensus based protocols
- …