Barter Exchange with Bounded Trading Cycles

Yuval Emek,Matan-El Shpiro
2024-10-09
Abstract:Consider a barter exchange problem over a finite set of agents, where each agent owns an item and is also associated with a (privately known) wish list of items belonging to the other agents. An outcome of the problem is a (re)allocation of the items to the agents such that each agent either keeps her own item or receives an item from her (reported) wish list, subject to the constraint that the length of the trading cycles induced by the allocation is up-bounded by a prespecified length bound k. The utility of an agent from an allocation is 1 if she receives an item from her (true) wish list and 0 if she keeps her own item (the agent incurs a large dis-utility if she receives an item that is neither hers nor belongs to her wish list). In this paper, we investigate the aforementioned barter exchange problem from the perspective of mechanism design without money, aiming for truthful (and individually rational) mechanisms whose objective is to maximize the social welfare. As the construction of a social welfare maximizing allocation is computationally intractable for length bounds k \geq 3, this paper focuses on (computationally efficient) truthful mechanisms that approximate the (combinatorially) optimal social <a class="link-external link-http" href="http://welfare.We" rel="external noopener nofollow">this http URL</a> also study a more general version of the barter exchange problem, where the utility of an agent from participating in a trading cycle of length 2 \leq \ell \leq k is lambda(\ell), where \lambda is a general (monotonically non-increasing) length function. Our results include upper and lower bounds on the guaranteed approximation ratio, expressed in terms of the length bound k and the length function \lambda. On the technical side, our main contribution is an algorithmic tool that can be viewed as a truthful version of the local search paradigm. As it turns out, this tool can be applied to more general (bounded size) coalition formation problems.
Computer Science and Game Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to design a truthful and individually rational mechanism without a currency mechanism to maximize social welfare. Specifically, the problem is set in a finite group of agents for barter. Each agent has an item and has a private wish list for the items of other agents. The result of the allocation is to re - allocate these items to the agents so that each agent either keeps his own item or obtains an item on the wish list, while ensuring that the length of the trading cycle does not exceed the preset upper limit \(k\). ### Specific description of the problem: 1. **Barter problem**: Consider agents in a finite set. Each agent has an item and is associated with a wish list (including items owned by other agents). The allocation result is a (re - )allocation scheme such that each agent either keeps his own item or obtains an item on the wish list, but the length of the trading cycle cannot exceed the preset upper limit \(k\). 2. **Utility function**: If an agent obtains an item on the wish list, the utility is 1; if the agent keeps his own item, the utility is 0; if the agent obtains an item that is neither his own nor on the wish list, the utility is negative infinity. 3. **Maximizing social welfare**: The goal is to design a truthful and individually rational mechanism to maximize the total utility of all agents (i.e., social welfare). ### Main contributions of the paper: - **Computational complexity**: For \(k\geq3\), finding the optimal solution is computationally infeasible. Therefore, the paper focuses on designing effective mechanisms for approximating the optimal solution. - **Local search algorithm**: An algorithmic tool based on the local search paradigm is proposed, which can be applied to a wider range of bounded - size coalition formation problems. - **Approximation ratio**: The upper and lower bounds of the approximation ratio of the effective mechanism are given, and it is proved that these bounds are tight. - **Generalized model**: A more general barter setting is considered, in which each agent has different preferences for trading cycles of different lengths (represented by the non - increasing degree function \(\lambda\)), and the design and performance of the mechanism in this case are studied. ### Summary: The paper mainly solves the problem of how to design effective and truthful mechanisms to maximize social welfare under the condition of a trading cycle length limit. Through the introduction of new algorithmic tools and theoretical analysis, the paper not only provides new solutions for the classical \(k\)-barter problem but also extends to a more generalized model.