Safe exchange planner

A game-theoretic self-enforcing method for carrying out exchanges was presented by Sandholm (1996) and Sandholm et al. (1995). The exchange is divided into chunks, and each exchange party delivers its next chunk only after the other party has completed the previous chunk. This paper operationalizes the theory by presenting a design of a safe exchange planner, which is offered on the web. Exchanges differ based on whether there is one or multiple distinguishable items to exchange, whether there is one or multiple indistinguishable units of each item, whether the items are independent or not in terms of the supplier's cost and the demander's valuation, whether the units are dependent or independent or this sense, and whether the goods are countable or uncountable. For these different settings, we present chunking and chunk sequencing algorithms that provably find safe exchanges that optimize different simplicity criteria. We also present interface designs that minimize the amount of information that the user has to input in each setting.